Mercurial > hgrepos > Python > libs > ConfigMix
annotate docs/_latex/my-doc-fonts.sty @ 783:8151ac02f71d default tip
Move all the transforms (|xxx| replacements) from rst_prolog/_epilog to the already existing transform
| author | Franz Glasner <fzglas.hg@dom66.de> |
|---|---|
| date | Sat, 16 May 2026 21:58:06 +0200 |
| parents | 48deafc1fd2f |
| children |
| 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 |
