From 18965d6315236e2a3e381ce8789638000661d40a Mon Sep 17 00:00:00 2001 From: Pradyun Gedam Date: Wed, 24 Jul 2024 01:09:24 +0100 Subject: [PATCH] Remove the explicit setting of a pygments theme (#17571) 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 = []