Add navigation margin.

io7m-com · Sep 16, 2024 · 10db59d · 10db59d
1 parent 4e2b145
commit 10db59d
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/com.io7m.xstructural.xml/src/main/css/com/io7m/xstructural/xml/structural.css b/com.io7m.xstructural.xml/src/main/css/com/io7m/xstructural/xml/structural.css
@@ -128,6 +128,7 @@ h6
 
   border-bottom: var(--stDivider);
   padding-bottom: 1em;
+  margin-top: 1em;
 }
 
 .stNavigationFooter
@@ -139,6 +140,7 @@ h6
   margin-top: 2em;
   padding-top: 1em;
   border-top: var(--stDivider);
+  margin-bottom: 1em;
 }
 
 .stNavigationHeaderPrevTitle