diff --git a/src/static/commandline.css b/src/static/commandline.css
index 8f9998a7..c36a5d9c 100644
--- a/src/static/commandline.css
+++ b/src/static/commandline.css
@@ -6,7 +6,7 @@ body {
 input {
   width: 100%;
   padding: 0;
-  font-family: "mono", "monospace", "Courier New";
+  font-family: "monospace", "Courier New";
   font-size: 10pt;
   color: black;
   border: unset;
@@ -19,10 +19,10 @@ input {
   background: white;
   color: black;
   display: inline-block;
-  font-family: mono;
   font-size: 10pt;
   height: auto;
   /* line-height: 1.5em; */
+  font-family: "monospace", "Courier New";
   overflow: hidden;
   white-space: pre;
   width: 100%;