[gnome-themes-standard] Widget theme: removed bold adwaita focus ring from buttons, the normal dashed one is more clear and

[Cosimo Cecchi <cosimoc src gnome org>]

commit ed17d678748d4ca26d20df5855b66846f76978aa
Author: Lapo Calamandrei <calamandrei gmail com>
Date:   Tue Nov 29 23:41:33 2011 +0100

    Widget theme: removed bold adwaita focus ring from buttons, the normal dashed one is more clear and works better.

 themes/Adwaita/gtk-3.0/gtk-widgets.css |   11 ++---------
 1 files changed, 2 insertions(+), 9 deletions(-)
---
diff --git a/themes/Adwaita/gtk-3.0/gtk-widgets.css b/themes/Adwaita/gtk-3.0/gtk-widgets.css
index a546065..249df3c 100644
--- a/themes/Adwaita/gtk-3.0/gtk-widgets.css
+++ b/themes/Adwaita/gtk-3.0/gtk-widgets.css
@@ -378,18 +378,11 @@ GtkScrolledWindow.frame {
  ***********/
 .button,
 .button.menuitem.menubar {
-    padding: 1 4;
+    padding: 2 5;
 }
 
 .button {
-    -adwaita-focus-fill-color: alpha (@theme_base_color, 0.35);
-    -adwaita-focus-border-gradient: -gtk-gradient (linear,
-                                                   left top, left bottom,
-                                                   from (alpha (@keyboard_focus_border_a, 0.62)),
-                                                   to (alpha (@keyboard_focus_border_b, 0.62)));
-    -adwaita-focus-border-radius: 1;
-    -adwaita-focus-border-dashes: 0;
-    -GtkWidget-focus-line-width: 2;
+    -GtkWidget-focus-line-width: 1;
 
     -GtkButton-child-displacement-x: 0;
     -GtkButton-child-displacement-y: 1;