Merge pull request #243 from jtpio/border

Improve tree page tab bar CSS
jupyterlab · Oct 8, 2021 · 3be86ca · 3be86ca
2 parents 7d2a18d + db3cb8a
commit 3be86ca
Showing 1 changed file with 6 additions and 0 deletions.
diff --git 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 {