178 |
--> |
--> |
179 |
<body> |
<body> |
180 |
|
|
181 |
|
<span style="background: #e0e0e0;"> |
182 |
|
<a href="search.html">search</a> | |
183 |
|
<a href="thesaurus.html">thesarus</a> | |
184 |
|
<a href="browse.html"><b>browse</b></a> |
185 |
|
</span> |
186 |
|
|
187 |
<div style="float: right; width: 10em; text-align: center; margin: 0.5m; background: #e0e0e0; border: 1px dashed #c0c0c0; z-index: 1;"> |
<div style="float: right; width: 10em; text-align: center; margin: 0.5m; background: #e0e0e0; border: 1px dashed #c0c0c0; z-index: 1;"> |
188 |
Folding: |
Folding: |
189 |
<br/> |
<br/> |
194 |
<a href="#" onClick="hide_display(hide); hide_display(show);">none</a> |
<a href="#" onClick="hide_display(hide); hide_display(show);">none</a> |
195 |
<br/> |
<br/> |
196 |
<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> |
197 |
|
|
198 |
|
<a href="#" onClick="outline_display('mfn6030');">outline</a> |
199 |
</div> |
</div> |
200 |
|
|
201 |
<ul> |
<ul> |