Mercurial > hgrepos > Python > libs > pygments-lexer-pseudocode2
annotate docs/_latex/my-doc-fonts.sty @ 221:38e2d8ab4965
Implement a style that uses the Libertinus fonts
| author | Franz Glasner <fzglas.hg@dom66.de> |
|---|---|
| date | Fri, 15 May 2026 18:19:46 +0200 |
| parents | 2af9ad8230c7 |
| children | be0cca3df1eb |
| 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 |
|
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
|
18 \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
|
19 \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
|
20 |
|
181
dcbc66f851eb
A style file for (Lua)LaTeX that loads the required fonts.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff
changeset
|
21 \newif\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
|
22 \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
|
23 \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
|
24 \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
|
25 \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
|
26 \newif\if@mdf@WithCharter |
|
221
38e2d8ab4965
Implement a style that uses the Libertinus fonts
Franz Glasner <fzglas.hg@dom66.de>
parents:
220
diff
changeset
|
27 \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
|
28 |
|
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
|
29 % 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
|
30 \define@choicekey*{my-doc-fonts.sty}{fonts}[\val\nr]{% |
|
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
|
31 dejavusansmono, |
|
219
a7a6a75cd4b8
Normalize the stored "fonts" option when aliases are given
Franz Glasner <fzglas.hg@dom66.de>
parents:
218
diff
changeset
|
32 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
|
33 plex-dejavusansmono, |
|
219
a7a6a75cd4b8
Normalize the stored "fonts" option when aliases are given
Franz Glasner <fzglas.hg@dom66.de>
parents:
218
diff
changeset
|
34 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
|
35 spectral, |
|
221
38e2d8ab4965
Implement a style that uses the Libertinus fonts
Franz Glasner <fzglas.hg@dom66.de>
parents:
220
diff
changeset
|
36 charter, |
|
38e2d8ab4965
Implement a style that uses the Libertinus fonts
Franz Glasner <fzglas.hg@dom66.de>
parents:
220
diff
changeset
|
37 libertinus}{% |
|
219
a7a6a75cd4b8
Normalize the stored "fonts" option when aliases are given
Franz Glasner <fzglas.hg@dom66.de>
parents:
218
diff
changeset
|
38 % 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
|
39 \xdef\@mdf@fonts{\val}% |
|
a7a6a75cd4b8
Normalize the stored "fonts" option when aliases are given
Franz Glasner <fzglas.hg@dom66.de>
parents:
218
diff
changeset
|
40 % 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
|
41 \@mdf@WithDejaVuSansMonofalse |
|
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 \@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
|
43 \@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
|
44 \@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
|
45 \@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
|
46 \@mdf@WithCharterfalse |
|
221
38e2d8ab4965
Implement a style that uses the Libertinus fonts
Franz Glasner <fzglas.hg@dom66.de>
parents:
220
diff
changeset
|
47 \@mdf@WithLibertinusfalse |
|
219
a7a6a75cd4b8
Normalize the stored "fonts" option when aliases are given
Franz Glasner <fzglas.hg@dom66.de>
parents:
218
diff
changeset
|
48 % 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
|
49 \ifcase\nr\relax |
|
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
|
50 \@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
|
51 \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
|
52 \@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
|
53 \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
|
54 \@mdf@WithIBMPlextrue |
|
219
a7a6a75cd4b8
Normalize the stored "fonts" option when aliases are given
Franz Glasner <fzglas.hg@dom66.de>
parents:
218
diff
changeset
|
55 % Normalize the stored string |
|
a7a6a75cd4b8
Normalize the stored "fonts" option when aliases are given
Franz Glasner <fzglas.hg@dom66.de>
parents:
218
diff
changeset
|
56 \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
|
57 \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
|
58 \@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
|
59 \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
|
60 \@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
|
61 \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
|
62 \@mdf@WithAdobeSourceProtrue |
|
219
a7a6a75cd4b8
Normalize the stored "fonts" option when aliases are given
Franz Glasner <fzglas.hg@dom66.de>
parents:
218
diff
changeset
|
63 % Normalize the stored string |
|
a7a6a75cd4b8
Normalize the stored "fonts" option when aliases are given
Franz Glasner <fzglas.hg@dom66.de>
parents:
218
diff
changeset
|
64 \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
|
65 \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
|
66 \@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
|
67 \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
|
68 \@mdf@WithChartertrue |
|
221
38e2d8ab4965
Implement a style that uses the Libertinus fonts
Franz Glasner <fzglas.hg@dom66.de>
parents:
220
diff
changeset
|
69 \or |
|
38e2d8ab4965
Implement a style that uses the Libertinus fonts
Franz Glasner <fzglas.hg@dom66.de>
parents:
220
diff
changeset
|
70 \@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
|
71 \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
|
72 } |
|
181
dcbc66f851eb
A style file for (Lua)LaTeX that loads the required fonts.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff
changeset
|
73 |
|
dcbc66f851eb
A style file for (Lua)LaTeX that loads the required fonts.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff
changeset
|
74 % |
|
dcbc66f851eb
A style file for (Lua)LaTeX that loads the required fonts.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff
changeset
|
75 % 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
|
76 % 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
|
77 % |
|
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
|
78 \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
|
79 \ProcessOptionsX\relax |
|
181
dcbc66f851eb
A style file for (Lua)LaTeX that loads the required fonts.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff
changeset
|
80 |
|
dcbc66f851eb
A style file for (Lua)LaTeX that loads the required fonts.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff
changeset
|
81 \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
|
82 % 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
|
83 %\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
|
84 %\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
|
85 \@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
|
86 \fi |
|
dcbc66f851eb
A style file for (Lua)LaTeX that loads the required fonts.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff
changeset
|
87 % |
|
dcbc66f851eb
A style file for (Lua)LaTeX that loads the required fonts.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff
changeset
|
88 % |
|
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
|
89 \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
|
90 \RequirePackage{newunicodechar} |
|
dcbc66f851eb
A style file for (Lua)LaTeX that loads the required fonts.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff
changeset
|
91 \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
|
92 % 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
|
93 \defaultfontfeatures{} |
|
181
dcbc66f851eb
A style file for (Lua)LaTeX that loads the required fonts.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff
changeset
|
94 \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
|
95 UprightFont = *, |
|
dcbc66f851eb
A style file for (Lua)LaTeX that loads the required fonts.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff
changeset
|
96 BoldFont = * Bold, |
|
dcbc66f851eb
A style file for (Lua)LaTeX that loads the required fonts.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff
changeset
|
97 ItalicFont = * Oblique, |
|
dcbc66f851eb
A style file for (Lua)LaTeX that loads the required fonts.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff
changeset
|
98 BoldItalicFont = * Bold Oblique, |
|
dcbc66f851eb
A style file for (Lua)LaTeX that loads the required fonts.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff
changeset
|
99 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
|
100 Ligatures=TeX, |
|
181
dcbc66f851eb
A style file for (Lua)LaTeX that loads the required fonts.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff
changeset
|
101 ] |
|
dcbc66f851eb
A style file for (Lua)LaTeX that loads the required fonts.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff
changeset
|
102 \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
|
103 \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
|
104 \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
|
105 \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
|
106 \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
|
107 \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
|
108 \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
|
109 \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
|
110 \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
|
111 \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
|
112 \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
|
113 \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
|
114 %\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
|
115 %\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
|
116 %\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
|
117 %\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
|
118 |
|
dcbc66f851eb
A style file for (Lua)LaTeX that loads the required fonts.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff
changeset
|
119 \PassOptionsToPackage{% |
|
dcbc66f851eb
A style file for (Lua)LaTeX that loads the required fonts.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff
changeset
|
120 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
|
121 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
|
122 {sphinx} |
|
dcbc66f851eb
A style file for (Lua)LaTeX that loads the required fonts.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff
changeset
|
123 \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
|
124 \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
|
125 \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
|
126 \@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
|
127 \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
|
128 \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
|
129 \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
|
130 \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
|
131 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
|
132 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
|
133 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
|
134 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
|
135 ] |
|
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
|
136 \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
|
137 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
|
138 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
|
139 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
|
140 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
|
141 ] |
|
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
|
142 \@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
|
143 \fi |
|
d57cf1bb96d6
A new PDF style using "Spectral" with Source Sans/Code
Franz Glasner <fzglas.hg@dom66.de>
parents:
191
diff
changeset
|
144 \if@mdf@WithSpectral |
|
d57cf1bb96d6
A new PDF style using "Spectral" with Source Sans/Code
Franz Glasner <fzglas.hg@dom66.de>
parents:
191
diff
changeset
|
145 \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
|
146 \setmainfont{Spectral}[ |
|
d57cf1bb96d6
A new PDF style using "Spectral" with Source Sans/Code
Franz Glasner <fzglas.hg@dom66.de>
parents:
191
diff
changeset
|
147 UprightFont = * Regular, |
|
d57cf1bb96d6
A new PDF style using "Spectral" with Source Sans/Code
Franz Glasner <fzglas.hg@dom66.de>
parents:
191
diff
changeset
|
148 BoldFont = * Bold, |
|
d57cf1bb96d6
A new PDF style using "Spectral" with Source Sans/Code
Franz Glasner <fzglas.hg@dom66.de>
parents:
191
diff
changeset
|
149 ItalicFont = * Italic, |
|
d57cf1bb96d6
A new PDF style using "Spectral" with Source Sans/Code
Franz Glasner <fzglas.hg@dom66.de>
parents:
191
diff
changeset
|
150 BoldItalicFont = * Bold Italic, |
|
d57cf1bb96d6
A new PDF style using "Spectral" with Source Sans/Code
Franz Glasner <fzglas.hg@dom66.de>
parents:
191
diff
changeset
|
151 ] |
|
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
|
152 \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
|
153 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
|
154 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
|
155 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
|
156 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
|
157 ] |
|
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
|
158 \@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
|
159 \fi |
|
204
afecfdcfd288
A new style "charter" for PDFs with "XCharter", "Lato" and "Inconsolata".
Franz Glasner <fzglas.hg@dom66.de>
parents:
203
diff
changeset
|
160 \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
|
161 \defaultfontfeatures{Ligatures=TeX,Numbers={Lining,Tabular}} |
|
afecfdcfd288
A new style "charter" for PDFs with "XCharter", "Lato" and "Inconsolata".
Franz Glasner <fzglas.hg@dom66.de>
parents:
203
diff
changeset
|
162 \setmainfont{XCharter} |
|
afecfdcfd288
A new style "charter" for PDFs with "XCharter", "Lato" and "Inconsolata".
Franz Glasner <fzglas.hg@dom66.de>
parents:
203
diff
changeset
|
163 \setsansfont{Lato}[ |
|
afecfdcfd288
A new style "charter" for PDFs with "XCharter", "Lato" and "Inconsolata".
Franz Glasner <fzglas.hg@dom66.de>
parents:
203
diff
changeset
|
164 UprightFont = * Regular, |
|
afecfdcfd288
A new style "charter" for PDFs with "XCharter", "Lato" and "Inconsolata".
Franz Glasner <fzglas.hg@dom66.de>
parents:
203
diff
changeset
|
165 BoldFont = * Bold, |
|
afecfdcfd288
A new style "charter" for PDFs with "XCharter", "Lato" and "Inconsolata".
Franz Glasner <fzglas.hg@dom66.de>
parents:
203
diff
changeset
|
166 ItalicFont = * Italic, |
|
afecfdcfd288
A new style "charter" for PDFs with "XCharter", "Lato" and "Inconsolata".
Franz Glasner <fzglas.hg@dom66.de>
parents:
203
diff
changeset
|
167 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
|
168 Scale = MatchLowercase, |
|
afecfdcfd288
A new style "charter" for PDFs with "XCharter", "Lato" and "Inconsolata".
Franz Glasner <fzglas.hg@dom66.de>
parents:
203
diff
changeset
|
169 ] |
|
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
|
170 \@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
|
171 \fi |
|
221
38e2d8ab4965
Implement a style that uses the Libertinus fonts
Franz Glasner <fzglas.hg@dom66.de>
parents:
220
diff
changeset
|
172 \if@mdf@WithLibertinus |
|
38e2d8ab4965
Implement a style that uses the Libertinus fonts
Franz Glasner <fzglas.hg@dom66.de>
parents:
220
diff
changeset
|
173 \RequirePackage{newunicodechar} |
|
38e2d8ab4965
Implement a style that uses the Libertinus fonts
Franz Glasner <fzglas.hg@dom66.de>
parents:
220
diff
changeset
|
174 \RequirePackage[lining,tabular]{libertinus-otf} |
|
38e2d8ab4965
Implement a style that uses the Libertinus fonts
Franz Glasner <fzglas.hg@dom66.de>
parents:
220
diff
changeset
|
175 \defaultfontfeatures{} |
|
38e2d8ab4965
Implement a style that uses the Libertinus fonts
Franz Glasner <fzglas.hg@dom66.de>
parents:
220
diff
changeset
|
176 \newfontfamily\DejaVuSansMono{DejaVu Sans Mono}[% |
|
38e2d8ab4965
Implement a style that uses the Libertinus fonts
Franz Glasner <fzglas.hg@dom66.de>
parents:
220
diff
changeset
|
177 UprightFont = *, |
|
38e2d8ab4965
Implement a style that uses the Libertinus fonts
Franz Glasner <fzglas.hg@dom66.de>
parents:
220
diff
changeset
|
178 BoldFont = * Bold, |
|
38e2d8ab4965
Implement a style that uses the Libertinus fonts
Franz Glasner <fzglas.hg@dom66.de>
parents:
220
diff
changeset
|
179 ItalicFont = * Oblique, |
|
38e2d8ab4965
Implement a style that uses the Libertinus fonts
Franz Glasner <fzglas.hg@dom66.de>
parents:
220
diff
changeset
|
180 BoldItalicFont = * Bold Oblique, |
|
38e2d8ab4965
Implement a style that uses the Libertinus fonts
Franz Glasner <fzglas.hg@dom66.de>
parents:
220
diff
changeset
|
181 Scale=MatchLowercase, |
|
38e2d8ab4965
Implement a style that uses the Libertinus fonts
Franz Glasner <fzglas.hg@dom66.de>
parents:
220
diff
changeset
|
182 Ligatures=TeX, |
|
38e2d8ab4965
Implement a style that uses the Libertinus fonts
Franz Glasner <fzglas.hg@dom66.de>
parents:
220
diff
changeset
|
183 ] |
|
38e2d8ab4965
Implement a style that uses the Libertinus fonts
Franz Glasner <fzglas.hg@dom66.de>
parents:
220
diff
changeset
|
184 \newunicodechar{▷}{{\DejaVuSansMono ▷}}% U+25B7 |
|
38e2d8ab4965
Implement a style that uses the Libertinus fonts
Franz Glasner <fzglas.hg@dom66.de>
parents:
220
diff
changeset
|
185 \newunicodechar{∶}{{\DejaVuSansMono ∶}}% U+2236 |
|
38e2d8ab4965
Implement a style that uses the Libertinus fonts
Franz Glasner <fzglas.hg@dom66.de>
parents:
220
diff
changeset
|
186 \newunicodechar{◆}{{\DejaVuSansMono ◆}}% U+25C6 |
|
38e2d8ab4965
Implement a style that uses the Libertinus fonts
Franz Glasner <fzglas.hg@dom66.de>
parents:
220
diff
changeset
|
187 \newunicodechar{▪}{{\DejaVuSansMono ▪}}% U+25AA |
|
38e2d8ab4965
Implement a style that uses the Libertinus fonts
Franz Glasner <fzglas.hg@dom66.de>
parents:
220
diff
changeset
|
188 \newunicodechar{⟵}{{\DejaVuSansMono ⟵}}% U+27F5 |
|
38e2d8ab4965
Implement a style that uses the Libertinus fonts
Franz Glasner <fzglas.hg@dom66.de>
parents:
220
diff
changeset
|
189 \newunicodechar{⟶}{{\DejaVuSansMono ⟶}}% U+27F6 |
|
38e2d8ab4965
Implement a style that uses the Libertinus fonts
Franz Glasner <fzglas.hg@dom66.de>
parents:
220
diff
changeset
|
190 \newunicodechar{⟷}{{\DejaVuSansMono ⟷}}% U+27F7 |
|
38e2d8ab4965
Implement a style that uses the Libertinus fonts
Franz Glasner <fzglas.hg@dom66.de>
parents:
220
diff
changeset
|
191 \newunicodechar{⇒}{{\DejaVuSansMono ⇒}}% U+21D2 |
|
38e2d8ab4965
Implement a style that uses the Libertinus fonts
Franz Glasner <fzglas.hg@dom66.de>
parents:
220
diff
changeset
|
192 \newunicodechar{⇔}{{\DejaVuSansMono ⇔}}% U+21D4 |
|
38e2d8ab4965
Implement a style that uses the Libertinus fonts
Franz Glasner <fzglas.hg@dom66.de>
parents:
220
diff
changeset
|
193 \newunicodechar{≟}{{\DejaVuSansMono ≟}}% U+225F |
|
38e2d8ab4965
Implement a style that uses the Libertinus fonts
Franz Glasner <fzglas.hg@dom66.de>
parents:
220
diff
changeset
|
194 \newunicodechar{∈}{{\DejaVuSansMono ∈}}% U+2208 |
|
38e2d8ab4965
Implement a style that uses the Libertinus fonts
Franz Glasner <fzglas.hg@dom66.de>
parents:
220
diff
changeset
|
195 \newunicodechar{∌}{{\DejaVuSansMono ∌}}% U+220C |
|
38e2d8ab4965
Implement a style that uses the Libertinus fonts
Franz Glasner <fzglas.hg@dom66.de>
parents:
220
diff
changeset
|
196 \newunicodechar{≠}{{\DejaVuSansMono ≠}}% U+2260 |
|
38e2d8ab4965
Implement a style that uses the Libertinus fonts
Franz Glasner <fzglas.hg@dom66.de>
parents:
220
diff
changeset
|
197 \newunicodechar{≤}{{\DejaVuSansMono ≤}}% U+2264 |
|
38e2d8ab4965
Implement a style that uses the Libertinus fonts
Franz Glasner <fzglas.hg@dom66.de>
parents:
220
diff
changeset
|
198 \newunicodechar{≥}{{\DejaVuSansMono ≥}}% U+2265 |
|
38e2d8ab4965
Implement a style that uses the Libertinus fonts
Franz Glasner <fzglas.hg@dom66.de>
parents:
220
diff
changeset
|
199 %\newunicodechar{␣}{{\DejaVuSansMono ␣}}% U+2423 Missing! |
|
38e2d8ab4965
Implement a style that uses the Libertinus fonts
Franz Glasner <fzglas.hg@dom66.de>
parents:
220
diff
changeset
|
200 %\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
|
201 %\newunicodechar{␣}{\textvisiblespace}% U+2423 |
|
38e2d8ab4965
Implement a style that uses the Libertinus fonts
Franz Glasner <fzglas.hg@dom66.de>
parents:
220
diff
changeset
|
202 %\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
|
203 |
|
38e2d8ab4965
Implement a style that uses the Libertinus fonts
Franz Glasner <fzglas.hg@dom66.de>
parents:
220
diff
changeset
|
204 \PassOptionsToPackage{% |
|
38e2d8ab4965
Implement a style that uses the Libertinus fonts
Franz Glasner <fzglas.hg@dom66.de>
parents:
220
diff
changeset
|
205 verbatimvisiblespace={\textcolor{red}{{\DejaVuSansMono^^^^2423}}},% |
|
38e2d8ab4965
Implement a style that uses the Libertinus fonts
Franz Glasner <fzglas.hg@dom66.de>
parents:
220
diff
changeset
|
206 verbatimcontinued={\textcolor{red}{{\DejaVuSansMono^^^^21aa}}}}% |
|
38e2d8ab4965
Implement a style that uses the Libertinus fonts
Franz Glasner <fzglas.hg@dom66.de>
parents:
220
diff
changeset
|
207 {sphinx} |
|
38e2d8ab4965
Implement a style that uses the Libertinus fonts
Franz Glasner <fzglas.hg@dom66.de>
parents:
220
diff
changeset
|
208 \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
|
209 |
|
ede8b44f6faf
Refactor the PDF font style: select only the mono font by internal flag
Franz Glasner <fzglas.hg@dom66.de>
parents:
196
diff
changeset
|
210 \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
|
211 |
|
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
|
212 \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
|
213 % 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
|
214 \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
|
215 \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
|
216 |
|
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
|
217 \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
|
218 \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
|
219 \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
|
220 \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
|
221 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
|
222 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
|
223 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
|
224 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
|
225 ] |
|
c10b2092c48f
Also make a PDF style variant using Adobe Source Serif/Sans/Code Pro
Franz Glasner <fzglas.hg@dom66.de>
parents:
189
diff
changeset
|
226 \defaultfontfeatures{} |
|
c10b2092c48f
Also make a PDF style variant using Adobe Source Serif/Sans/Code Pro
Franz Glasner <fzglas.hg@dom66.de>
parents:
189
diff
changeset
|
227 \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
|
228 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
|
229 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
|
230 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
|
231 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
|
232 ] |
|
c10b2092c48f
Also make a PDF style variant using Adobe Source Serif/Sans/Code Pro
Franz Glasner <fzglas.hg@dom66.de>
parents:
189
diff
changeset
|
233 \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
|
234 \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
|
235 \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
|
236 \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
|
237 \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
|
238 \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
|
239 \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
|
240 \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
|
241 \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
|
242 \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
|
243 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
|
244 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
|
245 {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
|
246 \fi |
|
196
d57cf1bb96d6
A new PDF style using "Spectral" with Source Sans/Code
Franz Glasner <fzglas.hg@dom66.de>
parents:
191
diff
changeset
|
247 |
|
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
|
248 \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
|
249 \RequirePackage{newunicodechar} |
|
afecfdcfd288
A new style "charter" for PDFs with "XCharter", "Lato" and "Inconsolata".
Franz Glasner <fzglas.hg@dom66.de>
parents:
203
diff
changeset
|
250 \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
|
251 \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
|
252 UprightFont = *, |
|
afecfdcfd288
A new style "charter" for PDFs with "XCharter", "Lato" and "Inconsolata".
Franz Glasner <fzglas.hg@dom66.de>
parents:
203
diff
changeset
|
253 BoldFont = * Bold, |
|
afecfdcfd288
A new style "charter" for PDFs with "XCharter", "Lato" and "Inconsolata".
Franz Glasner <fzglas.hg@dom66.de>
parents:
203
diff
changeset
|
254 ItalicFont = * Italic, |
|
afecfdcfd288
A new style "charter" for PDFs with "XCharter", "Lato" and "Inconsolata".
Franz Glasner <fzglas.hg@dom66.de>
parents:
203
diff
changeset
|
255 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
|
256 ] |
|
afecfdcfd288
A new style "charter" for PDFs with "XCharter", "Lato" and "Inconsolata".
Franz Glasner <fzglas.hg@dom66.de>
parents:
203
diff
changeset
|
257 \defaultfontfeatures{} |
|
afecfdcfd288
A new style "charter" for PDFs with "XCharter", "Lato" and "Inconsolata".
Franz Glasner <fzglas.hg@dom66.de>
parents:
203
diff
changeset
|
258 \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
|
259 UprightFont = *, |
|
afecfdcfd288
A new style "charter" for PDFs with "XCharter", "Lato" and "Inconsolata".
Franz Glasner <fzglas.hg@dom66.de>
parents:
203
diff
changeset
|
260 BoldFont = * Bold, |
|
afecfdcfd288
A new style "charter" for PDFs with "XCharter", "Lato" and "Inconsolata".
Franz Glasner <fzglas.hg@dom66.de>
parents:
203
diff
changeset
|
261 ItalicFont = * Oblique, |
|
afecfdcfd288
A new style "charter" for PDFs with "XCharter", "Lato" and "Inconsolata".
Franz Glasner <fzglas.hg@dom66.de>
parents:
203
diff
changeset
|
262 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
|
263 ] |
|
afecfdcfd288
A new style "charter" for PDFs with "XCharter", "Lato" and "Inconsolata".
Franz Glasner <fzglas.hg@dom66.de>
parents:
203
diff
changeset
|
264 \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
|
265 \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
|
266 \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
|
267 \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
|
268 \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
|
269 \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
|
270 \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
|
271 \fi |
|
afecfdcfd288
A new style "charter" for PDFs with "XCharter", "Lato" and "Inconsolata".
Franz Glasner <fzglas.hg@dom66.de>
parents:
203
diff
changeset
|
272 |
|
196
d57cf1bb96d6
A new PDF style using "Spectral" with Source Sans/Code
Franz Glasner <fzglas.hg@dom66.de>
parents:
191
diff
changeset
|
273 \defaultfontfeatures{} |
|
d57cf1bb96d6
A new PDF style using "Spectral" with Source Sans/Code
Franz Glasner <fzglas.hg@dom66.de>
parents:
191
diff
changeset
|
274 |
|
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
|
275 \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
|
276 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
|
277 } |
|
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
|
278 |
|
181
dcbc66f851eb
A style file for (Lua)LaTeX that loads the required fonts.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff
changeset
|
279 \endinput |
