Add fancy colors to 'problems' dropdown badges #6