Add favicon to docs (#1545)

* add sphinx's html_favicon config * removed unneeded newline * ran pre-commit hooks
2025-09-05 07:34:42 +08:00 · 2024-10-30 21:54:13 +01:00
parent 1a992e31e8
commit 917252a5a1
1 changed files with 1 additions and 0 deletions
--- a/docs/src/conf.py
+++ b/docs/src/conf.py
@@ -60,6 +60,7 @@ html_theme_options = {
    },
 }

+html_favicon = html_theme_options["logo"]["image_light"]

 # -- Options for HTMLHelp output ---------------------------------------------