From c0b1eefb735768699c49842ae906e673988c31bb Mon Sep 17 00:00:00 2001
From: joelostblom <joel.ostblom@gmail.com>
Date: Tue, 12 Jun 2018 09:51:23 -0400
Subject: [PATCH] Add favicon to doc pages

---
 doc/source/_static/favicon.ico | Bin 0 -> 3902 bytes
 doc/source/conf.py             |  10 +++++-----
 2 files changed, 5 insertions(+), 5 deletions(-)
 create mode 100644 doc/source/_static/favicon.ico

diff --git a/doc/source/_static/favicon.ico b/doc/source/_static/favicon.ico
new file mode 100644
index 0000000000000000000000000000000000000000..d15c4803b62e6dd2f706a5ebe1861fe438f5d98f
GIT binary patch
literal 3902
zcmeH}Jxg3c6oyApR`3f%m!K?eBQf?Wh`|)vXg~{V3qO)NRjPnkB%oMmVIkVur4U3B
z#Si=g5-b(;7x+=Fpl+U5MjU7FF1y@&!D455cJ4W6_PpoLoteAFRPafq4c}?g*=S7C
z7}E(U_yY2)%{CZwVtICy@U```-9QrNV8OCTKMEyeDt@T)LKoaZ)?u0J;uDoHQhDJM
zT!X8*q*xqHd7-Qs!{ollxuvE`j|$ZprWLqP?a?9Fg&oT_eK&-W)SAt=ZgoCPgS&rp
z{Z+pS)AV}?+AGqW1XuG3dl&*G<u3u9LwDfj*W6BdKE+2MU+!^YYp`lrq3?hnux@>d
z|AG%N0W+5G^u6#AzFD7Qn(GuO?&kQ7-3Y4Ft@{ys01iF>8Fn4yt3AlS>E*b>ZiRWz
zpTYhNd!GLk`&l#aA$d;5s)oN_jtlIvW_fPC)e>yJ!!`7WnjYZZqI0Gn_QBn^QSOzr
z)sT+pgC;nDxHN;#k1F*1b11U=^j82{s-Ze2&2#d$#;n<c#u(^-xB5Y-iCHt~x%rYW
zV?xhuPT~R%?md#{SwJEu<Y*pq?e3L-*!7A>-K?he$_D5it9RZdY(XtVE&1|1)i*;M
m=p8FsAoPD$6`Va9$mGWmd*#gyCLW9_f*Z!XlFi&C-tr%v>Bf=(

literal 0
HcmV?d00001

diff --git a/doc/source/conf.py b/doc/source/conf.py
index 5534700f0734a..29f947e1144ea 100644
--- a/doc/source/conf.py
+++ b/doc/source/conf.py
@@ -213,16 +213,16 @@
 # of the sidebar.
 # html_logo = None
 
-# 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
-# pixels large.
-# html_favicon = None
-
 # 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,
 # so a file named "default.css" will overwrite the builtin "default.css".
 html_static_path = ['_static']
 
+# 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
+# pixels large.
+html_favicon = os.path.join(html_static_path[0], 'favicon.ico')
+
 # If not '', a 'Last updated on:' timestamp is inserted at every page bottom,
 # using the given strftime format.
 # html_last_updated_fmt = '%b %d, %Y'