Always use the sphinx_rtd_theme theme

This commit is contained in:
Julien Rouhaud 2023-12-06 14:29:47 +01:00
parent 5593f82f17
commit 0e5de14589

View file

@ -88,14 +88,9 @@ todo_include_todos = True
#
#html_theme = 'alabaster'
# on_rtd is whether we are on readthedocs.io, this line of code grabbed from
# docs.readthedocs.io
on_rtd = os.environ.get('READTHEDOCS', None) == 'True'
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()]
import sphinx_rtd_theme
html_theme = 'sphinx_rtd_theme'
html_theme_path = [sphinx_rtd_theme.get_html_theme_path()]
# otherwise, readthedocs.io uses their theme by default, so no need to specify it