Fix prettyprint CSS