Moved header and body margins to a variable

This commit is contained in:
Steven Engler 2024-03-29 18:01:16 -04:00
parent 9707ada308
commit f215b2ef31

View File

@ -1,3 +1,7 @@
:root {
--document-margin: 15pt;
}
h1 { font-size: 1.50em; } h1 { font-size: 1.50em; }
h2 { font-size: 1.40em; } h2 { font-size: 1.40em; }
h3 { font-size: 1.20em; } h3 { font-size: 1.20em; }
@ -362,7 +366,7 @@ body {
} }
.header-content { .header-content {
margin: 15pt; margin: var(--document-margin);
position: relative; /* so that "position:absolute" works for the menu label */ position: relative; /* so that "position:absolute" works for the menu label */
} }
@ -372,7 +376,7 @@ body {
} }
.body-content { .body-content {
margin: 15pt; margin: var(--document-margin);
word-wrap: break-word; word-wrap: break-word;
} }
@ -494,6 +498,10 @@ body {
} }
@media only screen and (max-width: 400pt) { @media only screen and (max-width: 400pt) {
:root {
--document-margin: 10pt;
}
.header-right { .header-right {
height: 100%; height: 100%;
align-items: center; align-items: center;
@ -556,20 +564,16 @@ body {
margin-top: 0px; margin-top: 0px;
} }
.header-content {
margin: 8pt 10pt;
}
.body-content {
margin: 10pt;
}
.title a { .title a {
vertical-align: -10%; /* we don't want the font descender space to be centered as well */ vertical-align: -10%; /* we don't want the font descender space to be centered as well */
} }
} }
@media print { @media print {
:root {
--document-margin: 0pt;
}
body { body {
background-color: initial !important; background-color: initial !important;
} }
@ -586,14 +590,6 @@ body {
background-image: none !important; background-image: none !important;
} }
.header-content {
margin: 0;
}
.body-content {
margin: 0;
}
.header-right { .header-right {
display: none; display: none;
} }