Add a favicon!

4 files changed, 3 insertions, 1 deletions

diff --git a/doc/source/_static/sp.ico b/doc/source/_static/sp.ico
new file mode 100644
index 0000000..9f77eda
--- /dev/null
+++ b/doc/source/_static/sp.ico
diff --git a/doc/source/_static/sp.jpg b/doc/source/_static/sp.jpg
deleted file mode 100644
index 0575ca7..0000000
--- a/doc/source/_static/sp.jpg
+++ /dev/null
diff --git a/doc/source/_static/sp.png b/doc/source/_static/sp.png
new file mode 100644
index 0000000..9412dac
--- /dev/null
+++ b/doc/source/_static/sp.png
diff --git a/doc/source/conf.py b/doc/source/conf.py
index 2ec387d..644af6e 100644
--- a/doc/source/conf.py
+++ b/doc/source/conf.py
@@ -90,6 +90,8 @@ html_theme = 'alabaster'
 # documentation.
 #
 
+html_favicon = './_static/sp.ico'
+
 html_sidebars = {
     '**': [
         'about.html',
@@ -100,7 +102,7 @@ html_sidebars = {
     ]
 }
 html_theme_options = {
-        'logo': './sp.jpg',
+        'logo': './sp.png',
         #'description': '<br>Killing bug-classes in PHP 7, virtual-patching the rest.',
         #'fixed_sidebar': True,
         'page_width': '60%',