Even though the style properties have the GdkColor type, the other gtk_widget_override_* API takes RGBA colors, so it is consistent now.