From 913ce076fb41146f37a98296fbdb8cee5b14d044 Mon Sep 17 00:00:00 2001
From: Matthew Strasiotto <mstr3336@uni.sydney.edu.au>
Date: Thu, 24 Sep 2020 19:25:40 +1000
Subject: [PATCH] Change font setting in tty-reciever.ts to new font

---
 frontend/tty-receiver/tty-receiver.ts | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/frontend/tty-receiver/tty-receiver.ts b/frontend/tty-receiver/tty-receiver.ts
index 998e123..5fbb1a1 100644
--- a/frontend/tty-receiver/tty-receiver.ts
+++ b/frontend/tty-receiver/tty-receiver.ts
@@ -20,7 +20,7 @@ class TTYReceiver {
             scrollback: 0,
             fontSize: 12,
             letterSpacing: 0,
-            fontFamily: 'SourceCodePro'
+            fontFamily: 'Sauce_Code_Pro'
         });
 
         this.containerElement = container;