From d64193b6ded318d396e9ebffb6f4c8d699540bf9 Mon Sep 17 00:00:00 2001
From: Kristóf Marussy <marussy@mit.bme.hu>
Date: Fri, 2 Jul 2021 01:12:32 +0200
Subject: Add italic font

---
 language-web/src/main/css/index.scss | 22 ++++++++++++++--------
 1 file changed, 14 insertions(+), 8 deletions(-)

(limited to 'language-web')

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 @@
 
 $robotoWeights: 300, 400, 500, 700;
 @each $weight in $robotoWeights {
-  @include Roboto.fontFace($weight: $weight);
+  @include Roboto.fontFace($fontName: 'Roboto', $weight: $weight);
+  @include Roboto.fontFace($fontName: 'Roboto', $weight: $weight, $style: italic);
 }
 
 $firaCodeWeights: 400, 600;
 @each $weight in $firaCodeWeights {
-  @include FiraCode.fontFace($weight: $weight);
+  @include FiraCode.fontFace($fontName: 'Fira Code', $weight: $weight);
 }
+@include FiraCode.fontFaceVariable($fontName: 'Fira CodeVariable');
 
 body {
-  font-family: Roboto.$fontName;
+  font-family: 'Roboto';
 }
 
 .CodeMirror {
   font-size: 16px;
   height: 100%;
-  font-family: FiraCode.$fontName, monospace;
-  font-feature-settings: 'liga', 'calt', 'ss01', 'ss02', 'ss03', 'ss05', 'zero';
+  font-family: 'Fira CodeVariable', 'Fira Code', monospace;
+  font-feature-settings: 'liga', 'calt';
+  font-weight: 400;
   text-rendering: optimizeLegibility;
 }
 
@@ -33,23 +36,26 @@ body {
 
 .xtext-annotation_error {
 	width: 12px;
-	height: 12px;
+	height: 1em;
 	background-image: url('images/error_an.gif');
 	background-repeat: no-repeat;
+  background-position: bottom;
 }
 
 .xtext-annotation_warning {
 	width: 12px;
-	height: 12px;
+	height: 1em;
 	background-image: url('images/warning_an.gif');
 	background-repeat: no-repeat;
+  background-position: bottom;
 }
 
 .xtext-annotation_info {
 	width: 12px;
-	height: 12px;
+	height: 1em;
 	background-image: url('images/info_an.gif');
 	background-repeat: no-repeat;
+  background-position: bottom;
 }
 
 .xtext-marker_error {
-- 
cgit v1.2.3-70-g09d2