revert prettify.css