From 729d178abc68162ed6a80d6bb04ee62e056d57a1 Mon Sep 17 00:00:00 2001
From: Garrett D'Amore <garrett@damore.org>
Date: Mon, 20 Feb 2023 15:21:04 -0800
Subject: [PATCH] Choose better fonts for web terminal.

---
 webfiles/termstyle.css | 1 +
 1 file changed, 1 insertion(+)

diff --git a/webfiles/termstyle.css b/webfiles/termstyle.css
index 7cb0727..5ec1d13 100644
--- a/webfiles/termstyle.css
+++ b/webfiles/termstyle.css
@@ -3,6 +3,7 @@
     padding: 0;
     border: 0;
     outline: 0;
+    font-family: "Menlo", "Andale Mono", "Courier New", Monospace;
 }
 
 #terminal {