docs: configure logo and favicon

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

Hide file tree

Showing 2 changed files with 33 additions and 0 deletions.
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/logo.svg
   palette:
     # Palette toggle for light mode
     - scheme: default