[gnome-shell] workspace-thumbnails: Update style

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

commit a1c0b8581980f7a6fd362af91f559035930ad48c
Author: Florian Müllner <fmuellner gnome org>
Date:   Mon Feb 14 23:58:38 2011 +0100

    workspace-thumbnails: Update style
    
    For consistency, adjust background and border colors to match the
    ones used by the dash.

 data/theme/gnome-shell.css |    4 ++--
 1 files changed, 2 insertions(+), 2 deletions(-)
---
diff --git a/data/theme/gnome-shell.css b/data/theme/gnome-shell.css
index 518e043..2da9cc2 100644
--- a/data/theme/gnome-shell.css
+++ b/data/theme/gnome-shell.css
@@ -265,10 +265,10 @@ StTooltip StLabel {
 }
 
 .workspace-thumbnails-background {
-    border: 1px solid #424242;
+    border: 1px solid rgba(128, 128, 128, 0.4);
     border-right: 0px;
     border-radius: 9px 0px 0px 9px;
-    background: #071524;
+    background-color: rgba(0, 0, 0, 0.5);
     padding: 8px;
 }