diff --git a/Doc/tools/sphinxext/static/sidebar.js b/Doc/tools/sphinxext/static/sidebar.js
--- a/Doc/tools/sphinxext/static/sidebar.js
+++ b/Doc/tools/sphinxext/static/sidebar.js
@@ -163,7 +163,14 @@
 
 
   /* intelligent scrolling */
+  var last_call = new Date();
   function scroll_sidebar() {
+    console.log('called');
+    var now = new Date();
+    if (now-last_call < 100)
+        return;
+    last_call = now;
+    console.log('executed');
     var sidebar_height = sidebarwrapper.height();
     var viewport_height = get_viewport_height();
     var offset = sidebar.position()['top'];