Simple curiosity here, tinged with some practical concerns because I get caught out by this occasionally.
How come Color.DarkGray is lighter than Color.Gray?
This behaviour is also shown in CSS where the property color: darkgrey renders #A9A9A9 and color: grey renders #808080.
Wikipedia has some information on the subject. It sounds like a lot of the named color definitions come from X Windows System. On X, “Gray” is actually closer to “Silver”. However, the W3C defined Gray (more appropriately?) as RGB 50%.
Here’s some more Wikipedia on the subject:
W3C color keywords: