File tree Expand file tree Collapse file tree 1 file changed +11
-8
lines changed
scaladoc/resources/dotty_res/scripts Expand file tree Collapse file tree 1 file changed +11
-8
lines changed Original file line number Diff line number Diff line change @@ -139,14 +139,17 @@ window.addEventListener("DOMContentLoaded", () => {
139139 }
140140 } )
141141
142- // show/hide side menu on mobile view
143- const sideMenuToggler = document . getElementById ( "mobile-sidebar-toggle" ) ;
144- sideMenuToggler . addEventListener ( 'click' , _e => {
145- document . getElementById ( "leftColumn" ) . classList . toggle ( "show" )
146- document . getElementById ( "content" ) . classList . toggle ( "sidebar-shown" )
147- document . getElementById ( "toc" ) . classList . toggle ( "sidebar-shown" )
148- sideMenuToggler . classList . toggle ( "menu-shown" )
149- } )
142+ // show/hide side menu on mobile view
143+ const sideMenuToggler = document . getElementById ( "mobile-sidebar-toggle" ) ;
144+ sideMenuToggler . addEventListener ( 'click' , _e => {
145+ document . getElementById ( "leftColumn" ) . classList . toggle ( "show" )
146+ document . getElementById ( "content" ) . classList . toggle ( "sidebar-shown" )
147+ const toc = document . getElementById ( "toc" ) ;
148+ if ( toc ) {
149+ toc . classList . toggle ( "sidebar-shown" )
150+ }
151+ sideMenuToggler . classList . toggle ( "menu-shown" )
152+ } )
150153
151154 // show/hide mobile menu on mobile view
152155 const mobileMenuOpenIcon = document . getElementById ( "mobile-menu-toggle" ) ;
You can’t perform that action at this time.
0 commit comments