Change default font

css/basic.less

@@ -8,6 +8,14 @@
  * @author Anika Henke <anika@selfthinker.org>
  */
 
+@font-face {
+    font-family: "Perfect DOS VGA 437 Win";
+    src: url("../fonts/Perfect%20DOS%20VGA%20437%20Win.ttf") format("truetype");
+    font-weight: normal;
+    font-style: normal;
+    font-display: swap;
+}
+
 html {
     overflow-x: auto;
     overflow-y: scroll;
@@ -20,7 +28,7 @@ body {
     padding: 0;
 }
 body {
-    font: normal 87.5%/1.4 Arial, sans-serif;
+    font: normal 87.5%/1.4 "Perfect DOS VGA 437 Win", monospace;
     /* default font size: 100% => 16px; 93.75% => 15px; 87.5% => 14px; 81.25% => 13px; 75% => 12px */
     -webkit-text-size-adjust: 100%;
 }