Produces a document with syntax highlighting