- disallow negative scroll positions from affecting the left nav position

diff --git a/doc/build/static/init.js b/doc/build/static/init.js
index 356b1f72611117bfbf44aecddab14aef028950e7..5687eed1ddbde94ebf4944d656a28ec55ac046a0 100644 (file)
--- a/doc/build/static/init.js
+++ b/doc/build/static/init.js
@@ -46,7 +46,8 @@ function initFloatyThings() {
             $("#docs-sidebar").removeClass("automated");
             $("#docs-top-navigation-container").removeClass("automated");
             $("#docs-body").css("margin-top", "");
-            $("#docs-sidebar").css("top", $("#docs-body").offset().top - scrolltop);
+            // safari/chrome allow negative scroll positions
+            $("#docs-sidebar").css("top", $("#docs-body").offset().top - Math.max(scrolltop, 0));
         }