Add favicon.ico

emdgroup · Dec 1, 2023 · a1a41ff · a1a41ff
1 parent 76e7b6c
commit a1a41ff
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 0 deletions.
diff --git a/docs/_static/favicon.ico b/docs/_static/favicon.ico
diff --git a/docs/conf.py b/docs/conf.py
@@ -128,6 +128,7 @@
 # Use the provided html theme
 html_static_path = ["_static"]
 html_css_files = ["custom.css"]
+html_favicon = "_static/favicon.ico"
 # Change the colors. The following colors are used:
 BROWN = "#ffdcb9"
 DARK_BLUE = "#0f69af"