Update look & feel of docs, fix syntax highlighting.