From 84d966ff3dec99690f83ba2ea9951e5766c98461 Mon Sep 17 00:00:00 2001
From: Ethan Dalool <git@voussoir.net>
Date: Sun, 30 May 2021 19:18:16 -0700
Subject: [PATCH] Set #header height: 18px, which was already the natural
 height.

No visual change now, but writing it down helps communicate intention
with regards to the size of other elements.
---
 frontends/etiquette_flask/static/css/common.css | 1 +
 1 file changed, 1 insertion(+)

diff --git a/frontends/etiquette_flask/static/css/common.css b/frontends/etiquette_flask/static/css/common.css
index 8ac5554..53476cd 100644
--- a/frontends/etiquette_flask/static/css/common.css
+++ b/frontends/etiquette_flask/static/css/common.css
@@ -82,6 +82,7 @@ pre
     display: flex;
     flex-direction: row;
 
+    height: 18px;
     margin: 8px;
     background-color: var(--color_transparency);
 }