summaryrefslogtreecommitdiff
path: root/doc/source/conf.py
diff options
context:
space:
mode:
authorjvoisin2017-10-02 18:26:04 +0200
committerjvoisin2017-10-02 18:26:15 +0200
commita993fc385871f9654951197caff8305ed646c338 (patch)
tree762401c437281dbbcb73744870a45e16399fac52 /doc/source/conf.py
parent26d6809940b681ef14fc809a583fa7259074c01d (diff)
Add a favicon!
Diffstat (limited to 'doc/source/conf.py')
-rw-r--r--doc/source/conf.py4
1 files changed, 3 insertions, 1 deletions
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'
90# documentation. 90# documentation.
91# 91#
92 92
93html_favicon = './_static/sp.ico'
94
93html_sidebars = { 95html_sidebars = {
94 '**': [ 96 '**': [
95 'about.html', 97 'about.html',
@@ -100,7 +102,7 @@ html_sidebars = {
100 ] 102 ]
101} 103}
102html_theme_options = { 104html_theme_options = {
103 'logo': './sp.jpg', 105 'logo': './sp.png',
104 #'description': '<br>Killing bug-classes in PHP 7, virtual-patching the rest.', 106 #'description': '<br>Killing bug-classes in PHP 7, virtual-patching the rest.',
105 #'fixed_sidebar': True, 107 #'fixed_sidebar': True,
106 'page_width': '60%', 108 'page_width': '60%',