# HG changeset patch
# User Franz Glasner <fzglas.hg@dom66.de>
# Date 1778508374 -7200
# Node ID 34c6b714c8cdd0eac49bbefd475329d74d2b236b
# Parent  3a1c15fa43e7b7c193f781ca5d83177bec8e502f
FIX: Do not use IBM Plex Mono but DejaVu Sans Mono because it has all needed symbols

diff -r 3a1c15fa43e7 -r 34c6b714c8cd docs/conf.py
--- a/docs/conf.py	Mon May 11 15:49:21 2026 +0200
+++ b/docs/conf.py	Mon May 11 16:06:14 2026 +0200
@@ -134,7 +134,10 @@
 latex_elements = {
     "papersize": "a4paper",
     "babel": r"\usepackage{babel}",
-    "fontpkg": r"\usepackage[DefaultFeatures={Scale=0.92}]{plex-otf}",
+    "fontpkg": r"""
+\usepackage[DefaultFeatures={Scale=0.92},mono=false]{plex-otf}
+\usepackage[mono=true,serif=false,sans=false,math=false]{dejavu-otf}  % all symbols are available
+""",
     "releasename": "Version",
 }
 latex_theme = "manual"