From 8db437ab597cb755104543ff30f51a99e4bd0220 Mon Sep 17 00:00:00 2001
From: Jeremy Tuloup <jeremy.tuloup@gmail.com>
Date: Fri, 11 Dec 2020 19:23:48 +0100
Subject: [PATCH] Tweak Tree TabBar padding

---
 packages/tree-extension/style/base.css | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/packages/tree-extension/style/base.css b/packages/tree-extension/style/base.css
index 0ed90ca74..04217d897 100644
--- a/packages/tree-extension/style/base.css
+++ b/packages/tree-extension/style/base.css
@@ -9,13 +9,13 @@
 .jp-TreePanel .lm-TabPanel-tabBar {
   border: none;
   overflow: visible;
-  min-height: 28px;
+  min-height: 32px;
 }
 
 .jp-TreePanel .lm-TabBar-tab {
   color: var(--jp-ui-font-color0);
   font-size: var(--jp-ui-font-size1);
-  padding: 5px;
+  padding: 8px;
 }
 
 .jp-TreePanel .lm-TabBar-tabLabel {