Mercurial > hgrepos > Python > libs > pygments-lexer-pseudocode2
changeset 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 | 3a1c15fa43e7 |
| children | b291f1e2319d |
| files | docs/conf.py |
| diffstat | 1 files changed, 4 insertions(+), 1 deletions(-) [+] |
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"