website

commit 051f457eeb72d00168d402d6303283491a983871
parent 1514466a8fdcb0157a40c9ce20179661b4ab0c47
Author: Michael Neuper <michael@michaelneuper.com>
Date:   Wed,  1 Nov 2023 21:00:19 +0200

Add top margin to header

Diffstat:
M
static/css/styles.css
 | 
4
++++

1 file changed, 4 insertions(+), 0 deletions(-)
diff --git a/static/css/styles.css b/static/css/styles.css
@@ -258,6 +258,10 @@ header .current a {
   color: var(--text-emphasized);
 }
 
+#header > nav {
+    margin-top: 10px;
+}
+
 h3.taxonomy > a {
   color: var(--text);
 }