From 2d68bbf94e8afe8929e3cf31c396e1f3a47369d7 Mon Sep 17 00:00:00 2001
From: Carlos Soriano <carlos.soriano89@gmail.com>
Date: Sun, 30 Mar 2014 12:08:10 +0200
Subject: [PATCH] theme: Fix bad antialising on panel menu buttons

https://bugzilla.gnome.org/show_bug.cgi?id=727336
---
 data/theme/gnome-shell.css | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/data/theme/gnome-shell.css b/data/theme/gnome-shell.css
index 4fb4be13c..90defde8b 100644
--- a/data/theme/gnome-shell.css
+++ b/data/theme/gnome-shell.css
@@ -670,7 +670,7 @@ StScrollBar StButton#vhandle:active {
     color: #e6e6e6;
     border-radius: 32px; /* wish we could do 50% */
     padding: 13px;
-    border: 1px solid #5f5f5f; /* using rgba() is flaky unfortunately */
+    border: 2px solid #5f5f5f; /* using rgba() is flaky unfortunately */
 }
 
 .system-menu-action:hover,
@@ -678,7 +678,7 @@ StScrollBar StButton#vhandle:active {
     color: white;
     background-color: #4c4c4c;
     border: none;
-    padding: 14px;
+    padding: 15px;
 }
 
 .system-menu-action:active {