Syntax highlighting for the docs

WIP

For #2159