Fix styling for prettyprint