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 {