[gnome-themes-standard] terminal: remove unused selector

[Cosimo Cecchi <cosimoc src gnome org>]

commit 7f2186d410932225ed0f047587f951a2fa3ffd42
Author: Cosimo Cecchi <cosimoc gnome org>
Date:   Tue Jan 22 11:53:17 2013 -0500

    terminal: remove unused selector
    
    gnome-terminal master removed this widget name.

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