Add favicon (#11806)

JabRef · Sep 23, 2024 · db58f58 · db58f58
1 parent 97e494c
commit db58f58
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git a/docs/_config.yml b/docs/_config.yml
@@ -10,6 +10,8 @@ exclude: [_config.yml, .dockerignore, .gitignore, CNAME, Dockerfile, Gemfile, Ge
 # Browse alternative themes at https://stylishthemes.github.io/Syntax-Themes/pygments/
 highlight_theme: jellybeans
 
+favicon_ico: "/images/favicon.ico"
+
 search_enabled: true
 button: true
 aux_links:

diff --git a/docs/images/favicon.ico b/docs/images/favicon.ico