- pull in the whole top into the fixed part, reduce the size, clean it up

1 files changed, 6 insertions, 7 deletions

diff --git a/doc/build/static/init.js b/doc/build/static/init.js
index c7de23a9a..23a4d9733 100644
--- a/doc/build/static/init.js
+++ b/doc/build/static/init.js
@@ -17,28 +17,27 @@ function initFloatyThings() {
         $("#docs-top-navigation-container").css("width", $("#docs-container").width());
     }
 
-    $(window).scroll(function() {
+    function setScroll() {
         var scrolltop = $(window).scrollTop();
         if (scrolltop >= automatedBreakpoint - 10) {
             setNavSize();
             $("#docs-top-navigation-container").addClass("automated");
             $("#docs-sidebar").addClass("automated");
             $("#docs-sidebar").css("top", $("#docs-top-navigation-container").height());
-            $("#docs-top-navigation").addClass("automated");
-            $("#docs-body").css("padding-top", "100px");
+            $("#docs-body").css("margin-top", $("#docs-top-navigation-container").height());
         }
         else {
             $("#docs-top-navigation-container.automated").css("width", "");
             $("#docs-sidebar.automated").scrollTop(0);
             $("#docs-top-navigation-container").removeClass("automated");
             $("#docs-sidebar").removeClass("automated");
-            $("#docs-top-navigation").removeClass("automated");
-            $("#docs-body").css("padding-top", "");
+            $("#docs-body").css("margin-top", "");
         }
-
-    })
+    }
+    $(window).scroll(setScroll)
 
     $(window).resize(setNavSize());
+    setScroll();
 }