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

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

:root {
  /* These need to be root because tabs get attached to the body during dragging. */
  --jp-private-horizontal-tab-height: 24px;
  --jp-private-horizontal-tab-width: 144px;
  --jp-private-horizontal-tab-active-top-border: 2px;
}


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

.p-DockPanel-tabBar {
  border-bottom: var(--jp-border-width) solid var(--jp-border-color1);
  overflow: visible;
  color: var(--jp-ui-font-color1);
  font-size: var(--jp-ui-font-size1);
}


.p-DockPanel-tabBar.p-mod-horizontal {
  min-height: calc(var(--jp-private-horizontal-tab-height) + 2 * var(--jp-border-width));
}


.p-DockPanel-tabBar.p-mod-vertical {
  min-width: 80px;
}


.p-DockPanel-tabBar > .p-TabBar-content {
  align-items: flex-end;
  min-width: 0;
  min-height: 0;
}


.p-DockPanel-tabBar .p-TabBar-tab {
  flex: 0 1 var(--jp-private-horizontal-tab-width);
  min-height: calc(var(--jp-private-horizontal-tab-height) + var(--jp-border-width));
  min-width: 35px;
  margin-left: calc(-1*var(--jp-border-width));
  line-height: var(--jp-private-horizontal-tab-height);
  padding: 0px 10px;
  background: var(--jp-layout-color2);
  border: var(--jp-border-width) solid var(--jp-border-color1);
  border-bottom: none;
  position: relative;
  overflow: visible;
}


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


.p-DockPanel-tabBar .p-TabBar-tab:first-child {
  margin-left: 0;
}

/* This is a current tab of a tab bar in the dock panel: each tab bar has 1. */
.p-DockPanel-tabBar .p-TabBar-tab.p-mod-current {
  background: var(--jp-layout-color0);
  color: var(--jp-ui-font-color0);
  min-height: calc(var(--jp-private-horizontal-tab-height) + 2 * var(--jp-border-width));
  transform: translateY(var(--jp-border-width));
}


/* This is the main application level current tab: only 1 exists. */
.p-DockPanel-tabBar .p-TabBar-tab.jp-mod-current:before {
  position: absolute;
  top: calc(-1 * var(--jp-border-width));
  left: calc(-1 * var(--jp-border-width));
  content: '';
  height: var(--jp-private-horizontal-tab-active-top-border);
  width: calc(100% + 2*var(--jp-border-width));
  background: var(--jp-brand-color1);
}


/* This is the left tab bar current tab: only 1 exists. */
.p-TabBar-tab.p-mod-current {
  background: var(--jp-layout-color0);
}


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


.p-DockPanel-tabBar .p-TabBar.p-mod-left .p-TabBar-tab,
.p-DockPanel-tabBar .p-TabBar.p-mod-right .p-TabBar-tab {
  flex: 0 1 40px;
  margin-top: -1px;
  line-height: 40px;
}


.p-DockPanel-tabBar .p-TabBar.p-mod-left .p-TabBar-tab {
  border-right: none;
}


.p-DockPanel-tabBar .p-TabBar.p-mod-right .p-TabBar-tab {
  border-left: none;
}


.p-DockPanel-tabBar .p-TabBar.p-mod-left .p-TabBar-tab:first-child,
.p-DockPanel-tabBar .p-TabBar.p-mod-right .p-TabBar-tab:first-child {
  margin-top: 0;
}


.p-DockPanel-tabBar .p-TabBar.p-mod-left .p-TabBar-tab.p-mod-current,
.p-DockPanel-tabBar .p-TabBar.p-mod-right .p-TabBar-tab.p-mod-current {
  min-width: 80px;
  max-width: 80px;
}


.p-DockPanel-tabBar .p-TabBar.p-mod-right .p-TabBar-tab.p-mod-current {
  transform: translateX(-1px);
}


.p-DockPanel-tabBar .p-TabBar-tabIcon,
.p-DockPanel-tabBar .p-TabBar-tabLabel,
.p-DockPanel-tabBar .p-TabBar-tabCloseIcon {
  display: inline-block;
}

.p-TabBar-WindowTabLabel {
  margin-top: 4px;
}

.p-DockPanel-tabBar .p-TabBar-tab.p-mod-closable > .p-TabBar-tabCloseIcon {
  margin-left: 4px;
  padding-top: 8px;
  background-size: 16px;
  height: 16px;
  width: 16px;
  background-image: url(../default-theme/icons/md/close.svg);
  background-position: center;
  background-repeat: no-repeat;
}


.p-DockPanel-tabBar .p-TabBar-tab.p-mod-closable.jp-mod-dirty > .p-TabBar-tabCloseIcon {
  background-size: 10px;
  background-image: url(../default-theme/icons/md/circle.svg);<commit_msg>Changed the tab icons width and margin to be in line with rest of spacing within the tab. Changed the side padding from 10px to 8px to conform to the 4px scale that we use throughout the application<commit_after>/*-----------------------------------------------------------------------------
| Copyright (c) Jupyter Development Team.
| Distributed under the terms of the Modified BSD License.
|----------------------------------------------------------------------------*/

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

:root {
  /* These need to be root because tabs get attached to the body during dragging. */
  --jp-private-horizontal-tab-height: 24px;
  --jp-private-horizontal-tab-width: 144px;
  --jp-private-horizontal-tab-active-top-border: 2px;
}


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

.p-DockPanel-tabBar {
  border-bottom: var(--jp-border-width) solid var(--jp-border-color1);
  overflow: visible;
  color: var(--jp-ui-font-color1);
  font-size: var(--jp-ui-font-size1);
}


.p-DockPanel-tabBar.p-mod-horizontal {
  min-height: calc(var(--jp-private-horizontal-tab-height) + 2 * var(--jp-border-width));
}


.p-DockPanel-tabBar.p-mod-vertical {
  min-width: 80px;
}


.p-DockPanel-tabBar > .p-TabBar-content {
  align-items: flex-end;
  min-width: 0;
  min-height: 0;
}


.p-DockPanel-tabBar .p-TabBar-tab {
  flex: 0 1 var(--jp-private-horizontal-tab-width);
  min-height: calc(var(--jp-private-horizontal-tab-height) + var(--jp-border-width));
  min-width: 35px;
  margin-left: calc(-1*var(--jp-border-width));
  line-height: var(--jp-private-horizontal-tab-height);
  padding: 0px 8px;
  background: var(--jp-layout-color2);
  border: var(--jp-border-width) solid var(--jp-border-color1);
  border-bottom: none;
  position: relative;
  overflow: visible;
}


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


.p-DockPanel-tabBar .p-TabBar-tab:first-child {
  margin-left: 0;
}

/* This is a current tab of a tab bar in the dock panel: each tab bar has 1. */
.p-DockPanel-tabBar .p-TabBar-tab.p-mod-current {
  background: var(--jp-layout-color0);
  color: var(--jp-ui-font-color0);
  min-height: calc(var(--jp-private-horizontal-tab-height) + 2 * var(--jp-border-width));
  transform: translateY(var(--jp-border-width));
}


/* This is the main application level current tab: only 1 exists. */
.p-DockPanel-tabBar .p-TabBar-tab.jp-mod-current:before {
  position: absolute;
  top: calc(-1 * var(--jp-border-width));
  left: calc(-1 * var(--jp-border-width));
  content: '';
  height: var(--jp-private-horizontal-tab-active-top-border);
  width: calc(100% + 2*var(--jp-border-width));
  background: var(--jp-brand-color1);
}


/* This is the left tab bar current tab: only 1 exists. */
.p-TabBar-tab.p-mod-current {
  background: var(--jp-layout-color0);
}


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


.p-DockPanel-tabBar .p-TabBar.p-mod-left .p-TabBar-tab,
.p-DockPanel-tabBar .p-TabBar.p-mod-right .p-TabBar-tab {
  flex: 0 1 40px;
  margin-top: -1px;
  line-height: 40px;
}


.p-DockPanel-tabBar .p-TabBar.p-mod-left .p-TabBar-tab {
  border-right: none;
}


.p-DockPanel-tabBar .p-TabBar.p-mod-right .p-TabBar-tab {
  border-left: none;
}


.p-DockPanel-tabBar .p-TabBar.p-mod-left .p-TabBar-tab:first-child,
.p-DockPanel-tabBar .p-TabBar.p-mod-right .p-TabBar-tab:first-child {
  margin-top: 0;
}


.p-DockPanel-tabBar .p-TabBar.p-mod-left .p-TabBar-tab.p-mod-current,
.p-DockPanel-tabBar .p-TabBar.p-mod-right .p-TabBar-tab.p-mod-current {
  min-width: 80px;
  max-width: 80px;
}


.p-DockPanel-tabBar .p-TabBar.p-mod-right .p-TabBar-tab.p-mod-current {
  transform: translateX(-1px);
}


.p-DockPanel-tabBar .p-TabBar-tabIcon,
.p-DockPanel-tabBar .p-TabBar-tabLabel,
.p-DockPanel-tabBar .p-TabBar-tabCloseIcon {
  display: inline-block;
}


.p-DockPanel-tabBar .p-TabBar-tabIcon {
  width: 14px;
  margin-top: 2px;
}
.p-TabBar-WindowTabLabel {
  margin-top: 4px;
}

.p-DockPanel-tabBar .p-TabBar-tab.p-mod-closable > .p-TabBar-tabCloseIcon {
  margin-left: 4px;
  padding-top: 8px;
  background-size: 16px;
  height: 16px;
  width: 16px;
  background-image: url(../default-theme/icons/md/close.svg);
  background-position: center;
  background-repeat: no-repeat;
}


.p-DockPanel-tabBar .p-TabBar-tab.p-mod-closable.jp-mod-dirty > .p-TabBar-tabCloseIcon {
  background-size: 10px;
  background-image: url(../default-theme/icons/md/circle.svg);
{'fraction_non_alphanumeric': 0.2636669927181828, 'fraction_numerical': 0.014781002064992936, 'mean_word_length': 2.1984706291275633, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 9, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 2, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '1970296', 'n_tokens_mistral': 3579, 'n_tokens_neox': 3355, 'n_words': 576}