Mercurial > hgrepos > Python > libs > ConfigMix

annotate docs/_latex/my-doc-fonts.sty @ 771:741ebfe77e55

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Build the PDF documentation with lualatex now. Using OTF/TTF fonts mostly.
author Franz Glasner <fzglas.hg@dom66.de>
date Wed, 13 May 2026 18:34:29 +0200
parents
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
771
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
1 % -*- coding: utf-8 -*-
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
2 %
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
3 % Some font hacks for my Sphinx PDF documents
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
4 %
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
5 \NeedsTeXFormat{LaTeX2e}
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
6 \ProvidesPackage{my-doc-fonts}[%
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
7 2026/05/13 v0.2 (Franz Glasner) Fonts for Sphinx generated PDFs]
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
8 \RequirePackage{xkeyval}
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
9 \RequirePackage{fontspec}
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
10 \IfFileExists{xcolor.sty}{%
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
11 % Should Sphinx load xcolor with its dvipsnames and svgnames options?
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
12 \RequirePackage{xcolor}
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
13 }{%
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
14 \RequirePackage{color}
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
15 }
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
16
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
17 \newif\if@mdf@@sscode\@mdf@@sscodefalse
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
18 \newif\if@mdf@@inconsolata\@mdf@@inconsolatafalse
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
19
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
20 \newif\if@mdf@WithDejaVuSansMono
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
21 \newif\if@mdf@WithPlexMono
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
22 \newif\if@mdf@WithAdobeSource
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
23 \newif\if@mdf@WithSpectral
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
24 \newif\if@mdf@WithCharter
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
25
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
26 \def\@mdf@reset@font@options{\@mdf@WithDejaVuSansMonofalse\@mdf@WithPlexMonofalse\@mdf@WithAdobeSourcefalse\@mdf@WithCharterfalse}
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
27
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
28 \DeclareOptionX{dejavusansmono}[true]{\@mdf@reset@font@options\csname @mdf@WithDejaVuSansMono#1\endcsname}
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
29 \DeclareOptionX{plexmono}[true]{\@mdf@reset@font@options\csname @mdf@WithPlexMono#1\endcsname}
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
30 \DeclareOptionX{adobesource}[true]{\@mdf@reset@font@options\csname @mdf@WithAdobeSource#1\endcsname}
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
31 \DeclareOptionX{spectral}[true]{\@mdf@reset@font@options\csname @mdf@WithSpectral#1\endcsname}
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
32 \DeclareOptionX{charter}[true]{\@mdf@reset@font@options\csname @mdf@WithCharter#1\endcsname}
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
33
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
34 %
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
35 % By default use the safe option dejavusansmono because is contains
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
36 % all characters without any hacks.
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
37 %
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
38 \ExecuteOptionsX{dejavusansmono}
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
39 \ProcessOptionsX*\relax
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
40
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
41 \if@mdf@WithDejaVuSansMono
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
42 \RequirePackage[DefaultFeatures={Scale=0.92},mono=false]{plex-otf}
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
43 \RequirePackage[mono=true,serif=false,sans=false,math=false]{dejavu-otf} % all symbols are available
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
44 \fi
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
45 %
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
46 %
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
47 \if@mdf@WithPlexMono
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
48 \RequirePackage{newunicodechar}
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
49 \RequirePackage[DefaultFeatures={Scale=0.92}]{plex-otf}
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
50 % Dont keep all default font features from plex-otf
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
51 \defaultfontfeatures{}
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
52 \newfontfamily\DejaVuSansMono{DejaVu Sans Mono}[%
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
53 UprightFont = *,
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
54 BoldFont = * Bold,
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
55 ItalicFont = * Oblique,
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
56 BoldItalicFont = * Bold Oblique,
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
57 Scale=MatchLowercase,
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
58 Ligatures=TeX,
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
59 ]
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
60 \newunicodechar{▷}{{\DejaVuSansMono ▷}}% U+25B7
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
61 \newunicodechar{∶}{{\DejaVuSansMono ∶}}% U+2236
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
62 \newunicodechar{◆}{{\DejaVuSansMono ◆}}% U+25C6
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
63 \newunicodechar{▪}{{\DejaVuSansMono ▪}}% U+25AA
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
64 \newunicodechar{⟵}{{\DejaVuSansMono ⟵}}% U+27F5
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
65 \newunicodechar{⟶}{{\DejaVuSansMono ⟶}}% U+27F6
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
66 \newunicodechar{⟷}{{\DejaVuSansMono ⟷}}% U+27F7
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
67 \newunicodechar{⇒}{{\DejaVuSansMono ⇒}}% U+21D2
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
68 \newunicodechar{⇔}{{\DejaVuSansMono ⇔}}% U+21D4
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
69 \newunicodechar{≟}{{\DejaVuSansMono ≟}}% U+225F
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
70 \newunicodechar{∈}{{\DejaVuSansMono ∈}}% U+2208
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
71 \newunicodechar{∌}{{\DejaVuSansMono ∌}}% U+220C
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
72 %\newunicodechar{␣}{{\DejaVuSansMono ␣}}% U+2423 Missing!
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
73 %\newunicodechar{^^^^2423}{{\DejaVuSansMono^^^^2423}}% U+2423
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
74 %\newunicodechar{␣}{\textvisiblespace}% U+2423
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
75 %\catcode`^^^^2423\active\protected\def^^^^2423{\textvisiblespace}
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
76
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
77 \PassOptionsToPackage{%
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
78 verbatimvisiblespace={\textcolor{red}{{\DejaVuSansMono^^^^2423}}},%
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
79 verbatimcontinued={\textcolor{red}{{\DejaVuSansMono^^^^21aa}}}}%
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
80 {sphinx}
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
81 \fi
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
82 \if@mdf@WithAdobeSource
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
83 \defaultfontfeatures{Ligatures=TeX,Numbers={Lining,Tabular}}
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
84 \setmainfont{Source Serif Pro}[
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
85 UprightFont = *,
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
86 BoldFont = * Bold,
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
87 ItalicFont = * Italic,
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
88 BoldItalicFont = * Bold Italic,
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
89 ]
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
90 \setsansfont{Source Sans Pro}[
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
91 UprightFont = *,
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
92 BoldFont = * Bold,
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
93 ItalicFont = * Italic,
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
94 BoldItalicFont = * Bold Italic,
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
95 ]
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
96 \@mdf@@sscodetrue
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
97 \fi
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
98 \if@mdf@WithSpectral
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
99 \defaultfontfeatures{Ligatures=TeX,Numbers={Lining,Tabular}}
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
100 \setmainfont{Spectral}[
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
101 UprightFont = * Regular,
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
102 BoldFont = * Bold,
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
103 ItalicFont = * Italic,
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
104 BoldItalicFont = * Bold Italic,
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
105 ]
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
106 \setsansfont{Source Sans Pro}[
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
107 UprightFont = *,
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
108 BoldFont = * Bold,
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
109 ItalicFont = * Italic,
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
110 BoldItalicFont = * Bold Italic,
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
111 ]
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
112 \@mdf@@sscodetrue
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
113 \fi
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
114 \if@mdf@WithCharter
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
115 \defaultfontfeatures{Ligatures=TeX,Numbers={Lining,Tabular}}
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
116 \setmainfont{XCharter}
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
117 \setsansfont{Lato}[
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
118 UprightFont = * Regular,
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
119 BoldFont = * Bold,
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
120 ItalicFont = * Italic,
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
121 BoldItalicFont = * Bold Italic,
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
122 Scale = MatchLowercase,
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
123 ]
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
124 \@mdf@@inconsolatatrue
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
125 \fi
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
126
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
127 \defaultfontfeatures{}
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
128
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
129 \if@mdf@@sscode
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
130 \RequirePackage{newunicodechar}
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
131 \defaultfontfeatures{Ligatures=TeX,Numbers={Lining,Tabular},Scale=MatchLowercase}
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
132 \setmonofont{Source Code Pro}[
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
133 UprightFont = *,
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
134 BoldFont = * Bold,
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
135 ItalicFont = * Italic,
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
136 BoldItalicFont = * Bold Italic,
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
137 ]
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
138 \defaultfontfeatures{}
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
139 \newfontfamily\DejaVuSansMono{DejaVu Sans Mono}[%
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
140 UprightFont = *,
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
141 BoldFont = * Bold,
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
142 ItalicFont = * Oblique,
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
143 BoldItalicFont = * Bold Oblique,
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
144 ]
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
145 \newunicodechar{∶}{{\DejaVuSansMono ∶}}% U+2236
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
146 \newunicodechar{⟵}{{\DejaVuSansMono ⟵}}% U+27F5
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
147 \newunicodechar{⟶}{{\DejaVuSansMono ⟶}}% U+27F6
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
148 \newunicodechar{⟷}{{\DejaVuSansMono ⟷}}% U+27F7
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
149 \newunicodechar{⇒}{{\DejaVuSansMono ⇒}}% U+21D2
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
150 \newunicodechar{⇔}{{\DejaVuSansMono ⇔}}% U+21D4
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
151 \newunicodechar{≟}{{\DejaVuSansMono ≟}}% U+225F
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
152 \newunicodechar{∈}{{\DejaVuSansMono ∈}}% U+2208
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
153 \newunicodechar{∌}{{\DejaVuSansMono ∌}}% U+220C
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
154 \PassOptionsToPackage{%
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
155 verbatimvisiblespace={\textcolor{red}{{\DejaVuSansMono^^^^2423}}},%
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
156 verbatimcontinued={\textcolor{red}{{\DejaVuSansMono^^^^21aa}}}}%
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
157 {sphinx}
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
158 \fi
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
159
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
160 \if@mdf@@inconsolata
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
161 \RequirePackage{newunicodechar}
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
162 \defaultfontfeatures{Ligatures=TeX,Numbers={Lining,Tabular},Scale=MatchLowercase}
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
163 \setmonofont{Inconsolata LGC Nerd Font Mono}[%
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
164 UprightFont = *,
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
165 BoldFont = * Bold,
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
166 ItalicFont = * Italic,
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
167 BoldItalicFont = * Bold Italic,
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
168 ]
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
169 \defaultfontfeatures{}
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
170 \newfontfamily\DejaVuSansMono{DejaVu Sans Mono}[%
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
171 UprightFont = *,
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
172 BoldFont = * Bold,
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
173 ItalicFont = * Oblique,
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
174 BoldItalicFont = * Bold Oblique,
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
175 ]
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
176 \newunicodechar{∶}{{\DejaVuSansMono ∶}}% U+2236
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
177 \newunicodechar{⟵}{{\DejaVuSansMono ⟵}}% U+27F5
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
178 \newunicodechar{⟶}{{\DejaVuSansMono ⟶}}% U+27F6
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
179 \newunicodechar{⟷}{{\DejaVuSansMono ⟷}}% U+27F7
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
180 \newunicodechar{≟}{{\DejaVuSansMono ≟}}% U+225F
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
181 \newunicodechar{∈}{{\DejaVuSansMono ∈}}% U+2208
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
182 \newunicodechar{∌}{{\DejaVuSansMono ∌}}% U+220C
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
183 \fi
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
184
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
185 \defaultfontfeatures{}
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
186
741ebfe77e55 Build the PDF documentation with lualatex now.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
187 \endinput