From f1bd5e09ce1b9bfddeb45a4dc083c595487cc9ff Mon Sep 17 00:00:00 2001 From: Alan Ren Date: Fri, 9 Jul 2021 17:12:11 -0700 Subject: [PATCH] new taskbar separator style (#16059) --- src/sql/base/browser/ui/taskbar/media/taskbar.css | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/sql/base/browser/ui/taskbar/media/taskbar.css b/src/sql/base/browser/ui/taskbar/media/taskbar.css index aea13aad30..bfbb12b00b 100644 --- a/src/sql/base/browser/ui/taskbar/media/taskbar.css +++ b/src/sql/base/browser/ui/taskbar/media/taskbar.css @@ -78,7 +78,7 @@ .taskbarSeparator { min-width: 1px; background-color:#A5A5A5; - margin: 6px 8px; + margin: 0px 16px; align-self: stretch; }