|
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
|
Avoid hard-coding the SDK version number in RTD.
|
2016-01-16 23:07:54 +11:00 |
|
img
|
More tinkering
|
2015-12-17 20:00:23 +01:00 |
|
js
|
Add fix in TOC JavaScript for in-page anchors
|
2016-01-16 10:02:06 +01:00 |
