Line # Revision Author
1 18 dpavlin <?xml version="1.0" encoding="UTF-8"?>
2
3 <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
4
5 <html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en">
6
7 <head>
8 <meta http-equiv="Cache-Control" content="no-cache, must-revalidate, no-transform" />
9 <meta http-equiv="Content-Language" content="en" />
10 <meta http-equiv="Content-Type" content="text/html; charset=UTF-8" />
11 <meta http-equiv="Content-Style-Type" content="text/css" />
12 <meta http-equiv="Content-Script-Type" content="text/javascript" />
13 <meta name="generator" content="Hyper Estraier" />
14 <link rel="contents" href="./" />
15 <link rev="made" href="mailto:hyperestraier-users@list.sourceforge.net" />
16 <title>Hyper Estraier: a full-text search system for communities</title>
17 <style type="text/css">html {
18 margin: 0em 0em; padding: 0em 0em;
19 background: #ffffff none;
20 }
21 body {
22 margin: 0em 0em; padding: 0em 0em;
23 color: #111111;
24 }
25 div.estform {
26 margin: 0.8em 1.0em; padding: 0em 1.0em;
27 background: #eeeeff none; border: solid 1pt #bbbbcc;
28 -moz-border-radius: 0.4em;
29 }
30 div.form_basic {
31 margin: 0.6em 0em 0em 0em; padding: 0em 0em;
32 font-size: smaller;
33 }
34 div.form_basic input.incremental {
35 background-color: #ffeeee;
36 }
37 div.form_extension {
38 margin: 0.5em 0em -0.3em 0em; padding: 0em 0em;
39 font-size: smaller;
40 }
41 div.estresult {
42 margin: 1.0em 1.0em; padding: 0em 0em;
43 }
44 div.resinfo {
45 text-align: right;
46 font-size: smaller;
47 }
48 div.hints {
49 margin-right: 0.8em; text-align: right;
50 font-size: smaller; color: #555555;
51 }
52 dl.doc {
53 margin: 1.3em 0em;
54 }
55 dl.doc dd {
56 font-size: smaller; color: #222222;
57 }
58 a.doc_title {
59 color: #0011ee; text-decoration: underline;
60 }
61 a.doc_title:hover {
62 color: #0033ff; text-decoration: underline;
63 }
64 span.doc_uri {
65 color: #007744;
66 }
67 dd.doc_attr {
68 margin: 0em 0.8em;
69 }
70 span.doc_val {
71 color: #111111;
72 }
73 dd.doc_text {
74 margin: 0em 1.3em;
75 }
76 strong.key {
77 margin: 0em -0.1em; padding: 0em 0.1em;
78 color: #000011;
79 -moz-border-radius: 0.3em;
80 }
81 strong.key1 { background-color: #ffffcc; }
82 strong.key2 { background-color: #ffeeee; }
83 strong.key3 { background-color: #eeeeff; }
84 strong.key4 { background-color: #eeffdd; }
85 dd.doc_navi {
86 margin: 0em 1.1em;
87 }
88 a.detail,a.similar {
89 color: #007777; text-decoration: none;
90 }
91 a.detail:hover,a.similar:hover {
92 color: #0066dd; text-decoration: underline;
93 }
94 p.note {
95 margin: 3em 1.5em;
96 color: #444444;
97 }
98 div.paging {
99 margin: 2em 1em; text-align: right;
100 font-size: smaller;
101 }
102 a.navi {
103 margin: 0em 0.2em; padding: 0em 0.5em;
104 background: #eeeeff none; border: solid 1pt #bbbbcc;
105 -moz-border-radius: 0.25em;
106 color: #0022aa; text-decoration: none;
107 }
108 span.void {
109 margin: 0em 0.2em; padding: 0em 0.5em;
110 background: #eeeeee none; border: solid 1pt #bbbbcc;
111 -moz-border-radius: 0.25em;
112 color: #aaaaaa;
113 opacity: 0.70;
114 }
115 a.pnum {
116 margin: 0em -0.05em; padding: 0em 0.1em;
117 background: #eeeeff none; border: solid 1pt #bbbbcc;
118 -moz-border-radius: 0.25em;
119 font-size: smaller; color: #0022aa; text-decoration: none;
120 }
121 span.pnow {
122 margin: 0em -0.05em; padding: 0em 0.1em;
123 background: #ffeedd none; border: solid 1pt #bbbbcc;
124 -moz-border-radius: 0.25em;
125 }
126 div.estinfo {
127 margin: 1.5em 1.0em; padding: 0em 0em; text-align: right;
128 font-size: smaller; color: #555555;
129 opacity: 0.80;
130 }
131 div.logo {
132 margin: 4.0em 1em; text-align: center;
133 }
134 div.logo h1 {
135 color: #000000;
136 }
137 div.logo div.caption {
138 margin-top: -0.9em;
139 color: #222222;
140 }
141 div.help {
142 margin: 2em 4em; padding: 2em 2em;
143 background-color: #eeeeff; border: 2pt solid #ddddee;
144 -moz-border-radius: 0.8em;
145 }
146 div.help h2 {
147 margin-top: 1.2em;
148 }
149 div.help p {
150 line-height: 145%; text-indent: 0.8em;
151 }
152 div.help pre {
153 margin: 0em 2em; padding: 0em 0.2em;
154 background-color: #ffffff; border: 1pt solid #999999;
155 -moz-border-radius: 0.2em;
156 }
157 </style>
158 <script type="text/javascript">var timerid = -1;
159 function gosubmit(){
160 document.getElementById('form_self').submit();
161 }
162 function setsubmit(){
163 if(timerid != -1){
164 clearTimeout(timerid);
165 }
166 timerid = setTimeout(gosubmit, 300);
167 }
168 function startup(){
169 document.getElementById('phrase').focus();
170 if(document.getElementById('phrase').getAttribute('class').indexOf('incremental') != -1){
171 document.getElementById('phrase').onkeyup = setsubmit;
172 }
173 }
174 </script>
175 </head>
176
177 <body onload="startup();">
178
179 <!--ESTFORM-->
180
181 <!--ESTRESULT-->
182
183 <!--ESTINFO-->
184
185 </body>
186
187 </html>