changeset 121:a3ed7d8231d7

Comment
author Franz Glasner <fzglas.hg@dom66.de>
date Wed, 06 May 2026 15:39:03 +0200
parents ef68b3769be5
children e39ca08b0609
files docs/conf.py
diffstat 1 files changed, 5 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/docs/conf.py	Wed May 06 15:28:25 2026 +0200
+++ b/docs/conf.py	Wed May 06 15:39:03 2026 +0200
@@ -53,7 +53,7 @@
 # -- Options for HTML output -------------------------------------------------
 # https://www.sphinx-doc.org/en/master/usage/configuration.html#options-for-html-output
 
-html_theme = 'alabaster'
+#html_theme = 'alabaster'
 html_theme = 'haiku'
 html_static_path = ['_static']
 #pygments_style = "sphinx"
@@ -63,7 +63,10 @@
 def setup(app):
     #
     # Add a custom lexer: AlgPseudocodeLexer with custom init option "no_end"
-    # Given lexer must be callable: so use an indirection with "partial"
+    # Given lexer must be callable: so use an indirection with "partial".
+    #
+    # See also:
+    # - https://stackoverflow.com/questions/11413203/sphinx-pygments-lexer-filter-extension
     #
     app.add_lexer("NoEndAlgPseudocode",
                   functools.partial(AlgPseudocodeLexer, no_end=True))