Moved part of the userguide menu javascript to an external file.

1 files changed, 1 insertions, 6 deletions

diff --git a/user_guide/libraries/config.html b/user_guide/libraries/config.html
index 6fca8ec8d..3eec0a028 100644
--- a/user_guide/libraries/config.html
+++ b/user_guide/libraries/config.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' />