Fonts and ligatures

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 @@
+@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 {