From db3cb8a18078e24538c31e7053de004b886a1ae5 Mon Sep 17 00:00:00 2001
From: Jeremy Tuloup <jeremy.tuloup@gmail.com>
Date: Thu, 7 Oct 2021 20:04:03 +0200
Subject: [PATCH] Improve tree page tab bar CSS

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

diff --git a/packages/tree-extension/style/base.css b/packages/tree-extension/style/base.css
index 0b2f6204..a22925be 100644
--- a/packages/tree-extension/style/base.css
+++ b/packages/tree-extension/style/base.css
@@ -9,6 +9,12 @@
 .jp-TreePanel .lm-TabPanel-tabBar {
   overflow: visible;
   min-height: 32px;
+  border-bottom: unset;
+  height: var(--jp-private-toolbar-height);
+}
+
+.jp-TreePanel .lm-TabBar-content {
+  height: 100%;
 }
 
 .jp-TreePanel .lm-TabBar-tab {