Updated prettyprint theme