prettify.css modified