Adding favicon to documentation

Author: erikvansebille

docs/conf.py

@@ -64,6 +64,11 @@
     ]
 }
 
+# The name of an image file (within the static path) to use as favicon of the
+# docs.  This file should be a Windows icon file (.ico) being 16x16 or 32x32
+# pixels large.
+html_favicon = "favicon.ico"
+
 extensions = [
     'sphinx.ext.autodoc',
     'sphinx.ext.todo',