style: add VGA 8x14 font, use 14px for cmds and WARP note

Author: xnoto

makeitwork.cloud/Web437_IBM_VGA_8x14.woff

@@ -47,6 +47,13 @@
         font-style: normal;
       }
 
+      @font-face {
+        font-family: "IBM VGA 8x14";
+        src: url("Web437_IBM_VGA_8x14.woff") format("woff");
+        font-weight: normal;
+        font-style: normal;
+      }
+
       @font-face {
         font-family: "IBM VGA 9x16";
         src: url("Web437_IBM_VGA_9x16.woff") format("woff");
@@ -307,8 +314,8 @@
       }
 
       .resource-cmd {
-        font-family: "IBM VGA 8x16", monospace;
-        font-size: 16px;
+        font-family: "IBM VGA 8x14", monospace;
+        font-size: 14px;
         color: var(--text-dim);
       }
 
@@ -319,7 +326,8 @@
 
       /* WARP Note */
       .warp-note {
-        font-size: 16px;
+        font-family: "IBM VGA 8x14", monospace;
+        font-size: 14px;
         color: var(--text-dim);
         padding-top: 1rem;
         margin-top: 1rem;