prettify.css->prettify.min.css; other changes.