Make font default and change default size

diff --git a/html/src/components/app.tsx b/html/src/components/app.tsx
index 0e16ccfddfceb90afc8e56e1829866cf2f878894..3fbaa9af967e096656bd74dd8d8c445732fd3ba6 100644 (file)
--- a/html/src/components/app.tsx
+++ b/html/src/components/app.tsx
@@ -20,8 +20,8 @@ const clientOptions = {
     unicodeVersion: '11',
 } as ClientOptions;
 const termOptions = {
-    fontSize: 13,
-    fontFamily: 'Consolas,Liberation Mono,Menlo,Courier,monospace',
+    fontSize: 22,
+    fontFamily: 'JetBrains,Consolas,Liberation Mono,Menlo,Courier,monospace',
     theme: {
         foreground: '#ffffff',
         background: '#000000',