Add favicon to sphinx config

diff --git a/website/sphinx/conf.py b/website/sphinx/conf.py
index 443ce8b46e768198cc4a023518043ad93da873dd..df23bed9b762e994e43665876e4b7f936c452e76 100644 (file)
--- a/website/sphinx/conf.py
+++ b/website/sphinx/conf.py
@@ -80,6 +80,7 @@ html_theme_options = dict(
     headfont="Calibri, sans-serif",
     stickysidebar=True,
     )
+html_favicon = 'favicon.ico'
 
 latex_documents = [
     ('index', 'tornado.tex', 'Tornado Documentation', 'Facebook', 'manual', False),

diff --git a/website/sphinx/favicon.ico b/website/sphinx/favicon.ico
new file mode 100644 (file)
index 0000000..c9cc4d6
Binary files /dev/null and b/website/sphinx/favicon.ico differ