prettify.css: remove padding