2 echo 'Content-type: text/html\n'
8 <title>Bookmarks!</title>
9 <meta http-equiv="Content-Type" content="text/html; charset=utf-8">
10 <link rel="stylesheet" type="text/css" href="bookmarks.css">
11 <script type="text/javascript">
14 document.getElementById(id).style.display = "block";
17 document.getElementById(id).style.display = "none";
25 if [ -z "${REMOTE_USER}" ]; then