3 Commits

Author	SHA1	Message	Date
Martin Geisler	449ead5575	Integrate GA4 code directly with book.js (#470) ... * Integrate GA4 code directly with `book.js` The main advantage of this is that it simplifies the setup since we can avoid the monkey-patching we did before. A secondary advantage is that it should make things a little faster since we avoid a request to the server on every page load. * Remove unreachable return * Watch all of `third_party` It just occurred to me that we want to refresh the page in `mdbook serve` when anything changes in `third_party`.	2023-03-02 17:50:37 +00:00
Martin Geisler	adc6720031	Increase playground timeout to 15 seconds ... We often see timeouts when running the course. Most of the time, the code compiles on the second try, which indicates that we just need to wait a little longer. Fixes #406.	2023-03-01 13:14:42 +01:00
Martin Geisler	2a2f8ec94e	Add book.js generated with mdbook init --theme ... This allows us to customize the JavaScript used on the page.	2023-03-01 13:14:42 +01:00