fix the behavior of sticky header (#1070)

rust-lang · Oct 19, 2019 · a592da3 · a592da3
1 parent 6af6219
commit a592da3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/theme/book.js b/src/theme/book.js
@@ -602,6 +602,6 @@ function playpen_text(playpen) {
             menu.classList.remove('bordered');
         }
 
-        previousScrollTop = document.scrollingElement.scrollTop;
+        previousScrollTop = Math.max(document.scrollingElement.scrollTop, 0);
     }, { passive: true });
 })();