Python/libs/ConfigMix: docs/_latex/my-doc-fonts.sty annotate

annotate docs/_latex/my-doc-fonts.sty @ 792:0b83218218e2 default tip

Upgrade to my-fonts.sty v0.5

author	Franz Glasner <fzglas.hg@dom66.de>
date	Mon, 18 May 2026 12:26:44 +0200
parents	48deafc1fd2f
children

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}[%
792 0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	7 2026/05/18 v0.5 (Franz Glasner) Fonts for Sphinx generated PDFs]
771 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
776 48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	17 \newif\if@mdf@mono@dejavusansmono\@mdf@mono@dejavusansmonofalse
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	18 \newif\if@mdf@mono@cmmono\@mdf@mono@cmmonofalse
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	19 \newif\if@mdf@mono@robotomono\@mdf@mono@robotomonofalse
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	20 \newif\if@mdf@mono@sscode\@mdf@mono@sscodefalse
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	21 \newif\if@mdf@mono@inconsolata\@mdf@mono@inconsolatafalse
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	22 \newif\if@mdf@mono@libertinusmono\@mdf@mono@libertinusmonofalse
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	23 \newif\if@mdf@augment@libertinusmono\@mdf@augment@libertinusmonofalse
771 741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	24
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	25 \newif\if@mdf@WithDejaVuSansMono
776 48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	26 \newif\if@mdf@WithCM
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	27 \newif\if@mdf@WithRobotoMono
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	28 \newif\if@mdf@WithIBMPlex
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	29 \newif\if@mdf@WithIBMPlexDejaVuSansMono
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	30 \newif\if@mdf@WithAdobeSourcePro
771 741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	31 \newif\if@mdf@WithSpectral
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	32 \newif\if@mdf@WithCharter
776 48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	33 \newif\if@mdf@WithLibertinus
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	34 \newif\if@mdf@WithGaramond
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	35 \newif\if@mdf@WithTufte
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	36 \newif\if@mdf@WithPalatino
792 0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	37 \newif\if@mdf@WithPalatinoKB
776 48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	38 \newif\if@mdf@WithCrimson
792 0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	39 \newif\if@mdf@WithCrimsonCabin
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	40 \newif\if@mdf@WithDejaVu
771 741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	41
776 48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	42 % A key compatible with options processing as option "fonts" but choices.
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	43 \define@choicekey*{my-doc-fonts.sty}{fonts}[\val\nr]{%
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	44 % do not change anything: just deactivate the default "dejavusansmono"
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	45 default,
792 0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	46 % almost no augmentation needed: all characters available
776 48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	47 dejavusansmono, % use DejaVu Sans Mono as monospaced font
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	48 % the fonts below are augmented for missing characters
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	49 cm, % assume CM fonts and just fix missing characters
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	50 robotomono, % use Roboto Mono as mono font
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	51 ibmplex, plex, % use the IBM Plex family (incl. Math)
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	52 plex-dejavusansmono, % use IBM Plex Serif/Sans and DejaVu Sans Mono
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	53 adobesourcepro, adobesource, % Use Adobe Source Serif/Sans/Mono
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	54 spectral, % use Spectral, Source Sans Pro and Source Code Pro
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	55 charter, % use XCharter (with XCharter Math), Lato and Inconsolata
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	56 libertinus, % use Libertinus family (incl. Math)
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	57 garamond, % EB Garamond (with Math), Libre Franklin and Inconsolata
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	58 tufte, % Tufte fonts: ETbb (with Math), GilliusADFNo2, DejaVu Sans Mono
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	59 palatino, % Palatino, Inter and Source Code Pro
792 0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	60 palatino-kb, % Palatino, Lato and Inconsolata (original KB-Admin style)
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	61 crimson, % Crimson Pro, Open Sans and Roboto Mono (Erewhon Math)
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	62 crimson-cabin, % Crimson Pro, Cabin and Source Code Pro (Erewhon Math)
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	63 dejavu, % All DejaVu fonts (Serif, Sans, Mono)
776 48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	64 }{%
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	65 % Not used for now : store the normalized option value (global and expanded)
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	66 \xdef\@mdf@fonts{\val}%
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	67 % Reset all option related font selection flags
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	68 \@mdf@WithDejaVuSansMonofalse
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	69 \@mdf@WithCMfalse
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	70 \@mdf@WithRobotoMonofalse
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	71 \@mdf@WithIBMPlexfalse
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	72 \@mdf@WithIBMPlexDejaVuSansMonofalse
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	73 \@mdf@WithAdobeSourceProfalse
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	74 \@mdf@WithSpectralfalse
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	75 \@mdf@WithCharterfalse
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	76 \@mdf@WithLibertinusfalse
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	77 \@mdf@WithGaramondfalse
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	78 \@mdf@WithTuftefalse
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	79 \@mdf@WithPalatinofalse
792 0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	80 \@mdf@WithPalatinoKBfalse
776 48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	81 \@mdf@WithCrimsonfalse
792 0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	82 \@mdf@WithCrimsonCabinfalse
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	83 \@mdf@WithDejaVufalse
776 48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	84 % Now set the needed font selection flag
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	85 \ifcase\nr\relax
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	86 \relax
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	87 \or
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	88 \@mdf@WithDejaVuSansMonotrue
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	89 \or
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	90 \@mdf@WithCMtrue
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	91 \or
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	92 \@mdf@WithRobotoMonotrue
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	93 \or
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	94 \@mdf@WithIBMPlextrue
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	95 \or
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	96 \@mdf@WithIBMPlextrue
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	97 % Normalize the stored string
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	98 \gdef\@mdf@fonts{ibmplex}
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	99 \or
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	100 \@mdf@WithIBMPlexDejaVuSansMonotrue
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	101 \or
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	102 \@mdf@WithAdobeSourceProtrue
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	103 \or
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	104 \@mdf@WithAdobeSourceProtrue
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	105 % Normalize the stored string
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	106 \gdef\@mdf@fonts{adobesourcepro}
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	107 \or
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	108 \@mdf@WithSpectraltrue
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	109 \or
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	110 \@mdf@WithChartertrue
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	111 \or
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	112 \@mdf@WithLibertinustrue
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	113 \or
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	114 \@mdf@WithGaramondtrue
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	115 \or
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	116 \@mdf@WithTuftetrue
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	117 \or
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	118 \@mdf@WithPalatinotrue
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	119 \or
792 0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	120 \@mdf@WithPalatinoKBtrue
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	121 \or
776 48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	122 \@mdf@WithCrimsontrue
792 0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	123 \or
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	124 \@mdf@WithCrimsonCabintrue
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	125 \or
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	126 \@mdf@WithDejaVutrue
776 48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	127 \fi
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	128 }
771 741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	129
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	130 %
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	131 % 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	132 % all characters without any hacks.
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	133 %
776 48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	134 \ExecuteOptionsX{fonts=dejavusansmono}
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	135 \ProcessOptionsX\relax
771 741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	136
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	137 \if@mdf@WithDejaVuSansMono
776 48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	138 % default but with DejaVu Sans Mono as monospaced font
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	139 %\RequirePackage[DefaultFeatures={Scale=0.92},mono=false]{plex-otf}
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	140 %\RequirePackage[mono=true,serif=false,sans=false,math=false]{dejavu-otf} % all symbols are available
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	141 \@mdf@mono@dejavusansmonotrue
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	142 \fi
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	143 \if@mdf@WithCM
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	144 \@mdf@mono@cmmonotrue
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	145 \fi
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	146 \if@mdf@WithRobotoMono
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	147 \@mdf@mono@robotomonotrue
771 741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	148 \fi
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	149 %
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	150 %
776 48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	151 \if@mdf@WithIBMPlex
771 741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	152 \RequirePackage{newunicodechar}
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	153 \RequirePackage[DefaultFeatures={Scale=0.92}]{plex-otf}
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	154 % 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	155 \defaultfontfeatures{}
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	156 \newfontfamily\DejaVuSansMono{DejaVu Sans Mono}[%
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	157 UprightFont = *,
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	158 BoldFont = * Bold,
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	159 ItalicFont = * Oblique,
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	160 BoldItalicFont = * Bold Oblique,
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	161 Scale=MatchLowercase,
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	162 Ligatures=TeX,
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	163 ]
792 0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	164 \newfontfamily\DejaVuSansCondensed{DejaVu Sans Condensed}[%
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	165 UprightFont = *,
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	166 BoldFont = * Bold,
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	167 ItalicFont = * Oblique,
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	168 BoldItalicFont = * Bold Oblique,
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	169 Scale=MatchLowercase,
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	170 Ligatures=TeX,
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	171 ]
771 741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	172 \newunicodechar{▷}{{\DejaVuSansMono ▷}}% U+25B7
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	173 \newunicodechar{∶}{{\DejaVuSansMono ∶}}% U+2236
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	174 \newunicodechar{◆}{{\DejaVuSansMono ◆}}% U+25C6
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	175 \newunicodechar{▪}{{\DejaVuSansMono ▪}}% U+25AA
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	176 \newunicodechar{⟵}{{\DejaVuSansMono ⟵}}% U+27F5
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	177 \newunicodechar{⟶}{{\DejaVuSansMono ⟶}}% U+27F6
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	178 \newunicodechar{⟷}{{\DejaVuSansMono ⟷}}% U+27F7
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	179 \newunicodechar{⇒}{{\DejaVuSansMono ⇒}}% U+21D2
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	180 \newunicodechar{⇔}{{\DejaVuSansMono ⇔}}% U+21D4
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	181 \newunicodechar{≟}{{\DejaVuSansMono ≟}}% U+225F
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	182 \newunicodechar{∈}{{\DejaVuSansMono ∈}}% U+2208
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	183 \newunicodechar{∌}{{\DejaVuSansMono ∌}}% U+220C
792 0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	184 \newunicodechar{≙}{{\DejaVuSansMono ≙}}% U+2259
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	185 \newunicodechar{␣}{{\DejaVuSansMono ␣}}% U+2423
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	186 \newunicodechar{⇧}{{\DejaVuSansMono ⇧}}% U+21E7
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	187 \newunicodechar{⌃}{{\DejaVuSansMono ⌃}}% U+2303
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	188 \newunicodechar{⎈}{{\DejaVuSansMono ⎈}}% U+2388
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	189 \newunicodechar{⌥}{{\DejaVuSansMono ⌥}}% U+2325
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	190 \newunicodechar{⎇}{{\DejaVuSansCondensed ⎇}}% U+2387
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	191 \newunicodechar{⌘}{{\DejaVuSansMono ⌘}}% U+2318
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	192 \newunicodechar{⏏}{{\DejaVuSansMono ⏏}}% U+23CF
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	193 \newunicodechar{⌫}{{\DejaVuSansMono ⌫}}% U+232B
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	194 \newunicodechar{⌦}{{\DejaVuSansMono ⌦}}% U+2326
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	195 \newunicodechar{⇥}{{\DejaVuSansMono ⇥}}% U+21E5
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	196 \newunicodechar{⇤}{{\DejaVuSansMono ⇤}}% U+21E4
771 741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	197 %\newunicodechar{^^^^2423}{{\DejaVuSansMono^^^^2423}}% U+2423
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	198 %\newunicodechar{␣}{\textvisiblespace}% U+2423
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	199 %\catcode`^^^^2423\active\protected\def^^^^2423{\textvisiblespace}
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	200
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	201 \PassOptionsToPackage{%
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	202 verbatimvisiblespace={\textcolor{red}{{\DejaVuSansMono^^^^2423}}},%
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	203 verbatimcontinued={\textcolor{red}{{\DejaVuSansMono^^^^21aa}}}}%
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	204 {sphinx}
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	205 \fi
776 48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	206 \if@mdf@WithIBMPlexDejaVuSansMono
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	207 \RequirePackage[DefaultFeatures={Scale=0.92},mono=false]{plex-otf}
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	208 \@mdf@mono@dejavusansmonotrue
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	209 \fi
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	210 \if@mdf@WithAdobeSourcePro
771 741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	211 \defaultfontfeatures{Ligatures=TeX,Numbers={Lining,Tabular}}
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	212 \setmainfont{Source Serif Pro}[
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	213 UprightFont = *,
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	214 BoldFont = * Bold,
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	215 ItalicFont = * Italic,
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	216 BoldItalicFont = * Bold Italic,
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	217 ]
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	218 \setsansfont{Source Sans Pro}[
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	219 UprightFont = *,
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	220 BoldFont = * Bold,
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	221 ItalicFont = * Italic,
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	222 BoldItalicFont = * Bold Italic,
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	223 ]
776 48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	224 \@mdf@mono@sscodetrue
771 741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	225 \fi
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	226 \if@mdf@WithSpectral
776 48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	227 \RequirePackage{unicode-math}
771 741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	228 \defaultfontfeatures{Ligatures=TeX,Numbers={Lining,Tabular}}
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	229 \setmainfont{Spectral}[
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	230 UprightFont = * Regular,
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	231 BoldFont = * Bold,
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	232 ItalicFont = * Italic,
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	233 BoldItalicFont = * Bold Italic,
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	234 ]
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	235 \setsansfont{Source Sans Pro}[
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	236 UprightFont = *,
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	237 BoldFont = * Bold,
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	238 ItalicFont = * Italic,
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	239 BoldItalicFont = * Bold Italic,
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	240 ]
776 48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	241 \setmathfont{STIX Two Math}[Scale=MatchLowercase]
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	242 \@mdf@mono@sscodetrue
771 741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	243 \fi
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	244 \if@mdf@WithCharter
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	245 \defaultfontfeatures{Ligatures=TeX,Numbers={Lining,Tabular}}
776 48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	246 \RequirePackage{xcharter-otf}% loads also XCharter Math
771 741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	247 \setsansfont{Lato}[
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	248 UprightFont = * Regular,
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	249 BoldFont = * Bold,
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	250 ItalicFont = * Italic,
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	251 BoldItalicFont = * Bold Italic,
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	252 Scale = MatchLowercase,
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	253 ]
776 48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	254 \@mdf@mono@inconsolatatrue
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	255 \fi
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	256 \if@mdf@WithLibertinus
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	257 \RequirePackage{newunicodechar}
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	258 \RequirePackage[lining,tabular]{libertinus-otf}
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	259 \@mdf@augment@libertinusmonotrue
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	260 \fi
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	261
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	262 \if@mdf@WithGaramond
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	263 \RequirePackage[lining,tabular]{ebgaramond}
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	264 \RequirePackage{unicode-math}
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	265 \setmathfont{Garamond-Math}[Scale=MatchLowercase]
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	266 \setsansfont{Libre Franklin}[Scale=MatchLowercase,Ligatures=TeX]
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	267 \@mdf@mono@inconsolatatrue
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	268 \fi
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	269
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	270 \if@mdf@WithTufte
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	271 \RequirePackage{unicode-math}
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	272 \defaultfontfeatures{Numbers={Lining,Tabular},Ligatures=TeX}
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	273 \setmainfont{ETbb}
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	274 \setsansfont{GilliusADFNo2}[Scale=MatchLowercase]
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	275 \setmathfont{Libertinus Math}[Scale=MatchLowercase]
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	276 \@mdf@mono@dejavusansmonotrue
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	277 \fi
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	278
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	279 \if@mdf@WithPalatino
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	280 \RequirePackage{unicode-math}
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	281 \linespread{1.06}
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	282 \defaultfontfeatures{Numbers={Lining,Tabular},Ligatures=TeX}
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	283 \setmainfont{TeXGyrePagellaX}
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	284 \setsansfont{Inter}[Scale=MatchLowercase]
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	285 %\setsansfont{Rosario}[Scale=MatchLowercase,ScaleAgain=1.013]
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	286 %\setmathfont{Asana Math}[Scale=MatchLowercase]
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	287 \setmathfont{TeX Gyre Pagella Math}[Scale=MatchLowercase]
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	288 %\@mdf@mono@sscodetrue
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	289 \@mdf@mono@libertinusmonotrue
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	290 \fi
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	291
792 0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	292 \if@mdf@WithPalatinoKB
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	293 \RequirePackage{unicode-math}
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	294 \linespread{1.06}
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	295 \defaultfontfeatures{Numbers={Lining,Tabular},Ligatures=TeX}
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	296 \setmainfont{TeXGyrePagellaX}
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	297 \setsansfont{Lato}[%
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	298 UprightFont = * Regular,
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	299 BoldFont = * Bold,
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	300 ItalicFont = * Italic,
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	301 BoldItalicFont = * Bold Italic,
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	302 Scale=MatchLowercase]
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	303 %\setsansfont{Rosario}[Scale=MatchLowercase,ScaleAgain=1.013]
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	304 %\setmathfont{Asana Math}[Scale=MatchLowercase]
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	305 \setmathfont{TeX Gyre Pagella Math}[Scale=MatchLowercase]
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	306 \@mdf@mono@inconsolatatrue
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	307 \fi
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	308
776 48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	309 \if@mdf@WithCrimson
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	310 \RequirePackage{unicode-math}
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	311 \defaultfontfeatures{Ligatures=TeX, Numbers={Lining,Tabular}}
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	312 \setmainfont{Crimson Pro}
792 0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	313 \setsansfont{Open Sans}[Scale=MatchLowercase]
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	314 \defaultfontfeatures{}% Erewhon Math needs this here!
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	315 \setmathfont{Erewhon Math}[Scale=MatchLowercase]
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	316 %\@mdf@mono@sscodetrue
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	317 %\@mdf@mono@inconsolatatrue
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	318 \@mdf@mono@robotomonotrue
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	319 \fi
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	320
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	321 \if@mdf@WithCrimsonCabin
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	322 \RequirePackage{unicode-math}
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	323 \defaultfontfeatures{Ligatures=TeX, Numbers={Lining,Tabular}}
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	324 \setmainfont{Crimson Pro}
776 48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	325 \setsansfont{Cabin}[Scale=MatchLowercase]
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	326 \defaultfontfeatures{}% Erewhon Math needs this here!
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	327 \setmathfont{Erewhon Math}[Scale=MatchLowercase]
792 0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	328 %\@mdf@mono@sscodetrue
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	329 \@mdf@mono@inconsolatatrue
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	330 \fi
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	331
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	332 \if@mdf@WithDejaVu
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	333 \RequirePackage{newunicodechar}
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	334 % automatically applied with Scale=MatchLowercase,...
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	335 \RequirePackage[mono=true,serif=true,sans=true,math=true]{dejavu-otf}
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	336 \newunicodechar{⎇}{{\DejaVuSansCondensed ⎇}}% U+2387
771 741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	337 \fi
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	338
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	339 \defaultfontfeatures{}
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	340
776 48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	341 \if@mdf@mono@dejavusansmono
792 0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	342 \RequirePackage{newunicodechar}
776 48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	343 % automatically applied with Scale=MatchLowercase,...
792 0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	344 \RequirePackage[mono=true,serif=false,sans=false,math=false]{dejavu-otf} % almost all symbols are available
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	345 \newunicodechar{⎇}{{\DejaVuSansCondensed ⎇}}% U+2387
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	346 \fi
776 48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	347
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	348 \if@mdf@mono@cmmono
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	349 \RequirePackage{newunicodechar}
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	350 \defaultfontfeatures{Ligatures=TeX,Numbers={Lining,Tabular},Scale=MatchLowercase}
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	351 \newfontfamily\DejaVuSansMono{DejaVu Sans Mono}[%
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	352 UprightFont = *,
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	353 BoldFont = * Bold,
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	354 ItalicFont = * Oblique,
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	355 BoldItalicFont = * Bold Oblique,
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	356 ]
792 0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	357 \newfontfamily\DejaVuSansCondensed{DejaVu Sans Condensed}[%
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	358 UprightFont = *,
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	359 BoldFont = * Bold,
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	360 ItalicFont = * Oblique,
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	361 BoldItalicFont = * Bold Oblique,
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	362 ]
776 48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	363 \newunicodechar{▷}{{\DejaVuSansMono ▷}}% U+25B7
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	364 \newunicodechar{∶}{{\DejaVuSansMono ∶}}% U+2236
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	365 \newunicodechar{◆}{{\DejaVuSansMono ◆}}% U+25C6
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	366 \newunicodechar{⟵}{{\DejaVuSansMono ⟵}}% U+27F5
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	367 \newunicodechar{⟶}{{\DejaVuSansMono ⟶}}% U+27F6
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	368 \newunicodechar{⟷}{{\DejaVuSansMono ⟷}}% U+27F7
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	369 \newunicodechar{⇒}{{\DejaVuSansMono ⇒}}% U+21D2
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	370 \newunicodechar{⇔}{{\DejaVuSansMono ⇔}}% U+21D4
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	371 \newunicodechar{▪}{{\DejaVuSansMono ▪}}% U+25AA
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	372 \newunicodechar{≟}{{\DejaVuSansMono ≟}}% U+225F
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	373 \newunicodechar{∈}{{\DejaVuSansMono ∈}}% U+2208
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	374 \newunicodechar{∌}{{\DejaVuSansMono ∌}}% U+220C
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	375 \newunicodechar{≠}{{\DejaVuSansMono ≠}}% U+2260
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	376 \newunicodechar{≤}{{\DejaVuSansMono ≤}}% U+2264
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	377 \newunicodechar{≥}{{\DejaVuSansMono ≥}}% U+2265
792 0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	378 \newunicodechar{≙}{{\DejaVuSansMono ≙}}% U+2259
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	379 \newunicodechar{↪}{{\DejaVuSansMono ↪}}% U+21AA
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	380 \newunicodechar{↩}{{\DejaVuSansMono ↩}}% U+21A9
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	381 \newunicodechar{⇧}{{\DejaVuSansMono ⇧}}% U+21E7
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	382 \newunicodechar{⌃}{{\DejaVuSansMono ⌃}}% U+2303
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	383 \newunicodechar{⎈}{{\DejaVuSansMono ⎈}}% U+2388
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	384 \newunicodechar{⌥}{{\DejaVuSansMono ⌥}}% U+2325
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	385 \newunicodechar{⎇}{{\DejaVuSansCondensed ⎇}}% U+2387
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	386 \newunicodechar{⌘}{{\DejaVuSansMono ⌘}}% U+2318
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	387 \newunicodechar{⏏}{{\DejaVuSansMono ⏏}}% U+23CF
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	388 \newunicodechar{⌫}{{\DejaVuSansMono ⌫}}% U+232B
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	389 \newunicodechar{⌦}{{\DejaVuSansMono ⌦}}% U+2326
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	390 \newunicodechar{⇥}{{\DejaVuSansMono ⇥}}% U+21E5
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	391 \newunicodechar{⇤}{{\DejaVuSansMono ⇤}}% U+21E4
776 48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	392 \PassOptionsToPackage{%
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	393 verbatimvisiblespace={\textcolor{red}{{\DejaVuSansMono^^^^2423}}},%
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	394 verbatimcontinued={\textcolor{red}{{\DejaVuSansMono^^^^21aa}}}}%
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	395 {sphinx}
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	396 \fi
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	397
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	398 \if@mdf@mono@sscode
771 741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	399 \RequirePackage{newunicodechar}
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	400 \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	401 \setmonofont{Source Code Pro}[
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	402 UprightFont = *,
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	403 BoldFont = * Bold,
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	404 ItalicFont = * Italic,
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	405 BoldItalicFont = * Bold Italic,
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	406 ]
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	407 \newfontfamily\DejaVuSansMono{DejaVu Sans Mono}[%
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	408 UprightFont = *,
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	409 BoldFont = * Bold,
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	410 ItalicFont = * Oblique,
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	411 BoldItalicFont = * Bold Oblique,
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	412 ]
792 0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	413 \newfontfamily\DejaVuSansCondensed{DejaVu Sans Condensed}[%
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	414 UprightFont = *,
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	415 BoldFont = * Bold,
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	416 ItalicFont = * Oblique,
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	417 BoldItalicFont = * Bold Oblique,
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	418 ]
771 741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	419 \newunicodechar{∶}{{\DejaVuSansMono ∶}}% U+2236
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	420 \newunicodechar{⟵}{{\DejaVuSansMono ⟵}}% U+27F5
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	421 \newunicodechar{⟶}{{\DejaVuSansMono ⟶}}% U+27F6
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	422 \newunicodechar{⟷}{{\DejaVuSansMono ⟷}}% U+27F7
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	423 \newunicodechar{⇒}{{\DejaVuSansMono ⇒}}% U+21D2
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	424 \newunicodechar{⇔}{{\DejaVuSansMono ⇔}}% U+21D4
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	425 \newunicodechar{≟}{{\DejaVuSansMono ≟}}% U+225F
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	426 \newunicodechar{∈}{{\DejaVuSansMono ∈}}% U+2208
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	427 \newunicodechar{∌}{{\DejaVuSansMono ∌}}% U+220C
792 0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	428 \newunicodechar{≙}{{\DejaVuSansMono ≙}}% U+2259
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	429 \newunicodechar{␣}{{\DejaVuSansMono ␣}}% U+2423
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	430 \newunicodechar{↪}{{\DejaVuSansMono ↪}}% U+21AA
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	431 \newunicodechar{↩}{{\DejaVuSansMono ↩}}% U+21A9
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	432 \newunicodechar{⇧}{{\DejaVuSansMono ⇧}}% U+21E7
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	433 \newunicodechar{⌃}{{\DejaVuSansMono ⌃}}% U+2303
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	434 \newunicodechar{⎈}{{\DejaVuSansMono ⎈}}% U+2388
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	435 \newunicodechar{⌥}{{\DejaVuSansMono ⌥}}% U+2325
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	436 \newunicodechar{⎇}{{\DejaVuSansCondensed ⎇}}% U+2387
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	437 \newunicodechar{⌘}{{\DejaVuSansMono ⌘}}% U+2318
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	438 \newunicodechar{⏏}{{\DejaVuSansMono ⏏}}% U+23CF
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	439 \newunicodechar{⌫}{{\DejaVuSansMono ⌫}}% U+232B
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	440 \newunicodechar{⌦}{{\DejaVuSansMono ⌦}}% U+2326
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	441 \newunicodechar{⇥}{{\DejaVuSansMono ⇥}}% U+21E5
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	442 \newunicodechar{⇤}{{\DejaVuSansMono ⇤}}% U+21E4
771 741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	443 \PassOptionsToPackage{%
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	444 verbatimvisiblespace={\textcolor{red}{{\DejaVuSansMono^^^^2423}}},%
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	445 verbatimcontinued={\textcolor{red}{{\DejaVuSansMono^^^^21aa}}}}%
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	446 {sphinx}
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	447 \fi
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	448
776 48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	449 \if@mdf@mono@inconsolata
771 741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	450 \RequirePackage{newunicodechar}
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	451 \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	452 \setmonofont{Inconsolata LGC Nerd Font Mono}[%
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	453 UprightFont = *,
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	454 BoldFont = * Bold,
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	455 ItalicFont = * Italic,
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	456 BoldItalicFont = * Bold Italic,
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	457 ]
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	458 \newfontfamily\DejaVuSansMono{DejaVu Sans Mono}[%
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	459 UprightFont = *,
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	460 BoldFont = * Bold,
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	461 ItalicFont = * Oblique,
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	462 BoldItalicFont = * Bold Oblique,
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	463 ]
792 0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	464 \newfontfamily\DejaVuSansCondensed{DejaVu Sans Condensed}[%
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	465 UprightFont = *,
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	466 BoldFont = * Bold,
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	467 ItalicFont = * Oblique,
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	468 BoldItalicFont = * Bold Oblique,
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	469 ]
771 741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	470 \newunicodechar{∶}{{\DejaVuSansMono ∶}}% U+2236
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	471 \newunicodechar{⟵}{{\DejaVuSansMono ⟵}}% U+27F5
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	472 \newunicodechar{⟶}{{\DejaVuSansMono ⟶}}% U+27F6
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	473 \newunicodechar{⟷}{{\DejaVuSansMono ⟷}}% U+27F7
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	474 \newunicodechar{≟}{{\DejaVuSansMono ≟}}% U+225F
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	475 \newunicodechar{∈}{{\DejaVuSansMono ∈}}% U+2208
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	476 \newunicodechar{∌}{{\DejaVuSansMono ∌}}% U+220C
792 0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	477 \newunicodechar{≙}{{\DejaVuSansMono ≙}}% U+2259
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	478 \newunicodechar{↪}{{\DejaVuSansMono ↪}}% U+21AA
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	479 \newunicodechar{↩}{{\DejaVuSansMono ↩}}% U+21A9
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	480 \newunicodechar{⇧}{{\DejaVuSansMono ⇧}}% U+21E7
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	481 \newunicodechar{⌃}{{\DejaVuSansMono ⌃}}% U+2303
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	482 \newunicodechar{⎈}{{\DejaVuSansMono ⎈}}% U+2388
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	483 \newunicodechar{⌥}{{\DejaVuSansMono ⌥}}% U+2325
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	484 \newunicodechar{⎇}{{\DejaVuSansCondensed ⎇}}% U+2387
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	485 \newunicodechar{⌘}{{\DejaVuSansMono ⌘}}% U+2318
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	486 \newunicodechar{⏏}{{\DejaVuSansMono ⏏}}% U+23CF
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	487 \newunicodechar{⌫}{{\DejaVuSansMono ⌫}}% U+232B
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	488 \newunicodechar{⌦}{{\DejaVuSansMono ⌦}}% U+2326
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	489 \newunicodechar{⇥}{{\DejaVuSansMono ⇥}}% U+21E5
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	490 \newunicodechar{⇤}{{\DejaVuSansMono ⇤}}% U+21E4
771 741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	491 \fi
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	492
776 48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	493 \if@mdf@mono@robotomono
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	494 \RequirePackage{newunicodechar}
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	495 \defaultfontfeatures{Ligatures=TeX,Numbers={Lining,Tabular},Scale=MatchLowercase}
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	496 \setmonofont{Roboto Mono}[%
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	497 UprightFont = *,
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	498 BoldFont = * Bold,
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	499 ItalicFont = * Italic,
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	500 BoldItalicFont = * Bold Italic,
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	501 ]
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	502 \newfontfamily\DejaVuSansMono{DejaVu Sans Mono}[%
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	503 UprightFont = *,
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	504 BoldFont = * Bold,
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	505 ItalicFont = * Oblique,
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	506 BoldItalicFont = * Bold Oblique,
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	507 ]
792 0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	508 \newfontfamily\DejaVuSansCondensed{DejaVu Sans Condensed}[%
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	509 UprightFont = *,
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	510 BoldFont = * Bold,
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	511 ItalicFont = * Oblique,
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	512 BoldItalicFont = * Bold Oblique,
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	513 ]
776 48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	514 \newunicodechar{▷}{{\DejaVuSansMono ▷}}% U+25B7
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	515 \newunicodechar{∶}{{\DejaVuSansMono ∶}}% U+2236
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	516 \newunicodechar{◆}{{\DejaVuSansMono ◆}}% U+25C6
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	517 \newunicodechar{⟵}{{\DejaVuSansMono ⟵}}% U+27F5
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	518 \newunicodechar{⟶}{{\DejaVuSansMono ⟶}}% U+27F6
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	519 \newunicodechar{⟷}{{\DejaVuSansMono ⟷}}% U+27F7
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	520 \newunicodechar{⇒}{{\DejaVuSansMono ⇒}}% U+21D2
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	521 \newunicodechar{⇔}{{\DejaVuSansMono ⇔}}% U+21D4
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	522 \newunicodechar{▪}{{\DejaVuSansMono ▪}}% U+25AA
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	523 \newunicodechar{≟}{{\DejaVuSansMono ≟}}% U+225F
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	524 \newunicodechar{∈}{{\DejaVuSansMono ∈}}% U+2208
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	525 \newunicodechar{∌}{{\DejaVuSansMono ∌}}% U+220C
792 0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	526 \newunicodechar{≙}{{\DejaVuSansMono ≙}}% U+2259
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	527 \newunicodechar{␣}{{\DejaVuSansMono ␣}}% U+2423
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	528 \newunicodechar{↪}{{\DejaVuSansMono ↪}}% U+21AA
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	529 \newunicodechar{↩}{{\DejaVuSansMono ↩}}% U+21A9
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	530 \newunicodechar{⇧}{{\DejaVuSansMono ⇧}}% U+21E7
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	531 \newunicodechar{⌃}{{\DejaVuSansMono ⌃}}% U+2303
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	532 \newunicodechar{⎈}{{\DejaVuSansMono ⎈}}% U+2388
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	533 \newunicodechar{⌥}{{\DejaVuSansMono ⌥}}% U+2325
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	534 \newunicodechar{⎇}{{\DejaVuSansCondensed ⎇}}% U+2387
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	535 \newunicodechar{⌘}{{\DejaVuSansMono ⌘}}% U+2318
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	536 \newunicodechar{⏏}{{\DejaVuSansMono ⏏}}% U+23CF
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	537 \newunicodechar{⌫}{{\DejaVuSansMono ⌫}}% U+232B
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	538 \newunicodechar{⌦}{{\DejaVuSansMono ⌦}}% U+2326
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	539 \newunicodechar{⇥}{{\DejaVuSansMono ⇥}}% U+21E5
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	540 \newunicodechar{⇤}{{\DejaVuSansMono ⇤}}% U+21E4
776 48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	541 \PassOptionsToPackage{%
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	542 verbatimvisiblespace={\textcolor{red}{{\DejaVuSansMono^^^^2423}}},%
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	543 verbatimcontinued={\textcolor{red}{{\DejaVuSansMono^^^^21aa}}}}%
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	544 {sphinx}
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	545 \fi
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	546
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	547 \if@mdf@mono@libertinusmono
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	548 % This is stolen from libertinus-otf.sty!
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	549 \setmonofont{LibertinusMono}[%
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	550 Ligatures = TeX,
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	551 Numbers = {Lining, Tabular},
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	552 Scale = MatchLowercase,
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	553 FakeStretch = 0.94,
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	554 UprightFont = *-Regular,
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	555 ItalicFont = *-Regular,
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	556 ItalicFeatures = {FakeSlant=0.2},
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	557 SlantedFont = *-Regular,
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	558 SlantedFeatures= {FakeSlant=0.2},
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	559 BoldFont = *-Regular,
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	560 BoldFeatures = {RawFeature={embolden=3}},
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	561 BoldItalicFont = *-Regular,
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	562 BoldItalicFeatures={FakeSlant=0.2,RawFeature={embolden=3}},
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	563 Extension = .otf,
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	564 ]
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	565 \@mdf@augment@libertinusmonotrue
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	566 \fi
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	567
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	568 \if@mdf@augment@libertinusmono
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	569 \RequirePackage{newunicodechar}
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	570 \newfontfamily\DejaVuSansMono{DejaVu Sans Mono}[%
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	571 UprightFont = *,
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	572 BoldFont = * Bold,
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	573 ItalicFont = * Oblique,
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	574 BoldItalicFont = * Bold Oblique,
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	575 Scale=MatchLowercase,
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	576 Ligatures=TeX,
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	577 ]
792 0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	578 \newfontfamily\DejaVuSansCondensed{DejaVu Sans Condensed}[%
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	579 UprightFont = *,
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	580 BoldFont = * Bold,
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	581 ItalicFont = * Oblique,
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	582 BoldItalicFont = * Bold Oblique,
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	583 Scale=MatchLowercase,
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	584 Ligatures=TeX,
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	585 ]
776 48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	586 \newunicodechar{▷}{{\DejaVuSansMono ▷}}% U+25B7
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	587 \newunicodechar{∶}{{\DejaVuSansMono ∶}}% U+2236
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	588 \newunicodechar{◆}{{\DejaVuSansMono ◆}}% U+25C6
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	589 \newunicodechar{▪}{{\DejaVuSansMono ▪}}% U+25AA
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	590 \newunicodechar{⟵}{{\DejaVuSansMono ⟵}}% U+27F5
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	591 \newunicodechar{⟶}{{\DejaVuSansMono ⟶}}% U+27F6
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	592 \newunicodechar{⟷}{{\DejaVuSansMono ⟷}}% U+27F7
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	593 \newunicodechar{⇒}{{\DejaVuSansMono ⇒}}% U+21D2
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	594 \newunicodechar{⇔}{{\DejaVuSansMono ⇔}}% U+21D4
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	595 \newunicodechar{≟}{{\DejaVuSansMono ≟}}% U+225F
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	596 \newunicodechar{∈}{{\DejaVuSansMono ∈}}% U+2208
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	597 \newunicodechar{∌}{{\DejaVuSansMono ∌}}% U+220C
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	598 \newunicodechar{≠}{{\DejaVuSansMono ≠}}% U+2260
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	599 \newunicodechar{≤}{{\DejaVuSansMono ≤}}% U+2264
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	600 \newunicodechar{≥}{{\DejaVuSansMono ≥}}% U+2265
792 0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	601 \newunicodechar{≙}{{\DejaVuSansMono ≙}}% U+2259
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	602 \newunicodechar{␣}{{\DejaVuSansMono ␣}}% U+2423
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	603 \newunicodechar{↪}{{\DejaVuSansMono ↪}}% U+21AA
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	604 \newunicodechar{↩}{{\DejaVuSansMono ↩}}% U+21A9
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	605 \newunicodechar{⇧}{{\DejaVuSansMono ⇧}}% U+21E7
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	606 \newunicodechar{⌃}{{\DejaVuSansMono ⌃}}% U+2303
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	607 \newunicodechar{⎈}{{\DejaVuSansMono ⎈}}% U+2388
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	608 \newunicodechar{⌥}{{\DejaVuSansMono ⌥}}% U+2325
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	609 \newunicodechar{⎇}{{\DejaVuSansCondensed ⎇}}% U+2387
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	610 \newunicodechar{⌘}{{\DejaVuSansMono ⌘}}% U+2318
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	611 \newunicodechar{⏏}{{\DejaVuSansMono ⏏}}% U+23CF
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	612 \newunicodechar{⌫}{{\DejaVuSansMono ⌫}}% U+232B
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	613 \newunicodechar{⌦}{{\DejaVuSansMono ⌦}}% U+2326
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	614 \newunicodechar{⇥}{{\DejaVuSansMono ⇥}}% U+21E5
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	615 \newunicodechar{⇤}{{\DejaVuSansMono ⇤}}% U+21E4
776 48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	616 %\newunicodechar{^^^^2423}{{\DejaVuSansMono^^^^2423}}% U+2423
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	617 %\newunicodechar{␣}{\textvisiblespace}% U+2423
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	618 %\catcode`^^^^2423\active\protected\def^^^^2423{\textvisiblespace}
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	619
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	620 \PassOptionsToPackage{%
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	621 verbatimvisiblespace={\textcolor{red}{{\DejaVuSansMono^^^^2423}}},%
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	622 verbatimcontinued={\textcolor{red}{{\DejaVuSansMono^^^^21aa}}}}%
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	623 {sphinx}
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	624 \fi
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	625
771 741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	626 \defaultfontfeatures{}
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	627
776 48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	628 \def\testmdf{
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	629 Normalized: \@mdf@fonts\newline
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	630 }
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	631
771 741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	632 \endinput

Mercurial > hgrepos > Python > libs > ConfigMix

annotate docs/_latex/my-doc-fonts.sty @ 792:0b83218218e2 default tip