Deploying to gh-pages from @ e7569c2 🚀

markrtuttle · markrtuttle · commit da407bfc2d9c · 2023-03-23T21:24:44.000Z
diff --git a/404.html b/404.html
@@ -33,6 +33,7 @@
 
     </head>
     <body>
+    <div id="body-container">
         <!-- Provide site root to javascript -->
         <script>
             var path_to_root = "";
@@ -181,5 +182,6 @@ <h1 id="document-not-found-404"><a class="header" href="#document-not-found-404"
         <!-- Custom JS scripts -->
 
 
+    </div>
     </body>
 </html>
diff --git a/css/chrome.css b/css/chrome.css
@@ -2,12 +2,6 @@
 
 @import 'variables.css';
 
-::-webkit-scrollbar {
-    background: var(--bg);
-}
-::-webkit-scrollbar-thumb {
-    background: var(--scrollbar);
-}
 html {
     scrollbar-color: var(--scrollbar) var(--bg);
 }
@@ -18,6 +12,19 @@ a > .hljs {
     color: var(--links);
 }
 
+/*
+    body-container is necessary because mobile browsers don't seem to like
+    overflow-x on the body tag when there is a <meta name="viewport"> tag.
+*/
+#body-container {
+    /*
+        This is used when the sidebar pushes the body content off the side of
+        the screen on small screens. Without it, dragging on mobile Safari
+        will want to reposition the viewport in a weird way.
+    */
+    overflow-x: hidden;
+}
+
 /* Menu Bar */
 
 #menu-bar,
diff --git a/demo/index.html b/demo/index.html
@@ -32,6 +32,7 @@
 
     </head>
     <body>
+    <div id="body-container">
         <!-- Provide site root to javascript -->
         <script>
             var path_to_root = "../";
@@ -289,5 +290,6 @@ <h1 id="demonstration"><a class="header" href="#demonstration">Demonstration</a>
         <!-- Custom JS scripts -->
 
 
+    </div>
     </body>
 </html>
diff --git a/developer-guide/architecture.html b/developer-guide/architecture.html
@@ -32,6 +32,7 @@
 
     </head>
     <body>
+    <div id="body-container">
         <!-- Provide site root to javascript -->
         <script>
             var path_to_root = "../";
@@ -283,5 +284,6 @@ <h2 id="debugger-documentation"><a class="header" href="#debugger-documentation"
         <!-- Custom JS scripts -->
 
 
+    </div>
     </body>
 </html>
diff --git a/developer-guide/implementation.html b/developer-guide/implementation.html
@@ -32,6 +32,7 @@
 
     </head>
     <body>
+    <div id="body-container">
         <!-- Provide site root to javascript -->
         <script>
             var path_to_root = "../";
@@ -270,5 +271,6 @@ <h2 id="extension-utilities"><a class="header" href="#extension-utilities">Exten
         <!-- Custom JS scripts -->
 
 
+    </div>
     </body>
 </html>
diff --git a/developer-guide/index.html b/developer-guide/index.html
@@ -32,6 +32,7 @@
 
     </head>
     <body>
+    <div id="body-container">
         <!-- Provide site root to javascript -->
         <script>
             var path_to_root = "../";
@@ -197,5 +198,6 @@ <h1 id="developer-guide"><a class="header" href="#developer-guide">Developer gui
         <!-- Custom JS scripts -->
 
 
+    </div>
     </body>
 </html>
diff --git a/developer-guide/installation.html b/developer-guide/installation.html
@@ -32,6 +32,7 @@
 
     </head>
     <body>
+    <div id="body-container">
         <!-- Provide site root to javascript -->
         <script>
             var path_to_root = "../";
@@ -214,5 +215,6 @@ <h1 id="installation"><a class="header" href="#installation">Installation</a></h
         <!-- Custom JS scripts -->
 
 
+    </div>
     </body>
 </html>
diff --git a/faq/index.html b/faq/index.html
@@ -32,6 +32,7 @@
 
     </head>
     <body>
+    <div id="body-container">
         <!-- Provide site root to javascript -->
         <script>
             var path_to_root = "../";
@@ -189,5 +190,6 @@ <h1 id="frequently-asked-questions"><a class="header" href="#frequently-asked-qu
         <!-- Custom JS scripts -->
 
 
+    </div>
     </body>
 </html>
diff --git a/index.html b/index.html
@@ -32,6 +32,7 @@
 
     </head>
     <body>
+    <div id="body-container">
         <!-- Provide site root to javascript -->
         <script>
             var path_to_root = "";
@@ -226,5 +227,6 @@ <h1 id="cbmc-proof-debugger"><a class="header" href="#cbmc-proof-debugger">CBMC
         <!-- Custom JS scripts -->
 
 
+    </div>
     </body>
 </html>
diff --git a/print.html b/print.html
@@ -33,6 +33,7 @@
 
     </head>
     <body>
+    <div id="body-container">
         <!-- Provide site root to javascript -->
         <script>
             var path_to_root = "";
@@ -609,5 +610,6 @@ <h2 id="extension-utilities"><a class="header" href="#extension-utilities">Exten
         });
         </script>
 
+    </div>
     </body>
 </html>
diff --git a/user-guide/configuration.html b/user-guide/configuration.html
@@ -32,6 +32,7 @@
 
     </head>
     <body>
+    <div id="body-container">
         <!-- Provide site root to javascript -->
         <script>
             var path_to_root = "../";
@@ -218,5 +219,6 @@ <h1 id="configuration"><a class="header" href="#configuration">Configuration</a>
         <!-- Custom JS scripts -->
 
 
+    </div>
     </body>
 </html>
diff --git a/user-guide/index.html b/user-guide/index.html
@@ -32,6 +32,7 @@
 
     </head>
     <body>
+    <div id="body-container">
         <!-- Provide site root to javascript -->
         <script>
             var path_to_root = "../";
@@ -197,5 +198,6 @@ <h1 id="user-guide"><a class="header" href="#user-guide">User guide</a></h1>
         <!-- Custom JS scripts -->
 
 
+    </div>
     </body>
 </html>
diff --git a/user-guide/installation.html b/user-guide/installation.html
@@ -32,6 +32,7 @@
 
     </head>
     <body>
+    <div id="body-container">
         <!-- Provide site root to javascript -->
         <script>
             var path_to_root = "../";
@@ -230,5 +231,6 @@ <h2 id="uninstall-the-debugger"><a class="header" href="#uninstall-the-debugger"
         <!-- Custom JS scripts -->
 
 
+    </div>
     </body>
 </html>
