/* colors for pretty-text-diff*