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 | // |
