decrease logo size

ericbrown99 · ericbrown99 · commit e4ba1d9eeb02 · 2025-10-10T14:35:54.000-04:00
diff --git a/docs/style.css b/docs/style.css
@@ -39,7 +39,10 @@
 
 .base_header_img {
   margin: auto;
-  height: 1rem;
+}
+
+.nav-logo {
+  height: 1.25rem;
 }
 
 .homepage_wrapper {
