2 Commits

Author	SHA1	Message	Date
Martin Geisler	4409f330c5	Move GA code directly into main page (#289) ... This replaces a bit of code with the equivalent HTML code. We also load the script async, which means that the browser won’t block rendering while waiting for the scripts.	2023-01-27 14:37:17 +01:00
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