docs: add favicon to pages

doc/source/conf.py

@@ -125,6 +125,9 @@ if not on_rtd:  # only import and set the theme if we're building docs locally
 #html_sidebars = { '**': ['navigation.html', 'relations.html', 'searchbox.html'] }
 #html_last_updated_fmt = None
 
+# Add a favicon to doc pages
+html_favicon = '_static/favicon.ico'
+
 # -- Options for HTMLHelp output ------------------------------------------
 
 # Output file base name for HTML help builder.