changeset 236:28639bddddd0

Make the use of "Libertinus Mono" more flexible by adding a flag that just augments it. It assumes an already loaded "Libertinus Mono". HkG: --
author Franz Glasner <fzglas.hg@dom66.de>
date Fri, 15 May 2026 23:53:40 +0200
parents 0d441c8a4712
children c4e8c7010ca0
files docs/_latex/my-doc-fonts.sty
diffstat 1 files changed, 37 insertions(+), 33 deletions(-) [+]
line wrap: on
line diff
--- a/docs/_latex/my-doc-fonts.sty	Fri May 15 23:45:35 2026 +0200
+++ b/docs/_latex/my-doc-fonts.sty	Fri May 15 23:53:40 2026 +0200
@@ -19,6 +19,7 @@
 \newif\if@mdf@mono@robotomono\@mdf@mono@robotomonofalse
 \newif\if@mdf@mono@sscode\@mdf@mono@sscodefalse
 \newif\if@mdf@mono@inconsolata\@mdf@mono@inconsolatafalse
+\newif\if@mdf@augment@libertinusmono\@mdf@augment@libertinusmonofalse
 
 \newif\if@mdf@WithDejaVuSansMono
 \newif\if@mdf@WithCM
@@ -214,39 +215,7 @@
 \if@mdf@WithLibertinus
   \RequirePackage{newunicodechar}
   \RequirePackage[lining,tabular]{libertinus-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
-  \newunicodechar{◆}{{\DejaVuSansMono ◆}}% U+25C6
-  \newunicodechar{▪}{{\DejaVuSansMono ▪}}% U+25AA
-  \newunicodechar{⟵}{{\DejaVuSansMono ⟵}}% U+27F5
-  \newunicodechar{⟶}{{\DejaVuSansMono ⟶}}% U+27F6
-  \newunicodechar{⟷}{{\DejaVuSansMono ⟷}}% U+27F7
-  \newunicodechar{⇒}{{\DejaVuSansMono ⇒}}% U+21D2
-  \newunicodechar{⇔}{{\DejaVuSansMono ⇔}}% U+21D4
-  \newunicodechar{≟}{{\DejaVuSansMono ≟}}% U+225F
-  \newunicodechar{∈}{{\DejaVuSansMono ∈}}% U+2208
-  \newunicodechar{∌}{{\DejaVuSansMono ∌}}% U+220C
-  \newunicodechar{≠}{{\DejaVuSansMono ≠}}% U+2260
-  \newunicodechar{≤}{{\DejaVuSansMono ≤}}% U+2264
-  \newunicodechar{≥}{{\DejaVuSansMono ≥}}% U+2265
-  %\newunicodechar{␣}{{\DejaVuSansMono ␣}}% U+2423  Missing!
-  %\newunicodechar{^^^^2423}{{\DejaVuSansMono^^^^2423}}% U+2423
-  %\newunicodechar{␣}{\textvisiblespace}% U+2423
-  %\catcode`^^^^2423\active\protected\def^^^^2423{\textvisiblespace}
-
-  \PassOptionsToPackage{%
-    verbatimvisiblespace={\textcolor{red}{{\DejaVuSansMono^^^^2423}}},%
-    verbatimcontinued={\textcolor{red}{{\DejaVuSansMono^^^^21aa}}}}%
-    {sphinx}
+  \@mdf@augment@libertinusmonotrue
 \fi
 
 \if@mdf@WithGaramond
@@ -403,6 +372,41 @@
     {sphinx}
 \fi
 
+\if@mdf@augment@libertinusmono
+  \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
+  \newunicodechar{◆}{{\DejaVuSansMono ◆}}% U+25C6
+  \newunicodechar{▪}{{\DejaVuSansMono ▪}}% U+25AA
+  \newunicodechar{⟵}{{\DejaVuSansMono ⟵}}% U+27F5
+  \newunicodechar{⟶}{{\DejaVuSansMono ⟶}}% U+27F6
+  \newunicodechar{⟷}{{\DejaVuSansMono ⟷}}% U+27F7
+  \newunicodechar{⇒}{{\DejaVuSansMono ⇒}}% U+21D2
+  \newunicodechar{⇔}{{\DejaVuSansMono ⇔}}% U+21D4
+  \newunicodechar{≟}{{\DejaVuSansMono ≟}}% U+225F
+  \newunicodechar{∈}{{\DejaVuSansMono ∈}}% U+2208
+  \newunicodechar{∌}{{\DejaVuSansMono ∌}}% U+220C
+  \newunicodechar{≠}{{\DejaVuSansMono ≠}}% U+2260
+  \newunicodechar{≤}{{\DejaVuSansMono ≤}}% U+2264
+  \newunicodechar{≥}{{\DejaVuSansMono ≥}}% U+2265
+  %\newunicodechar{␣}{{\DejaVuSansMono ␣}}% U+2423  Missing!
+  %\newunicodechar{^^^^2423}{{\DejaVuSansMono^^^^2423}}% U+2423
+  %\newunicodechar{␣}{\textvisiblespace}% U+2423
+  %\catcode`^^^^2423\active\protected\def^^^^2423{\textvisiblespace}
+
+  \PassOptionsToPackage{%
+    verbatimvisiblespace={\textcolor{red}{{\DejaVuSansMono^^^^2423}}},%
+    verbatimcontinued={\textcolor{red}{{\DejaVuSansMono^^^^21aa}}}}%
+    {sphinx}
+\fi
+
 \defaultfontfeatures{}
 
 \def\testmdf{