diff options
| author | jim <jim@localhost> | 2015-02-04 23:23:33 +0100 |
|---|---|---|
| committer | jim <jim@localhost> | 2015-02-04 23:23:33 +0100 |
| commit | 7efcd706711712cc3ac5250d820aa7100a16901e (patch) | |
| tree | ab2d3bcf6398c7bc680c75eb6fa2bb1a1c76e3c7 /user_guide_src/source/_themes/sphinx_rtd_theme/layout.html | |
| parent | eccac6e6a73a4d1a5b40f383ce64359c2c94ae12 (diff) | |
Add pulldown menu to user guide.
Integrating Rufnex's Javascript optional menu replacement :)
Now you will see a small icon in the top right of the user guide browser window. Clicking this toggles between the readdocs style TOC, in the left sidebar, and the "classic" CI TOC, a pulldown activated by clicking on the "Table of Contents" icon at the top of the browser window. The tool use a cookie to remember your decision.
Integrated on behalf of .... -- Have fun! Rufnex - codeigniter.de
Diffstat (limited to 'user_guide_src/source/_themes/sphinx_rtd_theme/layout.html')
0 files changed, 0 insertions, 0 deletions