[gnome-shell] Update theme

[Cosimo Cecchi <cosimoc src gnome org>]

commit 4e7261532c4e53e42fe271bd7875f059aa0f3674
Author: Cosimo Cecchi <cosimoc gnome org>
Date:   Sat Feb 21 22:00:20 2015 -0800

    Update theme

 data/theme/gnome-shell-high-contrast.css |    6 ++++--
 data/theme/gnome-shell-sass              |    2 +-
 data/theme/gnome-shell.css               |    6 ++++--
 3 files changed, 9 insertions(+), 5 deletions(-)
---
diff --git a/data/theme/gnome-shell-high-contrast.css b/data/theme/gnome-shell-high-contrast.css
index 383863d..44072c3 100644
--- a/data/theme/gnome-shell-high-contrast.css
+++ b/data/theme/gnome-shell-high-contrast.css
@@ -883,6 +883,9 @@ StScrollBar {
 #overview {
   spacing: 24px; }
 
+.overview-controls {
+  padding-bottom: 32px; }
+
 .window-picker {
   -horizontal-spacing: 32px;
   -vertical-spacing: 32px;
@@ -1118,8 +1121,7 @@ StScrollBar {
   visible-width: 32px;
   spacing: 11px;
   padding: 8px;
-  border-radius: 9px 0 0 9px;
-  margin-bottom: 14px; }
+  border-radius: 9px 0 0 9px; }
   .workspace-thumbnails:rtl {
     border-radius: 0 9px 9px 0; }
 
diff --git a/data/theme/gnome-shell-sass b/data/theme/gnome-shell-sass
index 1087927..943f849 160000
--- a/data/theme/gnome-shell-sass
+++ b/data/theme/gnome-shell-sass
@@ -1 +1 @@
-Subproject commit 1087927ea0aef09b0d9478a6f42da49204e943ed
+Subproject commit 943f849e3da047bc7b8b8cd24eded1bede35199d
diff --git a/data/theme/gnome-shell.css b/data/theme/gnome-shell.css
index 80c7c53..113d265 100644
--- a/data/theme/gnome-shell.css
+++ b/data/theme/gnome-shell.css
@@ -883,6 +883,9 @@ StScrollBar {
 #overview {
   spacing: 24px; }
 
+.overview-controls {
+  padding-bottom: 32px; }
+
 .window-picker {
   -horizontal-spacing: 32px;
   -vertical-spacing: 32px;
@@ -1118,8 +1121,7 @@ StScrollBar {
   visible-width: 32px;
   spacing: 11px;
   padding: 8px;
-  border-radius: 9px 0 0 9px;
-  margin-bottom: 14px; }
+  border-radius: 9px 0 0 9px; }
   .workspace-thumbnails:rtl {
     border-radius: 0 9px 9px 0; }