# HG changeset patch
# User Franz Glasner <fzglas.hg@dom66.de>
# Date 1778146023 -7200
# Node ID 6da3b9dd42945c578416f4ef3ae6591930502ac0
# Parent  5df4403f9e186f396f51f3c0485b10378957123b
FIX: Do not use the default pygments style "sphinx"; was submitted erroneously

diff -r 5df4403f9e18 -r 6da3b9dd4294 docs/conf.py
--- a/docs/conf.py	Thu May 07 11:21:18 2026 +0200
+++ b/docs/conf.py	Thu May 07 11:27:03 2026 +0200
@@ -65,8 +65,8 @@
 html_theme = 'haiku'
 html_title = 'The %s v%s' % (project, release)
 html_short_title = html_title
-pygments_style = "sphinx"
-#pygments_style = "default"
+#pygments_style = "sphinx"
+pygments_style = "default"
 
 
 def setup(app):