trunk2/out/thesaurus.html

<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-2"/>
<script type="text/javascript" src="bfilter/bfilter.js"></script>
<script type="text/javascript" src="bfilter/DescriptorHR.js"></script>
<script type="text/javascript">

function myfilter() {
//      document.getElementById('textfilter').focus();
//      document.getElementById('textfilter').caretPos=1;
//      document.getElementById('textfilter').select();
        document.myfilter = new BFilter(headlines);
}

</script>
<!--
<link rel="stylesheet" href="style.css" type="text/css">
-->
<title>Thesaurus</title>
</head>

<body onload="myfilter(); ">

<div style="width:20%; float: right; border: 1px solid red" id="debug">
</div>

<span style="background: #e0e0e0;">
    <a href="search.html">search</a> |
    <a href="thesaurus.html"><b>thesarus</b></a> |
    <a href="browse.html">browse</a>
</span>

<form method="get" onSubmit="return false;">
<div class="filters">
        <input autocomplete="off" class="filters" id="textfilter" title="enter a regular expression to filter by" onKeyUp="document.myfilter.filter(document,this.value);">
        <!-- this button is strictly for looks -->
        <input class="filters" value="filter" type="button">
</div>
</form>

<div id="status" style="font-size: 80%; color: gray;">
<!--
Enter few letters to filter by them
-->
</div>

<div id="results">
</div>

</body>

1	dpavlin	432	<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
2			<html>
3			<head>
4			<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-2"/>
5			<script type="text/javascript" src="bfilter/bfilter.js"></script>
6			<script type="text/javascript" src="bfilter/DescriptorHR.js"></script>
7			<script type="text/javascript">
8
9			function myfilter() {
10			// document.getElementById('textfilter').focus();
11			// document.getElementById('textfilter').caretPos=1;
12			// document.getElementById('textfilter').select();
13			document.myfilter = new BFilter(headlines);
14			}
15
16			</script>
17			<!--
18			<link rel="stylesheet" href="style.css" type="text/css">
19			-->
20			<title>Thesaurus</title>
21			</head>
22
23			<body onload="myfilter(); ">
24
25			<div style="width:20%; float: right; border: 1px solid red" id="debug">
26			</div>
27
28			<span style="background: #e0e0e0;">
29			<a href="search.html">search</a> \|
30			<a href="thesaurus.html"><b>thesarus</b></a> \|
31			<a href="browse.html">browse</a>
32			</span>
33
34			<form method="get" onSubmit="return false;">
35			<div class="filters">
36			<input autocomplete="off" class="filters" id="textfilter" title="enter a regular expression to filter by" onKeyUp="document.myfilter.filter(document,this.value);">
37			<!-- this button is strictly for looks -->
38			<input class="filters" value="filter" type="button">
39			</div>
40			</form>
41
42			<div id="status" style="font-size: 80%; color: gray;">
43			<!--
44			Enter few letters to filter by them
45			-->
46			</div>
47
48			<div id="results">
49			</div>
50
51			</body>
52