Today I learned that the standard CSS definition for gray is darker than darkgray. 🙈

Turns out things can get inconsistent if you combine two different lists of color names.