File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -435,6 +435,7 @@ function playpen_text(playpen) {
435435( function sidebar ( ) {
436436 var html = document . querySelector ( "html" ) ;
437437 var sidebar = document . getElementById ( "sidebar" ) ;
438+ var sidebarScrollBox = document . getElementById ( "sidebar-scrollbox" ) ;
438439 var sidebarLinks = document . querySelectorAll ( '#sidebar a' ) ;
439440 var sidebarToggleButton = document . getElementById ( "sidebar-toggle" ) ;
440441 var sidebarResizeHandle = document . getElementById ( "sidebar-resize-handle" ) ;
@@ -522,7 +523,7 @@ function playpen_text(playpen) {
522523 // Scroll sidebar to current active section
523524 var activeSection = sidebar . querySelector ( ".active" ) ;
524525 if ( activeSection ) {
525- sidebar . scrollTop = activeSection . offsetTop ;
526+ sidebarScrollBox . scrollTop = activeSection . offsetTop ;
526527 }
527528} ) ( ) ;
528529
Original file line number Diff line number Diff line change 8484 </script >
8585
8686 <nav id =" sidebar" class =" sidebar" aria-label =" Table of contents" >
87- <div class =" sidebar-scrollbox" >
87+ <div id = " sidebar-scrollbox " class =" sidebar-scrollbox" >
8888 {{ #toc }} {{ /toc }}
8989 </div >
9090 <div id =" sidebar-resize-handle" class =" sidebar-resize-handle" ></div >
You can’t perform that action at this time.
0 commit comments