add favicon

rodekruis · Aug 27, 2024 · 52b1a27 · 52b1a27
1 parent 5c17229
commit 52b1a27
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 0 deletions.
diff --git a/docs/assets/img/favicon.ico b/docs/assets/img/favicon.ico
diff --git a/mkdocs.yml b/mkdocs.yml
@@ -30,6 +30,7 @@ theme:
     palette:
       primary: custom
     logo: assets/img/510Logo.png
+    favicon: /assets/img/favicon.ico
     features:
       - navigation.top
       - navigation.instant