Merge pull request #44 from jtpio/tweak-tabbar-padding

Tweak Tree TabBar padding
5 years ago · a37f95cfed
parent 7fa4528440 8db437ab59
commit a37f95cfed
1 changed files with 2 additions and 2 deletions
--- 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 {