Cannot use 3-digit hexadecimal colors in JSON components

The bug

The new color component in 20w17a only allows 6-digit hex colors, not the common 3-digit ones. (The way 3-digit hex colors are transferred into 6-digit is by repeating each digit, e.g. #a7f becomes #aa77ff.)