Docs: Add favicon

2025-12-03 19:47:52 +01:00
parent cd80fd0ed5
commit fd75f8c30e
1 changed files with 1 additions and 0 deletions
@@ -47,6 +47,7 @@ html_theme_options = {
 }

 html_logo = 'jfjoch.png'
+html_favicon = 'jfjoch.png'

 html_sidebars = {
    "**": ["logo-text.html", "globaltoc.html", "searchbox.html"]