add dots favicon

chartes · Dec 12, 2024 · ad8f2be · ad8f2be
1 parent 931aaf9
commit ad8f2be
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 0 deletions.
diff --git a/docs/assets/favicon-dots-circle.drawio.png b/docs/assets/favicon-dots-circle.drawio.png
diff --git a/mkdocs.yml b/mkdocs.yml
@@ -18,6 +18,7 @@ nav:
 theme:
   name: material
   logo: assets/dots-logo-retro.drawio.png
+  favicon: assets/favicon-dots-circle.drawio.png
   custom_dir: docs/overrides
   features:
     - navigation.indexes