Mercurial > hgrepos > Python > libs > pygments-lexer-pseudocode2
annotate docs/_latex/my-doc-fonts.sty @ 230:c54b5ffd41d7
FIX: Comment for plex-dejavusansmono
| author | Franz Glasner <fzglas.hg@dom66.de> |
|---|---|
| date | Fri, 15 May 2026 20:35:43 +0200 |
| parents | 29826707b7da |
| children | 8f3a000c3be5 |
| 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]{% |
| 229 | 35 % do not change anything: just deactivate the default "dejavusansmono" |
| 36 default, | |
| 227 | 37 % no augmentation needed: all characters available |
| 38 dejavusansmono, % use DejaVu Sans Mono as monospaced font | |
| 228 | 39 % the fonts below are augmented for missing characters |
| 227 | 40 cm, % assume CM fonts and just fix missing characters |
| 41 robotomono, % use Roboto Mono as mono font | |
| 42 ibmplex, plex, % use the IBM Plex family (incl. Math) | |
|
230
c54b5ffd41d7
FIX: Comment for plex-dejavusansmono
Franz Glasner <fzglas.hg@dom66.de>
parents:
229
diff
changeset
|
43 plex-dejavusansmono, % use IBM Plex Serif/Sans and DejaVu Sans Mono |
| 227 | 44 adobesourcepro, adobesource, % Use Adobe Source Serif/Sans/Mono |
| 45 spectral, % use Spectral, Source Sans Pro and Source Code Pro | |
| 46 charter, % use XCharter (with XCharter Math), Lato and Inconsolata | |
| 47 libertinus % use Libertinus family (incl. Math) | |
| 48 }{% | |
|
219
a7a6a75cd4b8
Normalize the stored "fonts" option when aliases are given
Franz Glasner <fzglas.hg@dom66.de>
parents:
218
diff
changeset
|
49 % 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
|
50 \xdef\@mdf@fonts{\val}% |
|
a7a6a75cd4b8
Normalize the stored "fonts" option when aliases are given
Franz Glasner <fzglas.hg@dom66.de>
parents:
218
diff
changeset
|
51 % 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
|
52 \@mdf@WithDejaVuSansMonofalse |
|
225
eb3d0ae3143b
Augment CM fonts with missing symbols
Franz Glasner <fzglas.hg@dom66.de>
parents:
223
diff
changeset
|
53 \@mdf@WithCMfalse |
|
222
be0cca3df1eb
Allow the font style "Roboto Mono"
Franz Glasner <fzglas.hg@dom66.de>
parents:
221
diff
changeset
|
54 \@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
|
55 \@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
|
56 \@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
|
57 \@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
|
58 \@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
|
59 \@mdf@WithCharterfalse |
|
221
38e2d8ab4965
Implement a style that uses the Libertinus fonts
Franz Glasner <fzglas.hg@dom66.de>
parents:
220
diff
changeset
|
60 \@mdf@WithLibertinusfalse |
|
219
a7a6a75cd4b8
Normalize the stored "fonts" option when aliases are given
Franz Glasner <fzglas.hg@dom66.de>
parents:
218
diff
changeset
|
61 % 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
|
62 \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
|
63 \relax |
|
90bbece6fae8
Implement an option for my-doc-fonts.sty to not change anything.
Franz Glasner <fzglas.hg@dom66.de>
parents:
225
diff
changeset
|
64 \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
|
65 \@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
|
66 \or |
|
225
eb3d0ae3143b
Augment CM fonts with missing symbols
Franz Glasner <fzglas.hg@dom66.de>
parents:
223
diff
changeset
|
67 \@mdf@WithCMtrue |
|
eb3d0ae3143b
Augment CM fonts with missing symbols
Franz Glasner <fzglas.hg@dom66.de>
parents:
223
diff
changeset
|
68 \or |
|
222
be0cca3df1eb
Allow the font style "Roboto Mono"
Franz Glasner <fzglas.hg@dom66.de>
parents:
221
diff
changeset
|
69 \@mdf@WithRobotoMonotrue |
|
be0cca3df1eb
Allow the font style "Roboto Mono"
Franz Glasner <fzglas.hg@dom66.de>
parents:
221
diff
changeset
|
70 \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
|
71 \@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
|
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@WithIBMPlextrue |
|
219
a7a6a75cd4b8
Normalize the stored "fonts" option when aliases are given
Franz Glasner <fzglas.hg@dom66.de>
parents:
218
diff
changeset
|
74 % Normalize the stored string |
|
a7a6a75cd4b8
Normalize the stored "fonts" option when aliases are given
Franz Glasner <fzglas.hg@dom66.de>
parents:
218
diff
changeset
|
75 \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
|
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@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
|
78 \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
|
79 \@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
|
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@WithAdobeSourceProtrue |
|
219
a7a6a75cd4b8
Normalize the stored "fonts" option when aliases are given
Franz Glasner <fzglas.hg@dom66.de>
parents:
218
diff
changeset
|
82 % Normalize the stored string |
|
a7a6a75cd4b8
Normalize the stored "fonts" option when aliases are given
Franz Glasner <fzglas.hg@dom66.de>
parents:
218
diff
changeset
|
83 \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
|
84 \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
|
85 \@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
|
86 \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
|
87 \@mdf@WithChartertrue |
|
221
38e2d8ab4965
Implement a style that uses the Libertinus fonts
Franz Glasner <fzglas.hg@dom66.de>
parents:
220
diff
changeset
|
88 \or |
|
38e2d8ab4965
Implement a style that uses the Libertinus fonts
Franz Glasner <fzglas.hg@dom66.de>
parents:
220
diff
changeset
|
89 \@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
|
90 \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
|
91 } |
|
181
dcbc66f851eb
A style file for (Lua)LaTeX that loads the required fonts.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff
changeset
|
92 |
|
dcbc66f851eb
A style file for (Lua)LaTeX that loads the required fonts.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff
changeset
|
93 % |
|
dcbc66f851eb
A style file for (Lua)LaTeX that loads the required fonts.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff
changeset
|
94 % 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
|
95 % 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
|
96 % |
|
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 \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
|
98 \ProcessOptionsX\relax |
|
181
dcbc66f851eb
A style file for (Lua)LaTeX that loads the required fonts.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff
changeset
|
99 |
|
dcbc66f851eb
A style file for (Lua)LaTeX that loads the required fonts.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff
changeset
|
100 \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
|
101 % 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
|
102 %\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
|
103 %\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
|
104 \@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
|
105 \fi |
|
225
eb3d0ae3143b
Augment CM fonts with missing symbols
Franz Glasner <fzglas.hg@dom66.de>
parents:
223
diff
changeset
|
106 \if@mdf@WithCM |
|
eb3d0ae3143b
Augment CM fonts with missing symbols
Franz Glasner <fzglas.hg@dom66.de>
parents:
223
diff
changeset
|
107 \@mdf@mono@cmmonotrue |
|
eb3d0ae3143b
Augment CM fonts with missing symbols
Franz Glasner <fzglas.hg@dom66.de>
parents:
223
diff
changeset
|
108 \fi |
|
222
be0cca3df1eb
Allow the font style "Roboto Mono"
Franz Glasner <fzglas.hg@dom66.de>
parents:
221
diff
changeset
|
109 \if@mdf@WithRobotoMono |
|
be0cca3df1eb
Allow the font style "Roboto Mono"
Franz Glasner <fzglas.hg@dom66.de>
parents:
221
diff
changeset
|
110 \@mdf@mono@robotomonotrue |
|
be0cca3df1eb
Allow the font style "Roboto Mono"
Franz Glasner <fzglas.hg@dom66.de>
parents:
221
diff
changeset
|
111 \fi |
|
181
dcbc66f851eb
A style file for (Lua)LaTeX that loads the required fonts.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff
changeset
|
112 % |
|
dcbc66f851eb
A style file for (Lua)LaTeX that loads the required fonts.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff
changeset
|
113 % |
|
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
|
114 \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
|
115 \RequirePackage{newunicodechar} |
|
dcbc66f851eb
A style file for (Lua)LaTeX that loads the required fonts.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff
changeset
|
116 \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
|
117 % 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
|
118 \defaultfontfeatures{} |
|
181
dcbc66f851eb
A style file for (Lua)LaTeX that loads the required fonts.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff
changeset
|
119 \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
|
120 UprightFont = *, |
|
dcbc66f851eb
A style file for (Lua)LaTeX that loads the required fonts.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff
changeset
|
121 BoldFont = * Bold, |
|
dcbc66f851eb
A style file for (Lua)LaTeX that loads the required fonts.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff
changeset
|
122 ItalicFont = * Oblique, |
|
dcbc66f851eb
A style file for (Lua)LaTeX that loads the required fonts.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff
changeset
|
123 BoldItalicFont = * Bold Oblique, |
|
dcbc66f851eb
A style file for (Lua)LaTeX that loads the required fonts.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff
changeset
|
124 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
|
125 Ligatures=TeX, |
|
181
dcbc66f851eb
A style file for (Lua)LaTeX that loads the required fonts.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff
changeset
|
126 ] |
|
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+25B7 |
|
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+2236 |
|
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+25C6 |
|
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+25AA |
|
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+27F5 |
|
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+27F6 |
|
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+27F7 |
|
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+21D2 |
|
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+21D4 |
|
dcbc66f851eb
A style file for (Lua)LaTeX that loads the required fonts.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff
changeset
|
136 \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
|
137 \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
|
138 \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
|
139 %\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
|
140 %\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
|
141 %\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
|
142 %\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
|
143 |
|
dcbc66f851eb
A style file for (Lua)LaTeX that loads the required fonts.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff
changeset
|
144 \PassOptionsToPackage{% |
|
dcbc66f851eb
A style file for (Lua)LaTeX that loads the required fonts.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff
changeset
|
145 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
|
146 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
|
147 {sphinx} |
|
dcbc66f851eb
A style file for (Lua)LaTeX that loads the required fonts.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff
changeset
|
148 \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
|
149 \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
|
150 \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
|
151 \@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
|
152 \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
|
153 \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
|
154 \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
|
155 \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
|
156 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
|
157 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
|
158 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
|
159 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
|
160 ] |
|
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
|
161 \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
|
162 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
|
163 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
|
164 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
|
165 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
|
166 ] |
|
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
|
167 \@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
|
168 \fi |
|
d57cf1bb96d6
A new PDF style using "Spectral" with Source Sans/Code
Franz Glasner <fzglas.hg@dom66.de>
parents:
191
diff
changeset
|
169 \if@mdf@WithSpectral |
|
d57cf1bb96d6
A new PDF style using "Spectral" with Source Sans/Code
Franz Glasner <fzglas.hg@dom66.de>
parents:
191
diff
changeset
|
170 \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
|
171 \setmainfont{Spectral}[ |
|
d57cf1bb96d6
A new PDF style using "Spectral" with Source Sans/Code
Franz Glasner <fzglas.hg@dom66.de>
parents:
191
diff
changeset
|
172 UprightFont = * Regular, |
|
d57cf1bb96d6
A new PDF style using "Spectral" with Source Sans/Code
Franz Glasner <fzglas.hg@dom66.de>
parents:
191
diff
changeset
|
173 BoldFont = * Bold, |
|
d57cf1bb96d6
A new PDF style using "Spectral" with Source Sans/Code
Franz Glasner <fzglas.hg@dom66.de>
parents:
191
diff
changeset
|
174 ItalicFont = * Italic, |
|
d57cf1bb96d6
A new PDF style using "Spectral" with Source Sans/Code
Franz Glasner <fzglas.hg@dom66.de>
parents:
191
diff
changeset
|
175 BoldItalicFont = * Bold Italic, |
|
d57cf1bb96d6
A new PDF style using "Spectral" with Source Sans/Code
Franz Glasner <fzglas.hg@dom66.de>
parents:
191
diff
changeset
|
176 ] |
|
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
|
177 \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
|
178 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
|
179 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
|
180 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
|
181 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
|
182 ] |
|
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
|
183 \@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
|
184 \fi |
|
204
afecfdcfd288
A new style "charter" for PDFs with "XCharter", "Lato" and "Inconsolata".
Franz Glasner <fzglas.hg@dom66.de>
parents:
203
diff
changeset
|
185 \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
|
186 \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
|
187 \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
|
188 \setsansfont{Lato}[ |
|
afecfdcfd288
A new style "charter" for PDFs with "XCharter", "Lato" and "Inconsolata".
Franz Glasner <fzglas.hg@dom66.de>
parents:
203
diff
changeset
|
189 UprightFont = * Regular, |
|
afecfdcfd288
A new style "charter" for PDFs with "XCharter", "Lato" and "Inconsolata".
Franz Glasner <fzglas.hg@dom66.de>
parents:
203
diff
changeset
|
190 BoldFont = * Bold, |
|
afecfdcfd288
A new style "charter" for PDFs with "XCharter", "Lato" and "Inconsolata".
Franz Glasner <fzglas.hg@dom66.de>
parents:
203
diff
changeset
|
191 ItalicFont = * Italic, |
|
afecfdcfd288
A new style "charter" for PDFs with "XCharter", "Lato" and "Inconsolata".
Franz Glasner <fzglas.hg@dom66.de>
parents:
203
diff
changeset
|
192 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
|
193 Scale = MatchLowercase, |
|
afecfdcfd288
A new style "charter" for PDFs with "XCharter", "Lato" and "Inconsolata".
Franz Glasner <fzglas.hg@dom66.de>
parents:
203
diff
changeset
|
194 ] |
|
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
|
195 \@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
|
196 \fi |
|
221
38e2d8ab4965
Implement a style that uses the Libertinus fonts
Franz Glasner <fzglas.hg@dom66.de>
parents:
220
diff
changeset
|
197 \if@mdf@WithLibertinus |
|
38e2d8ab4965
Implement a style that uses the Libertinus fonts
Franz Glasner <fzglas.hg@dom66.de>
parents:
220
diff
changeset
|
198 \RequirePackage{newunicodechar} |
|
38e2d8ab4965
Implement a style that uses the Libertinus fonts
Franz Glasner <fzglas.hg@dom66.de>
parents:
220
diff
changeset
|
199 \RequirePackage[lining,tabular]{libertinus-otf} |
|
38e2d8ab4965
Implement a style that uses the Libertinus fonts
Franz Glasner <fzglas.hg@dom66.de>
parents:
220
diff
changeset
|
200 \defaultfontfeatures{} |
|
38e2d8ab4965
Implement a style that uses the Libertinus fonts
Franz Glasner <fzglas.hg@dom66.de>
parents:
220
diff
changeset
|
201 \newfontfamily\DejaVuSansMono{DejaVu Sans Mono}[% |
|
38e2d8ab4965
Implement a style that uses the Libertinus fonts
Franz Glasner <fzglas.hg@dom66.de>
parents:
220
diff
changeset
|
202 UprightFont = *, |
|
38e2d8ab4965
Implement a style that uses the Libertinus fonts
Franz Glasner <fzglas.hg@dom66.de>
parents:
220
diff
changeset
|
203 BoldFont = * Bold, |
|
38e2d8ab4965
Implement a style that uses the Libertinus fonts
Franz Glasner <fzglas.hg@dom66.de>
parents:
220
diff
changeset
|
204 ItalicFont = * Oblique, |
|
38e2d8ab4965
Implement a style that uses the Libertinus fonts
Franz Glasner <fzglas.hg@dom66.de>
parents:
220
diff
changeset
|
205 BoldItalicFont = * Bold Oblique, |
|
38e2d8ab4965
Implement a style that uses the Libertinus fonts
Franz Glasner <fzglas.hg@dom66.de>
parents:
220
diff
changeset
|
206 Scale=MatchLowercase, |
|
38e2d8ab4965
Implement a style that uses the Libertinus fonts
Franz Glasner <fzglas.hg@dom66.de>
parents:
220
diff
changeset
|
207 Ligatures=TeX, |
|
38e2d8ab4965
Implement a style that uses the Libertinus fonts
Franz Glasner <fzglas.hg@dom66.de>
parents:
220
diff
changeset
|
208 ] |
|
38e2d8ab4965
Implement a style that uses the Libertinus fonts
Franz Glasner <fzglas.hg@dom66.de>
parents:
220
diff
changeset
|
209 \newunicodechar{▷}{{\DejaVuSansMono ▷}}% U+25B7 |
|
38e2d8ab4965
Implement a style that uses the Libertinus fonts
Franz Glasner <fzglas.hg@dom66.de>
parents:
220
diff
changeset
|
210 \newunicodechar{∶}{{\DejaVuSansMono ∶}}% U+2236 |
|
38e2d8ab4965
Implement a style that uses the Libertinus fonts
Franz Glasner <fzglas.hg@dom66.de>
parents:
220
diff
changeset
|
211 \newunicodechar{◆}{{\DejaVuSansMono ◆}}% U+25C6 |
|
38e2d8ab4965
Implement a style that uses the Libertinus fonts
Franz Glasner <fzglas.hg@dom66.de>
parents:
220
diff
changeset
|
212 \newunicodechar{▪}{{\DejaVuSansMono ▪}}% U+25AA |
|
38e2d8ab4965
Implement a style that uses the Libertinus fonts
Franz Glasner <fzglas.hg@dom66.de>
parents:
220
diff
changeset
|
213 \newunicodechar{⟵}{{\DejaVuSansMono ⟵}}% U+27F5 |
|
38e2d8ab4965
Implement a style that uses the Libertinus fonts
Franz Glasner <fzglas.hg@dom66.de>
parents:
220
diff
changeset
|
214 \newunicodechar{⟶}{{\DejaVuSansMono ⟶}}% U+27F6 |
|
38e2d8ab4965
Implement a style that uses the Libertinus fonts
Franz Glasner <fzglas.hg@dom66.de>
parents:
220
diff
changeset
|
215 \newunicodechar{⟷}{{\DejaVuSansMono ⟷}}% U+27F7 |
|
38e2d8ab4965
Implement a style that uses the Libertinus fonts
Franz Glasner <fzglas.hg@dom66.de>
parents:
220
diff
changeset
|
216 \newunicodechar{⇒}{{\DejaVuSansMono ⇒}}% U+21D2 |
|
38e2d8ab4965
Implement a style that uses the Libertinus fonts
Franz Glasner <fzglas.hg@dom66.de>
parents:
220
diff
changeset
|
217 \newunicodechar{⇔}{{\DejaVuSansMono ⇔}}% U+21D4 |
|
38e2d8ab4965
Implement a style that uses the Libertinus fonts
Franz Glasner <fzglas.hg@dom66.de>
parents:
220
diff
changeset
|
218 \newunicodechar{≟}{{\DejaVuSansMono ≟}}% U+225F |
|
38e2d8ab4965
Implement a style that uses the Libertinus fonts
Franz Glasner <fzglas.hg@dom66.de>
parents:
220
diff
changeset
|
219 \newunicodechar{∈}{{\DejaVuSansMono ∈}}% U+2208 |
|
38e2d8ab4965
Implement a style that uses the Libertinus fonts
Franz Glasner <fzglas.hg@dom66.de>
parents:
220
diff
changeset
|
220 \newunicodechar{∌}{{\DejaVuSansMono ∌}}% U+220C |
|
38e2d8ab4965
Implement a style that uses the Libertinus fonts
Franz Glasner <fzglas.hg@dom66.de>
parents:
220
diff
changeset
|
221 \newunicodechar{≠}{{\DejaVuSansMono ≠}}% U+2260 |
|
38e2d8ab4965
Implement a style that uses the Libertinus fonts
Franz Glasner <fzglas.hg@dom66.de>
parents:
220
diff
changeset
|
222 \newunicodechar{≤}{{\DejaVuSansMono ≤}}% U+2264 |
|
38e2d8ab4965
Implement a style that uses the Libertinus fonts
Franz Glasner <fzglas.hg@dom66.de>
parents:
220
diff
changeset
|
223 \newunicodechar{≥}{{\DejaVuSansMono ≥}}% U+2265 |
|
38e2d8ab4965
Implement a style that uses the Libertinus fonts
Franz Glasner <fzglas.hg@dom66.de>
parents:
220
diff
changeset
|
224 %\newunicodechar{␣}{{\DejaVuSansMono ␣}}% U+2423 Missing! |
|
38e2d8ab4965
Implement a style that uses the Libertinus fonts
Franz Glasner <fzglas.hg@dom66.de>
parents:
220
diff
changeset
|
225 %\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
|
226 %\newunicodechar{␣}{\textvisiblespace}% U+2423 |
|
38e2d8ab4965
Implement a style that uses the Libertinus fonts
Franz Glasner <fzglas.hg@dom66.de>
parents:
220
diff
changeset
|
227 %\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
|
228 |
|
38e2d8ab4965
Implement a style that uses the Libertinus fonts
Franz Glasner <fzglas.hg@dom66.de>
parents:
220
diff
changeset
|
229 \PassOptionsToPackage{% |
|
38e2d8ab4965
Implement a style that uses the Libertinus fonts
Franz Glasner <fzglas.hg@dom66.de>
parents:
220
diff
changeset
|
230 verbatimvisiblespace={\textcolor{red}{{\DejaVuSansMono^^^^2423}}},% |
|
38e2d8ab4965
Implement a style that uses the Libertinus fonts
Franz Glasner <fzglas.hg@dom66.de>
parents:
220
diff
changeset
|
231 verbatimcontinued={\textcolor{red}{{\DejaVuSansMono^^^^21aa}}}}% |
|
38e2d8ab4965
Implement a style that uses the Libertinus fonts
Franz Glasner <fzglas.hg@dom66.de>
parents:
220
diff
changeset
|
232 {sphinx} |
|
38e2d8ab4965
Implement a style that uses the Libertinus fonts
Franz Glasner <fzglas.hg@dom66.de>
parents:
220
diff
changeset
|
233 \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
|
234 |
|
ede8b44f6faf
Refactor the PDF font style: select only the mono font by internal flag
Franz Glasner <fzglas.hg@dom66.de>
parents:
196
diff
changeset
|
235 \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
|
236 |
|
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
|
237 \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
|
238 % 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
|
239 \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
|
240 \fi |
|
eb3d0ae3143b
Augment CM fonts with missing symbols
Franz Glasner <fzglas.hg@dom66.de>
parents:
223
diff
changeset
|
241 |
|
eb3d0ae3143b
Augment CM fonts with missing symbols
Franz Glasner <fzglas.hg@dom66.de>
parents:
223
diff
changeset
|
242 \if@mdf@mono@cmmono |
|
eb3d0ae3143b
Augment CM fonts with missing symbols
Franz Glasner <fzglas.hg@dom66.de>
parents:
223
diff
changeset
|
243 \RequirePackage{newunicodechar} |
|
eb3d0ae3143b
Augment CM fonts with missing symbols
Franz Glasner <fzglas.hg@dom66.de>
parents:
223
diff
changeset
|
244 \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
|
245 \newfontfamily\DejaVuSansMono{DejaVu Sans Mono}[% |
|
eb3d0ae3143b
Augment CM fonts with missing symbols
Franz Glasner <fzglas.hg@dom66.de>
parents:
223
diff
changeset
|
246 UprightFont = *, |
|
eb3d0ae3143b
Augment CM fonts with missing symbols
Franz Glasner <fzglas.hg@dom66.de>
parents:
223
diff
changeset
|
247 BoldFont = * Bold, |
|
eb3d0ae3143b
Augment CM fonts with missing symbols
Franz Glasner <fzglas.hg@dom66.de>
parents:
223
diff
changeset
|
248 ItalicFont = * Oblique, |
|
eb3d0ae3143b
Augment CM fonts with missing symbols
Franz Glasner <fzglas.hg@dom66.de>
parents:
223
diff
changeset
|
249 BoldItalicFont = * Bold Oblique, |
|
eb3d0ae3143b
Augment CM fonts with missing symbols
Franz Glasner <fzglas.hg@dom66.de>
parents:
223
diff
changeset
|
250 ] |
|
eb3d0ae3143b
Augment CM fonts with missing symbols
Franz Glasner <fzglas.hg@dom66.de>
parents:
223
diff
changeset
|
251 \newunicodechar{▷}{{\DejaVuSansMono ▷}}% U+25B7 |
|
eb3d0ae3143b
Augment CM fonts with missing symbols
Franz Glasner <fzglas.hg@dom66.de>
parents:
223
diff
changeset
|
252 \newunicodechar{∶}{{\DejaVuSansMono ∶}}% U+2236 |
|
eb3d0ae3143b
Augment CM fonts with missing symbols
Franz Glasner <fzglas.hg@dom66.de>
parents:
223
diff
changeset
|
253 \newunicodechar{◆}{{\DejaVuSansMono ◆}}% U+25C6 |
|
eb3d0ae3143b
Augment CM fonts with missing symbols
Franz Glasner <fzglas.hg@dom66.de>
parents:
223
diff
changeset
|
254 \newunicodechar{⟵}{{\DejaVuSansMono ⟵}}% U+27F5 |
|
eb3d0ae3143b
Augment CM fonts with missing symbols
Franz Glasner <fzglas.hg@dom66.de>
parents:
223
diff
changeset
|
255 \newunicodechar{⟶}{{\DejaVuSansMono ⟶}}% U+27F6 |
|
eb3d0ae3143b
Augment CM fonts with missing symbols
Franz Glasner <fzglas.hg@dom66.de>
parents:
223
diff
changeset
|
256 \newunicodechar{⟷}{{\DejaVuSansMono ⟷}}% U+27F7 |
|
eb3d0ae3143b
Augment CM fonts with missing symbols
Franz Glasner <fzglas.hg@dom66.de>
parents:
223
diff
changeset
|
257 \newunicodechar{⇒}{{\DejaVuSansMono ⇒}}% U+21D2 |
|
eb3d0ae3143b
Augment CM fonts with missing symbols
Franz Glasner <fzglas.hg@dom66.de>
parents:
223
diff
changeset
|
258 \newunicodechar{⇔}{{\DejaVuSansMono ⇔}}% U+21D4 |
|
eb3d0ae3143b
Augment CM fonts with missing symbols
Franz Glasner <fzglas.hg@dom66.de>
parents:
223
diff
changeset
|
259 \newunicodechar{▪}{{\DejaVuSansMono ▪}}% U+25AA |
|
eb3d0ae3143b
Augment CM fonts with missing symbols
Franz Glasner <fzglas.hg@dom66.de>
parents:
223
diff
changeset
|
260 \newunicodechar{≟}{{\DejaVuSansMono ≟}}% U+225F |
|
eb3d0ae3143b
Augment CM fonts with missing symbols
Franz Glasner <fzglas.hg@dom66.de>
parents:
223
diff
changeset
|
261 \newunicodechar{∈}{{\DejaVuSansMono ∈}}% U+2208 |
|
eb3d0ae3143b
Augment CM fonts with missing symbols
Franz Glasner <fzglas.hg@dom66.de>
parents:
223
diff
changeset
|
262 \newunicodechar{∌}{{\DejaVuSansMono ∌}}% U+220C |
|
eb3d0ae3143b
Augment CM fonts with missing symbols
Franz Glasner <fzglas.hg@dom66.de>
parents:
223
diff
changeset
|
263 \newunicodechar{≠}{{\DejaVuSansMono ≠}}% U+2260 |
|
eb3d0ae3143b
Augment CM fonts with missing symbols
Franz Glasner <fzglas.hg@dom66.de>
parents:
223
diff
changeset
|
264 \newunicodechar{≤}{{\DejaVuSansMono ≤}}% U+2264 |
|
eb3d0ae3143b
Augment CM fonts with missing symbols
Franz Glasner <fzglas.hg@dom66.de>
parents:
223
diff
changeset
|
265 \newunicodechar{≥}{{\DejaVuSansMono ≥}}% U+2265 |
|
eb3d0ae3143b
Augment CM fonts with missing symbols
Franz Glasner <fzglas.hg@dom66.de>
parents:
223
diff
changeset
|
266 \PassOptionsToPackage{% |
|
eb3d0ae3143b
Augment CM fonts with missing symbols
Franz Glasner <fzglas.hg@dom66.de>
parents:
223
diff
changeset
|
267 verbatimvisiblespace={\textcolor{red}{{\DejaVuSansMono^^^^2423}}},% |
|
eb3d0ae3143b
Augment CM fonts with missing symbols
Franz Glasner <fzglas.hg@dom66.de>
parents:
223
diff
changeset
|
268 verbatimcontinued={\textcolor{red}{{\DejaVuSansMono^^^^21aa}}}}% |
|
eb3d0ae3143b
Augment CM fonts with missing symbols
Franz Glasner <fzglas.hg@dom66.de>
parents:
223
diff
changeset
|
269 {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
|
270 \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
|
271 |
|
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
|
272 \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
|
273 \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
|
274 \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
|
275 \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
|
276 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
|
277 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
|
278 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
|
279 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
|
280 ] |
|
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 \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
|
282 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
|
283 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
|
284 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
|
285 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
|
286 ] |
|
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+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
|
288 \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
|
289 \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
|
290 \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
|
291 \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
|
292 \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
|
293 \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
|
294 \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
|
295 \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
|
296 \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
|
297 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
|
298 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
|
299 {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
|
300 \fi |
|
196
d57cf1bb96d6
A new PDF style using "Spectral" with Source Sans/Code
Franz Glasner <fzglas.hg@dom66.de>
parents:
191
diff
changeset
|
301 |
|
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
|
302 \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
|
303 \RequirePackage{newunicodechar} |
|
afecfdcfd288
A new style "charter" for PDFs with "XCharter", "Lato" and "Inconsolata".
Franz Glasner <fzglas.hg@dom66.de>
parents:
203
diff
changeset
|
304 \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
|
305 \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
|
306 UprightFont = *, |
|
afecfdcfd288
A new style "charter" for PDFs with "XCharter", "Lato" and "Inconsolata".
Franz Glasner <fzglas.hg@dom66.de>
parents:
203
diff
changeset
|
307 BoldFont = * Bold, |
|
afecfdcfd288
A new style "charter" for PDFs with "XCharter", "Lato" and "Inconsolata".
Franz Glasner <fzglas.hg@dom66.de>
parents:
203
diff
changeset
|
308 ItalicFont = * Italic, |
|
afecfdcfd288
A new style "charter" for PDFs with "XCharter", "Lato" and "Inconsolata".
Franz Glasner <fzglas.hg@dom66.de>
parents:
203
diff
changeset
|
309 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
|
310 ] |
|
afecfdcfd288
A new style "charter" for PDFs with "XCharter", "Lato" and "Inconsolata".
Franz Glasner <fzglas.hg@dom66.de>
parents:
203
diff
changeset
|
311 \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
|
312 UprightFont = *, |
|
afecfdcfd288
A new style "charter" for PDFs with "XCharter", "Lato" and "Inconsolata".
Franz Glasner <fzglas.hg@dom66.de>
parents:
203
diff
changeset
|
313 BoldFont = * Bold, |
|
afecfdcfd288
A new style "charter" for PDFs with "XCharter", "Lato" and "Inconsolata".
Franz Glasner <fzglas.hg@dom66.de>
parents:
203
diff
changeset
|
314 ItalicFont = * Oblique, |
|
afecfdcfd288
A new style "charter" for PDFs with "XCharter", "Lato" and "Inconsolata".
Franz Glasner <fzglas.hg@dom66.de>
parents:
203
diff
changeset
|
315 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
|
316 ] |
|
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+2236 |
|
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+27F5 |
|
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+27F6 |
|
afecfdcfd288
A new style "charter" for PDFs with "XCharter", "Lato" and "Inconsolata".
Franz Glasner <fzglas.hg@dom66.de>
parents:
203
diff
changeset
|
320 \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
|
321 \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
|
322 \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
|
323 \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
|
324 \fi |
|
afecfdcfd288
A new style "charter" for PDFs with "XCharter", "Lato" and "Inconsolata".
Franz Glasner <fzglas.hg@dom66.de>
parents:
203
diff
changeset
|
325 |
|
222
be0cca3df1eb
Allow the font style "Roboto Mono"
Franz Glasner <fzglas.hg@dom66.de>
parents:
221
diff
changeset
|
326 \if@mdf@mono@robotomono |
|
be0cca3df1eb
Allow the font style "Roboto Mono"
Franz Glasner <fzglas.hg@dom66.de>
parents:
221
diff
changeset
|
327 \RequirePackage{newunicodechar} |
|
be0cca3df1eb
Allow the font style "Roboto Mono"
Franz Glasner <fzglas.hg@dom66.de>
parents:
221
diff
changeset
|
328 \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
|
329 \setmonofont{Roboto Mono}[% |
|
be0cca3df1eb
Allow the font style "Roboto Mono"
Franz Glasner <fzglas.hg@dom66.de>
parents:
221
diff
changeset
|
330 UprightFont = *, |
|
be0cca3df1eb
Allow the font style "Roboto Mono"
Franz Glasner <fzglas.hg@dom66.de>
parents:
221
diff
changeset
|
331 BoldFont = * Bold, |
|
be0cca3df1eb
Allow the font style "Roboto Mono"
Franz Glasner <fzglas.hg@dom66.de>
parents:
221
diff
changeset
|
332 ItalicFont = * Italic, |
|
be0cca3df1eb
Allow the font style "Roboto Mono"
Franz Glasner <fzglas.hg@dom66.de>
parents:
221
diff
changeset
|
333 BoldItalicFont = * Bold Italic, |
|
be0cca3df1eb
Allow the font style "Roboto Mono"
Franz Glasner <fzglas.hg@dom66.de>
parents:
221
diff
changeset
|
334 ] |
|
be0cca3df1eb
Allow the font style "Roboto Mono"
Franz Glasner <fzglas.hg@dom66.de>
parents:
221
diff
changeset
|
335 \newfontfamily\DejaVuSansMono{DejaVu Sans Mono}[% |
|
be0cca3df1eb
Allow the font style "Roboto Mono"
Franz Glasner <fzglas.hg@dom66.de>
parents:
221
diff
changeset
|
336 UprightFont = *, |
|
be0cca3df1eb
Allow the font style "Roboto Mono"
Franz Glasner <fzglas.hg@dom66.de>
parents:
221
diff
changeset
|
337 BoldFont = * Bold, |
|
be0cca3df1eb
Allow the font style "Roboto Mono"
Franz Glasner <fzglas.hg@dom66.de>
parents:
221
diff
changeset
|
338 ItalicFont = * Oblique, |
|
be0cca3df1eb
Allow the font style "Roboto Mono"
Franz Glasner <fzglas.hg@dom66.de>
parents:
221
diff
changeset
|
339 BoldItalicFont = * Bold Oblique, |
|
be0cca3df1eb
Allow the font style "Roboto Mono"
Franz Glasner <fzglas.hg@dom66.de>
parents:
221
diff
changeset
|
340 ] |
|
be0cca3df1eb
Allow the font style "Roboto Mono"
Franz Glasner <fzglas.hg@dom66.de>
parents:
221
diff
changeset
|
341 \newunicodechar{▷}{{\DejaVuSansMono ▷}}% U+25B7 |
|
be0cca3df1eb
Allow the font style "Roboto Mono"
Franz Glasner <fzglas.hg@dom66.de>
parents:
221
diff
changeset
|
342 \newunicodechar{∶}{{\DejaVuSansMono ∶}}% U+2236 |
|
be0cca3df1eb
Allow the font style "Roboto Mono"
Franz Glasner <fzglas.hg@dom66.de>
parents:
221
diff
changeset
|
343 \newunicodechar{◆}{{\DejaVuSansMono ◆}}% U+25C6 |
|
be0cca3df1eb
Allow the font style "Roboto Mono"
Franz Glasner <fzglas.hg@dom66.de>
parents:
221
diff
changeset
|
344 \newunicodechar{⟵}{{\DejaVuSansMono ⟵}}% U+27F5 |
|
be0cca3df1eb
Allow the font style "Roboto Mono"
Franz Glasner <fzglas.hg@dom66.de>
parents:
221
diff
changeset
|
345 \newunicodechar{⟶}{{\DejaVuSansMono ⟶}}% U+27F6 |
|
be0cca3df1eb
Allow the font style "Roboto Mono"
Franz Glasner <fzglas.hg@dom66.de>
parents:
221
diff
changeset
|
346 \newunicodechar{⟷}{{\DejaVuSansMono ⟷}}% U+27F7 |
|
be0cca3df1eb
Allow the font style "Roboto Mono"
Franz Glasner <fzglas.hg@dom66.de>
parents:
221
diff
changeset
|
347 \newunicodechar{⇒}{{\DejaVuSansMono ⇒}}% U+21D2 |
|
be0cca3df1eb
Allow the font style "Roboto Mono"
Franz Glasner <fzglas.hg@dom66.de>
parents:
221
diff
changeset
|
348 \newunicodechar{⇔}{{\DejaVuSansMono ⇔}}% U+21D4 |
|
be0cca3df1eb
Allow the font style "Roboto Mono"
Franz Glasner <fzglas.hg@dom66.de>
parents:
221
diff
changeset
|
349 \newunicodechar{▪}{{\DejaVuSansMono ▪}}% U+25AA |
|
be0cca3df1eb
Allow the font style "Roboto Mono"
Franz Glasner <fzglas.hg@dom66.de>
parents:
221
diff
changeset
|
350 \newunicodechar{≟}{{\DejaVuSansMono ≟}}% U+225F |
|
be0cca3df1eb
Allow the font style "Roboto Mono"
Franz Glasner <fzglas.hg@dom66.de>
parents:
221
diff
changeset
|
351 \newunicodechar{∈}{{\DejaVuSansMono ∈}}% U+2208 |
|
be0cca3df1eb
Allow the font style "Roboto Mono"
Franz Glasner <fzglas.hg@dom66.de>
parents:
221
diff
changeset
|
352 \newunicodechar{∌}{{\DejaVuSansMono ∌}}% U+220C |
|
be0cca3df1eb
Allow the font style "Roboto Mono"
Franz Glasner <fzglas.hg@dom66.de>
parents:
221
diff
changeset
|
353 |
|
be0cca3df1eb
Allow the font style "Roboto Mono"
Franz Glasner <fzglas.hg@dom66.de>
parents:
221
diff
changeset
|
354 \PassOptionsToPackage{% |
|
be0cca3df1eb
Allow the font style "Roboto Mono"
Franz Glasner <fzglas.hg@dom66.de>
parents:
221
diff
changeset
|
355 verbatimvisiblespace={\textcolor{red}{{\DejaVuSansMono^^^^2423}}},% |
|
be0cca3df1eb
Allow the font style "Roboto Mono"
Franz Glasner <fzglas.hg@dom66.de>
parents:
221
diff
changeset
|
356 verbatimcontinued={\textcolor{red}{{\DejaVuSansMono^^^^21aa}}}}% |
|
be0cca3df1eb
Allow the font style "Roboto Mono"
Franz Glasner <fzglas.hg@dom66.de>
parents:
221
diff
changeset
|
357 {sphinx} |
|
be0cca3df1eb
Allow the font style "Roboto Mono"
Franz Glasner <fzglas.hg@dom66.de>
parents:
221
diff
changeset
|
358 \fi |
|
be0cca3df1eb
Allow the font style "Roboto Mono"
Franz Glasner <fzglas.hg@dom66.de>
parents:
221
diff
changeset
|
359 |
|
196
d57cf1bb96d6
A new PDF style using "Spectral" with Source Sans/Code
Franz Glasner <fzglas.hg@dom66.de>
parents:
191
diff
changeset
|
360 \defaultfontfeatures{} |
|
d57cf1bb96d6
A new PDF style using "Spectral" with Source Sans/Code
Franz Glasner <fzglas.hg@dom66.de>
parents:
191
diff
changeset
|
361 |
|
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
|
362 \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
|
363 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
|
364 } |
|
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
|
365 |
|
181
dcbc66f851eb
A style file for (Lua)LaTeX that loads the required fonts.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff
changeset
|
366 \endinput |
