Let content_body have margin-top when there is no header.

This commit is contained in:
voussoir 2022-03-08 17:30:17 -08:00
parent 5b6621ea4e
commit ad1655bf3e
No known key found for this signature in database
GPG key ID: 5F7554F8C26DACCB

View file

@ -122,10 +122,13 @@ pre
grid-auto-rows: min-content; grid-auto-rows: min-content;
grid-gap: 8px; grid-gap: 8px;
/*
8px all around except the top, where the header already has a margin.
*/
margin: 8px; margin: 8px;
}
#header:not(.hidden) + #content_body
{
/*
The header already has a margin.
*/
margin-top: 0; margin-top: 0;
} }