summaryrefslogtreecommitdiffstats
path: root/user_guide_src/source/_themes/sphinx_rtd_theme/static
AgeCommit message (Expand)AuthorFilesLines
2016-05-10Merge pull request #4620 from jim-parry/faviconAndrey Andreev1-0/+0
2015-10-21Merge pull request #4167 from zhanghongyi/fix-pulldownInstructor, Computer Systems Technology2-5/+46
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
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
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