summaryrefslogtreecommitdiffstats
path: root/user_guide/toc.html
diff options
context:
space:
mode:
Diffstat (limited to 'user_guide/toc.html')
-rw-r--r--user_guide/toc.html7
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' />