-
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. GNOME/gnome-shell-extensions#283 Part-of: <GNOME/gnome-shell-extensions!166>
fdfa4609