From 75a763569b753f7dc505b6e1a452e11e9d011711 Mon Sep 17 00:00:00 2001
From: Tom Alexander <tom@fizz.buzz>
Date: Sat, 22 Feb 2025 18:27:45 -0500
Subject: [PATCH] Disable ligatures in all code areas.

---
 default_environment/stylesheet/main.css | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/default_environment/stylesheet/main.css b/default_environment/stylesheet/main.css
index 46aae3f..68562bb 100644
--- a/default_environment/stylesheet/main.css
+++ b/default_environment/stylesheet/main.css
@@ -186,11 +186,13 @@ body {
   .inline_source_block {
     font-family: var(--src-font-family);
     font-size: 1.2rem;
+    font-variant-ligatures: none;
   }
 
   .code,
   .verbatim {
     font-family: var(--src-font-family);
+    font-variant-ligatures: none;
   }
 
   .quote_block {