Adding highlight.js, changing comments provider back to disqus (minus the
bullshit ads), made some more changes in the config file, currently using
the github.css theme with some minor modifications in order to highlight
by <pre><code> sections. Highlight.js is about as simple as it gets, it
automatically attempts to detect the language and highlights accordingly.