diff options
Diffstat (limited to 'user_guide/general/credits.html')
| -rw-r--r-- | user_guide/general/credits.html | 7 |
1 files changed, 1 insertions, 6 deletions
diff --git a/user_guide/general/credits.html b/user_guide/general/credits.html index a1dba421d..99a670c8e 100644 --- a/user_guide/general/credits.html +++ b/user_guide/general/credits.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' />
|