diff --git a/conf.py b/conf.py index 33dfbd792..31d29e387 100644 --- a/conf.py +++ b/conf.py @@ -49,10 +49,11 @@ highlight_language = 'gdscript' # on_rtd is whether we are on readthedocs.org, this line of code grabbed from docs.readthedocs.org 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()] +if on_rtd: + using_rtd_theme = True # Theme options html_theme_options = { diff --git a/img/docs_logo.png b/img/docs_logo.png index 155bc37d6..8e40a0b90 100644 Binary files a/img/docs_logo.png and b/img/docs_logo.png differ