Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2015-10-12 | disable pulldown menu on mobile devices | Hongyi Zhang | 2 | -1/+8 |
2015-10-02 | [ci skip] Some consistency in the docs' theme CSS | Andrey Andreev | 1 | -37/+35 |
2015-10-02 | minor fixes: add back theme codes | Hongyi Zhang | 2 | -2/+3 |
2015-10-02 | Fix indentations | Hongyi Zhang | 3 | -21/+19 |
2015-09-30 | add end modification message back | Hongyi Zhang | 1 | -0/+2 |
2015-09-30 | refactor pulldown menu generation using sphinx toctree | Hongyi Zhang | 5 | -69/+113 |
2015-09-21 | Fixed the pulldown nav | Master Yoda | 1 | -85/+117 |
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 |