From fdfa46099b84ab36202612baf486a7e3b06eddc2 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Florian=20M=C3=BCllner?= Date: Sat, 16 Jan 2021 01:07:29 +0100 Subject: [PATCH] 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: --- 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 d43d0442..84aaf454 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; }