aboutsummaryrefslogtreecommitdiffstats
path: root/language-web
diff options
context:
space:
mode:
authorLibravatar Kristóf Marussy <marussy@mit.bme.hu>2021-07-02 01:12:32 +0200
committerLibravatar Kristóf Marussy <marussy@mit.bme.hu>2021-07-02 02:37:49 +0200
commitd64193b6ded318d396e9ebffb6f4c8d699540bf9 (patch)
treee5f5edae1892a66c4e19c41eaf60932f06ee025e /language-web
parentChange operator for predicate definition (diff)
downloadrefinery-d64193b6ded318d396e9ebffb6f4c8d699540bf9.tar.gz
refinery-d64193b6ded318d396e9ebffb6f4c8d699540bf9.tar.zst
refinery-d64193b6ded318d396e9ebffb6f4c8d699540bf9.zip
Add italic font
Diffstat (limited to 'language-web')
-rw-r--r--language-web/src/main/css/index.scss22
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
18body { 20body {
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 {