# HG changeset patch
# User Franz Glasner <fzglas.hg@dom66.de>
# Date 1778074743 -7200
# Node ID a3ed7d8231d78ff8f912e6420d70c39ba0f22fad
# Parent  ef68b3769be5f6dbefb1048d8629e219774e792b
Comment

diff -r ef68b3769be5 -r a3ed7d8231d7 docs/conf.py
--- 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))