summaryrefslogtreecommitdiffstats
path: root/user_guide_src/source/_themes/sphinx_rtd_theme/static
AgeCommit message (Collapse)AuthorFilesLines
2016-05-10Merge pull request #4620 from jim-parry/faviconAndrey Andreev1-0/+0
[ci skip] Add missing favicon to user guide source
2015-10-21Merge pull request #4167 from zhanghongyi/fix-pulldownInstructor, Computer Systems Technology2-5/+46
disable pulldown menu on mobile devices
2015-10-02[ci skip] Some consistency in the docs' theme CSSAndrey Andreev1-37/+35
2015-10-02Merge pull request #4148 from zhanghongyi/generate-pulldownAndrey Andreev2-66/+89
[ci skip] Generate docs pulldown menu using sphinx toctree
2015-09-23[ci skip] Cherry-pick docs pulldown nav fix from developMaster Yoda1-85/+117
2015-07-16[ci skip] Fix #3869Andrey Andreev1-0/+7
Close #3978 Close #3979
2015-02-04Add pulldown menu to user guide.jim2-1/+119
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
2014-12-19Enabled word-wrap in tablesDavid Wosnitza1-1/+1
Desktop only; prevents having to scroll horizontally to see contents of larger tables
2014-12-15removed max-width from docs contentDavid Wosnitza1-1/+1
2014-12-14increased bottom marginDavid Wosnitza1-1/+1
Signed-off-by: David Wosnitza <david@druul.in>
2014-12-14increased top and bottom margins for printingDavid Wosnitza1-1/+1
Signed-off-by: David Wosnitza <david@druul.in>
2014-12-12exchanged colorsDavid Wosnitza1-2/+2
Signed-off-by: David Wosnitza <david@druul.in>
2014-12-12changed theme to sphinx_rtd_themeDavid Wosnitza8-0/+468
Signed-off-by: David Wosnitza <david@druul.in>