jupyterlab/packages/tabmanager-extension/style/base.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: 24px;
  --jp-private-tab-manager-tab-padding-top: 8px;
}

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

#tab-manager {
  background: var(--jp-layout-color1);
  overflow: visible;
  color: var(--jp-ui-font-color1);
  /* This is needed so that all font sizing of children done in ems is
   * relative to this base size */
  font-size: var(--jp-ui-font-size1);
}

#tab-manager header {
  border-bottom: var(--jp-border-width) solid var(--jp-border-color2);
  flex: 0 0 auto;
  font-size: var(--jp-ui-font-size0);
  font-weight: 600;
  letter-spacing: 1px;
  margin: 0px;
  padding: 8px 12px;
  text-transform: uppercase;
}

#tab-manager .p-TabBar-tab {
  height: var(--jp-private-tab-manager-tab-height);
  padding: 0px 12px;
  border: none;
  position: relative;
  overflow: visible;
}

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

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

#tab-manager .p-TabBar-tab.jp-mod-active {
  color: white;
  background: var(--jp-brand-color1);
}

#tab-manager .p-TabBar-tabLabel {
  line-height: var(--jp-private-tab-manager-tab-height);
  padding-left: 4px;
}

#tab-manager .p-TabBar-tab .p-TabBar-tabIcon {
  background-position: left center;
  background-repeat: no-repeat;
  margin-right: 2px;
  min-width: 16px;
  min-height: 16px;
  background-size: 16px;
  vertical-align: middle;
}

#tab-manager .p-TabBar-tab.p-mod-closable > .p-TabBar-tabCloseIcon {
  padding: 4px 0px 4px 4px;
  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.jp-mod-dirty.jp-mod-active
  > .p-TabBar-tabCloseIcon {
  background-size: 10px;
  background-image: var(--jp-icon-inverse-circle);
}

#tab-manager
  .p-TabBar-tab.p-mod-closable.jp-mod-active
  > .p-TabBar-tabCloseIcon {
  background-image: var(--jp-icon-inverse-close);
}

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

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

#tab-manager .p-TabBar-tab.jp-mod-active .p-TabBar-tabIcon.jp-FileIcon {
  background-image: var(--jp-icon-file-selected);
}

#tab-manager .p-TabBar-tab.jp-mod-active .p-TabBar-tabIcon.jp-TextEditorIcon {
  background-image: var(--jp-icon-text-editor-selected);
}

#tab-manager .p-TabBar-tab.jp-mod-active .p-TabBar-tabIcon.jp-NotebookIcon {
  background-image: var(--jp-icon-notebook-selected);
}

#tab-manager .p-TabBar-tab.jp-mod-active .p-TabBar-tabIcon.jp-FolderIcon {
  background-image: var(--jp-icon-folder-selected);
}

#tab-manager .p-TabBar-tab.jp-mod-active .p-TabBar-tabIcon.jp-MarkdownIcon {
  background-image: var(--jp-icon-markdown-selected);
}

#tab-manager .p-TabBar-tab.jp-mod-active .p-TabBar-tabIcon.jp-PythonIcon {
  background-image: var(--jp-icon-python-selected);
}

#tab-manager .p-TabBar-tab.jp-mod-active .p-TabBar-tabIcon.jp-JsonIcon {
  background-image: var(--jp-icon-json-selected);
}

#tab-manager .p-TabBar-tab.jp-mod-active .p-TabBar-tabIcon.jp-SpreadsheetIcon {
  background-image: var(--jp-icon-spreadsheet-selected);
}

#tab-manager .p-TabBar-tab.jp-mod-active .p-TabBar-tabIcon.jp-RKernelIcon {
  background-image: var(--jp-icon-r-selected);
}

#tab-manager .p-TabBar-tab.jp-mod-active .p-TabBar-tabIcon.jp-YamlIcon {
  background-image: var(--jp-icon-yaml-selected);
}

#tab-manager .p-TabBar-tab.jp-mod-active .p-TabBar-tabIcon.jp-ImageIcon {
  background-image: var(--jp-icon-image-selected);
}

#tab-manager .p-TabBar-tab.jp-mod-active .p-TabBar-tabIcon.jp-CodeConsoleIcon {
  background-image: var(--jp-icon-console-selected);
}

#tab-manager .p-TabBar-tab.jp-mod-active .p-TabBar-tabIcon.jp-LauncherIcon {
  background-image: var(--jp-icon-launcher-selected);
}