diff options
author | Kristóf Marussy <marussy@mit.bme.hu> | 2021-07-02 01:12:32 +0200 |
---|---|---|
committer | Kristóf Marussy <marussy@mit.bme.hu> | 2021-07-02 02:37:49 +0200 |
commit | d64193b6ded318d396e9ebffb6f4c8d699540bf9 (patch) | |
tree | e5f5edae1892a66c4e19c41eaf60932f06ee025e /language-web/src | |
parent | Change operator for predicate definition (diff) | |
download | refinery-d64193b6ded318d396e9ebffb6f4c8d699540bf9.tar.gz refinery-d64193b6ded318d396e9ebffb6f4c8d699540bf9.tar.zst refinery-d64193b6ded318d396e9ebffb6f4c8d699540bf9.zip |
Add italic font
Diffstat (limited to 'language-web/src')
-rw-r--r-- | language-web/src/main/css/index.scss | 22 |
1 files changed, 14 insertions, 8 deletions
diff --git a/language-web/src/main/css/index.scss b/language-web/src/main/css/index.scss index 7be9e1b6..5b03d1fc 100644 --- a/language-web/src/main/css/index.scss +++ b/language-web/src/main/css/index.scss | |||
@@ -7,23 +7,26 @@ | |||
7 | 7 | ||
8 | $robotoWeights: 300, 400, 500, 700; | 8 | $robotoWeights: 300, 400, 500, 700; |
9 | @each $weight in $robotoWeights { | 9 | @each $weight in $robotoWeights { |
10 | @include Roboto.fontFace($weight: $weight); | 10 | @include Roboto.fontFace($fontName: 'Roboto', $weight: $weight); |
11 | @include Roboto.fontFace($fontName: 'Roboto', $weight: $weight, $style: italic); | ||
11 | } | 12 | } |
12 | 13 | ||
13 | $firaCodeWeights: 400, 600; | 14 | $firaCodeWeights: 400, 600; |
14 | @each $weight in $firaCodeWeights { | 15 | @each $weight in $firaCodeWeights { |
15 | @include FiraCode.fontFace($weight: $weight); | 16 | @include FiraCode.fontFace($fontName: 'Fira Code', $weight: $weight); |
16 | } | 17 | } |
18 | @include FiraCode.fontFaceVariable($fontName: 'Fira CodeVariable'); | ||
17 | 19 | ||
18 | body { | 20 | body { |
19 | font-family: Roboto.$fontName; | 21 | font-family: 'Roboto'; |
20 | } | 22 | } |
21 | 23 | ||
22 | .CodeMirror { | 24 | .CodeMirror { |
23 | font-size: 16px; | 25 | font-size: 16px; |
24 | height: 100%; | 26 | height: 100%; |
25 | font-family: FiraCode.$fontName, monospace; | 27 | font-family: 'Fira CodeVariable', 'Fira Code', monospace; |
26 | font-feature-settings: 'liga', 'calt', 'ss01', 'ss02', 'ss03', 'ss05', 'zero'; | 28 | font-feature-settings: 'liga', 'calt'; |
29 | font-weight: 400; | ||
27 | text-rendering: optimizeLegibility; | 30 | text-rendering: optimizeLegibility; |
28 | } | 31 | } |
29 | 32 | ||
@@ -33,23 +36,26 @@ body { | |||
33 | 36 | ||
34 | .xtext-annotation_error { | 37 | .xtext-annotation_error { |
35 | width: 12px; | 38 | width: 12px; |
36 | height: 12px; | 39 | height: 1em; |
37 | background-image: url('images/error_an.gif'); | 40 | background-image: url('images/error_an.gif'); |
38 | background-repeat: no-repeat; | 41 | background-repeat: no-repeat; |
42 | background-position: bottom; | ||
39 | } | 43 | } |
40 | 44 | ||
41 | .xtext-annotation_warning { | 45 | .xtext-annotation_warning { |
42 | width: 12px; | 46 | width: 12px; |
43 | height: 12px; | 47 | height: 1em; |
44 | background-image: url('images/warning_an.gif'); | 48 | background-image: url('images/warning_an.gif'); |
45 | background-repeat: no-repeat; | 49 | background-repeat: no-repeat; |
50 | background-position: bottom; | ||
46 | } | 51 | } |
47 | 52 | ||
48 | .xtext-annotation_info { | 53 | .xtext-annotation_info { |
49 | width: 12px; | 54 | width: 12px; |
50 | height: 12px; | 55 | height: 1em; |
51 | background-image: url('images/info_an.gif'); | 56 | background-image: url('images/info_an.gif'); |
52 | background-repeat: no-repeat; | 57 | background-repeat: no-repeat; |
58 | background-position: bottom; | ||
53 | } | 59 | } |
54 | 60 | ||
55 | .xtext-marker_error { | 61 | .xtext-marker_error { |