
.TabHeaders {
  display: flex;
  flex-wrap: wrap;
  align-items: end;
}
.TabHeaders > div {
  padding: 0 4px;
  min-height: var(--HeaderHeight);
  height: var(--HeaderHeight);
  max-height: var(--HeaderHeight);
  background-color: var(--HeaderBackgroundLegacyColor);
  color: var(--HeaderLegacyColor);
  padding: var(--TabVerticalPadding) 4px;
  border-top: solid var(--BorderColor) 1px;
  border-left: solid var(--BorderColor) 1px;
  border-right: solid var(--BorderColor) 1px;
  cursor: pointer;
}
.TabHeaders > div.TabSelected {
  background-color: var(--SecondaryColor);
  color: var(--PrimaryColor);
  height: calc(var(--HeaderHeight) + var(--SelectedTabExtraHeight));
  max-height: calc(var(--HeaderHeight) + var(--SelectedTabExtraHeight));
  padding-top: calc(var(--TabVerticalPadding) + (var(--SelectedTabExtraHeight) / 2));
  cursor: default;
}
