Some style related proposals for GTK+ 3

Redundant style properties

These style properties where added to fix issues which would otherwise have required an API or behavior change.

Properties that should be style properties

These are object properties that control the appearance of a widget that should be dependent on the theme.