comparison docs/conf.py @ 176:34c6b714c8cd

FIX: Do not use IBM Plex Mono but DejaVu Sans Mono because it has all needed symbols
author Franz Glasner <fzglas.hg@dom66.de>
date Mon, 11 May 2026 16:06:14 +0200
parents 551c3421bccb
children dcbc66f851eb
comparison
equal deleted inserted replaced
175:3a1c15fa43e7 176:34c6b714c8cd
132 # https://www.sphinx-doc.org/en/master/latex.html 132 # https://www.sphinx-doc.org/en/master/latex.html
133 latex_engine = 'lualatex' 133 latex_engine = 'lualatex'
134 latex_elements = { 134 latex_elements = {
135 "papersize": "a4paper", 135 "papersize": "a4paper",
136 "babel": r"\usepackage{babel}", 136 "babel": r"\usepackage{babel}",
137 "fontpkg": r"\usepackage[DefaultFeatures={Scale=0.92}]{plex-otf}", 137 "fontpkg": r"""
138 \usepackage[DefaultFeatures={Scale=0.92},mono=false]{plex-otf}
139 \usepackage[mono=true,serif=false,sans=false,math=false]{dejavu-otf} % all symbols are available
140 """,
138 "releasename": "Version", 141 "releasename": "Version",
139 } 142 }
140 latex_theme = "manual" 143 latex_theme = "manual"
141 latex_show_urls = "footnote" 144 latex_show_urls = "footnote"
142 latex_show_pagerefs = True 145 latex_show_pagerefs = True