diff docs/conf.py @ 181:dcbc66f851eb

A style file for (Lua)LaTeX that loads the required fonts. Also defined character substitutions for characters that are not in the wished font.
author Franz Glasner <fzglas.hg@dom66.de>
date Tue, 12 May 2026 14:58:14 +0200
parents 34c6b714c8cd
children b0426a788cf5
line wrap: on
line diff
--- a/docs/conf.py	Tue May 12 13:48:00 2026 +0200
+++ b/docs/conf.py	Tue May 12 14:58:14 2026 +0200
@@ -134,10 +134,7 @@
 latex_elements = {
     "papersize": "a4paper",
     "babel": r"\usepackage{babel}",
-    "fontpkg": r"""
-\usepackage[DefaultFeatures={Scale=0.92},mono=false]{plex-otf}
-\usepackage[mono=true,serif=false,sans=false,math=false]{dejavu-otf}  % all symbols are available
-""",
+    "fontpkg": r"\usepackage[plexmono]{my-doc-fonts}",
     "releasename": "Version",
 }
 latex_theme = "manual"
@@ -147,7 +144,9 @@
 latex_documents = [
     ("index-latex", "PygmentsPseudocodeLexer.tex", "The Pygments Pseudocode Lexer", "Franz Glasner", "manual", True),
 ]
-
+latex_additional_files = [
+    "_latex/my-doc-fonts.sty"
+]    
 
 def setup(app):
     #