text color in prettyprint