diff options
author | RĂ©mi Flamary <remi.flamary@gmail.com> | 2022-03-18 08:00:19 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-03-18 08:00:19 +0100 |
commit | 9b9d2221d257f40ea3eb58b279b30d69162d62bb (patch) | |
tree | 87fb7201ac92171bf31c5d8b9700544180de455d /docs/source/conf.py | |
parent | b47d5045d97ba0c0c98dada34ad643a26c1fb86e (diff) |
[MRG] Add logo to POT (#357)
* add logo code and logo to doc
* update release file
Diffstat (limited to 'docs/source/conf.py')
-rw-r--r-- | docs/source/conf.py | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/docs/source/conf.py b/docs/source/conf.py index d1b8426..60d0bb7 100644 --- a/docs/source/conf.py +++ b/docs/source/conf.py @@ -162,6 +162,7 @@ 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 = {} # Add any paths that contain custom themes here, relative to this directory. @@ -176,7 +177,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 = '_static/images/logo_dark.svg' # 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 @@ -188,6 +189,7 @@ html_theme_options = {} # so a file named "default.css" will overwrite the builtin "default.css". html_static_path = ['_static'] + # Add any extra paths that contain custom files (such as robots.txt or # .htaccess) here, relative to this directory. These files are copied # directly to the root of the documentation. |