Merge pull request #25 from guilhemmarchand/minor_docs_update

Minor doc update
guilhemmarchand · Jul 13, 2020 · e2d935c · e2d935c
2 parents 08acec3 + 1be6e95
commit e2d935c
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 2 deletions.
diff --git a/docs/conf.py b/docs/conf.py
@@ -116,7 +116,9 @@
 # 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 = {
+    'style_external_links': True,
+}
 
 # Add any paths that contain custom themes here, relative to this directory.
 #html_theme_path = []
@@ -130,7 +132,7 @@
 
 # The name of an image file (relative to this directory) to place at the top
 # of the sidebar.
-#html_logo = None
+html_logo = "img/logo.png"
 
 # The name of an image file (relative to this directory) to use as a favicon of
 # the docs.  This file should be a Windows icon file (.ico) being 16x16 or 32x32

diff --git a/docs/img/logo.png b/docs/img/logo.png