Update prettify.css