From ade90eb36bc984eb957c43e30eacb52cfb1a9621 Mon Sep 17 00:00:00 2001
From: networkException <git@nwex.de>
Date: Fri, 4 Feb 2022 18:40:08 +0100
Subject: [PATCH] Style: Use JetBrains Mono webfont

---
 public/style/index.css | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/public/style/index.css b/public/style/index.css
index 8c4efb2..5ae88c8 100644
--- a/public/style/index.css
+++ b/public/style/index.css
@@ -1,7 +1,14 @@
+@font-face {
+    font-family: JetBrains Mono;
+    src: url('/font/jetbrains-mono/Regular.woff2') format('woff');
+}
+
 body {
     background: #292D3E;
 
     font-family: monospace;
+    font-family: JetBrains Mono;
+    font-size: 1.2rem;
 }
 
 pre {
@@ -18,7 +25,6 @@ a {
 
 body {
     color: white;
-    font-size: 1vmax;
 }
 
 #inspector {