Fix favicon.

crocs-muni · Oct 30, 2024 · f4c3b88 · f4c3b88
1 parent 2f7f89c
commit f4c3b88
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 1 deletion.
diff --git a/docs/_static/favicon.png b/docs/_static/favicon.png
diff --git a/docs/conf.py b/docs/conf.py
@@ -61,7 +61,7 @@
 html_static_path = ["_static"]
 
 html_logo = "_static/logo.png"
-html_favicon = "_static/logo_badge.png"
+html_favicon = "_static/favicon.png"
 
 html_theme_options = {
     "repository_url": "https://github.com/crocs-muni/sec-certs",