Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2015-07-16 | [ci skip] Fix #3869 | Andrey Andreev | 2 | -1/+8 |
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-14 | added original license to theme | David Wosnitza | 1 | -0/+20 |
2014-12-14 | rebuild and optimized toctrees | 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 | 17 | -0/+1010 |