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="ja" lang="ja"> |
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_extension { |
35 |
margin: 0.5em 0em -0.3em 0em; padding: 0em 0em; |
36 |
font-size: smaller; |
37 |
} |
38 |
div.estresult { |
39 |
margin: 1.0em 1.0em; padding: 0em 0em; |
40 |
} |
41 |
div.resinfo { |
42 |
text-align: right; |
43 |
font-size: smaller; |
44 |
} |
45 |
div.hints { |
46 |
margin-right: 0.8em; text-align: right; |
47 |
font-size: smaller; color: #555555; |
48 |
} |
49 |
dl.doc { |
50 |
margin: 1.3em 0em; |
51 |
} |
52 |
dl.doc dd { |
53 |
font-size: smaller; color: #222222; |
54 |
} |
55 |
a.doc_title { |
56 |
color: #0011ee; text-decoration: underline; |
57 |
} |
58 |
a.doc_title:hover { |
59 |
color: #0033ff; text-decoration: underline; |
60 |
} |
61 |
span.doc_score { |
62 |
font-size: smaller; color: #555555; |
63 |
} |
64 |
span.doc_score:before { |
65 |
content: "("; |
66 |
} |
67 |
span.doc_score:after { |
68 |
content: ")"; |
69 |
} |
70 |
span.doc_uri { |
71 |
color: #007744; |
72 |
} |
73 |
dd.doc_attr { |
74 |
margin: 0em 0.8em; |
75 |
} |
76 |
span.doc_val { |
77 |
color: #111111; |
78 |
} |
79 |
dd.doc_text { |
80 |
margin: 0em 1.3em; |
81 |
} |
82 |
strong.key { |
83 |
margin: 0em -0.1em; padding: 0em 0.1em; |
84 |
color: #000011; |
85 |
-moz-border-radius: 0.3em; |
86 |
} |
87 |
strong.key1 { background-color: #ffffcc; } |
88 |
strong.key2 { background-color: #ffeeee; } |
89 |
strong.key3 { background-color: #eeeeff; } |
90 |
strong.key4 { background-color: #eeffdd; } |
91 |
dd.doc_navi { |
92 |
margin: 0em 1.1em; |
93 |
} |
94 |
a.detail,a.similar { |
95 |
color: #007777; text-decoration: none; |
96 |
} |
97 |
a.detail:hover,a.similar:hover { |
98 |
color: #0066dd; text-decoration: underline; |
99 |
} |
100 |
p.note { |
101 |
margin: 3em 1.5em; |
102 |
color: #444444; |
103 |
} |
104 |
div.paging { |
105 |
margin: 2em 1em; text-align: right; |
106 |
font-size: smaller; |
107 |
} |
108 |
a.navi { |
109 |
margin: 0em 0.2em; padding: 0em 0.5em; |
110 |
background: #eeeeff none; border: solid 1pt #bbbbcc; |
111 |
-moz-border-radius: 0.25em; |
112 |
color: #0022aa; text-decoration: none; |
113 |
} |
114 |
span.void { |
115 |
margin: 0em 0.2em; padding: 0em 0.5em; |
116 |
background: #eeeeee none; border: solid 1pt #bbbbcc; |
117 |
-moz-border-radius: 0.25em; |
118 |
color: #aaaaaa; |
119 |
opacity: 0.70; |
120 |
} |
121 |
a.pnum { |
122 |
margin: 0em -0.05em; padding: 0em 0.1em; |
123 |
background: #eeeeff none; border: solid 1pt #bbbbcc; |
124 |
-moz-border-radius: 0.25em; |
125 |
font-size: smaller; color: #0022aa; text-decoration: none; |
126 |
} |
127 |
span.pnow { |
128 |
margin: 0em -0.05em; padding: 0em 0.1em; |
129 |
background: #ffeedd none; border: solid 1pt #bbbbcc; |
130 |
-moz-border-radius: 0.25em; |
131 |
} |
132 |
div.estinfo { |
133 |
margin: 1.5em 1.0em; padding: 0em 0em; text-align: right; |
134 |
font-size: smaller; color: #555555; |
135 |
opacity: 0.80; |
136 |
} |
137 |
div.logo { |
138 |
margin: 4.0em 1em; text-align: center; |
139 |
} |
140 |
div.logo h1 { |
141 |
color: #000000; |
142 |
} |
143 |
div.logo div.caption { |
144 |
margin-top: -0.9em; |
145 |
color: #222222; |
146 |
} |
147 |
div.help { |
148 |
margin: 2em 4em; padding: 2em 2em; |
149 |
background-color: #eeeeff; border: 2pt solid #ddddee; |
150 |
-moz-border-radius: 0.8em; |
151 |
} |
152 |
div.help h2 { |
153 |
margin-top: 1.2em; |
154 |
} |
155 |
div.help p { |
156 |
line-height: 145%; text-indent: 0.8em; |
157 |
} |
158 |
div.help pre { |
159 |
margin: 0em 2em; padding: 0em 0.2em; |
160 |
background-color: #ffffff; border: 1pt solid #999999; |
161 |
-moz-border-radius: 0.2em; |
162 |
} |
163 |
</style> |
164 |
<script type="text/javascript">function startup(){ |
165 |
var elem = document.getElementById('phrase'); |
166 |
if(elem){ |
167 |
elem.focus(); |
168 |
} |
169 |
} |
170 |
</script> |
171 |
</head> |
172 |
|
173 |
<body onload="startup();"> |
174 |
|
175 |
<!--ESTFORM--> |
176 |
|
177 |
<!--ESTRESULT--> |
178 |
|
179 |
<!--ESTINFO--> |
180 |
|
181 |
</body> |
182 |
|
183 |
</html> |