diff options
Diffstat (limited to 'tools/awk.html')
-rw-r--r-- | tools/awk.html | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/tools/awk.html b/tools/awk.html index 4a2666e..1ccbacd 100644 --- a/tools/awk.html +++ b/tools/awk.html @@ -32,6 +32,7 @@ </head> <body> + <div id="body-container"> <!-- Provide site root to javascript --> <script> var path_to_root = "../"; @@ -69,10 +70,12 @@ <!-- Hide / unhide sidebar before it is displayed --> <script> var html = document.querySelector('html'); - var sidebar = 'hidden'; + var sidebar = null; if (document.body.clientWidth >= 1080) { try { sidebar = localStorage.getItem('mdbook-sidebar'); } catch(e) { } sidebar = sidebar || 'visible'; + } else { + sidebar = 'hidden'; } html.classList.remove('sidebar-visible'); html.classList.add("sidebar-" + sidebar); @@ -337,5 +340,6 @@ in the <code>user</code> variable and then print it.</p> <!-- Custom JS scripts --> + </div> </body> </html> |