comparison docs/_latex/my-doc-fonts.sty @ 228:e363dc537be5

Comment
author Franz Glasner <fzglas.hg@dom66.de>
date Fri, 15 May 2026 20:23:03 +0200
parents 0fb4e7c34b10
children 29826707b7da
comparison
equal deleted inserted replaced
227:0fb4e7c34b10 228:e363dc537be5
33 % A key compatible with options processing as option "fonts" but choices. 33 % A key compatible with options processing as option "fonts" but choices.
34 \define@choicekey*{my-doc-fonts.sty}{fonts}[\val\nr]{% 34 \define@choicekey*{my-doc-fonts.sty}{fonts}[\val\nr]{%
35 default, % do not change anything: deactivate the default dejavusansmono 35 default, % do not change anything: deactivate the default dejavusansmono
36 % no augmentation needed: all characters available 36 % no augmentation needed: all characters available
37 dejavusansmono, % use DejaVu Sans Mono as monospaced font 37 dejavusansmono, % use DejaVu Sans Mono as monospaced font
38 % the fonts below need augmentation for missing characters 38 % the fonts below are augmented for missing characters
39 cm, % assume CM fonts and just fix missing characters 39 cm, % assume CM fonts and just fix missing characters
40 robotomono, % use Roboto Mono as mono font 40 robotomono, % use Roboto Mono as mono font
41 ibmplex, plex, % use the IBM Plex family (incl. Math) 41 ibmplex, plex, % use the IBM Plex family (incl. Math)
42 plex-dejavusansmono, % use IBM Plex Mono as mono font 42 plex-dejavusansmono, % use IBM Plex Mono as mono font
43 adobesourcepro, adobesource, % Use Adobe Source Serif/Sans/Mono 43 adobesourcepro, adobesource, % Use Adobe Source Serif/Sans/Mono