From 420d26872c1575c16d26d3aab0e73fc61ac91033 Mon Sep 17 00:00:00 2001
From: David Thrane Christiansen <david@davidchristiansen.dk>
Date: Mon, 18 Nov 2024 15:57:14 +0100
Subject: [PATCH] chore: upstream some theme elements and update Verso

This should fix horizontal scrolling on mobile phones.
---
 lake-manifest.json |  4 ++--
 lakefile.lean      |  2 +-
 static/theme.css   | 53 ----------------------------------------------
 3 files changed, 3 insertions(+), 56 deletions(-)

diff --git a/lake-manifest.json b/lake-manifest.json
index 9f86563..f11f409 100644
--- a/lake-manifest.json
+++ b/lake-manifest.json
@@ -25,10 +25,10 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "6b15732648542ff28017eea75da3dddceea1fe91",
+   "rev": "2b5d90d58fa303740e326f385b253f53755e050c",
    "name": "verso",
    "manifestFile": "lake-manifest.json",
-   "inputRev": "main",
+   "inputRev": "mobile-css-manual",
    "inherited": false,
    "configFile": "lakefile.lean"}],
  "name": "«verso-manual»",
diff --git a/lakefile.lean b/lakefile.lean
index 5344a90..7676bec 100644
--- a/lakefile.lean
+++ b/lakefile.lean
@@ -7,7 +7,7 @@ import Lake
 open Lake DSL
 open System (FilePath)
 
-require verso from git "https://github.com/leanprover/verso"@"main"
+require verso from git "https://github.com/leanprover/verso"@"mobile-css-manual"
 
 package "verso-manual" where
   -- work around clang emitting invalid linker optimization hints that lld rejects
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 {
-
-}