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

annotate docs/_latex/my-doc-fonts.sty @ 793:46578f03a7cb default tip

Update to latest my-doc-XXX.sty style files for PDF generation

author	Franz Glasner <fzglas.hg@dom66.de>
date	Wed, 20 May 2026 12:57:36 +0200
parents	0b83218218e2
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 --
793 46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	2 % SPDX-FileCopyrightText: © 2026 Franz Glasner
46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	3 % SPDX-License-Identifier: BSD-3-Clause
771 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 % 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	6 %
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	7 \NeedsTeXFormat{LaTeX2e}
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	8 \ProvidesPackage{my-doc-fonts}[%
792 0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	9 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	10 \RequirePackage{xkeyval}
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	11 \RequirePackage{fontspec}
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	12 \IfFileExists{xcolor.sty}{%
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	13 % 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	14 \RequirePackage{xcolor}
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 \RequirePackage{color}
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	17 }
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	18
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	19 \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	20 \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	21 \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	22 \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	23 \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	24 \newif\if@mdf@mono@libertinusmono\@mdf@mono@libertinusmonofalse
793 46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	25 \newif\if@mdf@mono@hackmono\@mdf@mono@hackmonofalse
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@augment@libertinusmono\@mdf@augment@libertinusmonofalse
793 46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	27 \newif\if@mdf@augment@ibmplexmono\@mdf@augment@ibmplexmonofalse
771 741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	28
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	29 \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	30 \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	31 \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	32 \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	33 \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	34 \newif\if@mdf@WithAdobeSourcePro
771 741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	35 \newif\if@mdf@WithSpectral
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	36 \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	37 \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	38 \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	39 \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	40 \newif\if@mdf@WithPalatino
792 0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	41 \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	42 \newif\if@mdf@WithCrimson
792 0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	43 \newif\if@mdf@WithCrimsonCabin
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	44 \newif\if@mdf@WithDejaVu
793 46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	45 \newif\if@mdf@WithMerriweather
46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	46 \newif\if@mdf@WithLiterata
771 741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	47
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	48 % 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	49 \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	50 % 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	51 default,
792 0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	52 % 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	53 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	54 % 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	55 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	56 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	57 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	58 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	59 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	60 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	61 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	62 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	63 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	64 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	65 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	66 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	67 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	68 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	69 dejavu, % All DejaVu fonts (Serif, Sans, Mono)
793 46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	70 merriweather, % Merriweather, Merriweather Sans, Hack (STIX Two Math)
46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	71 literata, % Literata, Inter, IBM Plex Mono (Garamond Math)
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	72 }{%
48deafc1fd2f 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 % 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	74 \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	75 % 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	76 \@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	77 \@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	78 \@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	79 \@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	80 \@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	81 \@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	82 \@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	83 \@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	84 \@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	85 \@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	86 \@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	87 \@mdf@WithPalatinofalse
792 0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	88 \@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	89 \@mdf@WithCrimsonfalse
792 0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	90 \@mdf@WithCrimsonCabinfalse
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	91 \@mdf@WithDejaVufalse
793 46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	92 \@mdf@WithMerriweatherfalse
46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	93 \@mdf@WithLiteratafalse
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	94 % 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	95 \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	96 \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	97 \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	98 \@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	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@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	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@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	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@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	105 \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	106 \@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	107 % 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	108 \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	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@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	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@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	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@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	115 % 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	116 \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	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@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	119 \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	120 \@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	121 \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	122 \@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	123 \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	124 \@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	125 \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	126 \@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	127 \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	128 \@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	129 \or
792 0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	130 \@mdf@WithPalatinoKBtrue
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	131 \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	132 \@mdf@WithCrimsontrue
792 0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	133 \or
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	134 \@mdf@WithCrimsonCabintrue
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	135 \or
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	136 \@mdf@WithDejaVutrue
793 46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	137 \or
46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	138 \@mdf@WithMerriweathertrue
46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	139 \or
46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	140 \@mdf@WithLiteratatrue
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	141 \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	142 }
771 741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	143
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	144 %
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	145 % 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	146 % all characters without any hacks.
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	147 %
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	148 \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	149 \ProcessOptionsX\relax
771 741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	150
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	151 \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	152 % 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	153 %\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	154 %\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	155 \@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	156 \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	157 \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	158 \@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	159 \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	160 \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	161 \@mdf@mono@robotomonotrue
771 741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	162 \fi
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	163 %
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	164 %
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	165 \if@mdf@WithIBMPlex
771 741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	166 \RequirePackage[DefaultFeatures={Scale=0.92}]{plex-otf}
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	167 % 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	168 \defaultfontfeatures{}
793 46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	169 \@mdf@augment@ibmplexmonotrue
771 741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	170 \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	171 \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	172 \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	173 \@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	174 \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	175 \if@mdf@WithAdobeSourcePro
771 741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	176 \defaultfontfeatures{Ligatures=TeX,Numbers={Lining,Tabular}}
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	177 \setmainfont{Source Serif Pro}[
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	178 UprightFont = *,
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	179 BoldFont = * Bold,
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	180 ItalicFont = * Italic,
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	181 BoldItalicFont = * Bold Italic,
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	182 ]
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	183 \setsansfont{Source Sans Pro}[
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	184 UprightFont = *,
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	185 BoldFont = * Bold,
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	186 ItalicFont = * Italic,
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	187 BoldItalicFont = * Bold Italic,
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	188 ]
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	189 \@mdf@mono@sscodetrue
771 741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	190 \fi
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	191 \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	192 \RequirePackage{unicode-math}
771 741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	193 \defaultfontfeatures{Ligatures=TeX,Numbers={Lining,Tabular}}
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	194 \setmainfont{Spectral}[
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	195 UprightFont = * Regular,
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	196 BoldFont = * Bold,
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	197 ItalicFont = * Italic,
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	198 BoldItalicFont = * Bold Italic,
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	199 ]
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	200 \setsansfont{Source Sans Pro}[
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	201 UprightFont = *,
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	202 BoldFont = * Bold,
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	203 ItalicFont = * Italic,
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	204 BoldItalicFont = * Bold Italic,
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	205 ]
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 \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	207 \@mdf@mono@sscodetrue
771 741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	208 \fi
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	209 \if@mdf@WithCharter
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	210 \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	211 \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	212 \setsansfont{Lato}[
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	213 UprightFont = * Regular,
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 Scale = MatchLowercase,
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	218 ]
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	219 \@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	220 \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	221 \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	222 \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	223 \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	224 \@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	225 \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	226
48deafc1fd2f 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 \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	228 \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	229 \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	230 \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	231 \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	232 \@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	233 \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	234
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	235 \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	236 \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	237 \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	238 \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	239 \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	240 \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	241 \@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	242 \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	243
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	244 \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	245 \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	246 \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	247 \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	248 \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	249 \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	250 %\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	251 %\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	252 \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	253 %\@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	254 \@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	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
792 0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	257 \if@mdf@WithPalatinoKB
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	258 \RequirePackage{unicode-math}
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	259 \linespread{1.06}
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	260 \defaultfontfeatures{Numbers={Lining,Tabular},Ligatures=TeX}
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	261 \setmainfont{TeXGyrePagellaX}
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	262 \setsansfont{Lato}[%
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	263 UprightFont = * Regular,
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	264 BoldFont = * Bold,
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	265 ItalicFont = * Italic,
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	266 BoldItalicFont = * Bold Italic,
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	267 Scale=MatchLowercase]
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	268 %\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	269 %\setmathfont{Asana Math}[Scale=MatchLowercase]
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	270 \setmathfont{TeX Gyre Pagella Math}[Scale=MatchLowercase]
793 46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	271 \@mdf@mono@inconsolatatrue
46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	272 \fi
792 0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	273
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	274 \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	275 \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	276 \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	277 \setmainfont{Crimson Pro}
792 0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	278 \setsansfont{Open Sans}[Scale=MatchLowercase]
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	279 \defaultfontfeatures{}% Erewhon Math needs this here!
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	280 \setmathfont{Erewhon Math}[Scale=MatchLowercase]
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	281 %\@mdf@mono@sscodetrue
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	282 %\@mdf@mono@inconsolatatrue
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	283 \@mdf@mono@robotomonotrue
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	284 \fi
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	285
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	286 \if@mdf@WithCrimsonCabin
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	287 \RequirePackage{unicode-math}
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	288 \defaultfontfeatures{Ligatures=TeX, Numbers={Lining,Tabular}}
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	289 \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	290 \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	291 \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	292 \setmathfont{Erewhon Math}[Scale=MatchLowercase]
792 0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	293 %\@mdf@mono@sscodetrue
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	294 \@mdf@mono@inconsolatatrue
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	295 \fi
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	296
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	297 \if@mdf@WithDejaVu
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	298 \RequirePackage{newunicodechar}
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	299 % automatically applied with Scale=MatchLowercase,...
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	300 \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	301 \newunicodechar{⎇}{{\DejaVuSansCondensed ⎇}}% U+2387
771 741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	302 \fi
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	303
793 46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	304 \if@mdf@WithMerriweather
46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	305 \RequirePackage{unicode-math}
46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	306 \linespread{1.06}
46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	307 \defaultfontfeatures{%
46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	308 Scale = 0.92,
46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	309 Ligatures = TeX,
46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	310 Numbers = {Lining,Tabular},
46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	311 Extension = .otf,
46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	312 }
46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	313 \setmainfont{Merriweather}[%
46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	314 UprightFont = *-Regular ,
46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	315 ItalicFont = *-Italic ,
46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	316 BoldFont = *-Bold ,
46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	317 BoldItalicFont = *-BoldItalic
46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	318 ]
46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	319 \setsansfont{MerriweatherSans}[%
46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	320 UprightFont = *-Regular ,
46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	321 ItalicFont = *-Italic ,
46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	322 BoldFont = *-Bold ,
46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	323 BoldItalicFont = *-BoldItalic
46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	324 ]
46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	325 \defaultfontfeatures{}
46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	326 \setmathfont{STIX Two Math}[Scale=MatchLowercase]
46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	327 \@mdf@mono@hackmonotrue
46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	328 \fi
46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	329
46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	330 \if@mdf@WithLiterata
46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	331 \RequirePackage{unicode-math}
46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	332 \defaultfontfeatures{%
46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	333 Ligatures = TeX,
46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	334 Numbers = {Lining,Tabular},
46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	335 }
46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	336 \setmainfont{Literata}
46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	337 \setsansfont{Inter}[Scale=MatchLowercase]
46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	338 \defaultfontfeatures{}
46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	339 \setmathfont{Garamond-Math}[Scale=MatchLowercase]
46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	340 \setmonofont{IBMPlexMono}[%
46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	341 Extension = .otf,
46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	342 Scale = MatchLowercase,
46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	343 Ligatures = TeX,
46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	344 UprightFont= *-Regular,
46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	345 BoldFont = *-Bold,
46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	346 ItalicFont = *-Italic,
46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	347 BoldItalicFont = *-BoldItalic,
46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	348 SlantedFont = *-Italic,
46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	349 ]
46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	350 \@mdf@augment@ibmplexmonotrue
46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	351 \fi
46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	352
771 741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	353 \defaultfontfeatures{}
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	354
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	355 \if@mdf@mono@dejavusansmono
792 0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	356 \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	357 % automatically applied with Scale=MatchLowercase,...
792 0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	358 \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	359 \newunicodechar{⎇}{{\DejaVuSansCondensed ⎇}}% U+2387
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	360 \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	361
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	362 \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	363 \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	364 \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	365 \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	366 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	367 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	368 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	369 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	370 ]
792 0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	371 \newfontfamily\DejaVuSansCondensed{DejaVu Sans Condensed}[%
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	372 UprightFont = *,
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	373 BoldFont = * Bold,
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	374 ItalicFont = * Oblique,
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	375 BoldItalicFont = * Bold Oblique,
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	376 ]
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	377 \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	378 \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	379 \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	380 \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	381 \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	382 \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	383 \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	384 \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	385 \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	386 \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	387 \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	388 \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	389 \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	390 \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	391 \newunicodechar{≥}{{\DejaVuSansMono ≥}}% U+2265
792 0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	392 \newunicodechar{≙}{{\DejaVuSansMono ≙}}% U+2259
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	393 \newunicodechar{↪}{{\DejaVuSansMono ↪}}% U+21AA
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	394 \newunicodechar{↩}{{\DejaVuSansMono ↩}}% U+21A9
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	395 \newunicodechar{⇧}{{\DejaVuSansMono ⇧}}% U+21E7
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	396 \newunicodechar{⌃}{{\DejaVuSansMono ⌃}}% U+2303
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	397 \newunicodechar{⎈}{{\DejaVuSansMono ⎈}}% U+2388
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	398 \newunicodechar{⌥}{{\DejaVuSansMono ⌥}}% U+2325
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	399 \newunicodechar{⎇}{{\DejaVuSansCondensed ⎇}}% U+2387
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	400 \newunicodechar{⌘}{{\DejaVuSansMono ⌘}}% U+2318
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	401 \newunicodechar{⏏}{{\DejaVuSansMono ⏏}}% U+23CF
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	402 \newunicodechar{⌫}{{\DejaVuSansMono ⌫}}% U+232B
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	403 \newunicodechar{⌦}{{\DejaVuSansMono ⌦}}% U+2326
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	404 \newunicodechar{⇥}{{\DejaVuSansMono ⇥}}% U+21E5
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	405 \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	406 \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	407 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	408 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	409 {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	410 \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	411
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	412 \if@mdf@mono@sscode
771 741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	413 \RequirePackage{newunicodechar}
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	414 \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	415 \setmonofont{Source Code Pro}[
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	416 UprightFont = *,
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	417 BoldFont = * Bold,
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	418 ItalicFont = * Italic,
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	419 BoldItalicFont = * Bold Italic,
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	420 ]
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	421 \newfontfamily\DejaVuSansMono{DejaVu Sans Mono}[%
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	422 UprightFont = *,
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	423 BoldFont = * Bold,
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	424 ItalicFont = * Oblique,
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	425 BoldItalicFont = * Bold Oblique,
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	426 ]
792 0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	427 \newfontfamily\DejaVuSansCondensed{DejaVu Sans Condensed}[%
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	428 UprightFont = *,
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	429 BoldFont = * Bold,
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	430 ItalicFont = * Oblique,
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	431 BoldItalicFont = * Bold Oblique,
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	432 ]
771 741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	433 \newunicodechar{∶}{{\DejaVuSansMono ∶}}% U+2236
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	434 \newunicodechar{⟵}{{\DejaVuSansMono ⟵}}% U+27F5
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	435 \newunicodechar{⟶}{{\DejaVuSansMono ⟶}}% U+27F6
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	436 \newunicodechar{⟷}{{\DejaVuSansMono ⟷}}% U+27F7
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	437 \newunicodechar{⇒}{{\DejaVuSansMono ⇒}}% U+21D2
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	438 \newunicodechar{⇔}{{\DejaVuSansMono ⇔}}% U+21D4
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	439 \newunicodechar{≟}{{\DejaVuSansMono ≟}}% U+225F
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	440 \newunicodechar{∈}{{\DejaVuSansMono ∈}}% U+2208
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	441 \newunicodechar{∌}{{\DejaVuSansMono ∌}}% U+220C
792 0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	442 \newunicodechar{≙}{{\DejaVuSansMono ≙}}% U+2259
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	443 \newunicodechar{␣}{{\DejaVuSansMono ␣}}% U+2423
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	444 \newunicodechar{↪}{{\DejaVuSansMono ↪}}% U+21AA
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	445 \newunicodechar{↩}{{\DejaVuSansMono ↩}}% U+21A9
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	446 \newunicodechar{⇧}{{\DejaVuSansMono ⇧}}% U+21E7
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	447 \newunicodechar{⌃}{{\DejaVuSansMono ⌃}}% U+2303
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	448 \newunicodechar{⎈}{{\DejaVuSansMono ⎈}}% U+2388
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	449 \newunicodechar{⌥}{{\DejaVuSansMono ⌥}}% U+2325
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	450 \newunicodechar{⎇}{{\DejaVuSansCondensed ⎇}}% U+2387
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	451 \newunicodechar{⌘}{{\DejaVuSansMono ⌘}}% U+2318
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	452 \newunicodechar{⏏}{{\DejaVuSansMono ⏏}}% U+23CF
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	453 \newunicodechar{⌫}{{\DejaVuSansMono ⌫}}% U+232B
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	454 \newunicodechar{⌦}{{\DejaVuSansMono ⌦}}% U+2326
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	455 \newunicodechar{⇥}{{\DejaVuSansMono ⇥}}% U+21E5
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	456 \newunicodechar{⇤}{{\DejaVuSansMono ⇤}}% U+21E4
771 741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	457 \PassOptionsToPackage{%
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	458 verbatimvisiblespace={\textcolor{red}{{\DejaVuSansMono^^^^2423}}},%
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	459 verbatimcontinued={\textcolor{red}{{\DejaVuSansMono^^^^21aa}}}}%
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	460 {sphinx}
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	461 \fi
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	462
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	463 \if@mdf@mono@inconsolata
771 741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	464 \RequirePackage{newunicodechar}
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	465 \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	466 \setmonofont{Inconsolata LGC Nerd Font Mono}[%
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	467 UprightFont = *,
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	468 BoldFont = * Bold,
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	469 ItalicFont = * Italic,
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	470 BoldItalicFont = * Bold Italic,
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	471 ]
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	472 \newfontfamily\DejaVuSansMono{DejaVu Sans Mono}[%
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	473 UprightFont = *,
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	474 BoldFont = * Bold,
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	475 ItalicFont = * Oblique,
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	476 BoldItalicFont = * Bold Oblique,
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	477 ]
792 0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	478 \newfontfamily\DejaVuSansCondensed{DejaVu Sans Condensed}[%
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	479 UprightFont = *,
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	480 BoldFont = * Bold,
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	481 ItalicFont = * Oblique,
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	482 BoldItalicFont = * Bold Oblique,
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	483 ]
771 741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	484 \newunicodechar{∶}{{\DejaVuSansMono ∶}}% U+2236
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	485 \newunicodechar{⟵}{{\DejaVuSansMono ⟵}}% U+27F5
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	486 \newunicodechar{⟶}{{\DejaVuSansMono ⟶}}% U+27F6
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	487 \newunicodechar{⟷}{{\DejaVuSansMono ⟷}}% U+27F7
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	488 \newunicodechar{≟}{{\DejaVuSansMono ≟}}% U+225F
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	489 \newunicodechar{∈}{{\DejaVuSansMono ∈}}% U+2208
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	490 \newunicodechar{∌}{{\DejaVuSansMono ∌}}% U+220C
792 0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	491 \newunicodechar{≙}{{\DejaVuSansMono ≙}}% U+2259
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	492 \newunicodechar{↪}{{\DejaVuSansMono ↪}}% U+21AA
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	493 \newunicodechar{↩}{{\DejaVuSansMono ↩}}% U+21A9
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	494 \newunicodechar{⇧}{{\DejaVuSansMono ⇧}}% U+21E7
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	495 \newunicodechar{⌃}{{\DejaVuSansMono ⌃}}% U+2303
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	496 \newunicodechar{⎈}{{\DejaVuSansMono ⎈}}% U+2388
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	497 \newunicodechar{⌥}{{\DejaVuSansMono ⌥}}% U+2325
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	498 \newunicodechar{⎇}{{\DejaVuSansCondensed ⎇}}% U+2387
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	499 \newunicodechar{⌘}{{\DejaVuSansMono ⌘}}% U+2318
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	500 \newunicodechar{⏏}{{\DejaVuSansMono ⏏}}% U+23CF
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	501 \newunicodechar{⌫}{{\DejaVuSansMono ⌫}}% U+232B
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	502 \newunicodechar{⌦}{{\DejaVuSansMono ⌦}}% U+2326
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	503 \newunicodechar{⇥}{{\DejaVuSansMono ⇥}}% U+21E5
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	504 \newunicodechar{⇤}{{\DejaVuSansMono ⇤}}% U+21E4
771 741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	505 \fi
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	506
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	507 \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	508 \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	509 \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	510 \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	511 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	512 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	513 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	514 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	515 ]
48deafc1fd2f 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 \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	517 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	518 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	519 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	520 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	521 ]
792 0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	522 \newfontfamily\DejaVuSansCondensed{DejaVu Sans Condensed}[%
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	523 UprightFont = *,
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	524 BoldFont = * Bold,
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	525 ItalicFont = * Oblique,
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	526 BoldItalicFont = * Bold Oblique,
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	527 ]
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	528 \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	529 \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	530 \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	531 \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	532 \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	533 \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	534 \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	535 \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	536 \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	537 \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	538 \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	539 \newunicodechar{∌}{{\DejaVuSansMono ∌}}% U+220C
792 0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	540 \newunicodechar{≙}{{\DejaVuSansMono ≙}}% U+2259
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	541 \newunicodechar{␣}{{\DejaVuSansMono ␣}}% U+2423
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	542 \newunicodechar{↪}{{\DejaVuSansMono ↪}}% U+21AA
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	543 \newunicodechar{↩}{{\DejaVuSansMono ↩}}% U+21A9
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	544 \newunicodechar{⇧}{{\DejaVuSansMono ⇧}}% U+21E7
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	545 \newunicodechar{⌃}{{\DejaVuSansMono ⌃}}% U+2303
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	546 \newunicodechar{⎈}{{\DejaVuSansMono ⎈}}% U+2388
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	547 \newunicodechar{⌥}{{\DejaVuSansMono ⌥}}% U+2325
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	548 \newunicodechar{⎇}{{\DejaVuSansCondensed ⎇}}% U+2387
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	549 \newunicodechar{⌘}{{\DejaVuSansMono ⌘}}% U+2318
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	550 \newunicodechar{⏏}{{\DejaVuSansMono ⏏}}% U+23CF
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	551 \newunicodechar{⌫}{{\DejaVuSansMono ⌫}}% U+232B
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	552 \newunicodechar{⌦}{{\DejaVuSansMono ⌦}}% U+2326
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	553 \newunicodechar{⇥}{{\DejaVuSansMono ⇥}}% U+21E5
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	554 \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	555 \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	556 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	557 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	558 {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	559 \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	560
793 46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	561 \if@mdf@mono@hackmono
46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	562 \defaultfontfeatures{Ligatures=TeX,Numbers={Lining,Tabular},Scale=MatchLowercase}
46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	563 \RequirePackage{newunicodechar}
46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	564 \setmonofont{Hack}
46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	565 \newfontfamily\DejaVuSansMono{DejaVu Sans Mono}[%
46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	566 UprightFont = *,
46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	567 BoldFont = * Bold,
46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	568 ItalicFont = * Oblique,
46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	569 BoldItalicFont = * Bold Oblique,
46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	570 Scale=MatchLowercase,
46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	571 Ligatures=TeX,
46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	572 ]
46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	573 \newfontfamily\DejaVuSansCondensed{DejaVu Sans Condensed}[%
46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	574 UprightFont = *,
46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	575 BoldFont = * Bold,
46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	576 ItalicFont = * Oblique,
46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	577 BoldItalicFont = * Bold Oblique,
46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	578 Scale=MatchLowercase,
46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	579 Ligatures=TeX,
46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	580 ]
46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	581 \newunicodechar{␣}{{\DejaVuSansMono ␣}}% U+2423
46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	582 \newunicodechar{⌃}{{\DejaVuSansMono ⌃}}% U+2303
46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	583 \newunicodechar{⎈}{{\DejaVuSansMono ⎈}}% U+2388
46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	584 \newunicodechar{⌥}{{\DejaVuSansMono ⌥}}% U+2325
46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	585 \newunicodechar{⎇}{{\DejaVuSansCondensed ⎇}}% U+2387
46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	586 \newunicodechar{⌘}{{\DejaVuSansMono ⌘}}% U+2318
46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	587 \newunicodechar{⏏}{{\DejaVuSansMono ⏏}}% U+23CF
46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	588 \newunicodechar{⌫}{{\DejaVuSansMono ⌫}}% U+232B
46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	589 \newunicodechar{⌦}{{\DejaVuSansMono ⌦}}% U+2326
46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	590 \PassOptionsToPackage{%
46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	591 verbatimvisiblespace={\textcolor{red}{{\DejaVuSansMono^^^^2423}}},%
46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	592 verbatimcontinued={\textcolor{red}{{\DejaVuSansMono^^^^21aa}}}}%
46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	593 {sphinx}
46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	594 \fi
46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	595
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	596 \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	597 % 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	598 \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	599 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	600 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	601 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	602 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	603 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	604 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	605 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	606 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	607 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	608 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	609 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	610 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	611 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	612 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	613 ]
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	614 \@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	615 \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	616
793 46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	617 \if@mdf@augment@ibmplexmono
46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	618 \RequirePackage{newunicodechar}
46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	619 \newfontfamily\DejaVuSansMono{DejaVu Sans Mono}[%
46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	620 UprightFont = *,
46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	621 BoldFont = * Bold,
46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	622 ItalicFont = * Oblique,
46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	623 BoldItalicFont = * Bold Oblique,
46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	624 Scale=MatchLowercase,
46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	625 Ligatures=TeX,
46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	626 ]
46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	627 \newfontfamily\DejaVuSansCondensed{DejaVu Sans Condensed}[%
46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	628 UprightFont = *,
46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	629 BoldFont = * Bold,
46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	630 ItalicFont = * Oblique,
46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	631 BoldItalicFont = * Bold Oblique,
46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	632 Scale=MatchLowercase,
46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	633 Ligatures=TeX,
46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	634 ]
46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	635 \newunicodechar{▷}{{\DejaVuSansMono ▷}}% U+25B7
46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	636 \newunicodechar{∶}{{\DejaVuSansMono ∶}}% U+2236
46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	637 \newunicodechar{◆}{{\DejaVuSansMono ◆}}% U+25C6
46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	638 \newunicodechar{▪}{{\DejaVuSansMono ▪}}% U+25AA
46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	639 \newunicodechar{⟵}{{\DejaVuSansMono ⟵}}% U+27F5
46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	640 \newunicodechar{⟶}{{\DejaVuSansMono ⟶}}% U+27F6
46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	641 \newunicodechar{⟷}{{\DejaVuSansMono ⟷}}% U+27F7
46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	642 \newunicodechar{⇒}{{\DejaVuSansMono ⇒}}% U+21D2
46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	643 \newunicodechar{⇔}{{\DejaVuSansMono ⇔}}% U+21D4
46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	644 \newunicodechar{≟}{{\DejaVuSansMono ≟}}% U+225F
46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	645 \newunicodechar{∈}{{\DejaVuSansMono ∈}}% U+2208
46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	646 \newunicodechar{∌}{{\DejaVuSansMono ∌}}% U+220C
46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	647 \newunicodechar{≙}{{\DejaVuSansMono ≙}}% U+2259
46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	648 \newunicodechar{␣}{{\DejaVuSansMono ␣}}% U+2423
46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	649 \newunicodechar{⇧}{{\DejaVuSansMono ⇧}}% U+21E7
46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	650 \newunicodechar{⌃}{{\DejaVuSansMono ⌃}}% U+2303
46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	651 \newunicodechar{⎈}{{\DejaVuSansMono ⎈}}% U+2388
46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	652 \newunicodechar{⌥}{{\DejaVuSansMono ⌥}}% U+2325
46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	653 \newunicodechar{⎇}{{\DejaVuSansCondensed ⎇}}% U+2387
46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	654 \newunicodechar{⌘}{{\DejaVuSansMono ⌘}}% U+2318
46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	655 \newunicodechar{⏏}{{\DejaVuSansMono ⏏}}% U+23CF
46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	656 \newunicodechar{⌫}{{\DejaVuSansMono ⌫}}% U+232B
46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	657 \newunicodechar{⌦}{{\DejaVuSansMono ⌦}}% U+2326
46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	658 \newunicodechar{⇥}{{\DejaVuSansMono ⇥}}% U+21E5
46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	659 \newunicodechar{⇤}{{\DejaVuSansMono ⇤}}% U+21E4
46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	660 %\newunicodechar{^^^^2423}{{\DejaVuSansMono^^^^2423}}% U+2423
46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	661 %\newunicodechar{␣}{\textvisiblespace}% U+2423
46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	662 %\catcode`^^^^2423\active\protected\def^^^^2423{\textvisiblespace}
46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	663
46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	664 \PassOptionsToPackage{%
46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	665 verbatimvisiblespace={\textcolor{red}{{\DejaVuSansMono^^^^2423}}},%
46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	666 verbatimcontinued={\textcolor{red}{{\DejaVuSansMono^^^^21aa}}}}%
46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	667 {sphinx}
46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	668 \fi
46578f03a7cb Update to latest my-doc-XXX.sty style files for PDF generation Franz Glasner <fzglas.hg@dom66.de> parents: 792 diff changeset	669
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	670 \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	671 \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	672 \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	673 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	674 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	675 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	676 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	677 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	678 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	679 ]
792 0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	680 \newfontfamily\DejaVuSansCondensed{DejaVu Sans Condensed}[%
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	681 UprightFont = *,
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	682 BoldFont = * Bold,
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	683 ItalicFont = * Oblique,
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	684 BoldItalicFont = * Bold Oblique,
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	685 Scale=MatchLowercase,
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	686 Ligatures=TeX,
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	687 ]
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	688 \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	689 \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	690 \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	691 \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	692 \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	693 \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	694 \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	695 \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	696 \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	697 \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	698 \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	699 \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	700 \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	701 \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	702 \newunicodechar{≥}{{\DejaVuSansMono ≥}}% U+2265
792 0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	703 \newunicodechar{≙}{{\DejaVuSansMono ≙}}% U+2259
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	704 \newunicodechar{␣}{{\DejaVuSansMono ␣}}% U+2423
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	705 \newunicodechar{↪}{{\DejaVuSansMono ↪}}% U+21AA
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	706 \newunicodechar{↩}{{\DejaVuSansMono ↩}}% U+21A9
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	707 \newunicodechar{⇧}{{\DejaVuSansMono ⇧}}% U+21E7
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	708 \newunicodechar{⌃}{{\DejaVuSansMono ⌃}}% U+2303
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	709 \newunicodechar{⎈}{{\DejaVuSansMono ⎈}}% U+2388
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	710 \newunicodechar{⌥}{{\DejaVuSansMono ⌥}}% U+2325
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	711 \newunicodechar{⎇}{{\DejaVuSansCondensed ⎇}}% U+2387
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	712 \newunicodechar{⌘}{{\DejaVuSansMono ⌘}}% U+2318
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	713 \newunicodechar{⏏}{{\DejaVuSansMono ⏏}}% U+23CF
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	714 \newunicodechar{⌫}{{\DejaVuSansMono ⌫}}% U+232B
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	715 \newunicodechar{⌦}{{\DejaVuSansMono ⌦}}% U+2326
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	716 \newunicodechar{⇥}{{\DejaVuSansMono ⇥}}% U+21E5
0b83218218e2 Upgrade to my-fonts.sty v0.5 Franz Glasner <fzglas.hg@dom66.de> parents: 776 diff changeset	717 \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	718 %\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	719 %\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	720 %\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	721
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	722 \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	723 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	724 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	725 {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	726 \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	727
771 741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	728 \defaultfontfeatures{}
741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	729
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	730 \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	731 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	732 }
48deafc1fd2f Use the new implementations of my-doc-fonts.sty and my-doc-style.sty. Franz Glasner <fzglas.hg@dom66.de> parents: 771 diff changeset	733
771 741ebfe77e55 Build the PDF documentation with lualatex now. Franz Glasner <fzglas.hg@dom66.de> parents: diff changeset	734 \endinput

Mercurial > hgrepos > Python > libs > ConfigMix

annotate docs/_latex/my-doc-fonts.sty @ 793:46578f03a7cb default tip