Takeshi KOMIYA 0b238d897c 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.

2021-12-11 11:34:51 +09:00

..

static

Strip trailing whitespaces and normalize line endings

2020-10-03 13:47:01 +02:00

layout.html

Fix broken "Extend" link in site header

2021-02-04 22:04:17 +00:00

theme.conf

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

2021-12-11 11:34:51 +09:00