Yes. Agree.
In theory a color name like "darkRed" could be mapped to a different color hex code. But this would be against W3C.
#aa00000 is fine for me and as far as i see there is no theme like code setup where i could place/get existing colors.