From 9166d9cf4fca9d3f5d5ac5983c5d720f8eae1db3 Mon Sep 17 00:00:00 2001 From: Cyril Dangerville <1372580+cdanger@users.noreply.github.com> Date: Wed, 7 Feb 2024 02:20:33 +0100 Subject: [PATCH] Fixed doc for readthedocs --- doc/conf.py | 21 ++++++++++----------- 1 file changed, 10 insertions(+), 11 deletions(-) diff --git a/doc/conf.py b/doc/conf.py index af91a74..3ff1750 100644 --- a/doc/conf.py +++ b/doc/conf.py @@ -7,18 +7,17 @@ # on_rtd is whether we are on readthedocs.org on_rtd = os.environ.get('READTHEDOCS', None) == 'True' -if on_rtd: - html_context = { - 'css_files': [ - 'https://media.readthedocs.org/css/sphinx_rtd_theme.css', - 'https://media.readthedocs.org/css/readthedocs-doc-embed.css', - 'https://www.fiware.org/style/fiware_readthedocs.css', - 'https://www.fiware.org/style/fiware_readthedocs_security.css', - ], - } -else: +#if on_rtd: +html_css_files = [ + 'https://media.readthedocs.org/css/sphinx_rtd_theme.css', + 'https://media.readthedocs.org/css/readthedocs-doc-embed.css', + 'https://www.fiware.org/style/fiware_readthedocs.css', + 'https://www.fiware.org/style/fiware_readthedocs_security.css', +] +# } +#else: # import sphinx_rtd_theme - html_theme = 'sphinx_rtd_theme' +html_theme = 'sphinx_rtd_theme' # html_theme_path = [sphinx_rtd_theme.get_html_theme_path()] # otherwise, readthedocs.org uses their theme by default, so no need to specify it