diff options
Diffstat (limited to 'css')
-rw-r--r-- | css/main.scss | 9 |
1 files changed, 8 insertions, 1 deletions
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%); | |||
10 | $sel-background: rgba($accent, .996); | 10 | $sel-background: rgba($accent, .996); |
11 | $sel-text: #000; | 11 | $sel-text: #000; |
12 | 12 | ||
13 | $font-monospace: 'Iosevka Term SS03', 'IBM Plex Mono', 'Fira Code', 'Fira Mono', 'Roboto Mono', 'Droid Sans Mono', Monaco, Consolas, Courier, monospace; | 13 | $font-monospace: 'Iosevka Term SS03', 'IBM Plex Mono', 'Fira Code', 'Fira Mono', 'Roboto Mono', 'Droid Sans Mono', Monaco, Consolas, Courier, monospace; |
14 | $font-proportional: 'Iosevka Aile', 'Fira Sans', 'Roboto', 'Droid Sans', sans-serif; | ||
14 | 15 | ||
15 | // | 16 | // |
16 | // Basic element styles | 17 | // Basic element styles |
@@ -198,6 +199,7 @@ strong { | |||
198 | padding: 0; | 199 | padding: 0; |
199 | text-align: left; | 200 | text-align: left; |
200 | font: inherit; | 201 | font: inherit; |
202 | font-family: $font-proportional; | ||
201 | 203 | ||
202 | &--wrap { | 204 | &--wrap { |
203 | white-space: pre-wrap; | 205 | white-space: pre-wrap; |
@@ -208,6 +210,10 @@ strong { | |||
208 | padding-left: 3em; | 210 | padding-left: 3em; |
209 | padding-left: 5ch; | 211 | padding-left: 5ch; |
210 | } | 212 | } |
213 | |||
214 | &--has-monospace-font { | ||
215 | font-family: $font-monospace; | ||
216 | } | ||
211 | } | 217 | } |
212 | 218 | ||
213 | .type-annotation { | 219 | .type-annotation { |
@@ -215,6 +221,7 @@ strong { | |||
215 | margin-left: -5ch; | 221 | margin-left: -5ch; |
216 | color: $text-minus; | 222 | color: $text-minus; |
217 | white-space: pre; | 223 | white-space: pre; |
224 | font-family: $font-monospace; | ||
218 | } | 225 | } |
219 | 226 | ||
220 | // | 227 | // |