diff options
author | Hongyi Zhang <hongyi73.zhang@gmail.com> | 2015-09-30 02:42:29 +0200 |
---|---|---|
committer | Hongyi Zhang <hongyi73.zhang@gmail.com> | 2015-09-30 02:42:29 +0200 |
commit | 84b5f24f2fa9932e6986cdb98731d1a0e7e76e1e (patch) | |
tree | 2f4dcf89e9afd521562075184dcae4b7e9dbf870 /user_guide_src/source/_themes/sphinx_rtd_theme/layout.html | |
parent | eb7fe6ff9f2de95dabdc9a2a6b39f34e95b40b74 (diff) |
refactor pulldown menu generation using sphinx toctree
Signed-off-by: Hongyi Zhang <hongyi73.zhang@gmail.com>
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 #} |