Tweak print stylesheet.

This commit is contained in:
Tony Garnock-Jones 2019-10-08 14:45:58 +01:00
parent ab1ef92334
commit 0a537b73ed
1 changed files with 2 additions and 1 deletions

View File

@ -9,7 +9,7 @@ body {
}
@media print {
@page { size: letter; margin: 4rem 0rem 4.333rem 0rem; }
body { margin-left: 4.5rem; margin-right: 4.5rem; line-height: 0.98; }
body { margin-left: 4.5rem; margin-right: 4.5rem; font-size: 10.5pt; }
h1, h2 { page-break-before: always; margin-top: 0; }
h1:first-of-type, h2:first-of-type { page-break-before: auto; }
hr+* { page-break-before: always; margin-top: 0; }
@ -17,6 +17,7 @@ body {
}
h1, h2, h3, h4, h5, h6 { color: #4f81bd; }
h2 { border-bottom: solid #4f81bd 1px; }
h3, h4 { margin: 0; padding: 0; }
pre, code { background-color: #eee; font-family: "DejaVu Sans Mono", monospace; }
code { font-size: 75%; }
pre { padding: 0.33rem; line-height: 1; }