From ad1655bf3e683170ffc88df2faad9a63699209ae Mon Sep 17 00:00:00 2001
From: Ethan Dalool <git@voussoir.net>
Date: Tue, 8 Mar 2022 17:30:17 -0800
Subject: [PATCH] Let content_body have margin-top when there is no header.

---
 frontends/etiquette_flask/static/css/common.css | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)

diff --git a/frontends/etiquette_flask/static/css/common.css b/frontends/etiquette_flask/static/css/common.css
index f1ad3d6..5695d10 100644
--- a/frontends/etiquette_flask/static/css/common.css
+++ b/frontends/etiquette_flask/static/css/common.css
@@ -122,10 +122,13 @@ pre
     grid-auto-rows: min-content;
     grid-gap: 8px;
 
-    /*
-    8px all around except the top, where the header already has a margin.
-    */
     margin: 8px;
+}
+#header:not(.hidden) + #content_body
+{
+    /*
+    The header already has a margin.
+    */
     margin-top: 0;
 }