From 0029d2b08bbd3cb3aa293d9c8d55bf31faa9e203 Mon Sep 17 00:00:00 2001
From: Derick Rethans <github@derickrethans.nl>
Date: Fri, 25 Apr 2025 10:20:58 +0100
Subject: [PATCH] Turn off font ligatures in code in documentation

---
 docs/source/_static/css/code-no-font-ligatures.css | 3 +++
 docs/source/conf.py                                | 1 +
 2 files changed, 4 insertions(+)
 create mode 100644 docs/source/_static/css/code-no-font-ligatures.css

diff --git a/docs/source/_static/css/code-no-font-ligatures.css b/docs/source/_static/css/code-no-font-ligatures.css
new file mode 100644
index 00000000000..1ae51476f01
--- /dev/null
+++ b/docs/source/_static/css/code-no-font-ligatures.css
@@ -0,0 +1,3 @@
+code {
+    font-variant-ligatures: none;
+}
diff --git a/docs/source/conf.py b/docs/source/conf.py
index 7347682eddf..f28102206a9 100644
--- a/docs/source/conf.py
+++ b/docs/source/conf.py
@@ -21,6 +21,7 @@ extensions = [
 templates_path = ['_templates']
 html_theme = 'sphinxawesome_theme'
 html_static_path = ['_static']
+html_css_files = ['css/code-no-font-ligatures.css']
 html_title = project
 html_permalinks_icon = Icons.permalinks_icon
 theme_options = ThemeOptions(