Add branding margin.

io7m-com · Sep 15, 2024 · b4d00b2 · b4d00b2
1 parent a7887df
commit b4d00b2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/...ructural.documentation/src/main/resources/com/io7m/xstructural/documentation/document.css b/...ructural.documentation/src/main/resources/com/io7m/xstructural/documentation/document.css
@@ -17,7 +17,7 @@
 .brandingContainer
 {
   margin-top:    1em;
-  margin-bottom: 1em;
+  margin-bottom: 2em;
   font-size:     80%;
 }