Mercurial > hgrepos > Python > libs > pygments-lexer-pseudocode2
diff docs/_latex/my-doc-fonts.sty @ 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 | b60d719f7cde |
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{
