From 5213995fa8d757c555ba6e6217b64cb342e2fe6c Mon Sep 17 00:00:00 2001
From: root <165865819+brianshea2@users.noreply.github.com>
Date: Thu, 24 Oct 2024 00:52:10 +0000
Subject: [PATCH] increase header height

---
 website/index.html | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/website/index.html b/website/index.html
index 6ee02da..aee2963 100644
--- a/website/index.html
+++ b/website/index.html
@@ -33,7 +33,7 @@
     display: flex;
     gap: 2ch;
     font-family: "Roboto", sans-serif;
-    padding: 0.5em 1em;
+    padding: 0.75em;
     position: absolute;
     top: 0;
     left: 0;
@@ -74,7 +74,7 @@
     box-shadow: none;
   }
   .leaflet-top {
-    top: 3em;
+    top: 4em;
   }
   .leaflet-tooltip-pane {
     z-index: 750;