Fixed doc for readthedocs

authzforce · Feb 7, 2024 · 9166d9c · 9166d9c
1 parent ec8ec1e
commit 9166d9c
Showing 1 changed file with 10 additions and 11 deletions.
diff --git 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