From f89889cfc8e87f1e6ef16d84b2e4dca51eb92a06 Mon Sep 17 00:00:00 2001
From: Ellpeck <me@ellpeck.de>
Date: Mon, 26 Jun 2023 23:07:51 +0200
Subject: [PATCH] code font fixes

---
 docs/overrides/public/main.css | 6 ++++++
 web/style.css                  | 1 +
 2 files changed, 7 insertions(+)

diff --git a/docs/overrides/public/main.css b/docs/overrides/public/main.css
index b106924..04ac7f0 100644
--- a/docs/overrides/public/main.css
+++ b/docs/overrides/public/main.css
@@ -1,5 +1,6 @@
 @import url("https://fonts.cdnfonts.com/css/cadman");
 @import url("https://fonts.googleapis.com/css?family=Lato&display=swap");
+@import url("https://fonts.googleapis.com/css?family=JetBrains+Mono&display=swap");
 
 body {
     font-family: Lato, sans-serif;
@@ -8,3 +9,8 @@ body {
 h1, h2, h3, h4, h5, h6 {
     font-family: Cadman, Lato, sans-serif;
 }
+
+code {
+    font-family: "JetBrains Mono", monospace;
+    font-variant-ligatures: none;
+}
diff --git a/web/style.css b/web/style.css
index 483216e..b40260f 100644
--- a/web/style.css
+++ b/web/style.css
@@ -13,6 +13,7 @@ h1, h2, h3, h4, h5, h6, .nav-item {
 
 code {
     font-family: "JetBrains Mono", monospace;
+    font-variant-ligatures: none;
 }
 
 pre.highlight {