Give content_body padding instead of margin.

Two reasons:
- Whether the header is present or not, the content body will have
  some padding at the top of the screen.
- When the content body is long, it will naturally pad itself from the
  bottom of the screen. Previously it would scrape the bottom edge.
This commit is contained in:
voussoir 2022-03-15 13:47:54 -07:00
parent 52a90c6395
commit 7d351a5e87
No known key found for this signature in database
GPG key ID: 5F7554F8C26DACCB

View file

@ -96,6 +96,7 @@ pre
height: 18px; height: 18px;
margin: 8px; margin: 8px;
margin-bottom: 0;
background-color: var(--color_transparency); background-color: var(--color_transparency);
} }
#header button #header button
@ -122,14 +123,7 @@ pre
grid-auto-rows: min-content; grid-auto-rows: min-content;
grid-gap: 8px; grid-gap: 8px;
margin: 8px; padding: 8px;
}
#header:not(.hidden) + #content_body
{
/*
The header already has a margin.
*/
margin-top: 0;
} }
.panel .panel