- automate the offset part

diff --git a/doc/build/static/docs.css b/doc/build/static/docs.css
index d3131bfc77083f9972f4537a9597bd50183ccbdf..9797bbf6588ef558477a0cd33f6351bf8a711788 100644 (file)
--- a/doc/build/static/docs.css
+++ b/doc/build/static/docs.css
@@ -185,7 +185,7 @@ a.headerlink:hover {
   border: solid 1px #CCC;
 
   float:left;
-
+  min-height: 700px;
   z-index: 3;
   background-color: #EFEFEF;
 

diff --git a/doc/build/static/init.js b/doc/build/static/init.js
index 0f2f385557d3ad00c6078c4760eacaf75025c215..8422fe12cd0692f3d2b228c4a575e35f7265ecbe 100644 (file)
--- a/doc/build/static/init.js
+++ b/doc/build/static/init.js
@@ -12,19 +12,21 @@ var automatedBreakpoint = -1;
 function initFloatyThings() {
 
     automatedBreakpoint = $("#docs-top-navigation-container").offset().top;
-
+    autoOffset = $("#docs-container").offset().top;
     function setNavSize() {
         $("#docs-top-navigation-container").css("width", $("#docs-container").width());
     }
 
     function setScroll() {
         var scrolltop = $(window).scrollTop();
-        if (scrolltop >= automatedBreakpoint - 10) {
+        if (scrolltop >= automatedBreakpoint) {
             setNavSize();
             $("#docs-top-navigation-container").addClass("automated");
             $("#docs-sidebar").addClass("automated");
             $("#docs-sidebar").css("top", $("#docs-top-navigation-container").height());
-            $("#docs-body").css("margin-top", $("#docs-top-navigation-container").height());
+            $("#docs-body").css("margin-top",
+                                    $("#docs-top-navigation-container").height() +
+                                    autoOffset);
         }
         else {
             $("#docs-top-navigation-container.automated").css("width", "");