Use Roboto Mono font

css/main.css

@@ -12,7 +12,7 @@
 body {
   display: flex;
   flex-flow: column wrap;
-  font-family: "Space Mono", ui-monospace, monospace, ui-sans-serif, sans-serif;
+  font-family: "Roboto Mono", ui-monospace, monospace, ui-sans-serif, sans-serif;
   -webkit-user-select: none; /* still needed for Safari 16 */
   user-select: none;
 }

index.html

@@ -16,7 +16,7 @@
     <link rel="preconnect" href="https://fonts.googleapis.com" />
     <link rel="preconnect" href="https://fonts.gstatic.com" crossorigin />
     <link
-      href="https://fonts.googleapis.com/css2?family=Space+Mono&display=swap"
+      href="https://fonts.googleapis.com/css2?family=Roboto+Mono&display=swap"
       rel="stylesheet"
     />
   </head>