Tidy handling of type=color in HTMLInputElement a bit