Fabian Boehm 651c1d2dc8 Css refresh (#9982) ... This cleans up the CSS, reduces the number of different colors and special settings we use. It increases contrast so we now pass WCAG AAA (according to chromium), and switches to css variables for colors to make dark mode simpler to implement. (cherry picked from commit b48fa1f1a0)		2023-10-06 18:49:55 +02:00
..
static	Css refresh (#9982)	2023-10-06 18:49:55 +02:00
__init__.py	Reformat	2020-11-22 14:39:48 +01:00
globaltoc.html	docs: Fix TOC text and put them in a div	2021-01-27 22:02:35 +01:00
layout.html	Warn the user when visiting old documentation	2022-06-20 17:56:14 -07:00
localtoc.html	docs: Fix TOC text and put them in a div	2021-01-27 22:02:35 +01:00
theme.conf	docs: Add a brief summary of the changes to the theme	2020-10-04 15:09:20 +02:00