[gnome-themes-standard] Widget theme: fixed borders for focused pushed buttons on primary toolbars.

[Lapo Calamandrei <lapo src gnome org>]

commit e9c8c3919063503bd13593112e2bf4efdb0d7939
Author: Lapo Calamandrei <calamandrei gmail com>
Date:   Fri Dec 30 15:02:39 2011 +0100

    Widget theme: fixed borders for focused pushed buttons on primary toolbars.

 themes/Adwaita/gtk-3.0/gtk-widgets-borders.css |    1 +
 1 files changed, 1 insertions(+), 0 deletions(-)
---
diff --git a/themes/Adwaita/gtk-3.0/gtk-widgets-borders.css b/themes/Adwaita/gtk-3.0/gtk-widgets-borders.css
index c9deca7..3ebd37c 100644
--- a/themes/Adwaita/gtk-3.0/gtk-widgets-borders.css
+++ b/themes/Adwaita/gtk-3.0/gtk-widgets-borders.css
@@ -80,6 +80,7 @@ GtkSwitch.trough:active {
 
 /* primary toolbar - focused element borders */
 .primary-toolbar .entry:focus,
+.primary-toolbar .button:active:focus,
 .primary-toolbar GtkComboBox.combobox-entry .entry:focus,
 .primary-toolbar .button.raised:focus:active,
 .primary-toolbar .raised .button:focus:active,