doc: CSS fixes

- fixup and refactor highlighting code
- have a proper print stylesheet
doc: auto-generate LaTeX includes
doc: remove outdated issue from the tutorial