Are CSS colors premultiplied or not?

Experimenting in Chrome indicates that rgba() colors are interpreted as non-premultiplied alpha. (I haven't tried #RRGGBBAA colors as they are not supported by default by Chrome.)

Is there an official spec about this?