diff options
Diffstat (limited to 'static')
-rw-r--r-- | static/style.css | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/static/style.css b/static/style.css index 44892d1..c22d26c 100644 --- a/static/style.css +++ b/static/style.css @@ -1,5 +1,5 @@ body { - font-family: "Helvetica Neue", Helvetica; + font-family: "Helvetica Neue", "Ninbus Sans", Helvetica, Arial, sans; font-size: 11.5pt; margin: auto; padding: 1em; @@ -7,15 +7,16 @@ body { max-width: 80ch; } +code { + font-family: "DejaVu Sans Mono", Consolas, monospace; + font-size: 10pt; +} + footer { color: #333; font-size: 9pt; } -.sourceCode { - font-size: 10pt; -} - .navbar ul { display: inline-flex; flex-wrap: wrap; |