[doc] Add logo/favicon

555d9cf0 · VIGNET Pierre · d75c0a88 · 555d9cf0 · 555d9cf0 · 555d9cf0
Commit 555d9cf0 authored Jan 28, 2020 by VIGNET Pierre
--- a/doc/source/_static/misc/favicon.ico
+++ b/doc/source/_static/misc/favicon.ico
--- a/doc/source/_static/misc/logo_cadbiom.png
+++ b/doc/source/_static/misc/logo_cadbiom.png
--- a/doc/source/conf.py
+++ b/doc/source/conf.py
@@ -132,6 +132,11 @@ html_sidebars = {
    ]
 }

+# Logo at the top of the sidebar; <= 200x200px
+html_logo = '_static/misc/logo_cadbiom.png'
+# Windows-style icon file (.ico), 16x16 or 32x32 px
+# convert logo_cadbiom.png -define icon:auto-resize=48,32,16 favicon.ico
+html_favicon = '_static/misc/favicon.ico'

 # -- Options for HTMLHelp output ------------------------------------------