summaryrefslogtreecommitdiffstats
path: root/user_guide_src/source/_themes/sphinx_rtd_theme/static
AgeCommit message (Expand)AuthorFilesLines
2019-04-23Merge pull request #5735 from om-mahato/developInstructor, BCIT1-1/+1
2019-04-05class .wy-nav-content-wrap modied for responsiveOm Mahato1-1/+1
2018-03-28replace toggle() to fix the toc buttonpopcorner1-13/+16
2016-05-09Add favicon to user guide source (it was missing).Master Yoda1-0/+0
2015-10-19rename cookie values to make codes clearHongyi Zhang1-9/+9
2015-10-16fix a typo in commentHongyi Zhang1-1/+1
2015-10-16revert img alt changes, fix cookies, and improve pulldown menu in multiple sc...Hongyi Zhang2-8/+42
2015-10-12disable pulldown menu on mobile devicesHongyi Zhang1-0/+7
2015-10-02[ci skip] Some consistency in the docs' theme CSSAndrey Andreev1-37/+35
2015-10-02minor fixes: add back theme codesHongyi Zhang1-2/+2
2015-10-02Fix indentationsHongyi Zhang2-9/+8
2015-09-30add end modification message backHongyi Zhang1-0/+2
2015-09-30refactor pulldown menu generation using sphinx toctreeHongyi Zhang2-69/+91
2015-09-21Fixed the pulldown navMaster Yoda1-85/+117
2015-07-16[ci skip] Fix #3869Andrey Andreev1-0/+7
2015-02-04Add pulldown menu to user guide.jim2-1/+119
2014-12-19Enabled word-wrap in tablesDavid Wosnitza1-1/+1
2014-12-15removed max-width from docs contentDavid Wosnitza1-1/+1
2014-12-14increased bottom marginDavid Wosnitza1-1/+1
2014-12-14increased top and bottom margins for printingDavid Wosnitza1-1/+1
2014-12-12exchanged colorsDavid Wosnitza1-2/+2
2014-12-12changed theme to sphinx_rtd_themeDavid Wosnitza8-0/+468