[gnome-shell-extensions] window-list: Make bottom panel taller in classic mode

[Florian Müllner <fmuellner src gnome org>]

commit 45767c93d5b6f01df94d83a460d3e5503f9bc5dc
Author: Florian Müllner <fmuellner gnome org>
Date:   Tue Apr 30 17:41:37 2013 +0200

    window-list: Make bottom panel taller in classic mode
    
    Consider additional borders in classic styling for the panel height.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=698169

 extensions/window-list/classic.css |    2 ++
 1 files changed, 2 insertions(+), 0 deletions(-)
---
diff --git a/extensions/window-list/classic.css b/extensions/window-list/classic.css
index bc89015..fd84371 100644
--- a/extensions/window-list/classic.css
+++ b/extensions/window-list/classic.css
@@ -3,6 +3,7 @@
 #panel.bottom-panel {
     border-top-width: 1px;
     border-bottom-width: 0px;
+    height: 32px !important;
   }
 
   .bottom-panel .window-button > StWidget {
@@ -11,6 +12,7 @@
     background-gradient-end: #d0d0d0;
     color: #555 !important;
     border-radius: 2px !important;
+    padding: 4px 6px 2px !important;
     text-shadow: 0 0 transparent;
     box-shadow: inset -1px -1px 1px rgba(0,0,0,0.5) !important;
   }