Invent beautiful logo and use it as doc favicon

2018-03-14 19:09:00 +01:00
parent 861d7b92f1
commit e77c998a94
4 changed files with 117 additions and 2 deletions
--- a/docs/conf.py
+++ b/docs/conf.py
@@ -165,7 +165,7 @@ html_theme_options = {
 # the docs.  This file should be a Windows icon file (.ico) being 16x16 or 32x32
 # pixels large.
 #
-# html_favicon = None
+html_favicon = "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,