From 3f0ed4125304881e49054298f5457502e253fcce Mon Sep 17 00:00:00 2001 From: Johannes Rieken Date: Wed, 11 Jul 2018 16:22:26 +0200 Subject: [PATCH] use margin instead of padding for nice background color --- .../browser/parts/editor/media/breadcrumbscontrol.css | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/vs/workbench/browser/parts/editor/media/breadcrumbscontrol.css b/src/vs/workbench/browser/parts/editor/media/breadcrumbscontrol.css index 80166b8d642..b74ae0063cb 100644 --- a/src/vs/workbench/browser/parts/editor/media/breadcrumbscontrol.css +++ b/src/vs/workbench/browser/parts/editor/media/breadcrumbscontrol.css @@ -18,12 +18,12 @@ .monaco-workbench>.part.editor>.content .editor-group-container .breadcrumbs-control .monaco-breadcrumbs .monaco-breadcrumb-item:nth-child(2) { /*first-child is the style-element*/ - padding-left: 8px; + margin-left: 8px; } .monaco-workbench>.part.editor>.content .editor-group-container .breadcrumbs-control .monaco-breadcrumbs .monaco-breadcrumb-item:last-child { /*first-child is the style-element*/ - padding-right: 8px; + margin-right: 8px; } .monaco-breadcrumbs-picker { -- GitLab