'courier' default font

This commit is contained in:
David Eisinger
2023-11-02 15:38:19 -04:00
parent 14e8ce4d76
commit a07608d2a7

View File

@@ -1,5 +1,5 @@
body { body {
font-family: monospace; font-family: "courier", monospace;
font-size: 18px; font-size: 18px;
padding: 50px; padding: 50px;
line-height: 1.5em; line-height: 1.5em;
@@ -14,7 +14,9 @@ body {
} }
} }
h1, h2, h3 { h1,
h2,
h3 {
font-size: 1em; font-size: 1em;
margin: 1em 0; margin: 1em 0;
@@ -82,7 +84,9 @@ blockquote {
padding-left: 1ch; padding-left: 1ch;
} }
header, #content, footer { header,
#content,
footer {
max-width: 800px; max-width: 800px;
} }
@@ -104,7 +108,8 @@ sup {
white-space: nowrap; white-space: nowrap;
} }
.references, .footnotes { .references,
.footnotes {
font-size: 0.8em; font-size: 0.8em;
h3 { h3 {
@@ -143,16 +148,17 @@ img {
} }
} }
// CODE // CODE
code { code {
background-color: #ddd; background-color: #ddd;
padding: 1px 1ch;
border-radius: 3px; border-radius: 3px;
font-family: "courier", monospace;
padding: 1px 1ch;
} }
.highlight, pre { .highlight,
pre {
overflow: auto; overflow: auto;
code { code {