From f5f12c9cf4c83c38f27a45e46da725c108def1c2 Mon Sep 17 00:00:00 2001
From: Wynn Wolf Arbor
Date: Fri, 10 Apr 2020 20:13:47 +0200
Subject: css: Use a custom font-size for code

We found 'smaller' to be too small, so go with 85% for now.
---
 scss/style.scss | 6 ++++--
 1 file 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;
 
-- 
cgit v1.2.3-2-gb3c3