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.
This commit is contained in:
voussoir 2021-05-30 19:18:16 -07:00
parent 9f84435ad9
commit 84d966ff3d
No known key found for this signature in database
GPG key ID: 5F7554F8C26DACCB

View file

@ -82,6 +82,7 @@ pre
display: flex; display: flex;
flex-direction: row; flex-direction: row;
height: 18px;
margin: 8px; margin: 8px;
background-color: var(--color_transparency); background-color: var(--color_transparency);
} }