Changes to prettify.css