Update css/prettify.css