1 |
<html> |
2 |
<head> |
3 |
<title>Browse</title> |
4 |
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-2"/> |
5 |
<script type="text/javascript" src="bfilter/hide.js"></script> |
6 |
<script type="text/javascript" src="[% js %]"></script> |
7 |
<script type="text/javascript" src="js/getargs.js"></script> |
8 |
<script type="text/javascript" src="js/popup.js"></script> |
9 |
<script type="text/javascript"> |
10 |
|
11 |
function outline_url() { |
12 |
var args = getArgs(); |
13 |
|
14 |
if (args['o']) { |
15 |
outline_display('o'+args['o']); |
16 |
self.location = "#mfn"+args['o']; |
17 |
} |
18 |
return true; |
19 |
} |
20 |
|
21 |
</script> |
22 |
<link rel="stylesheet" href="style.css" type="text/css"> |
23 |
</head> |
24 |
|
25 |
<body onLoad="outline_url();"> |
26 |
|
27 |
<span style="background: #e0e0e0;"> |
28 |
<a href="search.html">search</a> | |
29 |
<a href="thesaurus.html">thesarus</a> | |
30 |
<a href="browse.html"><b>browse</b></a> |
31 |
</span> |
32 |
|
33 |
<div style="float: right; width: 10em; text-align: center; margin: 0.5m; background: #e0e0e0; border: 1px dashed #c0c0c0; z-index: 1;"> |
34 |
Folding: |
35 |
<br/> |
36 |
<a href="#" onClick="back_display();">«</a> <a href="#" onClick="default_display();">default</a> <a href="#" onClick="forward_display();">»</a> |
37 |
<!-- |
38 |
<br/> |
39 |
<a href="#" onClick="show_hide_display(show,hide);">reset</a> |
40 |
<a href="#" onClick="show_display(show); show_display(hide);">all</a> |
41 |
<a href="#" onClick="hide_display(hide); hide_display(show);">none</a> |
42 |
<br/> |
43 |
<a href="#" onClick="alert('show: '+show.length+', hide: '+hide.length+', changed:'+changed_display_ids.length+', positin: '+changed_display_pos);">debug</a> |
44 |
|
45 |
<a href="#" onClick="var id=prompt('Enter ID to outline','id'); outline_display(id);">outline</a> |
46 |
--> |
47 |
</div> |
48 |
|
49 |
<ul> |
50 |
[% tree %] |
51 |
</ul> |
52 |
</body> |
53 |
</html> |