Syntax highlighting switched to Highlight.js; various built-in themes added.