[gnome-themes-standard] terminal: set a thinner border for the terminal palette table

[Cosimo Cecchi <cosimoc src gnome org>]

commit c37c3843feabe5bbf7b1ac79824103e2602c7b1f
Author: Cosimo Cecchi <cosimoc gnome org>
Date:   Fri May 4 17:27:54 2012 -0400

    terminal: set a thinner border for the terminal palette table

 themes/Adwaita/gtk-3.0/gnome-applications.css |    4 ++++
 1 files changed, 4 insertions(+), 0 deletions(-)
---
diff --git a/themes/Adwaita/gtk-3.0/gnome-applications.css b/themes/Adwaita/gtk-3.0/gnome-applications.css
index 61dbbc9..8333363 100644
--- a/themes/Adwaita/gtk-3.0/gnome-applications.css
+++ b/themes/Adwaita/gtk-3.0/gnome-applications.css
@@ -27,6 +27,10 @@ TerminalWindow GtkNotebook.notebook {
     border-left-width: 0;
 }
 
+#terminal-palette-table GtkColorButton.button {
+    padding: 1px 4px;
+}
+
 /* nautilus */
 .nautilus-canvas-item {
     border-radius: 5px;