|
css
|
Fix font-size, it's odd and inconsistent in the theme
|
2016-01-16 15:25:48 +01:00 |
|
de
|
Rename DIR to dir and improve JavaScript for RTD
|
2015-12-28 17:25:00 +01:00 |
|
en
|
Minor tweaks to FAQ
|
2016-01-16 15:26:19 +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 |
