[gnome-shell-extensions] workspace-indicator: drop the "shorter" style class

[Giovanni Campagna <gcampagna src gnome org>]

commit 0a9be8fc82216c1c3ee2f303768d5c3379a8b58e
Author: Giovanni Campagna <gcampagna src gnome org>
Date:   Thu Mar 1 16:28:53 2012 +0100

    workspace-indicator: drop the "shorter" style class
    
    It makes it appear different from other popup menus, which looks
    strange.

 extensions/workspace-indicator/extension.js   |    1 -
 extensions/workspace-indicator/stylesheet.css |    4 ----
 2 files changed, 0 insertions(+), 5 deletions(-)
---
diff --git a/extensions/workspace-indicator/extension.js b/extensions/workspace-indicator/extension.js
index 644af8c..c07152b 100644
--- a/extensions/workspace-indicator/extension.js
+++ b/extensions/workspace-indicator/extension.js
@@ -47,7 +47,6 @@ const WorkspaceIndicator = new Lang.Class({
 	this._createWorkspacesSection();
 
 	//styling
-	this.menu.actor.add_style_class_name('workspace-indicator-shorter');
 	this.statusLabel.add_style_class_name('panel-workspace-indicator');
 
         this._settings = new Gio.Settings({ schema: WORKSPACE_SCHEMA });
diff --git a/extensions/workspace-indicator/stylesheet.css b/extensions/workspace-indicator/stylesheet.css
index e73eedc..1271f1c 100644
--- a/extensions/workspace-indicator/stylesheet.css
+++ b/extensions/workspace-indicator/stylesheet.css
@@ -1,7 +1,3 @@
-.workspace-indicator-shorter {
-	min-width: 25px;
-	font-size: 10pt;
-}
 .panel-workspace-indicator {
 	padding: 0 8px;
 	background-color: rgba(200, 200, 200, .5);