diff docs/_templates/_DUMMY @ 197:ab2b79c36301

Use "Source Serif/Sans/Code" as default now in PDFs
author Franz Glasner <fzglas.hg@dom66.de>
date Wed, 13 May 2026 12:30:05 +0200
parents fe7fe4caf978
children
line wrap: on
line diff