From 1225b7f0428605fc94056c54ed066daad098d923 Mon Sep 17 00:00:00 2001
From: Manuel Quiñones <manuq@laptop.org>
Date: Tue, 23 Oct 2012 01:28:34 +0000
Subject: Buttons: Get back grey border for pressed state.

Otherwise the buttons are not visible if they are in white background,
like in the Control Panel or the Intro Window.

Signed-off-by: Manuel Quiñones <manuq@laptop.org>
---
diff --git a/gtk3/theme/gtk-widgets.css.em b/gtk3/theme/gtk-widgets.css.em
index 79a13a9..295c1ea 100644
--- a/gtk3/theme/gtk-widgets.css.em
+++ b/gtk3/theme/gtk-widgets.css.em
@@ -167,8 +167,7 @@ GtkLabel, GtkLabel:insensitive {
     color: @white;
 }
 
-.button:focused,
-.button:active {
+.button:focused {
     border-color: @white;
 }
 
@@ -178,6 +177,7 @@ GtkLabel, GtkLabel:insensitive {
 
 .button:active:focused {
     color: @black;
+    border-color: @button_grey;
 }
 
 /* Spin buttons */
--
cgit v0.9.1