changing colors for Minuit messages