doc: CSS fixes

- fixup and refactor highlighting code
- have a proper print stylesheet
doc: auto-generate LaTeX includes