[gnome-themes-standard] added borders to hovered pushed buttons

[Lapo Calamandrei <lapo src gnome org>]

commit 6d3676eb673bd81c08e0e7310b3a5bab43db34bf
Author: Lapo Calamandrei <calamandrei gmail com>
Date:   Fri May 9 16:46:20 2014 +0200

    added borders to hovered pushed buttons

 themes/Adwaita/gtk-3.0/gtk-widgets.css |    2 ++
 1 files changed, 2 insertions(+), 0 deletions(-)
---
diff --git a/themes/Adwaita/gtk-3.0/gtk-widgets.css b/themes/Adwaita/gtk-3.0/gtk-widgets.css
index 52c8138..d647118 100644
--- a/themes/Adwaita/gtk-3.0/gtk-widgets.css
+++ b/themes/Adwaita/gtk-3.0/gtk-widgets.css
@@ -1448,6 +1448,7 @@ GtkComboBox.combobox-entry .button {
 /* generic button borders */
 .button,
 .button:active,
+.button:active:hover,
 .button:insensitive,
 .button.default:insensitive,
 .inline-toolbar.toolbar.vertical .button:active,
@@ -1468,6 +1469,7 @@ GtkComboBox.combobox-entry .button {
 
 /* focused button borders */
 .button.default:active,
+.button.default:active:hover,
 .inline-toolbar.toolbar.vertical .button.default:active {
     box-shadow: inset .5px .5px @theme_selected_bg_color,
                 inset -.5px .5px @theme_selected_bg_color,