comparison docs/_latex/my-doc-fonts.sty @ 229:29826707b7da

Comment
author Franz Glasner <fzglas.hg@dom66.de>
date Fri, 15 May 2026 20:24:11 +0200
parents e363dc537be5
children c54b5ffd41d7
comparison
equal deleted inserted replaced
228:e363dc537be5 229:29826707b7da
30 \newif\if@mdf@WithCharter 30 \newif\if@mdf@WithCharter
31 \newif\if@mdf@WithLibertinus 31 \newif\if@mdf@WithLibertinus
32 32
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 % do not change anything: just deactivate the default "dejavusansmono"
36 default,
36 % no augmentation needed: all characters available 37 % no augmentation needed: all characters available
37 dejavusansmono, % use DejaVu Sans Mono as monospaced font 38 dejavusansmono, % use DejaVu Sans Mono as monospaced font
38 % the fonts below are augmented for missing characters 39 % the fonts below are augmented for missing characters
39 cm, % assume CM fonts and just fix missing characters 40 cm, % assume CM fonts and just fix missing characters
40 robotomono, % use Roboto Mono as mono font 41 robotomono, % use Roboto Mono as mono font