I'm tickled pink. I used to use a Greasemonkey script with Gmail that added colors to labels. Later, I changed to the Better Gmail addon that simply made