jupyterlab/packages/tabmanager-extension/style/index.css

/*-----------------------------------------------------------------------------
| Copyright (c) Jupyter Development Team.
| Distributed under the terms of the Modified BSD License.
|----------------------------------------------------------------------------*/

/*-----------------------------------------------------------------------------
| Variables
|----------------------------------------------------------------------------*/

:root {
  --jp-private-tab-manager-active-top-border: 2px;
  --jp-private-tab-manager-tab-height: 32px;
  --jp-private-tab-manager-tab-padding-top: 8px;
}


/*-----------------------------------------------------------------------------
| Tabs in the dock panel
|----------------------------------------------------------------------------*/

#tab-manager {
  background: var(--jp-layout-color0);
  overflow: visible;
  color: var(--jp-ui-font-color1);
  font-size: var(--jp-ui-font-size1);
}


#tab-manager .p-TabBar-tab {
  margin-left: calc(-1*var(--jp-border-width));
  height: var(--jp-private-tab-manager-tab-height);
  padding: 0px 8px;
  background: var(--jp-layout-color2);
  border: var(--jp-border-width) 0;
  border-bottom: none;
  position: relative;
  overflow: visible;
}


#tab-manager .p-TabBar-tab:hover:not(.p-mod-current) {
  background: var(--jp-layout-color1);
}


#tab-manager .p-TabBar-tab:first-child {
  margin-left: 0;
}


#tab-manager .p-TabBar-tab.jp-mod-active {
  background: var(--jp-layout-color0);
  color: var(--jp-ui-font-color0);
  transform: translateY(var(--jp-border-width));
}


#tab-manager .p-TabBar-tab.jp-mod-active:before {
  position: absolute;
  top: calc(-1 * var(--jp-border-width));
  left: calc(-1 * var(--jp-border-width));
  content: '';
  height: var(--jp-private-tab-manager-active-top-border);
  width: calc(100% + 2*var(--jp-border-width));
  background: var(--jp-brand-color1);
}


#tab-manager .p-TabBar-tab.p-mod-current:hover {
  background: var(--jp-layout-color1);
}


#tab-manager .p-TabBar-tabIcon,
#tab-manager .p-TabBar-tabLabel,
#tab-manager .p-TabBar-tabCloseIcon {
  display: inline-block;
}


#tab-manager .p-TabBar-tabLabel {
  padding-top: var(--jp-private-tab-manager-tab-padding-top);
}


#tab-manager .p-TabBar-tab .p-TabBar-tabIcon {
  width: 14px;
  background-position: left center;
  background-repeat: no-repeat;
  margin-right: 2px;
}

#tab-manager .p-TabBar-tab.p-mod-current .p-TabBar-tabIcon {
  margin-bottom: var(--jp-border-width);
}

#tab-manager .p-TabBar-tab.p-mod-closable > .p-TabBar-tabCloseIcon {
  margin-left: 4px;
  padding-top: 8px;
  background-size: 16px;
  height: 16px;
  width: 16px;
  background-image: var(--jp-icon-close);
  background-position: center;
  background-repeat: no-repeat;
}


#tab-manager .p-TabBar-tab.p-mod-closable.jp-mod-dirty > .p-TabBar-tabCloseIcon {
  background-size: 10px;
  background-image: var(--jp-icon-circle);
}

#tab-manager .p-TabBar-tab.p-mod-closable > .p-TabBar-tabCloseIcon:hover {
  background-size: 16px;
  background-image: var(--jp-icon-close-black);
}