Mercurial > hgrepos > Python > libs > pygments-lexer-pseudocode2
annotate docs/_latex/my-doc-fonts.sty @ 226:90bbece6fae8
Implement an option for my-doc-fonts.sty to not change anything.
Skip the otherwise implemented default "dejavusansmono".
| author | Franz Glasner <fzglas.hg@dom66.de> |
|---|---|
| date | Fri, 15 May 2026 19:59:20 +0200 |
| parents | eb3d0ae3143b |
| children | 0fb4e7c34b10 |
| rev | line source |
|---|---|
|
181
dcbc66f851eb
A style file for (Lua)LaTeX that loads the required fonts.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff
changeset
|
1 % -*- coding: utf-8 -*- |
|
dcbc66f851eb
A style file for (Lua)LaTeX that loads the required fonts.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff
changeset
|
2 % |
|
dcbc66f851eb
A style file for (Lua)LaTeX that loads the required fonts.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff
changeset
|
3 % Some font hacks for my Sphinx PDF documents |
|
dcbc66f851eb
A style file for (Lua)LaTeX that loads the required fonts.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff
changeset
|
4 % |
|
dcbc66f851eb
A style file for (Lua)LaTeX that loads the required fonts.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff
changeset
|
5 \NeedsTeXFormat{LaTeX2e} |
|
dcbc66f851eb
A style file for (Lua)LaTeX that loads the required fonts.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff
changeset
|
6 \ProvidesPackage{my-doc-fonts}[% |
|
215
0d6eb4209714
***** my-doc-fonts.sty v0.2.1
Franz Glasner <fzglas.hg@dom66.de>
parents:
214
diff
changeset
|
7 2026/05/15 v0.2.1 (Franz Glasner) Fonts for Sphinx generated PDFs] |
|
181
dcbc66f851eb
A style file for (Lua)LaTeX that loads the required fonts.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff
changeset
|
8 \RequirePackage{xkeyval} |
|
dcbc66f851eb
A style file for (Lua)LaTeX that loads the required fonts.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff
changeset
|
9 \RequirePackage{fontspec} |
|
dcbc66f851eb
A style file for (Lua)LaTeX that loads the required fonts.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff
changeset
|
10 \IfFileExists{xcolor.sty}{% |
|
dcbc66f851eb
A style file for (Lua)LaTeX that loads the required fonts.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff
changeset
|
11 % Should Sphinx load xcolor with its dvipsnames and svgnames options? |
|
dcbc66f851eb
A style file for (Lua)LaTeX that loads the required fonts.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff
changeset
|
12 \RequirePackage{xcolor} |
|
dcbc66f851eb
A style file for (Lua)LaTeX that loads the required fonts.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff
changeset
|
13 }{% |
|
dcbc66f851eb
A style file for (Lua)LaTeX that loads the required fonts.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff
changeset
|
14 \RequirePackage{color} |
|
dcbc66f851eb
A style file for (Lua)LaTeX that loads the required fonts.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff
changeset
|
15 } |
|
dcbc66f851eb
A style file for (Lua)LaTeX that loads the required fonts.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff
changeset
|
16 |
|
218
5114d49a8eab
A new interface for my-doc-fonts.sty and a new implementation of option processing.
Franz Glasner <fzglas.hg@dom66.de>
parents:
215
diff
changeset
|
17 \newif\if@mdf@mono@dejavusansmono\@mdf@mono@dejavusansmonofalse |
|
225
eb3d0ae3143b
Augment CM fonts with missing symbols
Franz Glasner <fzglas.hg@dom66.de>
parents:
223
diff
changeset
|
18 \newif\if@mdf@mono@cmmono\@mdf@mono@cmmonofalse |
|
222
be0cca3df1eb
Allow the font style "Roboto Mono"
Franz Glasner <fzglas.hg@dom66.de>
parents:
221
diff
changeset
|
19 \newif\if@mdf@mono@robotomono\@mdf@mono@robotomonofalse |
|
218
5114d49a8eab
A new interface for my-doc-fonts.sty and a new implementation of option processing.
Franz Glasner <fzglas.hg@dom66.de>
parents:
215
diff
changeset
|
20 \newif\if@mdf@mono@sscode\@mdf@mono@sscodefalse |
|
5114d49a8eab
A new interface for my-doc-fonts.sty and a new implementation of option processing.
Franz Glasner <fzglas.hg@dom66.de>
parents:
215
diff
changeset
|
21 \newif\if@mdf@mono@inconsolata\@mdf@mono@inconsolatafalse |
|
196
d57cf1bb96d6
A new PDF style using "Spectral" with Source Sans/Code
Franz Glasner <fzglas.hg@dom66.de>
parents:
191
diff
changeset
|
22 |
|
181
dcbc66f851eb
A style file for (Lua)LaTeX that loads the required fonts.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff
changeset
|
23 \newif\if@mdf@WithDejaVuSansMono |
|
225
eb3d0ae3143b
Augment CM fonts with missing symbols
Franz Glasner <fzglas.hg@dom66.de>
parents:
223
diff
changeset
|
24 \newif\if@mdf@WithCM |
|
222
be0cca3df1eb
Allow the font style "Roboto Mono"
Franz Glasner <fzglas.hg@dom66.de>
parents:
221
diff
changeset
|
25 \newif\if@mdf@WithRobotoMono |
|
218
5114d49a8eab
A new interface for my-doc-fonts.sty and a new implementation of option processing.
Franz Glasner <fzglas.hg@dom66.de>
parents:
215
diff
changeset
|
26 \newif\if@mdf@WithIBMPlex |
|
5114d49a8eab
A new interface for my-doc-fonts.sty and a new implementation of option processing.
Franz Glasner <fzglas.hg@dom66.de>
parents:
215
diff
changeset
|
27 \newif\if@mdf@WithIBMPlexDejaVuSansMono |
|
5114d49a8eab
A new interface for my-doc-fonts.sty and a new implementation of option processing.
Franz Glasner <fzglas.hg@dom66.de>
parents:
215
diff
changeset
|
28 \newif\if@mdf@WithAdobeSourcePro |
|
196
d57cf1bb96d6
A new PDF style using "Spectral" with Source Sans/Code
Franz Glasner <fzglas.hg@dom66.de>
parents:
191
diff
changeset
|
29 \newif\if@mdf@WithSpectral |
|
204
afecfdcfd288
A new style "charter" for PDFs with "XCharter", "Lato" and "Inconsolata".
Franz Glasner <fzglas.hg@dom66.de>
parents:
203
diff
changeset
|
30 \newif\if@mdf@WithCharter |
|
221
38e2d8ab4965
Implement a style that uses the Libertinus fonts
Franz Glasner <fzglas.hg@dom66.de>
parents:
220
diff
changeset
|
31 \newif\if@mdf@WithLibertinus |
|
181
dcbc66f851eb
A style file for (Lua)LaTeX that loads the required fonts.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff
changeset
|
32 |
|
218
5114d49a8eab
A new interface for my-doc-fonts.sty and a new implementation of option processing.
Franz Glasner <fzglas.hg@dom66.de>
parents:
215
diff
changeset
|
33 % A key compatible with options processing as option "fonts" but choices. |
|
5114d49a8eab
A new interface for my-doc-fonts.sty and a new implementation of option processing.
Franz Glasner <fzglas.hg@dom66.de>
parents:
215
diff
changeset
|
34 \define@choicekey*{my-doc-fonts.sty}{fonts}[\val\nr]{% |
|
226
90bbece6fae8
Implement an option for my-doc-fonts.sty to not change anything.
Franz Glasner <fzglas.hg@dom66.de>
parents:
225
diff
changeset
|
35 default, |
|
218
5114d49a8eab
A new interface for my-doc-fonts.sty and a new implementation of option processing.
Franz Glasner <fzglas.hg@dom66.de>
parents:
215
diff
changeset
|
36 dejavusansmono, |
|
225
eb3d0ae3143b
Augment CM fonts with missing symbols
Franz Glasner <fzglas.hg@dom66.de>
parents:
223
diff
changeset
|
37 cm, |
|
222
be0cca3df1eb
Allow the font style "Roboto Mono"
Franz Glasner <fzglas.hg@dom66.de>
parents:
221
diff
changeset
|
38 robotomono, |
|
219
a7a6a75cd4b8
Normalize the stored "fonts" option when aliases are given
Franz Glasner <fzglas.hg@dom66.de>
parents:
218
diff
changeset
|
39 ibmplex, plex, |
|
218
5114d49a8eab
A new interface for my-doc-fonts.sty and a new implementation of option processing.
Franz Glasner <fzglas.hg@dom66.de>
parents:
215
diff
changeset
|
40 plex-dejavusansmono, |
|
219
a7a6a75cd4b8
Normalize the stored "fonts" option when aliases are given
Franz Glasner <fzglas.hg@dom66.de>
parents:
218
diff
changeset
|
41 adobesourcepro, adobesource, |
|
218
5114d49a8eab
A new interface for my-doc-fonts.sty and a new implementation of option processing.
Franz Glasner <fzglas.hg@dom66.de>
parents:
215
diff
changeset
|
42 spectral, |
|
221
38e2d8ab4965
Implement a style that uses the Libertinus fonts
Franz Glasner <fzglas.hg@dom66.de>
parents:
220
diff
changeset
|
43 charter, |
|
38e2d8ab4965
Implement a style that uses the Libertinus fonts
Franz Glasner <fzglas.hg@dom66.de>
parents:
220
diff
changeset
|
44 libertinus}{% |
|
219
a7a6a75cd4b8
Normalize the stored "fonts" option when aliases are given
Franz Glasner <fzglas.hg@dom66.de>
parents:
218
diff
changeset
|
45 % Not used for now : store the normalized option value (global and expanded) |
|
a7a6a75cd4b8
Normalize the stored "fonts" option when aliases are given
Franz Glasner <fzglas.hg@dom66.de>
parents:
218
diff
changeset
|
46 \xdef\@mdf@fonts{\val}% |
|
a7a6a75cd4b8
Normalize the stored "fonts" option when aliases are given
Franz Glasner <fzglas.hg@dom66.de>
parents:
218
diff
changeset
|
47 % Reset all option related font selection flags |
|
218
5114d49a8eab
A new interface for my-doc-fonts.sty and a new implementation of option processing.
Franz Glasner <fzglas.hg@dom66.de>
parents:
215
diff
changeset
|
48 \@mdf@WithDejaVuSansMonofalse |
|
225
eb3d0ae3143b
Augment CM fonts with missing symbols
Franz Glasner <fzglas.hg@dom66.de>
parents:
223
diff
changeset
|
49 \@mdf@WithCMfalse |
|
222
be0cca3df1eb
Allow the font style "Roboto Mono"
Franz Glasner <fzglas.hg@dom66.de>
parents:
221
diff
changeset
|
50 \@mdf@WithRobotoMonofalse |
|
218
5114d49a8eab
A new interface for my-doc-fonts.sty and a new implementation of option processing.
Franz Glasner <fzglas.hg@dom66.de>
parents:
215
diff
changeset
|
51 \@mdf@WithIBMPlexfalse |
|
5114d49a8eab
A new interface for my-doc-fonts.sty and a new implementation of option processing.
Franz Glasner <fzglas.hg@dom66.de>
parents:
215
diff
changeset
|
52 \@mdf@WithIBMPlexDejaVuSansMonofalse |
|
5114d49a8eab
A new interface for my-doc-fonts.sty and a new implementation of option processing.
Franz Glasner <fzglas.hg@dom66.de>
parents:
215
diff
changeset
|
53 \@mdf@WithAdobeSourceProfalse |
|
5114d49a8eab
A new interface for my-doc-fonts.sty and a new implementation of option processing.
Franz Glasner <fzglas.hg@dom66.de>
parents:
215
diff
changeset
|
54 \@mdf@WithSpectralfalse |
|
5114d49a8eab
A new interface for my-doc-fonts.sty and a new implementation of option processing.
Franz Glasner <fzglas.hg@dom66.de>
parents:
215
diff
changeset
|
55 \@mdf@WithCharterfalse |
|
221
38e2d8ab4965
Implement a style that uses the Libertinus fonts
Franz Glasner <fzglas.hg@dom66.de>
parents:
220
diff
changeset
|
56 \@mdf@WithLibertinusfalse |
|
219
a7a6a75cd4b8
Normalize the stored "fonts" option when aliases are given
Franz Glasner <fzglas.hg@dom66.de>
parents:
218
diff
changeset
|
57 % Now set the needed font selection flag |
|
218
5114d49a8eab
A new interface for my-doc-fonts.sty and a new implementation of option processing.
Franz Glasner <fzglas.hg@dom66.de>
parents:
215
diff
changeset
|
58 \ifcase\nr\relax |
|
226
90bbece6fae8
Implement an option for my-doc-fonts.sty to not change anything.
Franz Glasner <fzglas.hg@dom66.de>
parents:
225
diff
changeset
|
59 \relax |
|
90bbece6fae8
Implement an option for my-doc-fonts.sty to not change anything.
Franz Glasner <fzglas.hg@dom66.de>
parents:
225
diff
changeset
|
60 \or |
|
218
5114d49a8eab
A new interface for my-doc-fonts.sty and a new implementation of option processing.
Franz Glasner <fzglas.hg@dom66.de>
parents:
215
diff
changeset
|
61 \@mdf@WithDejaVuSansMonotrue |
|
5114d49a8eab
A new interface for my-doc-fonts.sty and a new implementation of option processing.
Franz Glasner <fzglas.hg@dom66.de>
parents:
215
diff
changeset
|
62 \or |
|
225
eb3d0ae3143b
Augment CM fonts with missing symbols
Franz Glasner <fzglas.hg@dom66.de>
parents:
223
diff
changeset
|
63 \@mdf@WithCMtrue |
|
eb3d0ae3143b
Augment CM fonts with missing symbols
Franz Glasner <fzglas.hg@dom66.de>
parents:
223
diff
changeset
|
64 \or |
|
222
be0cca3df1eb
Allow the font style "Roboto Mono"
Franz Glasner <fzglas.hg@dom66.de>
parents:
221
diff
changeset
|
65 \@mdf@WithRobotoMonotrue |
|
be0cca3df1eb
Allow the font style "Roboto Mono"
Franz Glasner <fzglas.hg@dom66.de>
parents:
221
diff
changeset
|
66 \or |
|
218
5114d49a8eab
A new interface for my-doc-fonts.sty and a new implementation of option processing.
Franz Glasner <fzglas.hg@dom66.de>
parents:
215
diff
changeset
|
67 \@mdf@WithIBMPlextrue |
|
5114d49a8eab
A new interface for my-doc-fonts.sty and a new implementation of option processing.
Franz Glasner <fzglas.hg@dom66.de>
parents:
215
diff
changeset
|
68 \or |
|
5114d49a8eab
A new interface for my-doc-fonts.sty and a new implementation of option processing.
Franz Glasner <fzglas.hg@dom66.de>
parents:
215
diff
changeset
|
69 \@mdf@WithIBMPlextrue |
|
219
a7a6a75cd4b8
Normalize the stored "fonts" option when aliases are given
Franz Glasner <fzglas.hg@dom66.de>
parents:
218
diff
changeset
|
70 % Normalize the stored string |
|
a7a6a75cd4b8
Normalize the stored "fonts" option when aliases are given
Franz Glasner <fzglas.hg@dom66.de>
parents:
218
diff
changeset
|
71 \gdef\@mdf@fonts{ibmplex} |
|
218
5114d49a8eab
A new interface for my-doc-fonts.sty and a new implementation of option processing.
Franz Glasner <fzglas.hg@dom66.de>
parents:
215
diff
changeset
|
72 \or |
|
5114d49a8eab
A new interface for my-doc-fonts.sty and a new implementation of option processing.
Franz Glasner <fzglas.hg@dom66.de>
parents:
215
diff
changeset
|
73 \@mdf@WithIBMPlexDejaVuSansMonotrue |
|
5114d49a8eab
A new interface for my-doc-fonts.sty and a new implementation of option processing.
Franz Glasner <fzglas.hg@dom66.de>
parents:
215
diff
changeset
|
74 \or |
|
5114d49a8eab
A new interface for my-doc-fonts.sty and a new implementation of option processing.
Franz Glasner <fzglas.hg@dom66.de>
parents:
215
diff
changeset
|
75 \@mdf@WithAdobeSourceProtrue |
|
5114d49a8eab
A new interface for my-doc-fonts.sty and a new implementation of option processing.
Franz Glasner <fzglas.hg@dom66.de>
parents:
215
diff
changeset
|
76 \or |
|
5114d49a8eab
A new interface for my-doc-fonts.sty and a new implementation of option processing.
Franz Glasner <fzglas.hg@dom66.de>
parents:
215
diff
changeset
|
77 \@mdf@WithAdobeSourceProtrue |
|
219
a7a6a75cd4b8
Normalize the stored "fonts" option when aliases are given
Franz Glasner <fzglas.hg@dom66.de>
parents:
218
diff
changeset
|
78 % Normalize the stored string |
|
a7a6a75cd4b8
Normalize the stored "fonts" option when aliases are given
Franz Glasner <fzglas.hg@dom66.de>
parents:
218
diff
changeset
|
79 \gdef\@mdf@fonts{adobesourcepro} |
|
218
5114d49a8eab
A new interface for my-doc-fonts.sty and a new implementation of option processing.
Franz Glasner <fzglas.hg@dom66.de>
parents:
215
diff
changeset
|
80 \or |
|
5114d49a8eab
A new interface for my-doc-fonts.sty and a new implementation of option processing.
Franz Glasner <fzglas.hg@dom66.de>
parents:
215
diff
changeset
|
81 \@mdf@WithSpectraltrue |
|
5114d49a8eab
A new interface for my-doc-fonts.sty and a new implementation of option processing.
Franz Glasner <fzglas.hg@dom66.de>
parents:
215
diff
changeset
|
82 \or |
|
5114d49a8eab
A new interface for my-doc-fonts.sty and a new implementation of option processing.
Franz Glasner <fzglas.hg@dom66.de>
parents:
215
diff
changeset
|
83 \@mdf@WithChartertrue |
|
221
38e2d8ab4965
Implement a style that uses the Libertinus fonts
Franz Glasner <fzglas.hg@dom66.de>
parents:
220
diff
changeset
|
84 \or |
|
38e2d8ab4965
Implement a style that uses the Libertinus fonts
Franz Glasner <fzglas.hg@dom66.de>
parents:
220
diff
changeset
|
85 \@mdf@WithLibertinustrue |
|
218
5114d49a8eab
A new interface for my-doc-fonts.sty and a new implementation of option processing.
Franz Glasner <fzglas.hg@dom66.de>
parents:
215
diff
changeset
|
86 \fi |
|
5114d49a8eab
A new interface for my-doc-fonts.sty and a new implementation of option processing.
Franz Glasner <fzglas.hg@dom66.de>
parents:
215
diff
changeset
|
87 } |
|
181
dcbc66f851eb
A style file for (Lua)LaTeX that loads the required fonts.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff
changeset
|
88 |
|
dcbc66f851eb
A style file for (Lua)LaTeX that loads the required fonts.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff
changeset
|
89 % |
|
dcbc66f851eb
A style file for (Lua)LaTeX that loads the required fonts.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff
changeset
|
90 % By default use the safe option dejavusansmono because is contains |
|
dcbc66f851eb
A style file for (Lua)LaTeX that loads the required fonts.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff
changeset
|
91 % all characters without any hacks. |
|
dcbc66f851eb
A style file for (Lua)LaTeX that loads the required fonts.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff
changeset
|
92 % |
|
218
5114d49a8eab
A new interface for my-doc-fonts.sty and a new implementation of option processing.
Franz Glasner <fzglas.hg@dom66.de>
parents:
215
diff
changeset
|
93 \ExecuteOptionsX{fonts=dejavusansmono} |
|
214
ad57aaf87799
FIX: Do not process class-level options in my-doc-fonts.sty
Franz Glasner <fzglas.hg@dom66.de>
parents:
205
diff
changeset
|
94 \ProcessOptionsX\relax |
|
181
dcbc66f851eb
A style file for (Lua)LaTeX that loads the required fonts.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff
changeset
|
95 |
|
dcbc66f851eb
A style file for (Lua)LaTeX that loads the required fonts.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff
changeset
|
96 \if@mdf@WithDejaVuSansMono |
|
218
5114d49a8eab
A new interface for my-doc-fonts.sty and a new implementation of option processing.
Franz Glasner <fzglas.hg@dom66.de>
parents:
215
diff
changeset
|
97 % default but with DejaVu Sans Mono as monospaced font |
|
5114d49a8eab
A new interface for my-doc-fonts.sty and a new implementation of option processing.
Franz Glasner <fzglas.hg@dom66.de>
parents:
215
diff
changeset
|
98 %\RequirePackage[DefaultFeatures={Scale=0.92},mono=false]{plex-otf} |
|
5114d49a8eab
A new interface for my-doc-fonts.sty and a new implementation of option processing.
Franz Glasner <fzglas.hg@dom66.de>
parents:
215
diff
changeset
|
99 %\RequirePackage[mono=true,serif=false,sans=false,math=false]{dejavu-otf} % all symbols are available |
|
5114d49a8eab
A new interface for my-doc-fonts.sty and a new implementation of option processing.
Franz Glasner <fzglas.hg@dom66.de>
parents:
215
diff
changeset
|
100 \@mdf@mono@dejavusansmonotrue |
|
181
dcbc66f851eb
A style file for (Lua)LaTeX that loads the required fonts.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff
changeset
|
101 \fi |
|
225
eb3d0ae3143b
Augment CM fonts with missing symbols
Franz Glasner <fzglas.hg@dom66.de>
parents:
223
diff
changeset
|
102 \if@mdf@WithCM |
|
eb3d0ae3143b
Augment CM fonts with missing symbols
Franz Glasner <fzglas.hg@dom66.de>
parents:
223
diff
changeset
|
103 \@mdf@mono@cmmonotrue |
|
eb3d0ae3143b
Augment CM fonts with missing symbols
Franz Glasner <fzglas.hg@dom66.de>
parents:
223
diff
changeset
|
104 \fi |
|
222
be0cca3df1eb
Allow the font style "Roboto Mono"
Franz Glasner <fzglas.hg@dom66.de>
parents:
221
diff
changeset
|
105 \if@mdf@WithRobotoMono |
|
be0cca3df1eb
Allow the font style "Roboto Mono"
Franz Glasner <fzglas.hg@dom66.de>
parents:
221
diff
changeset
|
106 \@mdf@mono@robotomonotrue |
|
be0cca3df1eb
Allow the font style "Roboto Mono"
Franz Glasner <fzglas.hg@dom66.de>
parents:
221
diff
changeset
|
107 \fi |
|
181
dcbc66f851eb
A style file for (Lua)LaTeX that loads the required fonts.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff
changeset
|
108 % |
|
dcbc66f851eb
A style file for (Lua)LaTeX that loads the required fonts.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff
changeset
|
109 % |
|
218
5114d49a8eab
A new interface for my-doc-fonts.sty and a new implementation of option processing.
Franz Glasner <fzglas.hg@dom66.de>
parents:
215
diff
changeset
|
110 \if@mdf@WithIBMPlex |
|
181
dcbc66f851eb
A style file for (Lua)LaTeX that loads the required fonts.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff
changeset
|
111 \RequirePackage{newunicodechar} |
|
dcbc66f851eb
A style file for (Lua)LaTeX that loads the required fonts.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff
changeset
|
112 \RequirePackage[DefaultFeatures={Scale=0.92}]{plex-otf} |
|
189
91e8fb8cf67b
FIX: Reset defaultfontfeatures because plex-otf.sty doesn't do it internally
Franz Glasner <fzglas.hg@dom66.de>
parents:
181
diff
changeset
|
113 % Dont keep all default font features from plex-otf |
|
91e8fb8cf67b
FIX: Reset defaultfontfeatures because plex-otf.sty doesn't do it internally
Franz Glasner <fzglas.hg@dom66.de>
parents:
181
diff
changeset
|
114 \defaultfontfeatures{} |
|
181
dcbc66f851eb
A style file for (Lua)LaTeX that loads the required fonts.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff
changeset
|
115 \newfontfamily\DejaVuSansMono{DejaVu Sans Mono}[% |
|
dcbc66f851eb
A style file for (Lua)LaTeX that loads the required fonts.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff
changeset
|
116 UprightFont = *, |
|
dcbc66f851eb
A style file for (Lua)LaTeX that loads the required fonts.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff
changeset
|
117 BoldFont = * Bold, |
|
dcbc66f851eb
A style file for (Lua)LaTeX that loads the required fonts.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff
changeset
|
118 ItalicFont = * Oblique, |
|
dcbc66f851eb
A style file for (Lua)LaTeX that loads the required fonts.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff
changeset
|
119 BoldItalicFont = * Bold Oblique, |
|
dcbc66f851eb
A style file for (Lua)LaTeX that loads the required fonts.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff
changeset
|
120 Scale=MatchLowercase, |
|
189
91e8fb8cf67b
FIX: Reset defaultfontfeatures because plex-otf.sty doesn't do it internally
Franz Glasner <fzglas.hg@dom66.de>
parents:
181
diff
changeset
|
121 Ligatures=TeX, |
|
181
dcbc66f851eb
A style file for (Lua)LaTeX that loads the required fonts.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff
changeset
|
122 ] |
|
dcbc66f851eb
A style file for (Lua)LaTeX that loads the required fonts.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff
changeset
|
123 \newunicodechar{▷}{{\DejaVuSansMono ▷}}% U+25B7 |
|
dcbc66f851eb
A style file for (Lua)LaTeX that loads the required fonts.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff
changeset
|
124 \newunicodechar{∶}{{\DejaVuSansMono ∶}}% U+2236 |
|
dcbc66f851eb
A style file for (Lua)LaTeX that loads the required fonts.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff
changeset
|
125 \newunicodechar{◆}{{\DejaVuSansMono ◆}}% U+25C6 |
|
dcbc66f851eb
A style file for (Lua)LaTeX that loads the required fonts.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff
changeset
|
126 \newunicodechar{▪}{{\DejaVuSansMono ▪}}% U+25AA |
|
dcbc66f851eb
A style file for (Lua)LaTeX that loads the required fonts.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff
changeset
|
127 \newunicodechar{⟵}{{\DejaVuSansMono ⟵}}% U+27F5 |
|
dcbc66f851eb
A style file for (Lua)LaTeX that loads the required fonts.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff
changeset
|
128 \newunicodechar{⟶}{{\DejaVuSansMono ⟶}}% U+27F6 |
|
dcbc66f851eb
A style file for (Lua)LaTeX that loads the required fonts.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff
changeset
|
129 \newunicodechar{⟷}{{\DejaVuSansMono ⟷}}% U+27F7 |
|
dcbc66f851eb
A style file for (Lua)LaTeX that loads the required fonts.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff
changeset
|
130 \newunicodechar{⇒}{{\DejaVuSansMono ⇒}}% U+21D2 |
|
dcbc66f851eb
A style file for (Lua)LaTeX that loads the required fonts.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff
changeset
|
131 \newunicodechar{⇔}{{\DejaVuSansMono ⇔}}% U+21D4 |
|
dcbc66f851eb
A style file for (Lua)LaTeX that loads the required fonts.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff
changeset
|
132 \newunicodechar{≟}{{\DejaVuSansMono ≟}}% U+225F |
|
dcbc66f851eb
A style file for (Lua)LaTeX that loads the required fonts.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff
changeset
|
133 \newunicodechar{∈}{{\DejaVuSansMono ∈}}% U+2208 |
|
dcbc66f851eb
A style file for (Lua)LaTeX that loads the required fonts.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff
changeset
|
134 \newunicodechar{∌}{{\DejaVuSansMono ∌}}% U+220C |
|
dcbc66f851eb
A style file for (Lua)LaTeX that loads the required fonts.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff
changeset
|
135 %\newunicodechar{␣}{{\DejaVuSansMono ␣}}% U+2423 Missing! |
|
dcbc66f851eb
A style file for (Lua)LaTeX that loads the required fonts.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff
changeset
|
136 %\newunicodechar{^^^^2423}{{\DejaVuSansMono^^^^2423}}% U+2423 |
|
dcbc66f851eb
A style file for (Lua)LaTeX that loads the required fonts.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff
changeset
|
137 %\newunicodechar{␣}{\textvisiblespace}% U+2423 |
|
dcbc66f851eb
A style file for (Lua)LaTeX that loads the required fonts.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff
changeset
|
138 %\catcode`^^^^2423\active\protected\def^^^^2423{\textvisiblespace} |
|
dcbc66f851eb
A style file for (Lua)LaTeX that loads the required fonts.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff
changeset
|
139 |
|
dcbc66f851eb
A style file for (Lua)LaTeX that loads the required fonts.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff
changeset
|
140 \PassOptionsToPackage{% |
|
dcbc66f851eb
A style file for (Lua)LaTeX that loads the required fonts.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff
changeset
|
141 verbatimvisiblespace={\textcolor{red}{{\DejaVuSansMono^^^^2423}}},% |
|
dcbc66f851eb
A style file for (Lua)LaTeX that loads the required fonts.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff
changeset
|
142 verbatimcontinued={\textcolor{red}{{\DejaVuSansMono^^^^21aa}}}}% |
|
dcbc66f851eb
A style file for (Lua)LaTeX that loads the required fonts.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff
changeset
|
143 {sphinx} |
|
dcbc66f851eb
A style file for (Lua)LaTeX that loads the required fonts.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff
changeset
|
144 \fi |
|
218
5114d49a8eab
A new interface for my-doc-fonts.sty and a new implementation of option processing.
Franz Glasner <fzglas.hg@dom66.de>
parents:
215
diff
changeset
|
145 \if@mdf@WithIBMPlexDejaVuSansMono |
|
5114d49a8eab
A new interface for my-doc-fonts.sty and a new implementation of option processing.
Franz Glasner <fzglas.hg@dom66.de>
parents:
215
diff
changeset
|
146 \RequirePackage[DefaultFeatures={Scale=0.92},mono=false]{plex-otf} |
|
5114d49a8eab
A new interface for my-doc-fonts.sty and a new implementation of option processing.
Franz Glasner <fzglas.hg@dom66.de>
parents:
215
diff
changeset
|
147 \@mdf@mono@dejavusansmonotrue |
|
5114d49a8eab
A new interface for my-doc-fonts.sty and a new implementation of option processing.
Franz Glasner <fzglas.hg@dom66.de>
parents:
215
diff
changeset
|
148 \fi |
|
5114d49a8eab
A new interface for my-doc-fonts.sty and a new implementation of option processing.
Franz Glasner <fzglas.hg@dom66.de>
parents:
215
diff
changeset
|
149 \if@mdf@WithAdobeSourcePro |
|
191
c10b2092c48f
Also make a PDF style variant using Adobe Source Serif/Sans/Code Pro
Franz Glasner <fzglas.hg@dom66.de>
parents:
189
diff
changeset
|
150 \defaultfontfeatures{Ligatures=TeX,Numbers={Lining,Tabular}} |
|
c10b2092c48f
Also make a PDF style variant using Adobe Source Serif/Sans/Code Pro
Franz Glasner <fzglas.hg@dom66.de>
parents:
189
diff
changeset
|
151 \setmainfont{Source Serif Pro}[ |
|
c10b2092c48f
Also make a PDF style variant using Adobe Source Serif/Sans/Code Pro
Franz Glasner <fzglas.hg@dom66.de>
parents:
189
diff
changeset
|
152 UprightFont = *, |
|
c10b2092c48f
Also make a PDF style variant using Adobe Source Serif/Sans/Code Pro
Franz Glasner <fzglas.hg@dom66.de>
parents:
189
diff
changeset
|
153 BoldFont = * Bold, |
|
c10b2092c48f
Also make a PDF style variant using Adobe Source Serif/Sans/Code Pro
Franz Glasner <fzglas.hg@dom66.de>
parents:
189
diff
changeset
|
154 ItalicFont = * Italic, |
|
c10b2092c48f
Also make a PDF style variant using Adobe Source Serif/Sans/Code Pro
Franz Glasner <fzglas.hg@dom66.de>
parents:
189
diff
changeset
|
155 BoldItalicFont = * Bold Italic, |
|
c10b2092c48f
Also make a PDF style variant using Adobe Source Serif/Sans/Code Pro
Franz Glasner <fzglas.hg@dom66.de>
parents:
189
diff
changeset
|
156 ] |
|
203
ede8b44f6faf
Refactor the PDF font style: select only the mono font by internal flag
Franz Glasner <fzglas.hg@dom66.de>
parents:
196
diff
changeset
|
157 \setsansfont{Source Sans Pro}[ |
|
ede8b44f6faf
Refactor the PDF font style: select only the mono font by internal flag
Franz Glasner <fzglas.hg@dom66.de>
parents:
196
diff
changeset
|
158 UprightFont = *, |
|
ede8b44f6faf
Refactor the PDF font style: select only the mono font by internal flag
Franz Glasner <fzglas.hg@dom66.de>
parents:
196
diff
changeset
|
159 BoldFont = * Bold, |
|
ede8b44f6faf
Refactor the PDF font style: select only the mono font by internal flag
Franz Glasner <fzglas.hg@dom66.de>
parents:
196
diff
changeset
|
160 ItalicFont = * Italic, |
|
ede8b44f6faf
Refactor the PDF font style: select only the mono font by internal flag
Franz Glasner <fzglas.hg@dom66.de>
parents:
196
diff
changeset
|
161 BoldItalicFont = * Bold Italic, |
|
ede8b44f6faf
Refactor the PDF font style: select only the mono font by internal flag
Franz Glasner <fzglas.hg@dom66.de>
parents:
196
diff
changeset
|
162 ] |
|
218
5114d49a8eab
A new interface for my-doc-fonts.sty and a new implementation of option processing.
Franz Glasner <fzglas.hg@dom66.de>
parents:
215
diff
changeset
|
163 \@mdf@mono@sscodetrue |
|
196
d57cf1bb96d6
A new PDF style using "Spectral" with Source Sans/Code
Franz Glasner <fzglas.hg@dom66.de>
parents:
191
diff
changeset
|
164 \fi |
|
d57cf1bb96d6
A new PDF style using "Spectral" with Source Sans/Code
Franz Glasner <fzglas.hg@dom66.de>
parents:
191
diff
changeset
|
165 \if@mdf@WithSpectral |
|
d57cf1bb96d6
A new PDF style using "Spectral" with Source Sans/Code
Franz Glasner <fzglas.hg@dom66.de>
parents:
191
diff
changeset
|
166 \defaultfontfeatures{Ligatures=TeX,Numbers={Lining,Tabular}} |
|
d57cf1bb96d6
A new PDF style using "Spectral" with Source Sans/Code
Franz Glasner <fzglas.hg@dom66.de>
parents:
191
diff
changeset
|
167 \setmainfont{Spectral}[ |
|
d57cf1bb96d6
A new PDF style using "Spectral" with Source Sans/Code
Franz Glasner <fzglas.hg@dom66.de>
parents:
191
diff
changeset
|
168 UprightFont = * Regular, |
|
d57cf1bb96d6
A new PDF style using "Spectral" with Source Sans/Code
Franz Glasner <fzglas.hg@dom66.de>
parents:
191
diff
changeset
|
169 BoldFont = * Bold, |
|
d57cf1bb96d6
A new PDF style using "Spectral" with Source Sans/Code
Franz Glasner <fzglas.hg@dom66.de>
parents:
191
diff
changeset
|
170 ItalicFont = * Italic, |
|
d57cf1bb96d6
A new PDF style using "Spectral" with Source Sans/Code
Franz Glasner <fzglas.hg@dom66.de>
parents:
191
diff
changeset
|
171 BoldItalicFont = * Bold Italic, |
|
d57cf1bb96d6
A new PDF style using "Spectral" with Source Sans/Code
Franz Glasner <fzglas.hg@dom66.de>
parents:
191
diff
changeset
|
172 ] |
|
191
c10b2092c48f
Also make a PDF style variant using Adobe Source Serif/Sans/Code Pro
Franz Glasner <fzglas.hg@dom66.de>
parents:
189
diff
changeset
|
173 \setsansfont{Source Sans Pro}[ |
|
c10b2092c48f
Also make a PDF style variant using Adobe Source Serif/Sans/Code Pro
Franz Glasner <fzglas.hg@dom66.de>
parents:
189
diff
changeset
|
174 UprightFont = *, |
|
c10b2092c48f
Also make a PDF style variant using Adobe Source Serif/Sans/Code Pro
Franz Glasner <fzglas.hg@dom66.de>
parents:
189
diff
changeset
|
175 BoldFont = * Bold, |
|
c10b2092c48f
Also make a PDF style variant using Adobe Source Serif/Sans/Code Pro
Franz Glasner <fzglas.hg@dom66.de>
parents:
189
diff
changeset
|
176 ItalicFont = * Italic, |
|
c10b2092c48f
Also make a PDF style variant using Adobe Source Serif/Sans/Code Pro
Franz Glasner <fzglas.hg@dom66.de>
parents:
189
diff
changeset
|
177 BoldItalicFont = * Bold Italic, |
|
c10b2092c48f
Also make a PDF style variant using Adobe Source Serif/Sans/Code Pro
Franz Glasner <fzglas.hg@dom66.de>
parents:
189
diff
changeset
|
178 ] |
|
218
5114d49a8eab
A new interface for my-doc-fonts.sty and a new implementation of option processing.
Franz Glasner <fzglas.hg@dom66.de>
parents:
215
diff
changeset
|
179 \@mdf@mono@sscodetrue |
|
203
ede8b44f6faf
Refactor the PDF font style: select only the mono font by internal flag
Franz Glasner <fzglas.hg@dom66.de>
parents:
196
diff
changeset
|
180 \fi |
|
204
afecfdcfd288
A new style "charter" for PDFs with "XCharter", "Lato" and "Inconsolata".
Franz Glasner <fzglas.hg@dom66.de>
parents:
203
diff
changeset
|
181 \if@mdf@WithCharter |
|
afecfdcfd288
A new style "charter" for PDFs with "XCharter", "Lato" and "Inconsolata".
Franz Glasner <fzglas.hg@dom66.de>
parents:
203
diff
changeset
|
182 \defaultfontfeatures{Ligatures=TeX,Numbers={Lining,Tabular}} |
|
223
b902b1360991
Use xcharter-otf.sty instead of \setmainfont{XCharter} because it automatically loads the XCharter Math font
Franz Glasner <fzglas.hg@dom66.de>
parents:
222
diff
changeset
|
183 \RequirePackage{xcharter-otf}% loads also XCharter Math |
|
204
afecfdcfd288
A new style "charter" for PDFs with "XCharter", "Lato" and "Inconsolata".
Franz Glasner <fzglas.hg@dom66.de>
parents:
203
diff
changeset
|
184 \setsansfont{Lato}[ |
|
afecfdcfd288
A new style "charter" for PDFs with "XCharter", "Lato" and "Inconsolata".
Franz Glasner <fzglas.hg@dom66.de>
parents:
203
diff
changeset
|
185 UprightFont = * Regular, |
|
afecfdcfd288
A new style "charter" for PDFs with "XCharter", "Lato" and "Inconsolata".
Franz Glasner <fzglas.hg@dom66.de>
parents:
203
diff
changeset
|
186 BoldFont = * Bold, |
|
afecfdcfd288
A new style "charter" for PDFs with "XCharter", "Lato" and "Inconsolata".
Franz Glasner <fzglas.hg@dom66.de>
parents:
203
diff
changeset
|
187 ItalicFont = * Italic, |
|
afecfdcfd288
A new style "charter" for PDFs with "XCharter", "Lato" and "Inconsolata".
Franz Glasner <fzglas.hg@dom66.de>
parents:
203
diff
changeset
|
188 BoldItalicFont = * Bold Italic, |
|
afecfdcfd288
A new style "charter" for PDFs with "XCharter", "Lato" and "Inconsolata".
Franz Glasner <fzglas.hg@dom66.de>
parents:
203
diff
changeset
|
189 Scale = MatchLowercase, |
|
afecfdcfd288
A new style "charter" for PDFs with "XCharter", "Lato" and "Inconsolata".
Franz Glasner <fzglas.hg@dom66.de>
parents:
203
diff
changeset
|
190 ] |
|
218
5114d49a8eab
A new interface for my-doc-fonts.sty and a new implementation of option processing.
Franz Glasner <fzglas.hg@dom66.de>
parents:
215
diff
changeset
|
191 \@mdf@mono@inconsolatatrue |
|
204
afecfdcfd288
A new style "charter" for PDFs with "XCharter", "Lato" and "Inconsolata".
Franz Glasner <fzglas.hg@dom66.de>
parents:
203
diff
changeset
|
192 \fi |
|
221
38e2d8ab4965
Implement a style that uses the Libertinus fonts
Franz Glasner <fzglas.hg@dom66.de>
parents:
220
diff
changeset
|
193 \if@mdf@WithLibertinus |
|
38e2d8ab4965
Implement a style that uses the Libertinus fonts
Franz Glasner <fzglas.hg@dom66.de>
parents:
220
diff
changeset
|
194 \RequirePackage{newunicodechar} |
|
38e2d8ab4965
Implement a style that uses the Libertinus fonts
Franz Glasner <fzglas.hg@dom66.de>
parents:
220
diff
changeset
|
195 \RequirePackage[lining,tabular]{libertinus-otf} |
|
38e2d8ab4965
Implement a style that uses the Libertinus fonts
Franz Glasner <fzglas.hg@dom66.de>
parents:
220
diff
changeset
|
196 \defaultfontfeatures{} |
|
38e2d8ab4965
Implement a style that uses the Libertinus fonts
Franz Glasner <fzglas.hg@dom66.de>
parents:
220
diff
changeset
|
197 \newfontfamily\DejaVuSansMono{DejaVu Sans Mono}[% |
|
38e2d8ab4965
Implement a style that uses the Libertinus fonts
Franz Glasner <fzglas.hg@dom66.de>
parents:
220
diff
changeset
|
198 UprightFont = *, |
|
38e2d8ab4965
Implement a style that uses the Libertinus fonts
Franz Glasner <fzglas.hg@dom66.de>
parents:
220
diff
changeset
|
199 BoldFont = * Bold, |
|
38e2d8ab4965
Implement a style that uses the Libertinus fonts
Franz Glasner <fzglas.hg@dom66.de>
parents:
220
diff
changeset
|
200 ItalicFont = * Oblique, |
|
38e2d8ab4965
Implement a style that uses the Libertinus fonts
Franz Glasner <fzglas.hg@dom66.de>
parents:
220
diff
changeset
|
201 BoldItalicFont = * Bold Oblique, |
|
38e2d8ab4965
Implement a style that uses the Libertinus fonts
Franz Glasner <fzglas.hg@dom66.de>
parents:
220
diff
changeset
|
202 Scale=MatchLowercase, |
|
38e2d8ab4965
Implement a style that uses the Libertinus fonts
Franz Glasner <fzglas.hg@dom66.de>
parents:
220
diff
changeset
|
203 Ligatures=TeX, |
|
38e2d8ab4965
Implement a style that uses the Libertinus fonts
Franz Glasner <fzglas.hg@dom66.de>
parents:
220
diff
changeset
|
204 ] |
|
38e2d8ab4965
Implement a style that uses the Libertinus fonts
Franz Glasner <fzglas.hg@dom66.de>
parents:
220
diff
changeset
|
205 \newunicodechar{▷}{{\DejaVuSansMono ▷}}% U+25B7 |
|
38e2d8ab4965
Implement a style that uses the Libertinus fonts
Franz Glasner <fzglas.hg@dom66.de>
parents:
220
diff
changeset
|
206 \newunicodechar{∶}{{\DejaVuSansMono ∶}}% U+2236 |
|
38e2d8ab4965
Implement a style that uses the Libertinus fonts
Franz Glasner <fzglas.hg@dom66.de>
parents:
220
diff
changeset
|
207 \newunicodechar{◆}{{\DejaVuSansMono ◆}}% U+25C6 |
|
38e2d8ab4965
Implement a style that uses the Libertinus fonts
Franz Glasner <fzglas.hg@dom66.de>
parents:
220
diff
changeset
|
208 \newunicodechar{▪}{{\DejaVuSansMono ▪}}% U+25AA |
|
38e2d8ab4965
Implement a style that uses the Libertinus fonts
Franz Glasner <fzglas.hg@dom66.de>
parents:
220
diff
changeset
|
209 \newunicodechar{⟵}{{\DejaVuSansMono ⟵}}% U+27F5 |
|
38e2d8ab4965
Implement a style that uses the Libertinus fonts
Franz Glasner <fzglas.hg@dom66.de>
parents:
220
diff
changeset
|
210 \newunicodechar{⟶}{{\DejaVuSansMono ⟶}}% U+27F6 |
|
38e2d8ab4965
Implement a style that uses the Libertinus fonts
Franz Glasner <fzglas.hg@dom66.de>
parents:
220
diff
changeset
|
211 \newunicodechar{⟷}{{\DejaVuSansMono ⟷}}% U+27F7 |
|
38e2d8ab4965
Implement a style that uses the Libertinus fonts
Franz Glasner <fzglas.hg@dom66.de>
parents:
220
diff
changeset
|
212 \newunicodechar{⇒}{{\DejaVuSansMono ⇒}}% U+21D2 |
|
38e2d8ab4965
Implement a style that uses the Libertinus fonts
Franz Glasner <fzglas.hg@dom66.de>
parents:
220
diff
changeset
|
213 \newunicodechar{⇔}{{\DejaVuSansMono ⇔}}% U+21D4 |
|
38e2d8ab4965
Implement a style that uses the Libertinus fonts
Franz Glasner <fzglas.hg@dom66.de>
parents:
220
diff
changeset
|
214 \newunicodechar{≟}{{\DejaVuSansMono ≟}}% U+225F |
|
38e2d8ab4965
Implement a style that uses the Libertinus fonts
Franz Glasner <fzglas.hg@dom66.de>
parents:
220
diff
changeset
|
215 \newunicodechar{∈}{{\DejaVuSansMono ∈}}% U+2208 |
|
38e2d8ab4965
Implement a style that uses the Libertinus fonts
Franz Glasner <fzglas.hg@dom66.de>
parents:
220
diff
changeset
|
216 \newunicodechar{∌}{{\DejaVuSansMono ∌}}% U+220C |
|
38e2d8ab4965
Implement a style that uses the Libertinus fonts
Franz Glasner <fzglas.hg@dom66.de>
parents:
220
diff
changeset
|
217 \newunicodechar{≠}{{\DejaVuSansMono ≠}}% U+2260 |
|
38e2d8ab4965
Implement a style that uses the Libertinus fonts
Franz Glasner <fzglas.hg@dom66.de>
parents:
220
diff
changeset
|
218 \newunicodechar{≤}{{\DejaVuSansMono ≤}}% U+2264 |
|
38e2d8ab4965
Implement a style that uses the Libertinus fonts
Franz Glasner <fzglas.hg@dom66.de>
parents:
220
diff
changeset
|
219 \newunicodechar{≥}{{\DejaVuSansMono ≥}}% U+2265 |
|
38e2d8ab4965
Implement a style that uses the Libertinus fonts
Franz Glasner <fzglas.hg@dom66.de>
parents:
220
diff
changeset
|
220 %\newunicodechar{␣}{{\DejaVuSansMono ␣}}% U+2423 Missing! |
|
38e2d8ab4965
Implement a style that uses the Libertinus fonts
Franz Glasner <fzglas.hg@dom66.de>
parents:
220
diff
changeset
|
221 %\newunicodechar{^^^^2423}{{\DejaVuSansMono^^^^2423}}% U+2423 |
|
38e2d8ab4965
Implement a style that uses the Libertinus fonts
Franz Glasner <fzglas.hg@dom66.de>
parents:
220
diff
changeset
|
222 %\newunicodechar{␣}{\textvisiblespace}% U+2423 |
|
38e2d8ab4965
Implement a style that uses the Libertinus fonts
Franz Glasner <fzglas.hg@dom66.de>
parents:
220
diff
changeset
|
223 %\catcode`^^^^2423\active\protected\def^^^^2423{\textvisiblespace} |
|
38e2d8ab4965
Implement a style that uses the Libertinus fonts
Franz Glasner <fzglas.hg@dom66.de>
parents:
220
diff
changeset
|
224 |
|
38e2d8ab4965
Implement a style that uses the Libertinus fonts
Franz Glasner <fzglas.hg@dom66.de>
parents:
220
diff
changeset
|
225 \PassOptionsToPackage{% |
|
38e2d8ab4965
Implement a style that uses the Libertinus fonts
Franz Glasner <fzglas.hg@dom66.de>
parents:
220
diff
changeset
|
226 verbatimvisiblespace={\textcolor{red}{{\DejaVuSansMono^^^^2423}}},% |
|
38e2d8ab4965
Implement a style that uses the Libertinus fonts
Franz Glasner <fzglas.hg@dom66.de>
parents:
220
diff
changeset
|
227 verbatimcontinued={\textcolor{red}{{\DejaVuSansMono^^^^21aa}}}}% |
|
38e2d8ab4965
Implement a style that uses the Libertinus fonts
Franz Glasner <fzglas.hg@dom66.de>
parents:
220
diff
changeset
|
228 {sphinx} |
|
38e2d8ab4965
Implement a style that uses the Libertinus fonts
Franz Glasner <fzglas.hg@dom66.de>
parents:
220
diff
changeset
|
229 \fi |
|
203
ede8b44f6faf
Refactor the PDF font style: select only the mono font by internal flag
Franz Glasner <fzglas.hg@dom66.de>
parents:
196
diff
changeset
|
230 |
|
ede8b44f6faf
Refactor the PDF font style: select only the mono font by internal flag
Franz Glasner <fzglas.hg@dom66.de>
parents:
196
diff
changeset
|
231 \defaultfontfeatures{} |
|
ede8b44f6faf
Refactor the PDF font style: select only the mono font by internal flag
Franz Glasner <fzglas.hg@dom66.de>
parents:
196
diff
changeset
|
232 |
|
218
5114d49a8eab
A new interface for my-doc-fonts.sty and a new implementation of option processing.
Franz Glasner <fzglas.hg@dom66.de>
parents:
215
diff
changeset
|
233 \if@mdf@mono@dejavusansmono |
|
5114d49a8eab
A new interface for my-doc-fonts.sty and a new implementation of option processing.
Franz Glasner <fzglas.hg@dom66.de>
parents:
215
diff
changeset
|
234 % automatically applied with Scale=MatchLowercase,... |
|
5114d49a8eab
A new interface for my-doc-fonts.sty and a new implementation of option processing.
Franz Glasner <fzglas.hg@dom66.de>
parents:
215
diff
changeset
|
235 \RequirePackage[mono=true,serif=false,sans=false,math=false]{dejavu-otf} % all symbols are available |
|
225
eb3d0ae3143b
Augment CM fonts with missing symbols
Franz Glasner <fzglas.hg@dom66.de>
parents:
223
diff
changeset
|
236 \fi |
|
eb3d0ae3143b
Augment CM fonts with missing symbols
Franz Glasner <fzglas.hg@dom66.de>
parents:
223
diff
changeset
|
237 |
|
eb3d0ae3143b
Augment CM fonts with missing symbols
Franz Glasner <fzglas.hg@dom66.de>
parents:
223
diff
changeset
|
238 \if@mdf@mono@cmmono |
|
eb3d0ae3143b
Augment CM fonts with missing symbols
Franz Glasner <fzglas.hg@dom66.de>
parents:
223
diff
changeset
|
239 \RequirePackage{newunicodechar} |
|
eb3d0ae3143b
Augment CM fonts with missing symbols
Franz Glasner <fzglas.hg@dom66.de>
parents:
223
diff
changeset
|
240 \defaultfontfeatures{Ligatures=TeX,Numbers={Lining,Tabular},Scale=MatchLowercase} |
|
eb3d0ae3143b
Augment CM fonts with missing symbols
Franz Glasner <fzglas.hg@dom66.de>
parents:
223
diff
changeset
|
241 \newfontfamily\DejaVuSansMono{DejaVu Sans Mono}[% |
|
eb3d0ae3143b
Augment CM fonts with missing symbols
Franz Glasner <fzglas.hg@dom66.de>
parents:
223
diff
changeset
|
242 UprightFont = *, |
|
eb3d0ae3143b
Augment CM fonts with missing symbols
Franz Glasner <fzglas.hg@dom66.de>
parents:
223
diff
changeset
|
243 BoldFont = * Bold, |
|
eb3d0ae3143b
Augment CM fonts with missing symbols
Franz Glasner <fzglas.hg@dom66.de>
parents:
223
diff
changeset
|
244 ItalicFont = * Oblique, |
|
eb3d0ae3143b
Augment CM fonts with missing symbols
Franz Glasner <fzglas.hg@dom66.de>
parents:
223
diff
changeset
|
245 BoldItalicFont = * Bold Oblique, |
|
eb3d0ae3143b
Augment CM fonts with missing symbols
Franz Glasner <fzglas.hg@dom66.de>
parents:
223
diff
changeset
|
246 ] |
|
eb3d0ae3143b
Augment CM fonts with missing symbols
Franz Glasner <fzglas.hg@dom66.de>
parents:
223
diff
changeset
|
247 \newunicodechar{▷}{{\DejaVuSansMono ▷}}% U+25B7 |
|
eb3d0ae3143b
Augment CM fonts with missing symbols
Franz Glasner <fzglas.hg@dom66.de>
parents:
223
diff
changeset
|
248 \newunicodechar{∶}{{\DejaVuSansMono ∶}}% U+2236 |
|
eb3d0ae3143b
Augment CM fonts with missing symbols
Franz Glasner <fzglas.hg@dom66.de>
parents:
223
diff
changeset
|
249 \newunicodechar{◆}{{\DejaVuSansMono ◆}}% U+25C6 |
|
eb3d0ae3143b
Augment CM fonts with missing symbols
Franz Glasner <fzglas.hg@dom66.de>
parents:
223
diff
changeset
|
250 \newunicodechar{⟵}{{\DejaVuSansMono ⟵}}% U+27F5 |
|
eb3d0ae3143b
Augment CM fonts with missing symbols
Franz Glasner <fzglas.hg@dom66.de>
parents:
223
diff
changeset
|
251 \newunicodechar{⟶}{{\DejaVuSansMono ⟶}}% U+27F6 |
|
eb3d0ae3143b
Augment CM fonts with missing symbols
Franz Glasner <fzglas.hg@dom66.de>
parents:
223
diff
changeset
|
252 \newunicodechar{⟷}{{\DejaVuSansMono ⟷}}% U+27F7 |
|
eb3d0ae3143b
Augment CM fonts with missing symbols
Franz Glasner <fzglas.hg@dom66.de>
parents:
223
diff
changeset
|
253 \newunicodechar{⇒}{{\DejaVuSansMono ⇒}}% U+21D2 |
|
eb3d0ae3143b
Augment CM fonts with missing symbols
Franz Glasner <fzglas.hg@dom66.de>
parents:
223
diff
changeset
|
254 \newunicodechar{⇔}{{\DejaVuSansMono ⇔}}% U+21D4 |
|
eb3d0ae3143b
Augment CM fonts with missing symbols
Franz Glasner <fzglas.hg@dom66.de>
parents:
223
diff
changeset
|
255 \newunicodechar{▪}{{\DejaVuSansMono ▪}}% U+25AA |
|
eb3d0ae3143b
Augment CM fonts with missing symbols
Franz Glasner <fzglas.hg@dom66.de>
parents:
223
diff
changeset
|
256 \newunicodechar{≟}{{\DejaVuSansMono ≟}}% U+225F |
|
eb3d0ae3143b
Augment CM fonts with missing symbols
Franz Glasner <fzglas.hg@dom66.de>
parents:
223
diff
changeset
|
257 \newunicodechar{∈}{{\DejaVuSansMono ∈}}% U+2208 |
|
eb3d0ae3143b
Augment CM fonts with missing symbols
Franz Glasner <fzglas.hg@dom66.de>
parents:
223
diff
changeset
|
258 \newunicodechar{∌}{{\DejaVuSansMono ∌}}% U+220C |
|
eb3d0ae3143b
Augment CM fonts with missing symbols
Franz Glasner <fzglas.hg@dom66.de>
parents:
223
diff
changeset
|
259 \newunicodechar{≠}{{\DejaVuSansMono ≠}}% U+2260 |
|
eb3d0ae3143b
Augment CM fonts with missing symbols
Franz Glasner <fzglas.hg@dom66.de>
parents:
223
diff
changeset
|
260 \newunicodechar{≤}{{\DejaVuSansMono ≤}}% U+2264 |
|
eb3d0ae3143b
Augment CM fonts with missing symbols
Franz Glasner <fzglas.hg@dom66.de>
parents:
223
diff
changeset
|
261 \newunicodechar{≥}{{\DejaVuSansMono ≥}}% U+2265 |
|
eb3d0ae3143b
Augment CM fonts with missing symbols
Franz Glasner <fzglas.hg@dom66.de>
parents:
223
diff
changeset
|
262 \PassOptionsToPackage{% |
|
eb3d0ae3143b
Augment CM fonts with missing symbols
Franz Glasner <fzglas.hg@dom66.de>
parents:
223
diff
changeset
|
263 verbatimvisiblespace={\textcolor{red}{{\DejaVuSansMono^^^^2423}}},% |
|
eb3d0ae3143b
Augment CM fonts with missing symbols
Franz Glasner <fzglas.hg@dom66.de>
parents:
223
diff
changeset
|
264 verbatimcontinued={\textcolor{red}{{\DejaVuSansMono^^^^21aa}}}}% |
|
eb3d0ae3143b
Augment CM fonts with missing symbols
Franz Glasner <fzglas.hg@dom66.de>
parents:
223
diff
changeset
|
265 {sphinx} |
|
218
5114d49a8eab
A new interface for my-doc-fonts.sty and a new implementation of option processing.
Franz Glasner <fzglas.hg@dom66.de>
parents:
215
diff
changeset
|
266 \fi |
|
5114d49a8eab
A new interface for my-doc-fonts.sty and a new implementation of option processing.
Franz Glasner <fzglas.hg@dom66.de>
parents:
215
diff
changeset
|
267 |
|
5114d49a8eab
A new interface for my-doc-fonts.sty and a new implementation of option processing.
Franz Glasner <fzglas.hg@dom66.de>
parents:
215
diff
changeset
|
268 \if@mdf@mono@sscode |
|
203
ede8b44f6faf
Refactor the PDF font style: select only the mono font by internal flag
Franz Glasner <fzglas.hg@dom66.de>
parents:
196
diff
changeset
|
269 \RequirePackage{newunicodechar} |
|
ede8b44f6faf
Refactor the PDF font style: select only the mono font by internal flag
Franz Glasner <fzglas.hg@dom66.de>
parents:
196
diff
changeset
|
270 \defaultfontfeatures{Ligatures=TeX,Numbers={Lining,Tabular},Scale=MatchLowercase} |
|
191
c10b2092c48f
Also make a PDF style variant using Adobe Source Serif/Sans/Code Pro
Franz Glasner <fzglas.hg@dom66.de>
parents:
189
diff
changeset
|
271 \setmonofont{Source Code Pro}[ |
|
c10b2092c48f
Also make a PDF style variant using Adobe Source Serif/Sans/Code Pro
Franz Glasner <fzglas.hg@dom66.de>
parents:
189
diff
changeset
|
272 UprightFont = *, |
|
c10b2092c48f
Also make a PDF style variant using Adobe Source Serif/Sans/Code Pro
Franz Glasner <fzglas.hg@dom66.de>
parents:
189
diff
changeset
|
273 BoldFont = * Bold, |
|
c10b2092c48f
Also make a PDF style variant using Adobe Source Serif/Sans/Code Pro
Franz Glasner <fzglas.hg@dom66.de>
parents:
189
diff
changeset
|
274 ItalicFont = * Italic, |
|
c10b2092c48f
Also make a PDF style variant using Adobe Source Serif/Sans/Code Pro
Franz Glasner <fzglas.hg@dom66.de>
parents:
189
diff
changeset
|
275 BoldItalicFont = * Bold Italic, |
|
c10b2092c48f
Also make a PDF style variant using Adobe Source Serif/Sans/Code Pro
Franz Glasner <fzglas.hg@dom66.de>
parents:
189
diff
changeset
|
276 ] |
|
c10b2092c48f
Also make a PDF style variant using Adobe Source Serif/Sans/Code Pro
Franz Glasner <fzglas.hg@dom66.de>
parents:
189
diff
changeset
|
277 \newfontfamily\DejaVuSansMono{DejaVu Sans Mono}[% |
|
c10b2092c48f
Also make a PDF style variant using Adobe Source Serif/Sans/Code Pro
Franz Glasner <fzglas.hg@dom66.de>
parents:
189
diff
changeset
|
278 UprightFont = *, |
|
c10b2092c48f
Also make a PDF style variant using Adobe Source Serif/Sans/Code Pro
Franz Glasner <fzglas.hg@dom66.de>
parents:
189
diff
changeset
|
279 BoldFont = * Bold, |
|
c10b2092c48f
Also make a PDF style variant using Adobe Source Serif/Sans/Code Pro
Franz Glasner <fzglas.hg@dom66.de>
parents:
189
diff
changeset
|
280 ItalicFont = * Oblique, |
|
c10b2092c48f
Also make a PDF style variant using Adobe Source Serif/Sans/Code Pro
Franz Glasner <fzglas.hg@dom66.de>
parents:
189
diff
changeset
|
281 BoldItalicFont = * Bold Oblique, |
|
c10b2092c48f
Also make a PDF style variant using Adobe Source Serif/Sans/Code Pro
Franz Glasner <fzglas.hg@dom66.de>
parents:
189
diff
changeset
|
282 ] |
|
c10b2092c48f
Also make a PDF style variant using Adobe Source Serif/Sans/Code Pro
Franz Glasner <fzglas.hg@dom66.de>
parents:
189
diff
changeset
|
283 \newunicodechar{∶}{{\DejaVuSansMono ∶}}% U+2236 |
|
c10b2092c48f
Also make a PDF style variant using Adobe Source Serif/Sans/Code Pro
Franz Glasner <fzglas.hg@dom66.de>
parents:
189
diff
changeset
|
284 \newunicodechar{⟵}{{\DejaVuSansMono ⟵}}% U+27F5 |
|
c10b2092c48f
Also make a PDF style variant using Adobe Source Serif/Sans/Code Pro
Franz Glasner <fzglas.hg@dom66.de>
parents:
189
diff
changeset
|
285 \newunicodechar{⟶}{{\DejaVuSansMono ⟶}}% U+27F6 |
|
c10b2092c48f
Also make a PDF style variant using Adobe Source Serif/Sans/Code Pro
Franz Glasner <fzglas.hg@dom66.de>
parents:
189
diff
changeset
|
286 \newunicodechar{⟷}{{\DejaVuSansMono ⟷}}% U+27F7 |
|
c10b2092c48f
Also make a PDF style variant using Adobe Source Serif/Sans/Code Pro
Franz Glasner <fzglas.hg@dom66.de>
parents:
189
diff
changeset
|
287 \newunicodechar{⇒}{{\DejaVuSansMono ⇒}}% U+21D2 |
|
c10b2092c48f
Also make a PDF style variant using Adobe Source Serif/Sans/Code Pro
Franz Glasner <fzglas.hg@dom66.de>
parents:
189
diff
changeset
|
288 \newunicodechar{⇔}{{\DejaVuSansMono ⇔}}% U+21D4 |
|
c10b2092c48f
Also make a PDF style variant using Adobe Source Serif/Sans/Code Pro
Franz Glasner <fzglas.hg@dom66.de>
parents:
189
diff
changeset
|
289 \newunicodechar{≟}{{\DejaVuSansMono ≟}}% U+225F |
|
c10b2092c48f
Also make a PDF style variant using Adobe Source Serif/Sans/Code Pro
Franz Glasner <fzglas.hg@dom66.de>
parents:
189
diff
changeset
|
290 \newunicodechar{∈}{{\DejaVuSansMono ∈}}% U+2208 |
|
196
d57cf1bb96d6
A new PDF style using "Spectral" with Source Sans/Code
Franz Glasner <fzglas.hg@dom66.de>
parents:
191
diff
changeset
|
291 \newunicodechar{∌}{{\DejaVuSansMono ∌}}% U+220C |
|
191
c10b2092c48f
Also make a PDF style variant using Adobe Source Serif/Sans/Code Pro
Franz Glasner <fzglas.hg@dom66.de>
parents:
189
diff
changeset
|
292 \PassOptionsToPackage{% |
|
c10b2092c48f
Also make a PDF style variant using Adobe Source Serif/Sans/Code Pro
Franz Glasner <fzglas.hg@dom66.de>
parents:
189
diff
changeset
|
293 verbatimvisiblespace={\textcolor{red}{{\DejaVuSansMono^^^^2423}}},% |
|
c10b2092c48f
Also make a PDF style variant using Adobe Source Serif/Sans/Code Pro
Franz Glasner <fzglas.hg@dom66.de>
parents:
189
diff
changeset
|
294 verbatimcontinued={\textcolor{red}{{\DejaVuSansMono^^^^21aa}}}}% |
|
c10b2092c48f
Also make a PDF style variant using Adobe Source Serif/Sans/Code Pro
Franz Glasner <fzglas.hg@dom66.de>
parents:
189
diff
changeset
|
295 {sphinx} |
|
c10b2092c48f
Also make a PDF style variant using Adobe Source Serif/Sans/Code Pro
Franz Glasner <fzglas.hg@dom66.de>
parents:
189
diff
changeset
|
296 \fi |
|
196
d57cf1bb96d6
A new PDF style using "Spectral" with Source Sans/Code
Franz Glasner <fzglas.hg@dom66.de>
parents:
191
diff
changeset
|
297 |
|
218
5114d49a8eab
A new interface for my-doc-fonts.sty and a new implementation of option processing.
Franz Glasner <fzglas.hg@dom66.de>
parents:
215
diff
changeset
|
298 \if@mdf@mono@inconsolata |
|
204
afecfdcfd288
A new style "charter" for PDFs with "XCharter", "Lato" and "Inconsolata".
Franz Glasner <fzglas.hg@dom66.de>
parents:
203
diff
changeset
|
299 \RequirePackage{newunicodechar} |
|
afecfdcfd288
A new style "charter" for PDFs with "XCharter", "Lato" and "Inconsolata".
Franz Glasner <fzglas.hg@dom66.de>
parents:
203
diff
changeset
|
300 \defaultfontfeatures{Ligatures=TeX,Numbers={Lining,Tabular},Scale=MatchLowercase} |
|
afecfdcfd288
A new style "charter" for PDFs with "XCharter", "Lato" and "Inconsolata".
Franz Glasner <fzglas.hg@dom66.de>
parents:
203
diff
changeset
|
301 \setmonofont{Inconsolata LGC Nerd Font Mono}[% |
|
afecfdcfd288
A new style "charter" for PDFs with "XCharter", "Lato" and "Inconsolata".
Franz Glasner <fzglas.hg@dom66.de>
parents:
203
diff
changeset
|
302 UprightFont = *, |
|
afecfdcfd288
A new style "charter" for PDFs with "XCharter", "Lato" and "Inconsolata".
Franz Glasner <fzglas.hg@dom66.de>
parents:
203
diff
changeset
|
303 BoldFont = * Bold, |
|
afecfdcfd288
A new style "charter" for PDFs with "XCharter", "Lato" and "Inconsolata".
Franz Glasner <fzglas.hg@dom66.de>
parents:
203
diff
changeset
|
304 ItalicFont = * Italic, |
|
afecfdcfd288
A new style "charter" for PDFs with "XCharter", "Lato" and "Inconsolata".
Franz Glasner <fzglas.hg@dom66.de>
parents:
203
diff
changeset
|
305 BoldItalicFont = * Bold Italic, |
|
afecfdcfd288
A new style "charter" for PDFs with "XCharter", "Lato" and "Inconsolata".
Franz Glasner <fzglas.hg@dom66.de>
parents:
203
diff
changeset
|
306 ] |
|
afecfdcfd288
A new style "charter" for PDFs with "XCharter", "Lato" and "Inconsolata".
Franz Glasner <fzglas.hg@dom66.de>
parents:
203
diff
changeset
|
307 \newfontfamily\DejaVuSansMono{DejaVu Sans Mono}[% |
|
afecfdcfd288
A new style "charter" for PDFs with "XCharter", "Lato" and "Inconsolata".
Franz Glasner <fzglas.hg@dom66.de>
parents:
203
diff
changeset
|
308 UprightFont = *, |
|
afecfdcfd288
A new style "charter" for PDFs with "XCharter", "Lato" and "Inconsolata".
Franz Glasner <fzglas.hg@dom66.de>
parents:
203
diff
changeset
|
309 BoldFont = * Bold, |
|
afecfdcfd288
A new style "charter" for PDFs with "XCharter", "Lato" and "Inconsolata".
Franz Glasner <fzglas.hg@dom66.de>
parents:
203
diff
changeset
|
310 ItalicFont = * Oblique, |
|
afecfdcfd288
A new style "charter" for PDFs with "XCharter", "Lato" and "Inconsolata".
Franz Glasner <fzglas.hg@dom66.de>
parents:
203
diff
changeset
|
311 BoldItalicFont = * Bold Oblique, |
|
afecfdcfd288
A new style "charter" for PDFs with "XCharter", "Lato" and "Inconsolata".
Franz Glasner <fzglas.hg@dom66.de>
parents:
203
diff
changeset
|
312 ] |
|
afecfdcfd288
A new style "charter" for PDFs with "XCharter", "Lato" and "Inconsolata".
Franz Glasner <fzglas.hg@dom66.de>
parents:
203
diff
changeset
|
313 \newunicodechar{∶}{{\DejaVuSansMono ∶}}% U+2236 |
|
afecfdcfd288
A new style "charter" for PDFs with "XCharter", "Lato" and "Inconsolata".
Franz Glasner <fzglas.hg@dom66.de>
parents:
203
diff
changeset
|
314 \newunicodechar{⟵}{{\DejaVuSansMono ⟵}}% U+27F5 |
|
afecfdcfd288
A new style "charter" for PDFs with "XCharter", "Lato" and "Inconsolata".
Franz Glasner <fzglas.hg@dom66.de>
parents:
203
diff
changeset
|
315 \newunicodechar{⟶}{{\DejaVuSansMono ⟶}}% U+27F6 |
|
afecfdcfd288
A new style "charter" for PDFs with "XCharter", "Lato" and "Inconsolata".
Franz Glasner <fzglas.hg@dom66.de>
parents:
203
diff
changeset
|
316 \newunicodechar{⟷}{{\DejaVuSansMono ⟷}}% U+27F7 |
|
afecfdcfd288
A new style "charter" for PDFs with "XCharter", "Lato" and "Inconsolata".
Franz Glasner <fzglas.hg@dom66.de>
parents:
203
diff
changeset
|
317 \newunicodechar{≟}{{\DejaVuSansMono ≟}}% U+225F |
|
afecfdcfd288
A new style "charter" for PDFs with "XCharter", "Lato" and "Inconsolata".
Franz Glasner <fzglas.hg@dom66.de>
parents:
203
diff
changeset
|
318 \newunicodechar{∈}{{\DejaVuSansMono ∈}}% U+2208 |
|
afecfdcfd288
A new style "charter" for PDFs with "XCharter", "Lato" and "Inconsolata".
Franz Glasner <fzglas.hg@dom66.de>
parents:
203
diff
changeset
|
319 \newunicodechar{∌}{{\DejaVuSansMono ∌}}% U+220C |
|
afecfdcfd288
A new style "charter" for PDFs with "XCharter", "Lato" and "Inconsolata".
Franz Glasner <fzglas.hg@dom66.de>
parents:
203
diff
changeset
|
320 \fi |
|
afecfdcfd288
A new style "charter" for PDFs with "XCharter", "Lato" and "Inconsolata".
Franz Glasner <fzglas.hg@dom66.de>
parents:
203
diff
changeset
|
321 |
|
222
be0cca3df1eb
Allow the font style "Roboto Mono"
Franz Glasner <fzglas.hg@dom66.de>
parents:
221
diff
changeset
|
322 \if@mdf@mono@robotomono |
|
be0cca3df1eb
Allow the font style "Roboto Mono"
Franz Glasner <fzglas.hg@dom66.de>
parents:
221
diff
changeset
|
323 \RequirePackage{newunicodechar} |
|
be0cca3df1eb
Allow the font style "Roboto Mono"
Franz Glasner <fzglas.hg@dom66.de>
parents:
221
diff
changeset
|
324 \defaultfontfeatures{Ligatures=TeX,Numbers={Lining,Tabular},Scale=MatchLowercase} |
|
be0cca3df1eb
Allow the font style "Roboto Mono"
Franz Glasner <fzglas.hg@dom66.de>
parents:
221
diff
changeset
|
325 \setmonofont{Roboto Mono}[% |
|
be0cca3df1eb
Allow the font style "Roboto Mono"
Franz Glasner <fzglas.hg@dom66.de>
parents:
221
diff
changeset
|
326 UprightFont = *, |
|
be0cca3df1eb
Allow the font style "Roboto Mono"
Franz Glasner <fzglas.hg@dom66.de>
parents:
221
diff
changeset
|
327 BoldFont = * Bold, |
|
be0cca3df1eb
Allow the font style "Roboto Mono"
Franz Glasner <fzglas.hg@dom66.de>
parents:
221
diff
changeset
|
328 ItalicFont = * Italic, |
|
be0cca3df1eb
Allow the font style "Roboto Mono"
Franz Glasner <fzglas.hg@dom66.de>
parents:
221
diff
changeset
|
329 BoldItalicFont = * Bold Italic, |
|
be0cca3df1eb
Allow the font style "Roboto Mono"
Franz Glasner <fzglas.hg@dom66.de>
parents:
221
diff
changeset
|
330 ] |
|
be0cca3df1eb
Allow the font style "Roboto Mono"
Franz Glasner <fzglas.hg@dom66.de>
parents:
221
diff
changeset
|
331 \newfontfamily\DejaVuSansMono{DejaVu Sans Mono}[% |
|
be0cca3df1eb
Allow the font style "Roboto Mono"
Franz Glasner <fzglas.hg@dom66.de>
parents:
221
diff
changeset
|
332 UprightFont = *, |
|
be0cca3df1eb
Allow the font style "Roboto Mono"
Franz Glasner <fzglas.hg@dom66.de>
parents:
221
diff
changeset
|
333 BoldFont = * Bold, |
|
be0cca3df1eb
Allow the font style "Roboto Mono"
Franz Glasner <fzglas.hg@dom66.de>
parents:
221
diff
changeset
|
334 ItalicFont = * Oblique, |
|
be0cca3df1eb
Allow the font style "Roboto Mono"
Franz Glasner <fzglas.hg@dom66.de>
parents:
221
diff
changeset
|
335 BoldItalicFont = * Bold Oblique, |
|
be0cca3df1eb
Allow the font style "Roboto Mono"
Franz Glasner <fzglas.hg@dom66.de>
parents:
221
diff
changeset
|
336 ] |
|
be0cca3df1eb
Allow the font style "Roboto Mono"
Franz Glasner <fzglas.hg@dom66.de>
parents:
221
diff
changeset
|
337 \newunicodechar{▷}{{\DejaVuSansMono ▷}}% U+25B7 |
|
be0cca3df1eb
Allow the font style "Roboto Mono"
Franz Glasner <fzglas.hg@dom66.de>
parents:
221
diff
changeset
|
338 \newunicodechar{∶}{{\DejaVuSansMono ∶}}% U+2236 |
|
be0cca3df1eb
Allow the font style "Roboto Mono"
Franz Glasner <fzglas.hg@dom66.de>
parents:
221
diff
changeset
|
339 \newunicodechar{◆}{{\DejaVuSansMono ◆}}% U+25C6 |
|
be0cca3df1eb
Allow the font style "Roboto Mono"
Franz Glasner <fzglas.hg@dom66.de>
parents:
221
diff
changeset
|
340 \newunicodechar{⟵}{{\DejaVuSansMono ⟵}}% U+27F5 |
|
be0cca3df1eb
Allow the font style "Roboto Mono"
Franz Glasner <fzglas.hg@dom66.de>
parents:
221
diff
changeset
|
341 \newunicodechar{⟶}{{\DejaVuSansMono ⟶}}% U+27F6 |
|
be0cca3df1eb
Allow the font style "Roboto Mono"
Franz Glasner <fzglas.hg@dom66.de>
parents:
221
diff
changeset
|
342 \newunicodechar{⟷}{{\DejaVuSansMono ⟷}}% U+27F7 |
|
be0cca3df1eb
Allow the font style "Roboto Mono"
Franz Glasner <fzglas.hg@dom66.de>
parents:
221
diff
changeset
|
343 \newunicodechar{⇒}{{\DejaVuSansMono ⇒}}% U+21D2 |
|
be0cca3df1eb
Allow the font style "Roboto Mono"
Franz Glasner <fzglas.hg@dom66.de>
parents:
221
diff
changeset
|
344 \newunicodechar{⇔}{{\DejaVuSansMono ⇔}}% U+21D4 |
|
be0cca3df1eb
Allow the font style "Roboto Mono"
Franz Glasner <fzglas.hg@dom66.de>
parents:
221
diff
changeset
|
345 \newunicodechar{▪}{{\DejaVuSansMono ▪}}% U+25AA |
|
be0cca3df1eb
Allow the font style "Roboto Mono"
Franz Glasner <fzglas.hg@dom66.de>
parents:
221
diff
changeset
|
346 \newunicodechar{≟}{{\DejaVuSansMono ≟}}% U+225F |
|
be0cca3df1eb
Allow the font style "Roboto Mono"
Franz Glasner <fzglas.hg@dom66.de>
parents:
221
diff
changeset
|
347 \newunicodechar{∈}{{\DejaVuSansMono ∈}}% U+2208 |
|
be0cca3df1eb
Allow the font style "Roboto Mono"
Franz Glasner <fzglas.hg@dom66.de>
parents:
221
diff
changeset
|
348 \newunicodechar{∌}{{\DejaVuSansMono ∌}}% U+220C |
|
be0cca3df1eb
Allow the font style "Roboto Mono"
Franz Glasner <fzglas.hg@dom66.de>
parents:
221
diff
changeset
|
349 |
|
be0cca3df1eb
Allow the font style "Roboto Mono"
Franz Glasner <fzglas.hg@dom66.de>
parents:
221
diff
changeset
|
350 \PassOptionsToPackage{% |
|
be0cca3df1eb
Allow the font style "Roboto Mono"
Franz Glasner <fzglas.hg@dom66.de>
parents:
221
diff
changeset
|
351 verbatimvisiblespace={\textcolor{red}{{\DejaVuSansMono^^^^2423}}},% |
|
be0cca3df1eb
Allow the font style "Roboto Mono"
Franz Glasner <fzglas.hg@dom66.de>
parents:
221
diff
changeset
|
352 verbatimcontinued={\textcolor{red}{{\DejaVuSansMono^^^^21aa}}}}% |
|
be0cca3df1eb
Allow the font style "Roboto Mono"
Franz Glasner <fzglas.hg@dom66.de>
parents:
221
diff
changeset
|
353 {sphinx} |
|
be0cca3df1eb
Allow the font style "Roboto Mono"
Franz Glasner <fzglas.hg@dom66.de>
parents:
221
diff
changeset
|
354 \fi |
|
be0cca3df1eb
Allow the font style "Roboto Mono"
Franz Glasner <fzglas.hg@dom66.de>
parents:
221
diff
changeset
|
355 |
|
196
d57cf1bb96d6
A new PDF style using "Spectral" with Source Sans/Code
Franz Glasner <fzglas.hg@dom66.de>
parents:
191
diff
changeset
|
356 \defaultfontfeatures{} |
|
d57cf1bb96d6
A new PDF style using "Spectral" with Source Sans/Code
Franz Glasner <fzglas.hg@dom66.de>
parents:
191
diff
changeset
|
357 |
|
218
5114d49a8eab
A new interface for my-doc-fonts.sty and a new implementation of option processing.
Franz Glasner <fzglas.hg@dom66.de>
parents:
215
diff
changeset
|
358 \def\testmdf{ |
|
5114d49a8eab
A new interface for my-doc-fonts.sty and a new implementation of option processing.
Franz Glasner <fzglas.hg@dom66.de>
parents:
215
diff
changeset
|
359 Normalized: \@mdf@fonts\newline |
|
5114d49a8eab
A new interface for my-doc-fonts.sty and a new implementation of option processing.
Franz Glasner <fzglas.hg@dom66.de>
parents:
215
diff
changeset
|
360 } |
|
5114d49a8eab
A new interface for my-doc-fonts.sty and a new implementation of option processing.
Franz Glasner <fzglas.hg@dom66.de>
parents:
215
diff
changeset
|
361 |
|
181
dcbc66f851eb
A style file for (Lua)LaTeX that loads the required fonts.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff
changeset
|
362 \endinput |
