14 |
|
|
15 |
document.myfilter.result = function (arr) { |
document.myfilter.result = function (arr) { |
16 |
return '<li><a href="thes/'+arr[1]+'.html">'+arr[0]+'</a>'+ |
return '<li><a href="thes/'+arr[1]+'.html">'+arr[0]+'</a>'+ |
17 |
' <a href="browse.html?o='+arr[1]+'">⁂</a>' + |
' <a href="browse.html?o='+arr[1]+'">¤</a>' + |
18 |
'</li>'; |
'</li>'; |
19 |
} |
} |
20 |
|
|
25 |
} |
} |
26 |
|
|
27 |
</script> |
</script> |
28 |
<!-- |
<script type="text/javascript" src="bfilter/hide.js"></script> |
29 |
<link rel="stylesheet" href="style.css" type="text/css"> |
<link rel="stylesheet" href="style.css" type="text/css"> |
|
--> |
|
30 |
<title>Thesaurus</title> |
<title>Thesaurus</title> |
31 |
</head> |
</head> |
32 |
|
|
33 |
<body onload="myfilter(); "> |
<body onload="myfilter(); "> |
34 |
|
|
35 |
<div style="width:20%; float: right; border: 1px solid red" id="debug"> |
<div style="float: right; width: 10em; text-align: center; margin: 0.5m"> |
36 |
|
<a href="#" onClick="toggle_display('debug');">debug</a> |
37 |
|
|
38 |
|
<div style="text-align: left; border: 1px dashed #c0c0c0; display: none;" id="debug"> |
39 |
|
</div> |
40 |
|
|
41 |
</div> |
</div> |
42 |
|
|
43 |
<span style="background: #e0e0e0;"> |
<span style="background: #e0e0e0;"> |