Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2015-10-02 | Merge pull request #4148 from zhanghongyi/generate-pulldown | Andrey Andreev | 2 | -66/+89 |
2015-09-23 | [ci skip] Cherry-pick docs pulldown nav fix from develop | Master Yoda | 1 | -85/+117 |
2015-07-16 | [ci skip] Fix #3869 | Andrey Andreev | 1 | -0/+7 |
2015-02-04 | Add pulldown menu to user guide. | jim | 2 | -1/+119 |
2014-12-19 | Enabled word-wrap in tables | David Wosnitza | 1 | -1/+1 |
2014-12-15 | removed max-width from docs content | David Wosnitza | 1 | -1/+1 |
2014-12-14 | increased bottom margin | David Wosnitza | 1 | -1/+1 |
2014-12-14 | increased top and bottom margins for printing | David Wosnitza | 1 | -1/+1 |
2014-12-12 | exchanged colors | David Wosnitza | 1 | -2/+2 |
2014-12-12 | changed theme to sphinx_rtd_theme | David Wosnitza | 8 | -0/+468 |