From 0b238d897c9566f050b9c441c13282eae922bedf Mon Sep 17 00:00:00 2001 From: Takeshi KOMIYA Date: Sat, 11 Dec 2021 11:31:19 +0900 Subject: [PATCH] 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 https://github.com/pygments/pygments/pull/1940. --- doc/_themes/sphinx13/theme.conf | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/_themes/sphinx13/theme.conf b/doc/_themes/sphinx13/theme.conf index 876b19803fb..19a480a6b36 100644 --- 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