Update to hugo-book-9 theme and hugo 68.3, which allows following browser preferences for light/dark-mode (closes #654)
Update offline UserManual generator to not require httrack anymore (removes network overhead and server-to-static time); verified offline version still follows browser preferences for light/dark mode
Add variant of @pbarney's color and horizontal rule for headers (adapted for light/dark) (closes #653)