update prettify.css