Suggestion for css colors: #E5 = #E5E5E5 and #E = #EEE

Hello fellow web developers,

I was thinking that it would be best to have

#E mean #EEE and #E5 mean #E5E5E5

Instead of just considering them wrong

This has been discussed in the CSS WG numerous times over the years and decided against. This one from 2011 has a lot of discussion: https://lists.w3.org/Archives/Public/www-style/2011Aug/0037.html (flattened)

I didn’t find any valid reason as to why not, many of the discussions were besides the point.

But if it’s been requested and refused numerous times then I’ll drop it.

Now how do I close this topic or mark it as solved?