From b449f92d33dfbd2fbffbca9374b75798715dd48d Mon Sep 17 00:00:00 2001
From: Ricardo Pardini <ricardo@pardini.net>
Date: Sat, 21 Jan 2023 13:53:22 +0100
Subject: [PATCH] Fira Code -> JetBrains Mono

---
 static/application.css | 15 +++++++++++++--
 static/index.html      |  2 --
 2 files changed, 13 insertions(+), 4 deletions(-)

diff --git a/static/application.css b/static/application.css
index 743e896..35b4d65 100644
--- a/static/application.css
+++ b/static/application.css
@@ -1,8 +1,17 @@
+@font-face {
+    font-family: 'JetBrainsMono';
+    src: url('https://cdn.jsdelivr.net/gh/JetBrains/JetBrainsMono/web/woff2/JetBrainsMono-Regular.woff2') format('woff2'),
+    url('https://cdn.jsdelivr.net/gh/JetBrains/JetBrainsMono/web/woff/JetBrainsMono-Regular.woff') format('woff'),
+    url('https://cdn.jsdelivr.net/gh/JetBrains/JetBrainsMono/ttf/JetBrainsMono-Regular.ttf') format('truetype');
+    font-weight: 400;
+    font-style: normal;
+}
+
 body {
     background: #000;
     padding: 20px 50px;
     margin: 0;
-    font-family: 'Fira Code', monospace;
+    font-family: 'JetBrainsMono', monospace;
 }
 
 body pre.hljs {
@@ -11,14 +20,16 @@ body pre.hljs {
 }
 
 body pre.hljs code {
-    font-family: 'Fira Code', monospace;
+    font-family: 'JetBrainsMono', monospace;
 }
 
+/*
 @supports (font-variation-settings: normal) {
     body pre.hljs code {
         font-family: 'Fira Code VF', monospace;
     }
 }
+ */
 
 /* textarea */
 
diff --git a/static/index.html b/static/index.html
index b396ce5..e8d92a1 100644
--- a/static/index.html
+++ b/static/index.html
@@ -18,8 +18,6 @@
 
     <!--<script type="text/javascript" src="application.min.js"></script>-->
 
-    <link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/firacode@6.2.0/distr/fira_code.css">
-
     <script type="text/javascript" src="ansi-to-html.js"></script>
     <script type="text/javascript" src="application.js"></script>