From fe92f6a7e33ebc38fc6acf4f1a7e31d8073c6d9f Mon Sep 17 00:00:00 2001
From: Feuerfuchs <git@feuerfuchs.dev>
Date: Tue, 12 Nov 2019 10:47:17 +0100
Subject: Add setting to use proportional font

---
 css/main.scss | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

(limited to 'css')

diff --git a/css/main.scss b/css/main.scss
index a6b1ee9..4cf5285 100644
--- a/css/main.scss
+++ b/css/main.scss
@@ -10,7 +10,8 @@ $border:         mix(hsl(210, 100%, 95%), $background, 16%);
 $sel-background: rgba($accent, .996);
 $sel-text:       #000;
 
-$font-monospace: 'Iosevka Term SS03', 'IBM Plex Mono', 'Fira Code', 'Fira Mono', 'Roboto Mono', 'Droid Sans Mono', Monaco, Consolas, Courier, monospace;
+$font-monospace:    'Iosevka Term SS03', 'IBM Plex Mono', 'Fira Code', 'Fira Mono', 'Roboto Mono', 'Droid Sans Mono', Monaco, Consolas, Courier, monospace;
+$font-proportional: 'Iosevka Aile', 'Fira Sans', 'Roboto', 'Droid Sans', sans-serif;
 
 //
 // Basic element styles
@@ -198,6 +199,7 @@ strong {
     padding:      0;
     text-align:   left;
     font:         inherit;
+    font-family:  $font-proportional;
 
     &--wrap {
         white-space: pre-wrap;
@@ -208,6 +210,10 @@ strong {
         padding-left: 3em;
         padding-left: 5ch;
     }
+
+    &--has-monospace-font {
+        font-family: $font-monospace;
+    }
 }
 
 .type-annotation {
@@ -215,6 +221,7 @@ strong {
     margin-left: -5ch;
     color:       $text-minus;
     white-space: pre;
+    font-family: $font-monospace;
 }
 
 //
-- 
cgit v1.2.3-54-g00ecf