0.5.1/increm/estseek-form.html

<?xml version="1.0" encoding="UTF-8"?>

<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">

<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en">

<head>
<meta http-equiv="Cache-Control" content="no-cache, must-revalidate, no-transform" />
<meta http-equiv="Content-Language" content="en" />
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8" />
<meta http-equiv="Content-Style-Type" content="text/css" />
<meta http-equiv="Content-Script-Type" content="text/javascript" />
<meta name="generator" content="Hyper Estraier" />
<link rel="contents" href="./" />
<link rev="made" href="mailto:hyperestraier-users@list.sourceforge.net" />
<title>Hyper Estraier: a full-text search system for communities</title>
<style type="text/css">html {
  margin: 0em 0em; padding: 0em 0em;
  background: #eeeeff none;
}
body {
  margin: 0em 0em; padding: 0em 0em;
  background: #eeeeff none;
  color: #111111;
}
div.estform {
  margin: 0.8em 1.0em; padding: 0em 1.0em;
  -moz-border-radius: 0.4em;
}
div.form_basic {
  margin: 0.6em 0em 0em 0em; padding: 0em 0em;
  font-size: smaller;
}
</style>
<script type="text/javascript">var timerid = -1;
function gosubmit(){
  document.getElementById('form_self').submit();
}
function setsubmit(){
  if(timerid != -1){
    clearTimeout(timerid);
  }
  timerid = setTimeout(gosubmit, 100);
}
function startup(){
  document.getElementById('phrase').focus();
  document.getElementById('phrase').onkeyup = setsubmit;
}
</script>
</head>

<body onload="startup();">

<div class="estform">
<form action="estseek.cgi" method="get" name="form_self" id="form_self" target="result">
<div class="form_basic">
<input type="text" name="phrase" value="" size="80" id="phrase" class="text incremental" tabindex="1" accesskey="0" />
</div>
</form>
</div>

</body>

</html>
1	dpavlin	2	<?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>