Mercurial > hgrepos > Python > libs > ConfigMix

annotate docs/_latex/my-doc-fonts.sty @ 777:93d1d6506492

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
There is no need for the README to contain the repository path
author Franz Glasner <fzglas.hg@dom66.de>
date Sat, 16 May 2026 01:53:53 +0200
parents 48deafc1fd2f
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
771
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
1 % -*- coding: utf-8 -*-
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
2 %
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
3 % Some font hacks for my Sphinx PDF documents
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
4 %
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
5 \NeedsTeXFormat{LaTeX2e}
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
6 \ProvidesPackage{my-doc-fonts}[%
776
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
7 2026/05/16 v0.3 (Franz Glasner) Fonts for Sphinx generated PDFs]
771
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
8 \RequirePackage{xkeyval}
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
9 \RequirePackage{fontspec}
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
10 \IfFileExists{xcolor.sty}{%
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
11 % Should Sphinx load xcolor with its dvipsnames and svgnames options?
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
12 \RequirePackage{xcolor}
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
13 }{%
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
14 \RequirePackage{color}
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
15 }
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
16
776
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
17 \newif\if@mdf@mono@dejavusansmono\@mdf@mono@dejavusansmonofalse
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
18 \newif\if@mdf@mono@cmmono\@mdf@mono@cmmonofalse
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
19 \newif\if@mdf@mono@robotomono\@mdf@mono@robotomonofalse
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
20 \newif\if@mdf@mono@sscode\@mdf@mono@sscodefalse
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
21 \newif\if@mdf@mono@inconsolata\@mdf@mono@inconsolatafalse
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
22 \newif\if@mdf@mono@libertinusmono\@mdf@mono@libertinusmonofalse
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
23 \newif\if@mdf@augment@libertinusmono\@mdf@augment@libertinusmonofalse
771
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
24
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
25 \newif\if@mdf@WithDejaVuSansMono
776
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
26 \newif\if@mdf@WithCM
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
27 \newif\if@mdf@WithRobotoMono
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
28 \newif\if@mdf@WithIBMPlex
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
29 \newif\if@mdf@WithIBMPlexDejaVuSansMono
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
30 \newif\if@mdf@WithAdobeSourcePro
771
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
31 \newif\if@mdf@WithSpectral
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
32 \newif\if@mdf@WithCharter
776
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
33 \newif\if@mdf@WithLibertinus
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
34 \newif\if@mdf@WithGaramond
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
35 \newif\if@mdf@WithTufte
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
36 \newif\if@mdf@WithPalatino
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
37 \newif\if@mdf@WithCrimson
771
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
38
776
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
39 % A key compatible with options processing as option "fonts" but choices.
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
40 \define@choicekey*{my-doc-fonts.sty}{fonts}[\val\nr]{%
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
41 % do not change anything: just deactivate the default "dejavusansmono"
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
42 default,
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
43 % no augmentation needed: all characters available
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
44 dejavusansmono, % use DejaVu Sans Mono as monospaced font
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
45 % the fonts below are augmented for missing characters
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
46 cm, % assume CM fonts and just fix missing characters
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
47 robotomono, % use Roboto Mono as mono font
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
48 ibmplex, plex, % use the IBM Plex family (incl. Math)
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
49 plex-dejavusansmono, % use IBM Plex Serif/Sans and DejaVu Sans Mono
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
50 adobesourcepro, adobesource, % Use Adobe Source Serif/Sans/Mono
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
51 spectral, % use Spectral, Source Sans Pro and Source Code Pro
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
52 charter, % use XCharter (with XCharter Math), Lato and Inconsolata
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
53 libertinus, % use Libertinus family (incl. Math)
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
54 garamond, % EB Garamond (with Math), Libre Franklin and Inconsolata
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
55 tufte, % Tufte fonts: ETbb (with Math), GilliusADFNo2, DejaVu Sans Mono
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
56 palatino, % Palatino, Inter and Source Code Pro
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
57 crimson, % Crimson Pro, Cabin and Source Code Pro (incl. Erewhon Math)
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
58 }{%
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
59 % Not used for now : store the normalized option value (global and expanded)
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
60 \xdef\@mdf@fonts{\val}%
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
61 % Reset all option related font selection flags
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
62 \@mdf@WithDejaVuSansMonofalse
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
63 \@mdf@WithCMfalse
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
64 \@mdf@WithRobotoMonofalse
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
65 \@mdf@WithIBMPlexfalse
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
66 \@mdf@WithIBMPlexDejaVuSansMonofalse
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
67 \@mdf@WithAdobeSourceProfalse
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
68 \@mdf@WithSpectralfalse
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
69 \@mdf@WithCharterfalse
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
70 \@mdf@WithLibertinusfalse
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
71 \@mdf@WithGaramondfalse
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
72 \@mdf@WithTuftefalse
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
73 \@mdf@WithPalatinofalse
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
74 \@mdf@WithCrimsonfalse
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
75 % Now set the needed font selection flag
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
76 \ifcase\nr\relax
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
77 \relax
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
78 \or
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
79 \@mdf@WithDejaVuSansMonotrue
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
80 \or
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
81 \@mdf@WithCMtrue
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
82 \or
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
83 \@mdf@WithRobotoMonotrue
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
84 \or
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
85 \@mdf@WithIBMPlextrue
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
86 \or
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
87 \@mdf@WithIBMPlextrue
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
88 % Normalize the stored string
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
89 \gdef\@mdf@fonts{ibmplex}
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
90 \or
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
91 \@mdf@WithIBMPlexDejaVuSansMonotrue
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
92 \or
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
93 \@mdf@WithAdobeSourceProtrue
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
94 \or
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
95 \@mdf@WithAdobeSourceProtrue
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
96 % Normalize the stored string
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
97 \gdef\@mdf@fonts{adobesourcepro}
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
98 \or
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
99 \@mdf@WithSpectraltrue
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
100 \or
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
101 \@mdf@WithChartertrue
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
102 \or
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
103 \@mdf@WithLibertinustrue
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
104 \or
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
105 \@mdf@WithGaramondtrue
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
106 \or
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
107 \@mdf@WithTuftetrue
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
108 \or
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
109 \@mdf@WithPalatinotrue
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
110 \or
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
111 \@mdf@WithCrimsontrue
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
112 \fi
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
113 }
771
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
114
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
115 %
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
116 % By default use the safe option dejavusansmono because is contains
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
117 % all characters without any hacks.
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
118 %
776
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
119 \ExecuteOptionsX{fonts=dejavusansmono}
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
120 \ProcessOptionsX\relax
771
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
121
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
122 \if@mdf@WithDejaVuSansMono
776
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
123 % default but with DejaVu Sans Mono as monospaced font
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
124 %\RequirePackage[DefaultFeatures={Scale=0.92},mono=false]{plex-otf}
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
125 %\RequirePackage[mono=true,serif=false,sans=false,math=false]{dejavu-otf} % all symbols are available
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
126 \@mdf@mono@dejavusansmonotrue
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
127 \fi
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
128 \if@mdf@WithCM
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
129 \@mdf@mono@cmmonotrue
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
130 \fi
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
131 \if@mdf@WithRobotoMono
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
132 \@mdf@mono@robotomonotrue
771
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
133 \fi
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
134 %
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
135 %
776
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
136 \if@mdf@WithIBMPlex
771
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
137 \RequirePackage{newunicodechar}
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
138 \RequirePackage[DefaultFeatures={Scale=0.92}]{plex-otf}
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
139 % Dont keep all default font features from plex-otf
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
140 \defaultfontfeatures{}
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
141 \newfontfamily\DejaVuSansMono{DejaVu Sans Mono}[%
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
142 UprightFont = *,
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
143 BoldFont = * Bold,
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
144 ItalicFont = * Oblique,
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
145 BoldItalicFont = * Bold Oblique,
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
146 Scale=MatchLowercase,
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
147 Ligatures=TeX,
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
148 ]
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
149 \newunicodechar{▷}{{\DejaVuSansMono ▷}}% U+25B7
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
150 \newunicodechar{∶}{{\DejaVuSansMono ∶}}% U+2236
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
151 \newunicodechar{◆}{{\DejaVuSansMono ◆}}% U+25C6
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
152 \newunicodechar{▪}{{\DejaVuSansMono ▪}}% U+25AA
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
153 \newunicodechar{⟵}{{\DejaVuSansMono ⟵}}% U+27F5
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
154 \newunicodechar{⟶}{{\DejaVuSansMono ⟶}}% U+27F6
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
155 \newunicodechar{⟷}{{\DejaVuSansMono ⟷}}% U+27F7
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
156 \newunicodechar{⇒}{{\DejaVuSansMono ⇒}}% U+21D2
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
157 \newunicodechar{⇔}{{\DejaVuSansMono ⇔}}% U+21D4
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
158 \newunicodechar{≟}{{\DejaVuSansMono ≟}}% U+225F
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
159 \newunicodechar{∈}{{\DejaVuSansMono ∈}}% U+2208
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
160 \newunicodechar{∌}{{\DejaVuSansMono ∌}}% U+220C
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
161 %\newunicodechar{␣}{{\DejaVuSansMono ␣}}% U+2423 Missing!
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
162 %\newunicodechar{^^^^2423}{{\DejaVuSansMono^^^^2423}}% U+2423
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
163 %\newunicodechar{␣}{\textvisiblespace}% U+2423
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
164 %\catcode`^^^^2423\active\protected\def^^^^2423{\textvisiblespace}
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
165
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
166 \PassOptionsToPackage{%
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
167 verbatimvisiblespace={\textcolor{red}{{\DejaVuSansMono^^^^2423}}},%
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
168 verbatimcontinued={\textcolor{red}{{\DejaVuSansMono^^^^21aa}}}}%
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
169 {sphinx}
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
170 \fi
776
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
171 \if@mdf@WithIBMPlexDejaVuSansMono
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
172 \RequirePackage[DefaultFeatures={Scale=0.92},mono=false]{plex-otf}
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
173 \@mdf@mono@dejavusansmonotrue
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
174 \fi
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
175 \if@mdf@WithAdobeSourcePro
771
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
176 \defaultfontfeatures{Ligatures=TeX,Numbers={Lining,Tabular}}
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
177 \setmainfont{Source Serif Pro}[
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
178 UprightFont = *,
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
179 BoldFont = * Bold,
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
180 ItalicFont = * Italic,
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
181 BoldItalicFont = * Bold Italic,
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
182 ]
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
183 \setsansfont{Source Sans Pro}[
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
184 UprightFont = *,
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
185 BoldFont = * Bold,
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
186 ItalicFont = * Italic,
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
187 BoldItalicFont = * Bold Italic,
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
188 ]
776
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
189 \@mdf@mono@sscodetrue
771
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
190 \fi
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
191 \if@mdf@WithSpectral
776
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
192 \RequirePackage{unicode-math}
771
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
193 \defaultfontfeatures{Ligatures=TeX,Numbers={Lining,Tabular}}
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
194 \setmainfont{Spectral}[
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
195 UprightFont = * Regular,
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
196 BoldFont = * Bold,
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
197 ItalicFont = * Italic,
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
198 BoldItalicFont = * Bold Italic,
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
199 ]
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
200 \setsansfont{Source Sans Pro}[
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
201 UprightFont = *,
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
202 BoldFont = * Bold,
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
203 ItalicFont = * Italic,
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
204 BoldItalicFont = * Bold Italic,
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
205 ]
776
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
206 \setmathfont{STIX Two Math}[Scale=MatchLowercase]
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
207 \@mdf@mono@sscodetrue
771
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
208 \fi
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
209 \if@mdf@WithCharter
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
210 \defaultfontfeatures{Ligatures=TeX,Numbers={Lining,Tabular}}
776
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
211 \RequirePackage{xcharter-otf}% loads also XCharter Math
771
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
212 \setsansfont{Lato}[
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
213 UprightFont = * Regular,
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
214 BoldFont = * Bold,
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
215 ItalicFont = * Italic,
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
216 BoldItalicFont = * Bold Italic,
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
217 Scale = MatchLowercase,
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
218 ]
776
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
219 \@mdf@mono@inconsolatatrue
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
220 \fi
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
221 \if@mdf@WithLibertinus
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
222 \RequirePackage{newunicodechar}
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
223 \RequirePackage[lining,tabular]{libertinus-otf}
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
224 \@mdf@augment@libertinusmonotrue
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
225 \fi
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
226
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
227 \if@mdf@WithGaramond
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
228 \RequirePackage[lining,tabular]{ebgaramond}
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
229 \RequirePackage{unicode-math}
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
230 \setmathfont{Garamond-Math}[Scale=MatchLowercase]
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
231 \setsansfont{Libre Franklin}[Scale=MatchLowercase,Ligatures=TeX]
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
232 \@mdf@mono@inconsolatatrue
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
233 \fi
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
234
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
235 \if@mdf@WithTufte
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
236 \RequirePackage{unicode-math}
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
237 \defaultfontfeatures{Numbers={Lining,Tabular},Ligatures=TeX}
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
238 \setmainfont{ETbb}
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
239 \setsansfont{GilliusADFNo2}[Scale=MatchLowercase]
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
240 \setmathfont{Libertinus Math}[Scale=MatchLowercase]
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
241 \@mdf@mono@dejavusansmonotrue
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
242 \fi
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
243
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
244 \if@mdf@WithPalatino
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
245 \RequirePackage{unicode-math}
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
246 \linespread{1.06}
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
247 \defaultfontfeatures{Numbers={Lining,Tabular},Ligatures=TeX}
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
248 \setmainfont{TeXGyrePagellaX}
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
249 \setsansfont{Inter}[Scale=MatchLowercase]
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
250 %\setsansfont{Rosario}[Scale=MatchLowercase,ScaleAgain=1.013]
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
251 %\setmathfont{Asana Math}[Scale=MatchLowercase]
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
252 \setmathfont{TeX Gyre Pagella Math}[Scale=MatchLowercase]
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
253 %\@mdf@mono@sscodetrue
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
254 \@mdf@mono@libertinusmonotrue
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
255 \fi
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
256
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
257 \if@mdf@WithCrimson
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
258 \RequirePackage{unicode-math}
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
259 \defaultfontfeatures{Ligatures=TeX, Numbers={Lining,Tabular}}
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
260 \setmainfont{Crimson Pro}
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
261 \setsansfont{Cabin}[Scale=MatchLowercase]
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
262 \defaultfontfeatures{}% Erewhon Math needs this here!
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
263 \setmathfont{Erewhon Math}[Scale=MatchLowercase]
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
264 \@mdf@mono@sscodetrue
771
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
265 \fi
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
266
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
267 \defaultfontfeatures{}
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
268
776
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
269 \if@mdf@mono@dejavusansmono
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
270 % automatically applied with Scale=MatchLowercase,...
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
271 \RequirePackage[mono=true,serif=false,sans=false,math=false]{dejavu-otf} % all symbols are available
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
272 \fi
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
273
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
274 \if@mdf@mono@cmmono
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
275 \RequirePackage{newunicodechar}
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
276 \defaultfontfeatures{Ligatures=TeX,Numbers={Lining,Tabular},Scale=MatchLowercase}
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
277 \newfontfamily\DejaVuSansMono{DejaVu Sans Mono}[%
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
278 UprightFont = *,
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
279 BoldFont = * Bold,
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
280 ItalicFont = * Oblique,
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
281 BoldItalicFont = * Bold Oblique,
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
282 ]
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
283 \newunicodechar{▷}{{\DejaVuSansMono ▷}}% U+25B7
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
284 \newunicodechar{∶}{{\DejaVuSansMono ∶}}% U+2236
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
285 \newunicodechar{◆}{{\DejaVuSansMono ◆}}% U+25C6
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
286 \newunicodechar{⟵}{{\DejaVuSansMono ⟵}}% U+27F5
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
287 \newunicodechar{⟶}{{\DejaVuSansMono ⟶}}% U+27F6
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
288 \newunicodechar{⟷}{{\DejaVuSansMono ⟷}}% U+27F7
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
289 \newunicodechar{⇒}{{\DejaVuSansMono ⇒}}% U+21D2
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
290 \newunicodechar{⇔}{{\DejaVuSansMono ⇔}}% U+21D4
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
291 \newunicodechar{▪}{{\DejaVuSansMono ▪}}% U+25AA
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
292 \newunicodechar{≟}{{\DejaVuSansMono ≟}}% U+225F
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
293 \newunicodechar{∈}{{\DejaVuSansMono ∈}}% U+2208
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
294 \newunicodechar{∌}{{\DejaVuSansMono ∌}}% U+220C
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
295 \newunicodechar{≠}{{\DejaVuSansMono ≠}}% U+2260
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
296 \newunicodechar{≤}{{\DejaVuSansMono ≤}}% U+2264
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
297 \newunicodechar{≥}{{\DejaVuSansMono ≥}}% U+2265
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
298 \PassOptionsToPackage{%
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
299 verbatimvisiblespace={\textcolor{red}{{\DejaVuSansMono^^^^2423}}},%
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
300 verbatimcontinued={\textcolor{red}{{\DejaVuSansMono^^^^21aa}}}}%
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
301 {sphinx}
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
302 \fi
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
303
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
304 \if@mdf@mono@sscode
771
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
305 \RequirePackage{newunicodechar}
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
306 \defaultfontfeatures{Ligatures=TeX,Numbers={Lining,Tabular},Scale=MatchLowercase}
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
307 \setmonofont{Source Code Pro}[
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
308 UprightFont = *,
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
309 BoldFont = * Bold,
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
310 ItalicFont = * Italic,
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
311 BoldItalicFont = * Bold Italic,
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
312 ]
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
313 \newfontfamily\DejaVuSansMono{DejaVu Sans Mono}[%
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
314 UprightFont = *,
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
315 BoldFont = * Bold,
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
316 ItalicFont = * Oblique,
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
317 BoldItalicFont = * Bold Oblique,
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
318 ]
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
319 \newunicodechar{∶}{{\DejaVuSansMono ∶}}% U+2236
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
320 \newunicodechar{⟵}{{\DejaVuSansMono ⟵}}% U+27F5
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
321 \newunicodechar{⟶}{{\DejaVuSansMono ⟶}}% U+27F6
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
322 \newunicodechar{⟷}{{\DejaVuSansMono ⟷}}% U+27F7
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
323 \newunicodechar{⇒}{{\DejaVuSansMono ⇒}}% U+21D2
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
324 \newunicodechar{⇔}{{\DejaVuSansMono ⇔}}% U+21D4
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
325 \newunicodechar{≟}{{\DejaVuSansMono ≟}}% U+225F
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
326 \newunicodechar{∈}{{\DejaVuSansMono ∈}}% U+2208
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
327 \newunicodechar{∌}{{\DejaVuSansMono ∌}}% U+220C
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
328 \PassOptionsToPackage{%
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
329 verbatimvisiblespace={\textcolor{red}{{\DejaVuSansMono^^^^2423}}},%
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
330 verbatimcontinued={\textcolor{red}{{\DejaVuSansMono^^^^21aa}}}}%
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
331 {sphinx}
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
332 \fi
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
333
776
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
334 \if@mdf@mono@inconsolata
771
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
335 \RequirePackage{newunicodechar}
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
336 \defaultfontfeatures{Ligatures=TeX,Numbers={Lining,Tabular},Scale=MatchLowercase}
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
337 \setmonofont{Inconsolata LGC Nerd Font Mono}[%
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
338 UprightFont = *,
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
339 BoldFont = * Bold,
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
340 ItalicFont = * Italic,
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
341 BoldItalicFont = * Bold Italic,
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
342 ]
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
343 \newfontfamily\DejaVuSansMono{DejaVu Sans Mono}[%
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
344 UprightFont = *,
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
345 BoldFont = * Bold,
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
346 ItalicFont = * Oblique,
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
347 BoldItalicFont = * Bold Oblique,
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
348 ]
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
349 \newunicodechar{∶}{{\DejaVuSansMono ∶}}% U+2236
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
350 \newunicodechar{⟵}{{\DejaVuSansMono ⟵}}% U+27F5
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
351 \newunicodechar{⟶}{{\DejaVuSansMono ⟶}}% U+27F6
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
352 \newunicodechar{⟷}{{\DejaVuSansMono ⟷}}% U+27F7
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
353 \newunicodechar{≟}{{\DejaVuSansMono ≟}}% U+225F
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
354 \newunicodechar{∈}{{\DejaVuSansMono ∈}}% U+2208
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
355 \newunicodechar{∌}{{\DejaVuSansMono ∌}}% U+220C
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
356 \fi
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
357
776
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
358 \if@mdf@mono@robotomono
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
359 \RequirePackage{newunicodechar}
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
360 \defaultfontfeatures{Ligatures=TeX,Numbers={Lining,Tabular},Scale=MatchLowercase}
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
361 \setmonofont{Roboto Mono}[%
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
362 UprightFont = *,
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
363 BoldFont = * Bold,
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
364 ItalicFont = * Italic,
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
365 BoldItalicFont = * Bold Italic,
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
366 ]
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
367 \newfontfamily\DejaVuSansMono{DejaVu Sans Mono}[%
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
368 UprightFont = *,
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
369 BoldFont = * Bold,
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
370 ItalicFont = * Oblique,
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
371 BoldItalicFont = * Bold Oblique,
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
372 ]
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
373 \newunicodechar{▷}{{\DejaVuSansMono ▷}}% U+25B7
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
374 \newunicodechar{∶}{{\DejaVuSansMono ∶}}% U+2236
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
375 \newunicodechar{◆}{{\DejaVuSansMono ◆}}% U+25C6
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
376 \newunicodechar{⟵}{{\DejaVuSansMono ⟵}}% U+27F5
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
377 \newunicodechar{⟶}{{\DejaVuSansMono ⟶}}% U+27F6
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
378 \newunicodechar{⟷}{{\DejaVuSansMono ⟷}}% U+27F7
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
379 \newunicodechar{⇒}{{\DejaVuSansMono ⇒}}% U+21D2
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
380 \newunicodechar{⇔}{{\DejaVuSansMono ⇔}}% U+21D4
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
381 \newunicodechar{▪}{{\DejaVuSansMono ▪}}% U+25AA
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
382 \newunicodechar{≟}{{\DejaVuSansMono ≟}}% U+225F
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
383 \newunicodechar{∈}{{\DejaVuSansMono ∈}}% U+2208
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
384 \newunicodechar{∌}{{\DejaVuSansMono ∌}}% U+220C
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
385
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
386 \PassOptionsToPackage{%
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
387 verbatimvisiblespace={\textcolor{red}{{\DejaVuSansMono^^^^2423}}},%
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
388 verbatimcontinued={\textcolor{red}{{\DejaVuSansMono^^^^21aa}}}}%
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
389 {sphinx}
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
390 \fi
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
391
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
392 \if@mdf@mono@libertinusmono
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
393 % This is stolen from libertinus-otf.sty!
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
394 \setmonofont{LibertinusMono}[%
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
395 Ligatures = TeX,
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
396 Numbers = {Lining, Tabular},
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
397 Scale = MatchLowercase,
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
398 FakeStretch = 0.94,
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
399 UprightFont = *-Regular,
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
400 ItalicFont = *-Regular,
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
401 ItalicFeatures = {FakeSlant=0.2},
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
402 SlantedFont = *-Regular,
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
403 SlantedFeatures= {FakeSlant=0.2},
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
404 BoldFont = *-Regular,
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
405 BoldFeatures = {RawFeature={embolden=3}},
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
406 BoldItalicFont = *-Regular,
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
407 BoldItalicFeatures={FakeSlant=0.2,RawFeature={embolden=3}},
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
408 Extension = .otf,
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
409 ]
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
410 \@mdf@augment@libertinusmonotrue
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
411 \fi
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
412
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
413 \if@mdf@augment@libertinusmono
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
414 \RequirePackage{newunicodechar}
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
415 \newfontfamily\DejaVuSansMono{DejaVu Sans Mono}[%
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
416 UprightFont = *,
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
417 BoldFont = * Bold,
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
418 ItalicFont = * Oblique,
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
419 BoldItalicFont = * Bold Oblique,
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
420 Scale=MatchLowercase,
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
421 Ligatures=TeX,
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
422 ]
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
423 \newunicodechar{▷}{{\DejaVuSansMono ▷}}% U+25B7
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
424 \newunicodechar{∶}{{\DejaVuSansMono ∶}}% U+2236
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
425 \newunicodechar{◆}{{\DejaVuSansMono ◆}}% U+25C6
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
426 \newunicodechar{▪}{{\DejaVuSansMono ▪}}% U+25AA
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
427 \newunicodechar{⟵}{{\DejaVuSansMono ⟵}}% U+27F5
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
428 \newunicodechar{⟶}{{\DejaVuSansMono ⟶}}% U+27F6
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
429 \newunicodechar{⟷}{{\DejaVuSansMono ⟷}}% U+27F7
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
430 \newunicodechar{⇒}{{\DejaVuSansMono ⇒}}% U+21D2
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
431 \newunicodechar{⇔}{{\DejaVuSansMono ⇔}}% U+21D4
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
432 \newunicodechar{≟}{{\DejaVuSansMono ≟}}% U+225F
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
433 \newunicodechar{∈}{{\DejaVuSansMono ∈}}% U+2208
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
434 \newunicodechar{∌}{{\DejaVuSansMono ∌}}% U+220C
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
435 \newunicodechar{≠}{{\DejaVuSansMono ≠}}% U+2260
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
436 \newunicodechar{≤}{{\DejaVuSansMono ≤}}% U+2264
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
437 \newunicodechar{≥}{{\DejaVuSansMono ≥}}% U+2265
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
438 %\newunicodechar{␣}{{\DejaVuSansMono ␣}}% U+2423 Missing!
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
439 %\newunicodechar{^^^^2423}{{\DejaVuSansMono^^^^2423}}% U+2423
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
440 %\newunicodechar{␣}{\textvisiblespace}% U+2423
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
441 %\catcode`^^^^2423\active\protected\def^^^^2423{\textvisiblespace}
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
442
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
443 \PassOptionsToPackage{%
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
444 verbatimvisiblespace={\textcolor{red}{{\DejaVuSansMono^^^^2423}}},%
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
445 verbatimcontinued={\textcolor{red}{{\DejaVuSansMono^^^^21aa}}}}%
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
446 {sphinx}
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
447 \fi
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
448
771
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
449 \defaultfontfeatures{}
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
450
776
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
451 \def\testmdf{
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
452 Normalized: \@mdf@fonts\newline
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
453 }
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty.
Franz Glasner <fzglas.hg@dom66.de>
parents: 771
diff changeset
454
771
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
455 \endinput