From a5f4183e77e0a48d2ca26cba731432488a82438a Mon Sep 17 00:00:00 2001
From: David Thrane Christiansen <david@lean-fro.org>
Date: Tue, 19 Nov 2024 10:17:07 +0100
Subject: [PATCH] chore: upstream some theme elements and update Verso (#156)

This should fix horizontal scrolling on mobile phones.

Closes #138 and most of #155.
---
 .vale/scripts/rewrite_html.py |  4 +++
 lake-manifest.json            |  2 +-
 static/theme.css              | 53 -----------------------------------
 3 files changed, 5 insertions(+), 54 deletions(-)

diff --git a/.vale/scripts/rewrite_html.py b/.vale/scripts/rewrite_html.py
index ef8e895..1599b57 100644
--- a/.vale/scripts/rewrite_html.py
+++ b/.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()
diff --git a/lake-manifest.json b/lake-manifest.json
index 9f86563..5305fd8 100644
--- a/lake-manifest.json
+++ b/lake-manifest.json
@@ -25,7 +25,7 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "6b15732648542ff28017eea75da3dddceea1fe91",
+   "rev": "a0dfe90b994567dd8113cab24baa1da27709d444",
    "name": "verso",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",
diff --git a/static/theme.css b/static/theme.css
index 5ef1a4d..15c8a2f 100644
--- a/static/theme.css
+++ b/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 {
-
-}