Use an explicit color, as gray can differ in different standards (X11/W3C...)