Fix #9108: docs: Use default pygments_theme to get accessiblity

To increse accessiblity of our docs, this changes the pygments_theme of sphinx-docs.org to "default". It was updated to meet WCAG AA in pygments/pygments#1940.
sphinx-doc · Dec 11, 2021 · 0b238d8 · 0b238d8
1 parent c6fc5df
commit 0b238d8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/doc/_themes/sphinx13/theme.conf b/doc/_themes/sphinx13/theme.conf
@@ -1,4 +1,4 @@
 [theme]
 inherit = basic
 stylesheet = sphinx13.css
-pygments_style = trac
+pygments_style = default