From 356a9204a49ff57a2959b38a2eaf23080471162f Mon Sep 17 00:00:00 2001
From: Brad Nelson <flagxor@gmail.com>
Date: Tue, 9 Aug 2022 23:41:42 -0700
Subject: [PATCH] Tweak keyboard font.

---
 web/platform.fs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/web/platform.fs b/web/platform.fs
index 75b88a7..e02e34d 100644
--- a/web/platform.fs
+++ b/web/platform.fs
@@ -298,6 +298,7 @@ if (!globalObj.write) {
       return;
     }
     var k = document.createElement('button');
+    k.style.fontFamily = 'monospace';
     k.style.verticalAlign = 'middle';
     k.style.border = 'none';
     k.style.margin = '0';