Re: [css3-color] #rrggbbaa annotation

I submitted my very first patch to Webkit today, to add this syntax:
https://bugs.webkit.org/show_bug.cgi?id=39140 .

I'm still ambivalent about adding this to Level 3, but given the
triviality of the patch, and the presumed triviality of similar
changes to the other browsers, I highly doubt it would slow down the
progression of Level 3.  Lachy has expressed a desire to get Opera to
support it, and Sylvain has said that he'll at least support a
proposal.

The spec change is similarly trivial.  Replace the second paragraph
under "RGBA Color Values", which starts with "Unlike RGB values...",
with "The format of an RGBA value in hexadecimal notation is a ‘#’
immediately followed by either four or eight hexadecimal characters.
The four-digit RGB notation (#rgba) is converted into eight-digit form
(#rrggbbaa) by replicating digits, not by adding zeros.  The last two
digits are divided by 256 to form an <alphavalue>."  Then add the
obvious examples to the two example sections.

(I actually need to go check and see what exactly we do with the
mapping.  0x80 maps to .5, but 0xFF maps to 1.0.  Something seems
slightly amiss here...)

~TJ