chore: upstream some theme elements and update Verso (#156)

This should fix horizontal scrolling on mobile phones.

Closes #138 and most of #155.

Author: david-christiansen

.vale/scripts/rewrite_html.py

@@ -34,6 +34,10 @@ def process_html_file(filepath, output_filepath):
     for element in soup.find_all(class_="namedocs"):
         element.decompose()
 
+    # Delete the index
+    for element in soup.find_all(class_="theIndex"):
+        element.decompose()
+
     # Delete grammar specifications
     for element in soup.find_all(class_="grammar"):
         element.decompose()

lake-manifest.json

@@ -25,7 +25,7 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "6b15732648542ff28017eea75da3dddceea1fe91",
+   "rev": "a0dfe90b994567dd8113cab24baa1da27709d444",
    "name": "verso",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",

static/theme.css

@@ -4,55 +4,10 @@
     --verso-code-font-family: Source Code Pro, monospace;
 }
 
-html {
-    font-size: 16px;
-}
-
 p {
     font-feature-settings: "calt" off;
 }
 
-header h1 {
-    font-weight: 700;
-    margin: 10px;
-}
-
-h1 {
-  font-size: 3.0em;
-  line-height: 1.5;
-  margin-bottom: 1.5rem;
-}
-
-h2 {
-  font-size: 1.8rem;
-  line-height: 1.5;
-  margin-bottom: 1rem;
-}
-
-h3 {
-  font-size: 1.4rem;
-  line-height: 1.5;
-  margin-bottom: 0.2rem;
-}
-
-h4 {
-  font-size: 1.2rem;
-  line-height: 1.25;
-  margin-bottom: 0.2rem;
-}
-
-h5 {
-  font-size: 1rem;
-  line-height: 1.25;
-  margin-bottom: 0.2rem;
-}
-
-h6 {
-  font-size: 1rem;
-  line-height: 1.15;
-  margin-bottom: 0rem;
-}
-
 .hl.lean.block {
     margin-top: 1em;
     margin-bottom: 1em;
@@ -122,11 +77,3 @@ figcaption {
         z-index: 9; /* Just below the ToC */
     }
 }
-
-#print {
-    display: none;
-}
-
-#top-menu {
-
-}