Add prettyprint themes