More styling for PRE elements