diff options
author | Andrey Andreev <narf@devilix.net> | 2015-10-02 15:50:04 +0200 |
---|---|---|
committer | Andrey Andreev <narf@devilix.net> | 2015-10-02 15:51:02 +0200 |
commit | b079ae972d1bd9f2f854e07ea43f4d700b2e487c (patch) | |
tree | 000637970413e4a0c0c0d748b2f2013fee6412cb /user_guide_src/source/_themes/sphinx_rtd_theme/layout.html | |
parent | 249580e711d42fe966e52d7bcc0f349ba99a94a3 (diff) |
Merge pull request #4148 from zhanghongyi/generate-pulldown
[ci skip] Generate docs pulldown menu using sphinx toctree
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 #} |