Change prettyrpint theme