Commit 1e086874 by William Tisäter

Only use sphinx_rtd_theme locally

parent 5e9ad257
...@@ -98,14 +98,17 @@ pygments_style = 'sphinx' ...@@ -98,14 +98,17 @@ pygments_style = 'sphinx'
# -- Options for HTML output ---------------------------------------------- # -- Options for HTML output ----------------------------------------------
import sphinx_rtd_theme on_rtd = os.environ.get('READTHEDOCS', None) == 'True'
# The theme to use for HTML and HTML Help pages. See the documentation for if not on_rtd:
# a list of builtin themes. import sphinx_rtd_theme
html_theme = "sphinx_rtd_theme"
# Add any paths that contain custom themes here, relative to this directory. # The theme to use for HTML and HTML Help pages. See the documentation for
html_theme_path = [sphinx_rtd_theme.get_html_theme_path()] # a list of builtin themes.
html_theme = "sphinx_rtd_theme"
# Add any paths that contain custom themes here, relative to this directory.
html_theme_path = [sphinx_rtd_theme.get_html_theme_path()]
# Theme options are theme-specific and customize the look and feel of a 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 # further. For a list of options available for each theme, see the
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment