Skip to content

Commit

Permalink
DOC: Attempt at fixing theme on RTD (#1019)
Browse files Browse the repository at this point in the history
  • Loading branch information
BenjaminBossan authored Sep 2, 2023
1 parent 3641273 commit 7fd4b6e
Showing 1 changed file with 4 additions and 5 deletions.
9 changes: 4 additions & 5 deletions docs/conf.py
Original file line number Diff line number Diff line change
Expand Up @@ -20,6 +20,8 @@
import os
import sys

import sphinx_rtd_theme

sys.path.insert(0, os.path.abspath('..'))


Expand Down Expand Up @@ -110,7 +112,6 @@
# The theme to use for HTML and HTML Help pages. See the documentation for
# a list of builtin themes.
#
html_theme = 'default'

# 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
Expand All @@ -126,10 +127,8 @@ def setup(app):
# so a file named "default.css" will overwrite the builtin "default.css".
html_static_path = ['_static']

if not on_rtd: # only import and set the theme if we're building docs locally
import sphinx_rtd_theme
html_theme = 'sphinx_rtd_theme'
html_theme_path = [sphinx_rtd_theme.get_html_theme_path()]
html_theme = 'sphinx_rtd_theme'
html_theme_path = [sphinx_rtd_theme.get_html_theme_path()]


# -- Options for HTMLHelp output ------------------------------------------
Expand Down

0 comments on commit 7fd4b6e

Please sign in to comment.