- less contrasty border on colored buttons - tone down edge highlight on darker buttons GNOME/gtk#1510