Commit | Line | Data |
---|---|---|
01c223d0 BOFG |
1 | <html> |
2 | <head> | |
3 | <title>Mail Archive Search</title> | |
01cd41eb IK |
4 | <link rel="stylesheet" type="text/css" href="/archive/html/stylesheet.css"> |
5 | <style type="original-disabled-text/css"><!-- | |
01c223d0 BOFG |
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> |