I'd say, there should be no hard coded colors at all in the css. If every color is picked from one of the color palette, you do not have to change one single template if you just want to change colors, which would be good for usability.
Good point with extra.css, though.