From 554f99edf3f0c98a87986686aa8aa9bfcfcba4f2 Mon Sep 17 00:00:00 2001 From: Doron Nahari Date: Tue, 28 Jan 2020 15:02:25 +0200 Subject: [PATCH] fix plugin header container alignment Signed-off-by: Doron Nahari --- packages/plugin-ext/src/main/browser/style/index.css | 4 ---- packages/plugin-ext/src/main/browser/style/plugin-sidebar.css | 2 +- 2 files changed, 1 insertion(+), 5 deletions(-) diff --git a/packages/plugin-ext/src/main/browser/style/index.css b/packages/plugin-ext/src/main/browser/style/index.css index f265b9e15fbc6..70d8de73acf43 100644 --- a/packages/plugin-ext/src/main/browser/style/index.css +++ b/packages/plugin-ext/src/main/browser/style/index.css @@ -34,10 +34,6 @@ flex-direction: column; } -.pluginHeaderContainer { - margin-bottom: 5px; -} - .theia-plugin-test-tab-icon { -webkit-mask: url('test.svg'); mask: url('test.svg'); diff --git a/packages/plugin-ext/src/main/browser/style/plugin-sidebar.css b/packages/plugin-ext/src/main/browser/style/plugin-sidebar.css index 5f74fc26187e6..c38ced2974acf 100644 --- a/packages/plugin-ext/src/main/browser/style/plugin-sidebar.css +++ b/packages/plugin-ext/src/main/browser/style/plugin-sidebar.css @@ -28,7 +28,7 @@ } .theia-plugins .pluginHeaderContainer { - padding: 3px 15px; + padding: 5px 15px; font-size: var(--theia-ui-font-size0); border-bottom: 1px solid; }