| 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> |