[gnome-shell-extensions] workspace-indicator: Improve preview styling

[Marge Bot <marge-bot src gnome org>]

commit fdfa46099b84ab36202612baf486a7e3b06eddc2
Author: Florian Müllner <fmuellner gnome org>
Date:   Sat Jan 16 01:07:29 2021 +0100

    workspace-indicator: Improve preview styling
    
    The current styling doesn't indicate the active workspace very well, and
    makes it difficult to differentiate empty workspaces from workspaces with
    maximized windows.
    
    Tweak the styling to address those issues.
    
    https://gitlab.gnome.org/GNOME/gnome-shell-extensions/-/issues/283
    
    Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell-extensions/-/merge_requests/166>

 extensions/workspace-indicator/stylesheet.css | 30 ++++++++-------------------
 1 file changed, 9 insertions(+), 21 deletions(-)
---
diff --git a/extensions/workspace-indicator/stylesheet.css b/extensions/workspace-indicator/stylesheet.css
index d43d044..84aaf45 100644
--- a/extensions/workspace-indicator/stylesheet.css
+++ b/extensions/workspace-indicator/stylesheet.css
@@ -3,38 +3,26 @@
 }
 
 .panel-workspace-indicator-box {
-  padding: 2px 0;
+  padding: 4px 0;
+  spacing: 4px;
 }
 
 .panel-workspace-indicator-box .workspace {
   width: 40px;
+  border: 2px solid #000;
+  border-radius: 2px;
+  background-color: #595959;
 }
 
-.panel-workspace-indicator,
-.panel-workspace-indicator-box .workspace {
-  border: 1px solid #cccccc;
-}
-
-.panel-workspace-indicator,
 .panel-workspace-indicator-box .workspace.active {
-  background-color: rgba(200, 200, 200, .5);
-}
-
-.panel-workspace-indicator-box .workspace {
-  background-color: rgba(200, 200, 200, .3);
-  border-left-width: 0;
-}
-
-.panel-workspace-indicator-box .workspace:first-child {
-  border-left-width: 1px;
+  border-color: #fff;
 }
 
 .workspace-indicator-window-preview {
-  background-color: #252525;
-  border: 1px solid #ccc;
+  background-color: #bebebe;
+  border: 1px solid #828282;
 }
 
 .workspace-indicator-window-preview.active {
-  background-color: #353535;
-  border: 2px solid #ccc;
+  background-color: #d4d4d4;
 }