|
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
|
ucg constants
|
2016-01-16 13:18:43 +01: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 |
