diff options
Diffstat (limited to 'user_guide_src/source/_themes/sphinx_rtd_theme/layout.html')
| -rw-r--r-- | user_guide_src/source/_themes/sphinx_rtd_theme/layout.html | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/user_guide_src/source/_themes/sphinx_rtd_theme/layout.html b/user_guide_src/source/_themes/sphinx_rtd_theme/layout.html index 1203b2f34..20ede7d32 100644 --- a/user_guide_src/source/_themes/sphinx_rtd_theme/layout.html +++ b/user_guide_src/source/_themes/sphinx_rtd_theme/layout.html @@ -77,6 +77,8 @@ <body class="wy-body-for-nav" role="document"> + {% include "pulldown.html" %} + <div class="wy-grid-for-nav"> {# SIDE NAV, TOGGLES ON MOBILE #} |