1 |
<?xml version="1.0" encoding="UTF-8"?> |
2 |
|
3 |
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.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: #eeeeff none; |
20 |
} |
21 |
body { |
22 |
margin: 0em 0em; padding: 0em 0em; |
23 |
background: #eeeeff none; |
24 |
color: #111111; |
25 |
} |
26 |
div.estform { |
27 |
margin: 0.8em 1.0em; padding: 0em 1.0em; |
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 |
</style> |
35 |
<script type="text/javascript">var timerid = -1; |
36 |
function gosubmit(){ |
37 |
document.getElementById('form_self').submit(); |
38 |
} |
39 |
function setsubmit(){ |
40 |
if(timerid != -1){ |
41 |
clearTimeout(timerid); |
42 |
} |
43 |
timerid = setTimeout(gosubmit, 100); |
44 |
} |
45 |
function startup(){ |
46 |
document.getElementById('phrase').focus(); |
47 |
document.getElementById('phrase').onkeyup = setsubmit; |
48 |
} |
49 |
</script> |
50 |
</head> |
51 |
|
52 |
<body onload="startup();"> |
53 |
|
54 |
<div class="estform"> |
55 |
<form action="estseek.cgi" method="get" name="form_self" id="form_self" target="result"> |
56 |
<div class="form_basic"> |
57 |
<input type="text" name="phrase" value="" size="80" id="phrase" class="text incremental" tabindex="1" accesskey="0" /> |
58 |
</div> |
59 |
</form> |
60 |
</div> |
61 |
|
62 |
</body> |
63 |
|
64 |
</html> |