[gnome-shell-extensions] window-list: Use font-relative sizes for width/height

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

commit 85b7049376a342335e288dcdca0d16c96f15d5bf
Author: Florian Müllner <fmuellner gnome org>
Date:   Fri Jun 12 19:18:28 2015 +0200

    window-list: Use font-relative sizes for width/height
    
    Just like the top bar, the window list should scale according to
    the font scaling factor, so convert the existing pixel sizes into
    font-relative ones.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=703585

 extensions/window-list/stylesheet.css |    6 +++---
 1 files changed, 3 insertions(+), 3 deletions(-)
---
diff --git a/extensions/window-list/stylesheet.css b/extensions/window-list/stylesheet.css
index 2b6be8d..f5285cb 100644
--- a/extensions/window-list/stylesheet.css
+++ b/extensions/window-list/stylesheet.css
@@ -2,7 +2,7 @@
   /* .window-button-icon height +
      .window-button vertical padding +
      .window-button > StWidget vertical padding) */
-  height: 30px;
+  height: 2.25em;
 }
 
 .window-list {
@@ -27,8 +27,8 @@
 }
 
 .window-button > StWidget {
-  -st-natural-width: 250px;
-  max-width: 250px;
+  -st-natural-width: 18.75em;
+  max-width: 18.75em;
   color: #bbb;
   background-color: black;
   border-radius: 4px;