diff options
Diffstat (limited to 'language-web/src/main/css/index.scss')
-rw-r--r-- | language-web/src/main/css/index.scss | 24 |
1 files changed, 21 insertions, 3 deletions
diff --git a/language-web/src/main/css/index.scss b/language-web/src/main/css/index.scss index d9c9b4b4..7be9e1b6 100644 --- a/language-web/src/main/css/index.scss +++ b/language-web/src/main/css/index.scss | |||
@@ -1,10 +1,30 @@ | |||
1 | @use '@fontsource/roboto/scss/mixins' as Roboto; | ||
2 | @use '@fontsource/fira-code/scss/mixins' as FiraCode; | ||
3 | |||
1 | @import 'codemirror/lib/codemirror'; | 4 | @import 'codemirror/lib/codemirror'; |
2 | @import 'codemirror/addon/hint/show-hint'; | 5 | @import 'codemirror/addon/hint/show-hint'; |
3 | @import 'codemirror/theme/material-darker'; | 6 | @import 'codemirror/theme/material-darker'; |
4 | 7 | ||
8 | $robotoWeights: 300, 400, 500, 700; | ||
9 | @each $weight in $robotoWeights { | ||
10 | @include Roboto.fontFace($weight: $weight); | ||
11 | } | ||
12 | |||
13 | $firaCodeWeights: 400, 600; | ||
14 | @each $weight in $firaCodeWeights { | ||
15 | @include FiraCode.fontFace($weight: $weight); | ||
16 | } | ||
17 | |||
18 | body { | ||
19 | font-family: Roboto.$fontName; | ||
20 | } | ||
21 | |||
5 | .CodeMirror { | 22 | .CodeMirror { |
6 | font-size: 16px; | 23 | font-size: 16px; |
7 | height: 100%; | 24 | height: 100%; |
25 | font-family: FiraCode.$fontName, monospace; | ||
26 | font-feature-settings: 'liga', 'calt', 'ss01', 'ss02', 'ss03', 'ss05', 'zero'; | ||
27 | text-rendering: optimizeLegibility; | ||
8 | } | 28 | } |
9 | 29 | ||
10 | .annotations-gutter { | 30 | .annotations-gutter { |
@@ -66,7 +86,6 @@ | |||
66 | } | 86 | } |
67 | 87 | ||
68 | .problem-abstract { | 88 | .problem-abstract { |
69 | font-style: italic; | ||
70 | } | 89 | } |
71 | 90 | ||
72 | .problem-reference { | 91 | .problem-reference { |
@@ -74,7 +93,7 @@ | |||
74 | } | 93 | } |
75 | 94 | ||
76 | .problem-containment { | 95 | .problem-containment { |
77 | font-weight: bold; | 96 | font-weight: 600; |
78 | } | 97 | } |
79 | 98 | ||
80 | .cm-quoted-name, .problem-enum-node { | 99 | .cm-quoted-name, .problem-enum-node { |
@@ -82,7 +101,6 @@ | |||
82 | } | 101 | } |
83 | 102 | ||
84 | .problem-new-node { | 103 | .problem-new-node { |
85 | font-style: italic; | ||
86 | } | 104 | } |
87 | 105 | ||
88 | .problem-variable { | 106 | .problem-variable { |