spacing and width break

leanprover · Jan 13, 2024 · b7fad51 · b7fad51
1 parent 80ce465
commit b7fad51
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 11 deletions.
diff --git a/DocGen4/Output/Template.lean b/DocGen4/Output/Template.lean
@@ -45,7 +45,7 @@ def baseHtmlGenerator (title : String) (site : Array Html) : BaseHtmlM Html := d
         <input id="nav_toggle" type="checkbox"/>
 
         <header>
-          <h1><label for="nav_toggle"></label>Documentation</h1>
+          <h1><label for="nav_toggle"></label><span>Documentation</span></h1>
           <h2 class="header_filename break_within">[breakWithin title]</h2>
           <form action="https://google.com/search" method="get" id="search_form">
             <input type="hidden" name="sitesearch" value="https://leanprover-community.github.io/mathlib4_docs"/>

diff --git a/static/style.css b/static/style.css
@@ -180,11 +180,7 @@ header {
     align-items: center;
     justify-content: space-between;
 }
-@supports (width: min(10px, 5vw)) {
-    header {
-        --header-side-padding: calc(max(1em, (100vw - var(--content-width) - 30em) / 2));
-    }
-}
+
 @media screen and (max-width: 1000px) {
     :root {
         --content-width: 100vw;
@@ -272,11 +268,6 @@ header .header_filename {
     text-align: center;
     line-height: 95%;
 }
-@media (max-width: 80em) {
-    header .header_filename {
-        display: none;
-    }
-}
 
 /* inserted by nav.js */
 #autocomplete_results {