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