Change logo to a png so it works in Tor Browser better, and add favicon

This commit is contained in:
Micah Lee 2020-08-25 09:19:30 -07:00
parent 6f787bc4fd
commit 0f396942eb
5 changed files with 4 additions and 2157 deletions

View file

@ -13,7 +13,8 @@ templates_path = ["_templates"]
exclude_patterns = []
html_theme = "sphinx_rtd_theme"
html_logo = "_static/logo.svg"
html_logo = "_static/logo.png"
html_favicon = "_static/favicon.ico"
html_theme_options = {}
html_static_path = ["_static"]
html_css_files = ["custom.css"]