From 6b4c497800bd8d2318c611728acc79548b860dca Mon Sep 17 00:00:00 2001
From: William Jon McCann <jmccann@redhat.com>
Date: Mon, 21 Feb 2011 10:28:55 -0500
Subject: [PATCH] Increase padding of sources in summary

Makes it feel less cramped and makes the targets larger and
easier to use.
---
 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 824bda3b7..56befaa9d 100644
--- a/data/theme/gnome-shell.css
+++ b/data/theme/gnome-shell.css
@@ -1010,8 +1010,8 @@ StTooltip StLabel {
 }
 
 .summary-source-button {
-    padding-left: 3px;
-    padding-right: 3px;
+    padding-left: 12px;
+    padding-right: 12px;
 }
 
 .summary-source-button:last-child {