[gnome-shell-extensions] workspace-indicator: Reindent stylesheet

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

commit f987e5f13dbac85b87536ba8ac4cde19306488c7
Author: Florian Müllner <fmuellner gnome org>
Date:   Sat Jan 16 00:29:42 2021 +0100

    workspace-indicator: Reindent stylesheet
    
    For some reason the CSS here uses a different indentation than
    gnome-shell or the other extensions, fix that.
    
    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 | 24 ++++++++++++------------
 1 file changed, 12 insertions(+), 12 deletions(-)
---
diff --git a/extensions/workspace-indicator/stylesheet.css b/extensions/workspace-indicator/stylesheet.css
index 8601c3e..d43d044 100644
--- a/extensions/workspace-indicator/stylesheet.css
+++ b/extensions/workspace-indicator/stylesheet.css
@@ -1,40 +1,40 @@
 .panel-workspace-indicator {
-       padding: 0 8px;
+  padding: 0 8px;
 }
 
 .panel-workspace-indicator-box {
-       padding: 2px 0;
+  padding: 2px 0;
 }
 
 .panel-workspace-indicator-box .workspace {
-       width: 40px;
+  width: 40px;
 }
 
 .panel-workspace-indicator,
 .panel-workspace-indicator-box .workspace {
-       border: 1px solid #cccccc;
+  border: 1px solid #cccccc;
 }
 
 .panel-workspace-indicator,
 .panel-workspace-indicator-box .workspace.active {
-       background-color: rgba(200, 200, 200, .5);
+  background-color: rgba(200, 200, 200, .5);
 }
 
 .panel-workspace-indicator-box .workspace {
-    background-color: rgba(200, 200, 200, .3);
-    border-left-width: 0;
+  background-color: rgba(200, 200, 200, .3);
+  border-left-width: 0;
 }
 
 .panel-workspace-indicator-box .workspace:first-child {
-    border-left-width: 1px;
+  border-left-width: 1px;
 }
 
 .workspace-indicator-window-preview {
-    background-color: #252525;
-    border: 1px solid #ccc;
+  background-color: #252525;
+  border: 1px solid #ccc;
 }
 
 .workspace-indicator-window-preview.active {
-    background-color: #353535;
-    border: 2px solid #ccc;
+  background-color: #353535;
+  border: 2px solid #ccc;
 }