diff docs/conf.py @ 143:6da3b9dd4294

FIX: Do not use the default pygments style "sphinx"; was submitted erroneously
author Franz Glasner <fzglas.hg@dom66.de>
date Thu, 07 May 2026 11:27:03 +0200
parents acd9073cbbe3
children b616f9645e37
line wrap: on
line diff
--- 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):