From 2e1856ab34a6af0b3610bcfc4107e41839fe155c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Florian=20M=C3=BCllner?= <fmuellner@gnome.org>
Date: Tue, 30 Apr 2013 17:41:37 +0200
Subject: [PATCH] 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 file changed, 2 insertions(+)

diff --git a/extensions/window-list/classic.css b/extensions/window-list/classic.css
index bc89015f..fd843718 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;
   }