Made the color of workspace numbers brighter.