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