From fd75f8c30e24151c4252cec9cb3bc44b4ec8c1e9 Mon Sep 17 00:00:00 2001
From: Filip Leonarski <filip.leonarski@psi.ch>
Date: Wed, 3 Dec 2025 15:27:21 +0100
Subject: [PATCH] Docs: Add favicon

---
 docs/conf.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/docs/conf.py b/docs/conf.py
index fbceda41..32e94771 100644
--- a/docs/conf.py
+++ b/docs/conf.py
@@ -47,6 +47,7 @@ html_theme_options = {
 }
 
 html_logo = 'jfjoch.png'
+html_favicon = 'jfjoch.png'
 
 html_sidebars = {
     "**": ["logo-text.html", "globaltoc.html", "searchbox.html"]