From 5575ca486ebcd12eaf5677f96988a310fb97336a Mon Sep 17 00:00:00 2001 From: Benjamin Pasero Date: Wed, 17 Apr 2024 11:59:52 +0200 Subject: [PATCH] Multi diff editor: remove left/right margins (fix #204891) (#210381) --- .../editor/browser/widget/multiDiffEditor/style.css | 12 +----------- 1 file changed, 1 insertion(+), 11 deletions(-) diff --git a/src/vs/editor/browser/widget/multiDiffEditor/style.css b/src/vs/editor/browser/widget/multiDiffEditor/style.css index 03fc86e80934..767de682b592 100644 --- a/src/vs/editor/browser/widget/multiDiffEditor/style.css +++ b/src/vs/editor/browser/widget/multiDiffEditor/style.css @@ -36,14 +36,10 @@ } .header-content { - margin: 8px 8px 0px 8px; + margin: 8px 0px 0px 0px; padding: 4px 5px; border-top: 1px solid var(--vscode-multiDiffEditor-border); - border-right: 1px solid var(--vscode-multiDiffEditor-border); - border-left: 1px solid var(--vscode-multiDiffEditor-border); - border-top-left-radius: 2px; - border-top-right-radius: 2px; display: flex; align-items: center; @@ -107,13 +103,7 @@ display: flex; flex-direction: column; - margin-right: 8px; - margin-left: 8px; - - border-right: 1px solid var(--vscode-multiDiffEditor-border); - border-left: 1px solid var(--vscode-multiDiffEditor-border); border-bottom: 1px solid var(--vscode-multiDiffEditor-border); - border-radius: 2px; overflow: hidden; }