aboutsummaryrefslogtreecommitdiffstats
path: root/css
diff options
context:
space:
mode:
Diffstat (limited to 'css')
-rw-r--r--css/main.scss9
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//