Fabian Boehm 02e11773ad docs/css: Make h4s visible ...

Otherwise this just looks like normal text. Same size as h3 for now,
we might want to think about another indicator - underlines?
background color?

2022-12-07 21:47:00 +01:00

..

static

docs/css: Make h4s visible

2022-12-07 21:47:00 +01: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