diff --git a/docs/conf.py b/docs/conf.py index 0fe577ad5..d34318100 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -129,7 +129,7 @@ html_theme_path = [sphinx_rtd_theme.get_html_theme_path()] # 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 = None +html_favicon = "resources/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/resources/favicon.ico b/docs/resources/favicon.ico new file mode 100644 index 000000000..78eef9ae3 Binary files /dev/null and b/docs/resources/favicon.ico differ