CSS tweaks for new prettify.js