From 5bd7b0dc31384cfa86ddee521126c067cb484af8 Mon Sep 17 00:00:00 2001
From: Dan Winship <danw@gnome.org>
Date: Thu, 20 May 2010 12:05:22 -0400
Subject: [PATCH] [panel] fix button corners: they should only be rounded on
 the top

---
 data/theme/gnome-shell.css | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/data/theme/gnome-shell.css b/data/theme/gnome-shell.css
index 93cb4b3b0..bee6c9fee 100644
--- a/data/theme/gnome-shell.css
+++ b/data/theme/gnome-shell.css
@@ -116,7 +116,7 @@ StTooltip {
 
 .panel-button:pressed {
     background-color: rgba(50,76,111,0.98);
-    border-radius: 4px;
+    border-radius: 4px 4px 0px 0px;
 }
 
 .panel-menu-boxpointer {