doc: have a real switch b/w LaTeX compilers
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