Marco Ricci commited on 2024-07-14 16:10:32 Zeige 1 geänderte Dateien mit 0 Einfügungen und 1 Löschungen.
The file itself was already removed in cedd14e7792ab8b3a7cc1bfe0b2d5e280695cd40.
@@ -10,7 +10,6 @@ docs_dir: docs
site_dir: html
extra_css:
- mkdocstrings_recommended_styles.css
- - default_fonts_only.css
theme:
name: "material"