docs: configure logo and favicon

Safe-DS · Mar 4, 2023 · 1aede1e · 1aede1e
1 parent 1bc91f5
commit 1aede1e
Show file tree

Hide file tree

Showing 3 changed files with 50 additions and 0 deletions.
diff --git a/docs/assets/favicon.svg b/docs/assets/favicon.svg
diff --git a/docs/assets/logo.svg b/docs/assets/logo.svg
diff --git a/mkdocs.yml b/mkdocs.yml
@@ -11,6 +11,8 @@ nav:
 
 theme:
   name: material
+  logo: assets/logo.svg
+  favicon: assets/favicon.svg
   palette:
     # Palette toggle for light mode
     - scheme: default