From 17d2ba5a2cb629d84f043ec809f5baabc84c2610 Mon Sep 17 00:00:00 2001
From: Jon Eugster <eugster.jon@gmail.com>
Date: Tue, 11 Jun 2024 21:05:55 +0200
Subject: [PATCH] use JuliaMono and Roboto as fonts consistently #192

---
 client/src/components/infoview/typewriter.tsx | 1 +
 client/src/components/level.tsx               | 1 +
 client/src/css/infoview.css                   | 7 ++++++-
 client/src/css/inventory.css                  | 6 ++++++
 client/src/css/level.css                      | 1 +
 5 files changed, 15 insertions(+), 1 deletion(-)

diff --git a/client/src/components/infoview/typewriter.tsx b/client/src/components/infoview/typewriter.tsx
index f9823eb..5f12159 100644
--- a/client/src/components/infoview/typewriter.tsx
+++ b/client/src/components/infoview/typewriter.tsx
@@ -210,6 +210,7 @@ export function Typewriter({disabled}: {disabled?: boolean}) {
       },
       overviewRulerBorder: false,
       theme: 'vs-code-theme-converted',
+      fontFamily: "JuliaMono",
       contextmenu: false
     })
 
diff --git a/client/src/components/level.tsx b/client/src/components/level.tsx
index dbd5695..2e62398 100644
--- a/client/src/components/level.tsx
+++ b/client/src/components/level.tsx
@@ -656,6 +656,7 @@ function useLevelEditor(codeviewRef, initialCode, initialSelections, onDidChange
       lineNumbersMinChars: 3,
       tabSize: 2,
       'semanticHighlighting.enabled': true,
+      fontFamily: "JuliaMono",
       theme: 'vs-code-theme-converted'
     })
     if (onDidChangeSelection) {
diff --git a/client/src/css/infoview.css b/client/src/css/infoview.css
index 37b1801..8d0f164 100644
--- a/client/src/css/infoview.css
+++ b/client/src/css/infoview.css
@@ -169,8 +169,8 @@
 .exercise .command-text {
   flex: 1;
   background-color: #fff;
-  font-family: "Droid Sans Mono", "monospace", monospace;
   font-size: 14px;
+  font-family: "JuliaMono", monospace;
   padding: 0.4em .6em 0;
 }
 
@@ -195,6 +195,11 @@
   /* border: 2px dotted darkgreen; */
   display: flex;
   flex-direction: row;
+  font-family: "JuliaMono", monospace;
+}
+
+.goal-tab .hyp-group-title {
+  font-family: "Roboto", sans-serif;
 }
 
 .goal-tab .goal, .goal-tab .hypotheses {
diff --git a/client/src/css/inventory.css b/client/src/css/inventory.css
index fe0e3ec..429fa64 100644
--- a/client/src/css/inventory.css
+++ b/client/src/css/inventory.css
@@ -10,6 +10,7 @@
 
 .documentation h1 {
   font-weight: 900;
+  font-family: "JuliaMono", monospace;
 }
 
 .documentation.hidden {
@@ -33,6 +34,11 @@
   position: relative;
 }
 
+.inventory .item, .inventory .tab-bar:not(.major) .tab {
+  font-family: "JuliaMono", monospace;
+  font-size: .9rem;
+}
+
 .inventory .item.locked {
   border: solid 1px #ccc;
   color: #ccc;
diff --git a/client/src/css/level.css b/client/src/css/level.css
index d79abd0..fab9be6 100644
--- a/client/src/css/level.css
+++ b/client/src/css/level.css
@@ -174,6 +174,7 @@ td code  {
 
 .exercise {
   height: 100%;
+  width: 100%;
 }
 
 .exercise-content {