File tree Expand file tree Collapse file tree 1 file changed +8
-1
lines changed Expand file tree Collapse file tree 1 file changed +8
-1
lines changed Original file line number Diff line number Diff line change @@ -150,6 +150,9 @@ function setScrollPosition() {
150150 } , 250 ) ;
151151}
152152
153+ var $menuButton = $ ( '[for="nav-trigger"]' ) ;
154+ var $navTrigger = $ ( '#nav-trigger' ) ;
155+
153156function navigate ( href ) {
154157 // make sure we're in the right spot
155158 if ( href === "javascript://" ) { // jshint ignore:line
@@ -174,6 +177,10 @@ function navigate(href) {
174177
175178 loader . start ( ) ;
176179
180+ if ( $menuButton . is ( ':visible' ) ) {
181+ $navTrigger . prop ( 'checked' , false ) ;
182+ }
183+
177184 navigating = true ;
178185 $ . ajax ( href , {
179186 dataType : "text" ,
@@ -463,4 +470,4 @@ function buildTOC() {
463470
464471 toc += Array ( level - baseLevel + 1 ) . join ( '</li></ol>' ) + "</li></ol>" ;
465472 $tableOfContents . append ( toc ) ;
466- }
473+ }
You can’t perform that action at this time.
0 commit comments