From: Ben Darnell <ben@bendarnell.com>
Date: Sun, 10 Mar 2013 19:58:05 +0000 (-0400)
Subject: Add favicon to sphinx config
X-Git-Tag: v3.0.0~44^2
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=7ce64842369344d7a84e994f20c51142a31ecbfc;p=thirdparty%2Ftornado.git

Add favicon to sphinx config
---

diff --git a/website/sphinx/conf.py b/website/sphinx/conf.py
index 443ce8b46..df23bed9b 100644
--- 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
index 000000000..c9cc4d6aa
Binary files /dev/null and b/website/sphinx/favicon.ico differ