Switched from ugly pygments to highlightjs.