font-family: monospace;
font-weight: bold; }
--></style>
-<script>
-function getArgs() {
- var args = new Object();
- if (location.search.length <= 1) return args;
- var pairs = location.search.substring(1).split("&");
- for (var i=0; i < pairs.length; ++i) {
- var pos = pairs[i].indexOf('=');
- if (pos < 0) {
- args[pairs[i]] = "";
- continue;
- }
- args[pairs[i].substring(0,pos)] = unescape(pairs[i].substring(pos+1));
- }
- return args;
-}
-var queryArgs = getArgs();
-var idxname = queryArgs["idxname"];
-</script>
</head>
<body lang="en">
-<script>
-document.writeln("<h1><a href=\"/archive/html/" + idxname +"/\">" +
- idxname + " archive</a> search</h1>");
-</script>
+<h1><a href="/archive/html/<!-- INDEX_DIR -->"><!-- INDEX_DIR --> archive</a> search</h1>
<form method="get" action="{cgi}">
<p><strong>Search String:</strong>
<input type="text" name="query" size="40">
<input type="submit" name="submit" value="Search!">
-<script>
-document.writeln("<input type=\"hidden\" name=\"idxname\" value=\"" +
- idxname + "\">");
-document.writeln("<a href=\"{cgi}?idxname=" + idxname +
- "\">[How to search]</a><br>");
-</script>
+<input type="hidden" name="idxname" value="<!-- INDEX_DIR -->">
<strong>Display:</strong>
<select name="max">
<option value="10">10</option>