3 Commits

Author	SHA1	Message	Date
Adam Turner	9112cfeb8d	Refresh the Sphinx13 theme (#10652)	2022-07-10 22:48:15 +01:00
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
Georg Brandl	20279b07a4	New doc design "sphinx13".	2013-01-18 23:17:11 +01:00