|
|
@ -132,7 +132,7 @@ html_theme_path = ["_themes", ]
|
|
|
|
# the docs. This file should be a Windows icon file (.ico) being 16x16 or 32x32
|
|
|
|
# the docs. This file should be a Windows icon file (.ico) being 16x16 or 32x32
|
|
|
|
# pixels large.
|
|
|
|
# pixels large.
|
|
|
|
#
|
|
|
|
#
|
|
|
|
html_favicon = "manual.ico"
|
|
|
|
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,
|
|
|
|