|
css
|
Fix font-size, it's odd and inconsistent in the theme
|
2016-01-16 15:25:48 +01:00 |
|
de
|
Final polishing on several pages
|
2016-01-16 23:11:40 +01:00 |
|
img
|
Remove custom favicon from docs
|
2018-02-11 23:22:15 +01:00 |
|
js
|
With RTD the JS search seems no longer necessary
|
2018-01-21 23:58:58 +01:00 |
|
index.md
|
Final polishing on several pages
|
2016-01-16 23:11:40 +01:00 |
