Merge pull request #9958 from tk0miya/9108_accessible_highlights

Fix #9108: docs: Use default pygments_theme to get accessiblity
sphinx-doc · Dec 11, 2021 · f886fc2 · f886fc2
2 parents c6fc5df + 0b238d8
commit f886fc2
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