4 |
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-2"/> |
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-2"/> |
5 |
<script type="text/javascript" src="bfilter/hide.js"></script> |
<script type="text/javascript" src="bfilter/hide.js"></script> |
6 |
<script type="text/javascript" src="[% js %]"></script> |
<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" src="js/findpos.js"></script> |
10 |
|
<script type="text/javascript"> |
11 |
|
|
12 |
|
function outline_url() { |
13 |
|
var args = getArgs(); |
14 |
|
var o = args['o']; |
15 |
|
|
16 |
|
if (o) { |
17 |
|
outline_display('o'+o); |
18 |
|
|
19 |
|
// following reloads page in Opera == not good |
20 |
|
//self.location = "#mfn"+o |
21 |
|
var e = element_id('o'+o); |
22 |
|
if (e) { |
23 |
|
var y = findPosY(e); |
24 |
|
|
25 |
|
// position 30px above found term |
26 |
|
if (y > 30) y -= 30; |
27 |
|
if (e) window.scrollTo(findPosX(e),y); |
28 |
|
} |
29 |
|
} |
30 |
|
return true; |
31 |
|
} |
32 |
|
|
33 |
|
</script> |
34 |
|
<link rel="stylesheet" href="style.css" type="text/css"> |
35 |
</head> |
</head> |
36 |
|
|
37 |
<!-- |
<body onLoad="outline_url();"> |
|
<body onLoad="show_hide_display(show,hide);"> |
|
|
--> |
|
|
<body> |
|
38 |
|
|
39 |
<span style="background: #e0e0e0;"> |
<span style="background: #e0e0e0;"> |
40 |
<a href="search.html">search</a> | |
<a href="search.html">search</a> | |
46 |
Folding: |
Folding: |
47 |
<br/> |
<br/> |
48 |
<a href="#" onClick="back_display();">«</a> <a href="#" onClick="default_display();">default</a> <a href="#" onClick="forward_display();">»</a> |
<a href="#" onClick="back_display();">«</a> <a href="#" onClick="default_display();">default</a> <a href="#" onClick="forward_display();">»</a> |
49 |
|
<!-- |
50 |
<br/> |
<br/> |
51 |
<a href="#" onClick="show_hide_display(show,hide);">reset</a> |
<a href="#" onClick="show_hide_display(show,hide);">reset</a> |
52 |
<a href="#" onClick="show_display(show); show_display(hide);">all</a> |
<a href="#" onClick="show_display(show); show_display(hide);">all</a> |
54 |
<br/> |
<br/> |
55 |
<a href="#" onClick="alert('show: '+show.length+', hide: '+hide.length+', changed:'+changed_display_ids.length+', positin: '+changed_display_pos);">debug</a> |
<a href="#" onClick="alert('show: '+show.length+', hide: '+hide.length+', changed:'+changed_display_ids.length+', positin: '+changed_display_pos);">debug</a> |
56 |
|
|
57 |
<a href="#" onClick="var id=prompt('Enter ID to outline','id'); outline_display('id'+id);">outline</a> |
<a href="#" onClick="var id=prompt('Enter ID to outline','id'); outline_display(id);">outline</a> |
58 |
|
--> |
59 |
</div> |
</div> |
60 |
|
|
61 |
<ul> |
<ul> |