Mercurial > hgrepos > Python > libs > pygments-lexer-pseudocode2

annotate docs/_latex/my-doc-fonts.sty @ 229:29826707b7da

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Comment
author Franz Glasner <fzglas.hg@dom66.de>
date Fri, 15 May 2026 20:24:11 +0200
parents e363dc537be5
children c54b5ffd41d7
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
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
29826707b7da Comment
Franz Glasner <fzglas.hg@dom66.de>
parents: 228
diff changeset
35 % do not change anything: just deactivate the default "dejavusansmono"
29826707b7da Comment
Franz Glasner <fzglas.hg@dom66.de>
parents: 228
diff changeset
36 default,
227
0fb4e7c34b10 Comment the options
Franz Glasner <fzglas.hg@dom66.de>
parents: 226
diff changeset
37 % no augmentation needed: all characters available
0fb4e7c34b10 Comment the options
Franz Glasner <fzglas.hg@dom66.de>
parents: 226
diff changeset
38 dejavusansmono, % use DejaVu Sans Mono as monospaced font
228
e363dc537be5 Comment
Franz Glasner <fzglas.hg@dom66.de>
parents: 227
diff changeset
39 % the fonts below are augmented for missing characters
227
0fb4e7c34b10 Comment the options
Franz Glasner <fzglas.hg@dom66.de>
parents: 226
diff changeset
40 cm, % assume CM fonts and just fix missing characters
0fb4e7c34b10 Comment the options
Franz Glasner <fzglas.hg@dom66.de>
parents: 226
diff changeset
41 robotomono, % use Roboto Mono as mono font
0fb4e7c34b10 Comment the options
Franz Glasner <fzglas.hg@dom66.de>
parents: 226
diff changeset
42 ibmplex, plex, % use the IBM Plex family (incl. Math)
0fb4e7c34b10 Comment the options
Franz Glasner <fzglas.hg@dom66.de>
parents: 226
diff changeset
43 plex-dejavusansmono, % use IBM Plex Mono as mono font
0fb4e7c34b10 Comment the options
Franz Glasner <fzglas.hg@dom66.de>
parents: 226
diff changeset
44 adobesourcepro, adobesource, % Use Adobe Source Serif/Sans/Mono
0fb4e7c34b10 Comment the options
Franz Glasner <fzglas.hg@dom66.de>
parents: 226
diff changeset
45 spectral, % use Spectral, Source Sans Pro and Source Code Pro
0fb4e7c34b10 Comment the options
Franz Glasner <fzglas.hg@dom66.de>
parents: 226
diff changeset
46 charter, % use XCharter (with XCharter Math), Lato and Inconsolata
0fb4e7c34b10 Comment the options
Franz Glasner <fzglas.hg@dom66.de>
parents: 226
diff changeset
47 libertinus % use Libertinus family (incl. Math)
0fb4e7c34b10 Comment the options
Franz Glasner <fzglas.hg@dom66.de>
parents: 226
diff changeset
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