diff options
author | Takeshi KOMIYA <i.tkomiya@gmail.com> | 2021-12-11 05:31:19 +0300 |
---|---|---|
committer | Takeshi KOMIYA <i.tkomiya@gmail.com> | 2021-12-11 05:34:51 +0300 |
commit | 0b238d897c9566f050b9c441c13282eae922bedf (patch) | |
tree | 1cdb6babc7d229d92cf79bd871791ae92b106115 /doc | |
parent | c6fc5dff5334dc04c7858f2752a5e2c22f25eaeb (diff) |
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.
Diffstat (limited to 'doc')
-rw-r--r-- | doc/_themes/sphinx13/theme.conf | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/_themes/sphinx13/theme.conf b/doc/_themes/sphinx13/theme.conf index 876b19803..19a480a6b 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 |