name change

This commit is contained in:
2025-01-27 14:24:00 +01:00
parent 5a9e7cdc2e
commit 4593718352
2 changed files with 1 additions and 1 deletions

View File

@@ -3,4 +3,4 @@ site_url: https://pages.gitlab.io/mkdocs
site_dir: public
theme:
name: ivory
extra_css: [style.css]
extra_css: [extra.css]