CodeMirror is now properly integrated.
Code highlighting of pre blocks with CodeMirror.colorize.