diff --git a/preserves.css b/preserves.css index 3989bfe..eb993a4 100644 --- a/preserves.css +++ b/preserves.css @@ -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; }