# HG changeset patch
# User Franz Glasner <fzglas.hg@dom66.de>
# Date 1778504899 -7200
# Node ID 551c3421bccb914c8cd55522e824e1b5ed95bf1a
# Parent  ad80fcbf7b4743c1a9c9c63c9e75a012a91ee04d
Scale IBM Plex to 0.92 by default

diff -r ad80fcbf7b47 -r 551c3421bccb docs/conf.py
--- a/docs/conf.py	Mon May 11 14:49:52 2026 +0200
+++ b/docs/conf.py	Mon May 11 15:08:19 2026 +0200
@@ -134,7 +134,7 @@
 latex_elements = {
     "papersize": "a4paper",
     "babel": r"\usepackage{babel}",
-    "fontpkg": r"\usepackage{plex-otf}",
+    "fontpkg": r"\usepackage[DefaultFeatures={Scale=0.92}]{plex-otf}",
     "releasename": "Version",
 }
 latex_theme = "manual"