From 8867a20b3851877a66afb6cd66f3ed92e5085bf9 Mon Sep 17 00:00:00 2001 From: Pradyun Gedam Date: Tue, 23 Jul 2024 17:09:23 +0100 Subject: [PATCH] Remove the explicit setting of a pygments theme This allows the underlying theme being used to provide the pygments theme instead which looks better (subjectively). --- docs/source/conf.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/source/conf.py b/docs/source/conf.py index fa76734054ac..5934c7474536 100644 --- a/docs/source/conf.py +++ b/docs/source/conf.py @@ -92,7 +92,7 @@ # show_authors = False # The name of the Pygments (syntax highlighting) style to use. -pygments_style = "sphinx" +# pygments_style = "sphinx" # A list of ignored prefixes for module index sorting. # modindex_common_prefix = []