[gnome-shell-extensions/window-list: 3/13] Make window icons bigger

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

commit 9510460f40e284d258f7cdb7da48cf5492067977
Author: Florian MÃllner <fmuellner gnome org>
Date:   Thu Jan 17 18:00:07 2013 +0100

    Make window icons bigger

 extensions/window-list/extension.js   |    1 +
 extensions/window-list/stylesheet.css |   13 ++++++++++---
 2 files changed, 11 insertions(+), 3 deletions(-)
---
diff --git a/extensions/window-list/extension.js b/extensions/window-list/extension.js
index ff77bcf..2ebd9ed 100644
--- a/extensions/window-list/extension.js
+++ b/extensions/window-list/extension.js
@@ -146,6 +146,7 @@ const WindowList = new Lang.Class({
 
     _init: function() {
         this.actor = new St.Widget({ name: 'panel',
+                                     style_class: 'bottom-panel',
                                      reactive: true,
                                      track_hover: true,
                                      layout_manager: new Clutter.BinLayout()});
diff --git a/extensions/window-list/stylesheet.css b/extensions/window-list/stylesheet.css
index dae184a..d69a326 100644
--- a/extensions/window-list/stylesheet.css
+++ b/extensions/window-list/stylesheet.css
@@ -1,3 +1,10 @@
+.bottom-panel {
+  /* .window-button-icon height +
+     .window-button vertical padding +
+     .window-button > StWidget vertical padding) */
+  height: 30px;
+}
+
 .window-list {
   spacing: 2px;
   font-size: 10pt;
@@ -20,7 +27,7 @@
   color: #bbb;
   background-color: black;
   border-radius: 4px;
-  padding: 2px 6px;
+  padding: 3px 6px 1px;
   box-shadow: inset 1px 1px 4px rgba(255,255,255,0.5);
   text-shadow: 1px 1px 4px rgba(0,0,0,0.8);
   spacing: 4px;
@@ -54,8 +61,8 @@
 }
 
 .window-button-icon {
-  width: 16px;
-  height: 16px;
+  width: 24px;
+  height: 24px;
 }
 
 .tray-button {