From 5a65c64d4c6f3a3a3b00a3343050fe21bf8b7bdf Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Henrik=20B=C3=B6ving?= Date: Fri, 22 Jul 2022 17:18:09 +0200 Subject: [PATCH] fix: alignment of navbar --- DocGen4/Output/Navbar.lean | 2 ++ static/style.css | 4 ++++ 2 files changed, 6 insertions(+) diff --git a/DocGen4/Output/Navbar.lean b/DocGen4/Output/Navbar.lean index eea77f0..6f18a02 100644 --- a/DocGen4/Output/Navbar.lean +++ b/DocGen4/Output/Navbar.lean @@ -65,6 +65,7 @@ def navbar : BaseHtmlM Html := do +
+
diff --git a/static/style.css b/static/style.css index 4b35ab2..fdd5e99 100644 --- a/static/style.css +++ b/static/style.css @@ -308,6 +308,10 @@ nav { overflow-wrap: break-word; } +.navframe { + --header-height: 0; +} + .decl > div, .mod_doc { padding-left: 8px; padding-right: 8px;