From 42b2af782e18724777d26f41f79ebd6d68ee63ba Mon Sep 17 00:00:00 2001
From: Aulud <44989315+Aulud@users.noreply.github.com>
Date: Fri, 13 Sep 2019 13:25:43 +0800
Subject: [PATCH] Update monospaced fonts used in Editor and REPL components
(#926)
* Remove non-monospaced fonts from Editor; add Inconsolata as default
* Increase font size of text in REPL input
* Increase CSS font size of substituter and REPL output
---
public/index.html | 2 +-
src/components/sourcecast/SourcecastEditor.tsx | 2 +-
src/components/workspace/Editor.tsx | 4 ++--
src/components/workspace/ReplInput.tsx | 6 ++++--
.../workspace/__tests__/__snapshots__/Editor.tsx.snap | 2 +-
src/styles/_workspace.scss | 6 ++----
6 files changed, 11 insertions(+), 11 deletions(-)
diff --git a/public/index.html b/public/index.html
index a4e835e256..41a617c2b8 100644
--- a/public/index.html
+++ b/public/index.html
@@ -14,7 +14,7 @@
-->
-
+