From ae09ce2b927b16c72cc1d93953069ccc9d4059aa Mon Sep 17 00:00:00 2001
From: Bzly <clampstand@gmail.com>
Date: Thu, 23 Nov 2017 09:46:17 +0000
Subject: [PATCH] Update commandline.css

MS still doesn't know what monospace is. Pls not Times New Roman in my buffers.
---
 src/static/commandline.css | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/static/commandline.css b/src/static/commandline.css
index c46678cc..f79d520f 100644
--- a/src/static/commandline.css
+++ b/src/static/commandline.css
@@ -25,7 +25,8 @@ input {
   color: black;
   display: inline-block;
   font-size: 10pt;
-  font-family: "monospace";
+  /* MS doesn't know what monospace is */
+  font-family: "monospace", "Courier New";
   overflow: hidden;
   width: 100%;
   border-top: 0.5px solid grey;