cgi-bin/template/NMZ.head.in

   1 <html>
   2 <head>
   3 <title>Mail Archive Search</title>
   4 <link rel="stylesheet" type="text/css" href="/archive/html/stylesheet.css">
   5 <style type="original-disabled-text/css"><!--
   6   strong.keyword { color: Red; }
   7   p.example      { text-indent: 1em;
   8                    color: Navy;
   9                    font-weight: bold;
  10                    font-family: monospace; }
  11   code           { color: Navy;
  12                    font-family: monospace; }
  13   code.example   { color: Navy;
  14                    font-weight: bold;
  15                    font-family: monospace; }
  16   code.operator  { color: Navy;
  17                    font-family: monospace;
  18                    font-weight: bold; }
  19 --></style>
  20 <script>
  21 function getArgs() {
  22   var args = new Object();
  23   if (location.search.length <= 1) return args;
  24   var pairs = location.search.substring(1).split("&");
  25   for (var i=0; i < pairs.length; ++i) {
  26     var pos = pairs[i].indexOf('=');
  27     if (pos < 0) {
  28       args[pairs[i]] = "";
  29       continue;
  30     }
  31     args[pairs[i].substring(0,pos)] = unescape(pairs[i].substring(pos+1));
  32   }
  33   return args;
  34 }
  35 var queryArgs = getArgs();
  36 var idxname = queryArgs["idxname"];
  37 </script>
  38 </head>
  39 <body lang="en">
  40 <script>
  41 document.writeln("<h1><a href=\"@@HTML_URL@@/" + idxname +"/\">" +
  42                  idxname + " archive</a> search</h1>");
  43 </script>
  44 <form method="get" action="{cgi}">
  45 <p><strong>Search String:</strong>
  46 <input type="text" name="query" size="40">
  47 <input type="submit" name="submit" value="Search!">
  48 <script>
  49 document.writeln("<input type=\"hidden\" name=\"idxname\" value=\"" +
  50                  idxname + "\">");
  51 document.writeln("<a href=\"{cgi}?idxname=" + idxname +
  52                  "\">[How to search]</a><br>");
  53 </script>
  54 <strong>Display:</strong>
  55 <select name="max">
  56 <option value="10">10</option>
  57 <option selected value="20">20</option>
  58 <option value="30">30</option>
  59 <option value="50">50</option>
  60 <option value="100">100</option>
  61 </select>
  62 <strong>Description:</strong>
  63 <select name="result">
  64 <option selected value="normal">normal</option>
  65 <option value="short">short</option>
  66 </select>
  67 <strong>Sort:</strong>
  68 <select name="sort">
  69 <option selected value="score">by score
  70 <option value="date:late">in reverse chronological order</option>
  71 <option value="date:early">in chronological order</option>
  72 <option value="field:subject:ascending">by title in ascending order</option>
  73 <option value="field:subject:descending">by title in descending order</option>
  74 <option value="field:from:ascending">by author in ascending order</option>
  75 <option value="field:from:descending">by author in descending order</option>
  76 <option value="field:size:ascending">by size in ascending order</option>
  77 <option value="field:size:descending">by size in descending order</option>
  78 <option value="field:uri:ascending">by URI in ascending order</option>
  79 <option value="field:uri:descending">by URI in descending order</option>
  80 </select>
  81 </p>
  82 </form>