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

annotate docs/_latex/my-doc-fonts.sty @ 192:156bcd310596

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
FIX: duplicate word
author Franz Glasner <fzglas.hg@dom66.de>
date Wed, 13 May 2026 11:34:44 +0200
parents c10b2092c48f
children d57cf1bb96d6
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}[%
dcbc66f851eb A style file for (Lua)LaTeX that loads the required fonts.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
7 2026/05/12 v0.1 (Franz Glasner) Fonts for Sphinx generated PDFs]
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
dcbc66f851eb A style file for (Lua)LaTeX that loads the required fonts.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
17 \newif\if@mdf@WithDejaVuSansMono
dcbc66f851eb A style file for (Lua)LaTeX that loads the required fonts.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
18 \newif\if@mdf@WithPlexMono
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
19 \newif\if@mdf@WithAdobeSource
181
dcbc66f851eb A style file for (Lua)LaTeX that loads the required fonts.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
20
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
21 \def\@mdf@reset@font@options{\@mdf@WithDejaVuSansMonofalse\@mdf@WithPlexMonofalse\@mdf@WithAdobeSourcefalse}
181
dcbc66f851eb A style file for (Lua)LaTeX that loads the required fonts.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
22
dcbc66f851eb A style file for (Lua)LaTeX that loads the required fonts.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
23 \DeclareOptionX{dejavusansmono}[true]{\@mdf@reset@font@options\csname @mdf@WithDejaVuSansMono#1\endcsname}
dcbc66f851eb A style file for (Lua)LaTeX that loads the required fonts.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
24 \DeclareOptionX{plexmono}[true]{\@mdf@reset@font@options\csname @mdf@WithPlexMono#1\endcsname}
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
25 \DeclareOptionX{adobesource}[true]{\@mdf@reset@font@options\csname @mdf@WithAdobeSource#1\endcsname}
181
dcbc66f851eb A style file for (Lua)LaTeX that loads the required fonts.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
26
dcbc66f851eb A style file for (Lua)LaTeX that loads the required fonts.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
27 %
dcbc66f851eb A style file for (Lua)LaTeX that loads the required fonts.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
28 % 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
29 % 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
30 %
dcbc66f851eb A style file for (Lua)LaTeX that loads the required fonts.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
31 \ExecuteOptionsX{dejavusansmono}
dcbc66f851eb A style file for (Lua)LaTeX that loads the required fonts.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
32 \ProcessOptionsX*\relax
dcbc66f851eb A style file for (Lua)LaTeX that loads the required fonts.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
33
dcbc66f851eb A style file for (Lua)LaTeX that loads the required fonts.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
34 \if@mdf@WithDejaVuSansMono
dcbc66f851eb A style file for (Lua)LaTeX that loads the required fonts.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
35 \RequirePackage[DefaultFeatures={Scale=0.92},mono=false]{plex-otf}
dcbc66f851eb A style file for (Lua)LaTeX that loads the required fonts.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
36 \RequirePackage[mono=true,serif=false,sans=false,math=false]{dejavu-otf} % all symbols are available
dcbc66f851eb A style file for (Lua)LaTeX that loads the required fonts.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
37 \fi
dcbc66f851eb A style file for (Lua)LaTeX that loads the required fonts.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
38 %
dcbc66f851eb A style file for (Lua)LaTeX that loads the required fonts.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
39 %
dcbc66f851eb A style file for (Lua)LaTeX that loads the required fonts.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
40 \if@mdf@WithPlexMono
dcbc66f851eb A style file for (Lua)LaTeX that loads the required fonts.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
41 \RequirePackage{newunicodechar}
dcbc66f851eb A style file for (Lua)LaTeX that loads the required fonts.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
42 \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
43 % 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
44 \defaultfontfeatures{}
181
dcbc66f851eb A style file for (Lua)LaTeX that loads the required fonts.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
45 \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
46 UprightFont = *,
dcbc66f851eb A style file for (Lua)LaTeX that loads the required fonts.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
47 BoldFont = * Bold,
dcbc66f851eb A style file for (Lua)LaTeX that loads the required fonts.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
48 ItalicFont = * Oblique,
dcbc66f851eb A style file for (Lua)LaTeX that loads the required fonts.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
49 BoldItalicFont = * Bold Oblique,
dcbc66f851eb A style file for (Lua)LaTeX that loads the required fonts.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
50 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
51 Ligatures=TeX,
181
dcbc66f851eb A style file for (Lua)LaTeX that loads the required fonts.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
52 ]
dcbc66f851eb A style file for (Lua)LaTeX that loads the required fonts.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
53 \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
54 \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
55 \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
56 \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
57 \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
58 \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
59 \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
60 \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
61 \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
62 \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
63 \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
64 \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
65 %\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
66 %\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
67 %\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
68 %\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
69
dcbc66f851eb A style file for (Lua)LaTeX that loads the required fonts.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
70 \PassOptionsToPackage{%
dcbc66f851eb A style file for (Lua)LaTeX that loads the required fonts.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
71 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
72 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
73 {sphinx}
dcbc66f851eb A style file for (Lua)LaTeX that loads the required fonts.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
74 \fi
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
75 \if@mdf@WithAdobeSource
c10b2092c48f Also make a PDF style variant using Adobe Source Serif/Sans/Code Pro
Franz Glasner <fzglas.hg@dom66.de>
parents: 189
diff changeset
76 \RequirePackage{newunicodechar}
c10b2092c48f Also make a PDF style variant using Adobe Source Serif/Sans/Code Pro
Franz Glasner <fzglas.hg@dom66.de>
parents: 189
diff changeset
77 \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
78 \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
79 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
80 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
81 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
82 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
83 ]
c10b2092c48f Also make a PDF style variant using Adobe Source Serif/Sans/Code Pro
Franz Glasner <fzglas.hg@dom66.de>
parents: 189
diff changeset
84 \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
85 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
86 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
87 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
88 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
89 ]
c10b2092c48f Also make a PDF style variant using Adobe Source Serif/Sans/Code Pro
Franz Glasner <fzglas.hg@dom66.de>
parents: 189
diff changeset
90 \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
91 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
92 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
93 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
94 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
95 Scale = MatchLowercase,
c10b2092c48f Also make a PDF style variant using Adobe Source Serif/Sans/Code Pro
Franz Glasner <fzglas.hg@dom66.de>
parents: 189
diff changeset
96 ]
c10b2092c48f Also make a PDF style variant using Adobe Source Serif/Sans/Code Pro
Franz Glasner <fzglas.hg@dom66.de>
parents: 189
diff changeset
97 \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
98 \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
99 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
100 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
101 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
102 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
103 Scale=MatchLowercase,
c10b2092c48f Also make a PDF style variant using Adobe Source Serif/Sans/Code Pro
Franz Glasner <fzglas.hg@dom66.de>
parents: 189
diff changeset
104 Ligatures=TeX,
c10b2092c48f Also make a PDF style variant using Adobe Source Serif/Sans/Code Pro
Franz Glasner <fzglas.hg@dom66.de>
parents: 189
diff changeset
105 ]
c10b2092c48f Also make a PDF style variant using Adobe Source Serif/Sans/Code Pro
Franz Glasner <fzglas.hg@dom66.de>
parents: 189
diff changeset
106 \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
107 \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
108 \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
109 \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
110 \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
111 \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
112 \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
113 \newunicodechar{∈}{{\DejaVuSansMono ∈}}% U+2208
c10b2092c48f Also make a PDF style variant using Adobe Source Serif/Sans/Code Pro
Franz Glasner <fzglas.hg@dom66.de>
parents: 189
diff changeset
114 \newunicodechar{∌}{{\DejaVuSansMono ∌}}% U+220C
c10b2092c48f Also make a PDF style variant using Adobe Source Serif/Sans/Code Pro
Franz Glasner <fzglas.hg@dom66.de>
parents: 189
diff changeset
115 \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
116 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
117 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
118 {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
119 \fi
181
dcbc66f851eb A style file for (Lua)LaTeX that loads the required fonts.
Franz Glasner <fzglas.hg@dom66.de>
parents:
diff changeset
120 \endinput