From 4b3a334cf553b9f0b7f831538cb4d23fbdb0594f Mon Sep 17 00:00:00 2001
From: johannst <johannst@users.noreply.github.com>
Date: Wed, 12 Apr 2023 20:57:45 +0000
Subject: deploy: d6deac54dd372c946942637636846893694ce521
---
tools/index.html | 6 +++++-
1 file changed, 5 insertions(+), 1 deletion(-)
(limited to 'tools/index.html')
diff --git a/tools/index.html b/tools/index.html
index 6e1d8f5..a7d697b 100644
--- a/tools/index.html
+++ b/tools/index.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);
@@ -210,5 +213,6 @@
<!-- Custom JS scripts -->
+ </div>
</body>
</html>
--
cgit v1.2.3