|
|
@ -128,7 +128,7 @@ html_theme_path = ["."]
|
|
|
|
# The name of an image file (within the static path) to use as favicon of the
|
|
|
|
# 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
|
|
|
|
# docs. This file should be a Windows icon file (.ico) being 16x16 or 32x32
|
|
|
|
# pixels large.
|
|
|
|
# pixels large.
|
|
|
|
#html_favicon = None
|
|
|
|
html_favicon = "favicon.ico"
|
|
|
|
|
|
|
|
|
|
|
|
# Add any paths that contain custom static files (such as style sheets) here,
|
|
|
|
# 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,
|
|
|
|
# relative to this directory. They are copied after the builtin static files,
|
|
|
|