summaryrefslogtreecommitdiffstats
path: root/user_guide_src/source/_themes/sphinx_rtd_theme
AgeCommit message (Expand)AuthorFilesLines
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 Zhang3-9/+43
2015-10-12disable pulldown menu on mobile devicesHongyi Zhang2-1/+8
2015-10-02[ci skip] Some consistency in the docs' theme CSSAndrey Andreev1-37/+35
2015-10-02minor fixes: add back theme codesHongyi Zhang2-2/+3
2015-10-02Fix indentationsHongyi Zhang3-21/+19
2015-09-30add end modification message backHongyi Zhang1-0/+2
2015-09-30refactor pulldown menu generation using sphinx toctreeHongyi Zhang5-69/+113
2015-09-21Fixed the pulldown navMaster Yoda1-85/+117
2015-07-16[ci skip] Fix #3869Andrey Andreev2-1/+8
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-14added original license to themeDavid Wosnitza1-0/+20
2014-12-14rebuild and optimized toctreesDavid Wosnitza1-1/+1
2014-12-12exchanged colorsDavid Wosnitza1-2/+2
2014-12-12changed theme to sphinx_rtd_themeDavid Wosnitza17-0/+1010