comparison docs/_latex/my-doc-fonts.sty @ 189:91e8fb8cf67b

FIX: Reset defaultfontfeatures because plex-otf.sty doesn't do it internally
author Franz Glasner <fzglas.hg@dom66.de>
date Wed, 13 May 2026 09:00:57 +0200
parents dcbc66f851eb
children c10b2092c48f
comparison
equal deleted inserted replaced
188:8e172ca6c944 189:91e8fb8cf67b
36 % 36 %
37 % 37 %
38 \if@mdf@WithPlexMono 38 \if@mdf@WithPlexMono
39 \RequirePackage{newunicodechar} 39 \RequirePackage{newunicodechar}
40 \RequirePackage[DefaultFeatures={Scale=0.92}]{plex-otf} 40 \RequirePackage[DefaultFeatures={Scale=0.92}]{plex-otf}
41 % Dont keep all default font features from plex-otf
42 \defaultfontfeatures{}
41 \newfontfamily\DejaVuSansMono{DejaVu Sans Mono}[% 43 \newfontfamily\DejaVuSansMono{DejaVu Sans Mono}[%
42 UprightFont = *, 44 UprightFont = *,
43 BoldFont = * Bold, 45 BoldFont = * Bold,
44 ItalicFont = * Oblique, 46 ItalicFont = * Oblique,
45 BoldItalicFont = * Bold Oblique, 47 BoldItalicFont = * Bold Oblique,
46 Scale=MatchLowercase, 48 Scale=MatchLowercase,
49 Ligatures=TeX,
47 ] 50 ]
48 \newunicodechar{▷}{{\DejaVuSansMono ▷}}% U+25B7 51 \newunicodechar{▷}{{\DejaVuSansMono ▷}}% U+25B7
49 \newunicodechar{∶}{{\DejaVuSansMono ∶}}% U+2236 52 \newunicodechar{∶}{{\DejaVuSansMono ∶}}% U+2236
50 \newunicodechar{◆}{{\DejaVuSansMono ◆}}% U+25C6 53 \newunicodechar{◆}{{\DejaVuSansMono ◆}}% U+25C6
51 \newunicodechar{▪}{{\DejaVuSansMono ▪}}% U+25AA 54 \newunicodechar{▪}{{\DejaVuSansMono ▪}}% U+25AA