Comment by amelius

We already have 3-digit hex colors, e.g. #fff is white.

I don't see the point of using decimals here. You only lose resolution.