From 84b5daa6237a17c81312e2f3183e4e32b976b804 Mon Sep 17 00:00:00 2001
From: Felienne Hermans <felienne@gmail.com>
Date: Tue, 7 Mar 2023 11:53:52 +0100
Subject: [PATCH 1/2] force font

---
 static/css/additional.css | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/static/css/additional.css b/static/css/additional.css
index 9adbd863cc6..21cdfb5fc31 100644
--- a/static/css/additional.css
+++ b/static/css/additional.css
@@ -23,6 +23,11 @@
   display: none;
 }
 
+.ace_editor * {
+    font-family: monospace !important;
+    font-size: 12pt;
+}
+
 input:checked ~ .dot {
   transform: translateX(100%);
   background-color: #48bb78;

From 8fead6be6d12d5155e9beb6e535bc0cd039523ab Mon Sep 17 00:00:00 2001
From: Felienne Hermans <felienne@gmail.com>
Date: Mon, 10 Apr 2023 12:41:53 +0200
Subject: [PATCH 2/2] try Reed's patch

---
 static/css/additional.css | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/static/css/additional.css b/static/css/additional.css
index 21cdfb5fc31..cb859c82ea9 100644
--- a/static/css/additional.css
+++ b/static/css/additional.css
@@ -24,7 +24,7 @@
 }
 
 .ace_editor * {
-    font-family: monospace !important;
+    font-family: Courier, monospace !important;
     font-size: 12pt;
 }