From 6a3e4671b65ab4c1ae48f600780884e9cf4c96e5 Mon Sep 17 00:00:00 2001
From: Elian Doran <contact@eliandoran.me>
Date: Tue, 3 Sep 2024 21:14:47 +0300
Subject: [PATCH] client: Disable ligatures in help dropdown code

---
 src/public/stylesheets/style.css | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/public/stylesheets/style.css b/src/public/stylesheets/style.css
index 42ba97b39..e3b5c75fb 100644
--- a/src/public/stylesheets/style.css
+++ b/src/public/stylesheets/style.css
@@ -924,6 +924,10 @@ li.dropdown-submenu:hover > ul.dropdown-menu {
     margin: 10px;
 }
 
+.help-dropdown code {
+    font-variant-ligatures: none;
+}
+
 #launcher-pane .launcher-button {
     font-size: 150%;
     display: inline-block;