comparison 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
comparison
equal deleted inserted replaced
142:5df4403f9e18 143:6da3b9dd4294
63 63
64 #html_theme = 'alabaster' 64 #html_theme = 'alabaster'
65 html_theme = 'haiku' 65 html_theme = 'haiku'
66 html_title = 'The %s v%s' % (project, release) 66 html_title = 'The %s v%s' % (project, release)
67 html_short_title = html_title 67 html_short_title = html_title
68 pygments_style = "sphinx" 68 #pygments_style = "sphinx"
69 #pygments_style = "default" 69 pygments_style = "default"
70 70
71 71
72 def setup(app): 72 def setup(app):
73 # 73 #
74 # Add a custom lexer: AlgPseudocodeLexer with custom init option "no_end" 74 # Add a custom lexer: AlgPseudocodeLexer with custom init option "no_end"