diff options
Diffstat (limited to 'user_guide/toc.html')
| -rw-r--r-- | user_guide/toc.html | 7 |
1 files changed, 1 insertions, 6 deletions
diff --git a/user_guide/toc.html b/user_guide/toc.html index b08a73992..125b506c7 100644 --- a/user_guide/toc.html +++ b/user_guide/toc.html @@ -10,12 +10,7 @@ <script type="text/javascript" src="nav/nav.js"></script>
<script type="text/javascript" src="nav/prototype.lite.js"></script>
<script type="text/javascript" src="nav/moo.fx.js"></script>
-<script type="text/javascript">
-window.onload = function() {
- myHeight = new fx.Height('nav', {duration: 400});
- myHeight.hide();
-}
-</script>
+<script type="text/javascript" src="nav/user_guide_menu.js"></script>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
<meta http-equiv='expires' content='-1' />
|