From 1703818b91d7ce80b93367ba0fe05add799aa4f8 Mon Sep 17 00:00:00 2001
From: Tilman Vatteroth <tilman.vatteroth@tu-dortmund.de>
Date: Fri, 12 Jun 2020 21:49:17 +0200
Subject: [PATCH] Change font settings for editor

Signed-off-by: Tilman Vatteroth <tilman.vatteroth@tu-dortmund.de>
---
 src/components/editor/editor-window/editor-window.scss | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/components/editor/editor-window/editor-window.scss b/src/components/editor/editor-window/editor-window.scss
index 5b0e0ce7e..0834de02c 100644
--- a/src/components/editor/editor-window/editor-window.scss
+++ b/src/components/editor/editor-window/editor-window.scss
@@ -2,5 +2,9 @@
 @import './one-dark.css';
 
 .CodeMirror {
+  font-family: "Source Code Pro", Consolas, monaco, monospace;
+  letter-spacing: 0.025em;
+  line-height: 1.25;
+  font-size: 18px;
   height: 100%;
 }