diff options
author | Wynn Wolf Arbor | 2020-04-10 20:13:47 +0200 |
---|---|---|
committer | Wynn Wolf Arbor | 2020-04-11 15:45:18 +0200 |
commit | f5f12c9cf4c83c38f27a45e46da725c108def1c2 (patch) | |
tree | 167c32771ebf2e3a95debbee69d6a4e5bb277b4a | |
parent | 5311e578cae3bd35bfcbfff4685e9566614b955a (diff) | |
download | site-f5f12c9cf4c83c38f27a45e46da725c108def1c2.tar.gz |
css: Use a custom font-size for code
We found 'smaller' to be too small, so go with 85% for now.
-rw-r--r-- | scss/style.scss | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/scss/style.scss b/scss/style.scss index 79ec07a..530e043 100644 --- a/scss/style.scss +++ b/scss/style.scss @@ -5,6 +5,8 @@ $font-sans: Alegreya Sans, sans; $font-serif: Alegreya, serif; $font-mono: Iosevka, Inconsolata, monospace; +$font-size-pre: 85%; + $yellow: #ffd400; $canary: #ffffc3; $canary-text: #191900; @@ -25,7 +27,7 @@ h1 { code { font-family: $font-mono; - font-size: smaller; + font-size: $font-size-pre; } pre { @@ -41,7 +43,7 @@ pre.clear { } pre.indent { - font-size: smaller; + font-size: $font-size-pre; border-left: 4px solid lightgrey; |