Mercurial > hgrepos > Python > libs > pygments-lexer-pseudocode2
diff 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 |
line wrap: on
line diff
--- 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"
