Moved part of the userguide menu javascript to an external file.
diff --git a/user_guide/general/helpers.html b/user_guide/general/helpers.html
index d5cd07a..8c4f695 100644
--- a/user_guide/general/helpers.html
+++ b/user_guide/general/helpers.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' />