diff --git a/docs/conf.py b/docs/conf.py index f71145bc40..0eb17342d0 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -43,7 +43,7 @@ myst_substitutions = { html_theme = "sphinx_rtd_theme" html_theme_options = { - "collapse_navigation": False, + "collapse_navigation": not on_rtd, # makes local builds much faster "logo_only": True, } html_logo = "images/zulip-logo.svg"