Matthias 124d300449 Update styles to work with new mkdocs version

2021-03-20 18:46:57 +02:00

..

header.html

Update styles to work with new mkdocs version

2021-03-20 18:46:57 +02:00