Philipp Oppermann 6a07fea2d7 Fix ToC resizing ...

The `#toc` id was renamed to `#toc-aside`.

2019-03-20 23:37:56 +01:00

..

css

Add a small margin after the ToC Heading

2019-03-19 13:24:59 +01:00

images

Move favicon to /favicon.ico

2017-06-13 21:42:16 +02:00

js

Fix ToC resizing

2019-03-20 23:37:56 +01:00

favicon.ico

New favicon

2018-02-10 16:42:51 +01:00