Customized Prettyprint CSS