favicon

osyris-project · Jun 13, 2020 · cd47555 · cd47555
1 parent b6adf95
commit cd47555
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git a/docs/conf.py b/docs/conf.py
@@ -64,6 +64,8 @@
 }
 
 html_logo = "images/logo_osyris.png"
+html_favicon = "images/favicon.ico"
+
 
 # Add any paths that contain custom static files (such as style sheets) here,
 # relative to this directory. They are copied after the builtin static files,

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