Merge pull request #243 from jtpio/border

Improve tree page tab bar CSS
4 years ago · 3be86ca2fb
parent 7d2a18d99a db3cb8a180
commit 3be86ca2fb
1 changed files with 6 additions and 0 deletions
--- 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 {