3/10/13: top menu color changes #2