Code highlighting with http://highlightjs.org/