# HG changeset patch
# User Franz Glasner <fzglas.hg@dom66.de>
# Date 1778655657 -7200
# Node ID 91e8fb8cf67b1084ba27298903b4201ab8500f2a
# Parent  8e172ca6c944c350183534268d162b82f09dfae7
FIX: Reset defaultfontfeatures because plex-otf.sty doesn't do it internally

diff -r 8e172ca6c944 -r 91e8fb8cf67b docs/_latex/my-doc-fonts.sty
--- a/docs/_latex/my-doc-fonts.sty	Wed May 13 01:12:48 2026 +0200
+++ b/docs/_latex/my-doc-fonts.sty	Wed May 13 09:00:57 2026 +0200
@@ -38,12 +38,15 @@
 \if@mdf@WithPlexMono
   \RequirePackage{newunicodechar}
   \RequirePackage[DefaultFeatures={Scale=0.92}]{plex-otf}
+  % Dont keep all default font features from plex-otf
+  \defaultfontfeatures{}
   \newfontfamily\DejaVuSansMono{DejaVu Sans Mono}[%
     UprightFont = *,
     BoldFont = * Bold,
     ItalicFont = * Oblique,
     BoldItalicFont = * Bold Oblique,
     Scale=MatchLowercase,
+    Ligatures=TeX,
   ]
   \newunicodechar{▷}{{\DejaVuSansMono ▷}}% U+25B7
   \newunicodechar{∶}{{\DejaVuSansMono ∶}}% U+2236