From 917252a5a19bf0734c478248e3f561e8799a7553 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?L=C3=A9o?= <44068562+Leikoe@users.noreply.github.com>
Date: Wed, 30 Oct 2024 21:54:13 +0100
Subject: [PATCH] Add favicon to docs (#1545)

* add sphinx's html_favicon config

* removed unneeded newline

* ran pre-commit hooks
---
 docs/src/conf.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/docs/src/conf.py b/docs/src/conf.py
index 411329f7f..abc68c3a2 100644
--- 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 ---------------------------------------------