From 88e2d3893e02fdb20956404e384490e4d6b3851f Mon Sep 17 00:00:00 2001
From: Yuri Sizov <yuris@humnom.net>
Date: Tue, 6 Dec 2022 20:08:14 +0300
Subject: [PATCH] Disable font ligatures globally

---
 _static/css/custom.css | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/_static/css/custom.css b/_static/css/custom.css
index 28fe713472c..1ffd947a963 100644
--- a/_static/css/custom.css
+++ b/_static/css/custom.css
@@ -261,6 +261,8 @@ legend,
 .rst-versions {
     /* Use a system font stack for better performance (no Web fonts required) */
     font-family: var(--system-font-family);
+    /* Some fonts that we use (namely JetBrains Mono) can come with ligatures. It's better to opt-in if needed. */
+    font-variant-ligatures: none;
 }
 
 h1,