Better pygments style

sagemath · Aug 1, 2022 · ebd3b77 · ebd3b77
1 parent e5b1f7e
commit ebd3b77
Showing 1 changed file with 2 additions and 3 deletions.
diff --git a/src/sage_docbuild/conf.py b/src/sage_docbuild/conf.py
@@ -260,7 +260,7 @@ def set_intersphinx_mappings(app, config):
 
     # The name of the Pygments (syntax highlighting) style to use. This
     # overrides a HTML theme's corresponding setting.
-    pygments_style = "sphinx"
+    pygments_style = "tango"
     pygments_dark_style = "monokai"
 
     # These paths are either relative to html_static_path
@@ -281,8 +281,7 @@ def set_intersphinx_mappings(app, config):
 
     html_theme_options = {}
 
-# HTML style sheet NOTE: This overrides a HTML theme's corresponding
-# setting.
+# HTML style sheet. This overrides a HTML theme's corresponding setting.
 #html_style = 'default.css'
 
 # The name for this set of Sphinx documents.  If None, it defaults to