cgi-bin/template/NMZ.head.in

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