Martin Geisler 438c16607d

Add theme generated with mdbook init --theme (#189) ...

This will allow us to customize the appearance more easily: we can
move the GA logic into the theme (to reduce load times and to simplify
the JS injection logic). We can also add new elements, which is what I
will do next.

The mdbook theme can be added incrementally: if we don’t add a file to
our theme folder, we will get the corresponding file from mdbook.

2023-01-25 21:31:22 +01:00

..

index.hbs

Add theme generated with mdbook init --theme (#189)

2023-01-25 21:31:22 +01:00