Skip to content

Commit

Permalink
📝 docs requirements update
Browse files Browse the repository at this point in the history
  • Loading branch information
GiulioRossetti committed May 13, 2024
1 parent 31faa86 commit 788b977
Showing 1 changed file with 8 additions and 8 deletions.
16 changes: 8 additions & 8 deletions docs/conf.py
Original file line number Diff line number Diff line change
@@ -86,16 +86,16 @@
#html_theme_path = [sphinx_rtd_theme.get_html_theme_path()]


on_rtd = os.environ.get('READTHEDOCS') == 'True'
if on_rtd:
html_theme = 'default'
else:
import sphinx_rtd_theme
html_theme = 'sphinx_rtd_theme'
html_theme_path = [sphinx_rtd_theme.get_html_theme_path()]
#on_rtd = os.environ.get('READTHEDOCS') == 'True'
#if on_rtd:
# html_theme = 'default'
#else:
# import sphinx_rtd_theme
html_theme = 'sphinx_rtd_theme'
html_theme_path = [sphinx_rtd_theme.get_html_theme_path()]

html_theme_options = {
'collapse_navigation': True,
'collapse_navigation': False,
'display_version': False,
"navigation_depth": 3,
}

0 comments on commit 788b977

Please sign in to comment.