|
css
|
Tweak theme and update a few modules for consistency
|
2016-01-08 20:49:56 +01:00 |
|
de
|
Rename DIR to dir and improve JavaScript for RTD
|
2015-12-28 17:25:00 +01:00 |
|
en
|
Update for consistency with the other docs
|
2016-01-10 21:39:02 +01:00 |
|
img
|
More tinkering
|
2015-12-17 20:00:23 +01:00 |
|
js
|
JavaScript clean-up and documenting
|
2015-12-28 23:36:58 +01:00 |
