Use the right border color for default buttons
Use the right border color for default buttons

We were deriving the border color from bg_color before choosing
a different bg_color for default buttons. Switch that around.

GNOME/gtk-theme-engine-clearlooks,GNOME/gtk-theme-engine-clearlooks