[gnome-shell] Increase padding of sources in summary

[William Jon McCann <mccann src gnome org>]

commit 6b4c497800bd8d2318c611728acc79548b860dca
Author: William Jon McCann <jmccann redhat com>
Date:   Mon Feb 21 10:28:55 2011 -0500

    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 files changed, 2 insertions(+), 2 deletions(-)
---
diff --git a/data/theme/gnome-shell.css b/data/theme/gnome-shell.css
index 824bda3..56befaa 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 {