diff 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
line wrap: on
line diff
--- a/docs/_latex/my-doc-fonts.sty	Fri May 15 20:23:03 2026 +0200
+++ b/docs/_latex/my-doc-fonts.sty	Fri May 15 20:24:11 2026 +0200
@@ -32,7 +32,8 @@
 
 % A key compatible with options processing as option "fonts" but choices.
 \define@choicekey*{my-doc-fonts.sty}{fonts}[\val\nr]{%
-  default,   % do not change anything: deactivate the default dejavusansmono
+  % do not change anything: just deactivate the default "dejavusansmono"
+  default,
   % no augmentation needed: all characters available
   dejavusansmono,  % use DejaVu Sans Mono as monospaced font
   % the fonts below are augmented for missing characters