Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2015-10-16 | revert img alt changes, fix cookies, and improve pulldown menu in multiple sc... | Hongyi Zhang | 1 | -5/+13 |
2015-10-12 | disable pulldown menu on mobile devices | Hongyi Zhang | 1 | -0/+7 |
2015-10-02 | [ci skip] Some consistency in the docs' theme CSS | Andrey Andreev | 1 | -37/+35 |
2015-10-02 | Fix indentations | Hongyi Zhang | 1 | -7/+7 |
2015-09-30 | refactor pulldown menu generation using sphinx toctree | Hongyi Zhang | 1 | -1/+69 |
2015-07-16 | [ci skip] Fix #3869 | Andrey Andreev | 1 | -0/+7 |
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 | 2 | -0/+7 |