Fabian Boehm b48fa1f1a0 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.		2023-08-25 17:13:35 +02:00
..
static	Css refresh (#9982)	2023-08-25 17:13:35 +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	docs: Remove some jquery leftovers	2023-08-24 21:55:57 +02: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