diff --git a/demo_docs/source/conf.py b/demo_docs/source/conf.py index 50d0ed76..855be64b 100644 --- a/demo_docs/source/conf.py +++ b/demo_docs/source/conf.py @@ -107,7 +107,7 @@ html_theme = 'sphinx_rtd_theme' # further. For a list of options available for each theme, see the # documentation. html_theme_options = { - 'sticky_navigation' : False # Set to True to "stick" the navigation during scrolling + # 'sticky_navigation' : False # Set to True to "stick" the navigation during scrolling } # Add any paths that contain custom themes here, relative to this directory.