changeset 230:c54b5ffd41d7

FIX: Comment for plex-dejavusansmono
author Franz Glasner <fzglas.hg@dom66.de>
date Fri, 15 May 2026 20:35:43 +0200
parents 29826707b7da
children 8f3a000c3be5
files docs/_latex/my-doc-fonts.sty
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/docs/_latex/my-doc-fonts.sty	Fri May 15 20:24:11 2026 +0200
+++ b/docs/_latex/my-doc-fonts.sty	Fri May 15 20:35:43 2026 +0200
@@ -40,7 +40,7 @@
   cm,              % assume CM fonts and just fix missing characters
   robotomono,      % use Roboto Mono as mono font
   ibmplex, plex,   % use the IBM Plex family (incl. Math)
-  plex-dejavusansmono,  % use IBM Plex Mono as mono font
+  plex-dejavusansmono,  % use IBM Plex Serif/Sans and DejaVu Sans Mono
   adobesourcepro, adobesource,  % Use Adobe Source Serif/Sans/Mono
   spectral,        % use Spectral, Source Sans Pro and Source Code Pro
   charter,         % use XCharter (with XCharter Math), Lato and Inconsolata