# HG changeset patch
# User Franz Glasner <fzglas.hg@dom66.de>
# Date 1778870143 -7200
# Node ID c54b5ffd41d7dd731e4588f9c678bad2e89b3ec1
# Parent  29826707b7daf4c32ceef714290b7c21fa9d24a4
FIX: Comment for plex-dejavusansmono

diff -r 29826707b7da -r c54b5ffd41d7 docs/_latex/my-doc-fonts.sty
--- 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