Fix exception defs locations.
Added basic support for code highlighting.
Added pygments to dependencies.
Remove vestige from prev. HTML rendering code.