Add logo to website (#1659)

Add logo to website

1 files changed, 15 insertions, 3 deletions

diff --git a/docs/source/conf.py b/docs/source/conf.py
index ef53d900..1d893e9c 100644
--- a/docs/source/conf.py
+++ b/docs/source/conf.py
@@ -130,8 +130,20 @@ html_theme = "sphinx_rtd_theme"
 # Theme options are theme-specific and customize the look and feel of a theme
 # further.  For a list of options available for each theme, see the
 # documentation.
-html_theme_options = {}
-
+html_theme_options = {
+    'canonical_url': 'https://proj.org',
+    'logo_only': True,
+    'display_version': True,
+    'prev_next_buttons_location': 'both',
+    'style_external_links': False,
+    'style_nav_header_background': '#353130',
+    # Toc options
+    'collapse_navigation': True,
+    'sticky_navigation': True,
+    #'navigation_depth': 4,
+    'includehidden': True,
+    'titles_only': False
+}
 # Add any paths that contain custom themes here, relative to this directory.
 
 
@@ -144,7 +156,7 @@ html_theme_options = {}
 
 # The name of an image file (relative to this directory) to place at the top
 # of the sidebar.
-#html_logo = None
+html_logo = '../../media/logo.png'
 
 # 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