From c20d99e242a20f0666298639c2d0d8e6aa30932f Mon Sep 17 00:00:00 2001
From: Kristóf Marussy <marussy@mit.bme.hu>
Date: Fri, 2 Jul 2021 01:00:55 +0200
Subject: Fonts and ligatures

---
 language-web/src/main/css/index.scss | 24 +++++++++++++++++++++---
 1 file changed, 21 insertions(+), 3 deletions(-)

(limited to 'language-web/src/main')

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 @@
+@use '@fontsource/roboto/scss/mixins' as Roboto;
+@use '@fontsource/fira-code/scss/mixins' as FiraCode;
+
 @import 'codemirror/lib/codemirror';
 @import 'codemirror/addon/hint/show-hint';
 @import 'codemirror/theme/material-darker';
 
+$robotoWeights: 300, 400, 500, 700;
+@each $weight in $robotoWeights {
+  @include Roboto.fontFace($weight: $weight);
+}
+
+$firaCodeWeights: 400, 600;
+@each $weight in $firaCodeWeights {
+  @include FiraCode.fontFace($weight: $weight);
+}
+
+body {
+  font-family: Roboto.$fontName;
+}
+
 .CodeMirror {
   font-size: 16px;
   height: 100%;
+  font-family: FiraCode.$fontName, monospace;
+  font-feature-settings: 'liga', 'calt', 'ss01', 'ss02', 'ss03', 'ss05', 'zero';
+  text-rendering: optimizeLegibility;
 }
 
 .annotations-gutter {
@@ -66,7 +86,6 @@
 }
 
 .problem-abstract {
-	font-style: italic;
 }
 
 .problem-reference {
@@ -74,7 +93,7 @@
 }
 
 .problem-containment {
-	font-weight: bold;
+	font-weight: 600;
 }
 
 .cm-quoted-name, .problem-enum-node {
@@ -82,7 +101,6 @@
 }
 
 .problem-new-node {
-	font-style: italic;
 }
 
 .problem-variable {
-- 
cgit v1.2.3-70-g09d2