From 97d71d4a7ef4b1d4c9c2eab55db62173311f5366 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Florian=20M=C3=BCllner?= Date: Tue, 2 Jul 2024 19:04:10 +0200 Subject: [PATCH] workspace-indicator: Re-fittsify workspace previews For the window-list extension, it is important that the workspace previews extend to the bottom edge for easier click targets. That broke while merging the code with the workspace-indicator, fix it again by moving the padding from the parent box into the thumbnail children. --- .../workspace-indicator/stylesheet-dark.css | 15 ++++++++++++++- 1 file changed, 14 insertions(+), 1 deletion(-) diff --git a/extensions/workspace-indicator/stylesheet-dark.css b/extensions/workspace-indicator/stylesheet-dark.css index b4a716b8..3c57c3e6 100644 --- a/extensions/workspace-indicator/stylesheet-dark.css +++ b/extensions/workspace-indicator/stylesheet-dark.css @@ -18,7 +18,6 @@ } .workspace-indicator .workspaces-box { - padding: 5px; spacing: 3px; } @@ -27,6 +26,20 @@ spacing: 6px; } +.workspace-indicator .workspace-box { + padding-top: 5px; + padding-bottom: 5px; +} + +.workspace-indicator StButton:first-child:ltr > .workspace-box, +.workspace-indicator StButton:last-child:rtl > .workspace-box { + padding-left: 5px; +} +.workspace-indicator StButton:last-child:ltr > .workspace-box, +.workspace-indicator StButton:first-child:rtl > .workspace-box { + padding-right: 5px; +} + .workspace-indicator-menu .workspace-box { spacing: 6px; } -- 2.45.2