<commit_before>$dashboard-tabs-padding: 30px;
$dashboard-tab-bg: #fff;
$dashboard-tab-primary-text-color: #943a9e;
$dashboard-tab-secondary-text-color: #3c5d73;
$dashboard-tab-action-button-color: #6b808c;
$dashboard-tab-height: 50px;
$dashboard-add-tab-width: 40px;
$dashboard-tab-list-toggle-width: $dashboard-add-tab-width;
$dashboard-tabs-border-color: #e9eeef;
$dashboard-tabs-border-radius: 0;
$dashboard-tabs-pager-width: $dashboard-add-tab-width;
$dashboard-tab-current-marker-height: 10px;
$dashboard-tabs-box-shadow: 0 0 10px rgba(0, 0, 0, 0.21);

.dashboard-tabs {
  @include unselectable;

  position:         relative;
  background-color: $dashboard-tab-bg;
  border-radius:    $dashboard-tabs-border-radius;
  line-height:      $dashboard-tab-height;
  height:           $dashboard-tab-height;
  padding:          0 $dashboard-tabs-padding;
  margin-bottom:    20px;
  box-shadow:       $dashboard-tabs-box-shadow;

  .dashboard-tab-edit, .dashboard-tab-remove {
    cursor: pointer;
  }

  .dashboard-tab-edit {
    @include icon-before($type: edit);
  }

  .dashboard-tab-remove {
    @include icon-before($type: trash);
  }

  .add-tab, .tabs-list-dropdown-widget {
    position:     absolute;
    top:          0;
    border-left:  1px solid $dashboard-tabs-border-color;
    border-right: 1px solid $dashboard-tabs-border-color;
    padding:      0 10px;
    font-size:    17px;
    cursor:       pointer;
    height:       $dashboard-tab-height;
  }

  .add-tab {
    right:      calc(#{$dashboard-tab-list-toggle-width} + #{$dashboard-tabs-padding});
    width:      $dashboard-add-tab-width;
    color:      $dashboard-tab-primary-text-color;
    text-align: center;

    .add-icon {
      @include icon-before($type: plus);
    }
  }

  .tabs-list-dropdown-widget {
    top:           0;
    right:         $dashboard-tabs-padding;
    width:         $dashboard-tab-list-toggle-width;
    color:         $dashboard-tab-secondary-text-color;
    border-radius: 0 $dashboard-tabs-border-radius $dashboard-tabs-border-radius 0;

    .tabs-list-dropdown-toggle {
      position: absolute;
      top:      0;
      left:     0;
      width:    100%;
      height:   100%;
      outline:  none;

      .tabs-list-icon {
        @include icon-before($type: chevron-down);
      }
    }

    .tabs-list {
      position:      absolute;
      top:           100%;
      right:         0;
      background:    $dashboard-tab-bg;
      margin:        0;
      padding:       0 20px;
      border-top:    1px solid $dashboard-tabs-border-color;
      border-radius: 0 0 $dashboard-tabs-border-radius $dashboard-tabs-border-radius;
      list-style:    none;
      font-size:     14px;
      z-index:       9;
      overflow-y:    auto;
      max-height:    65vh;
      box-shadow:    $dashboard-tabs-box-shadow;


      li {
        @include truncate-to-width($max: 210px);

        margin:         0;
        padding:        10px 0;
        border:         0;
        border-bottom:  1px dashed $dashboard-tabs-border-color;
        text-transform: uppercase;
        font-weight:    700;

        &.current, &:hover {
          color: $dashboard-tab-primary-text-color;
        }

        &:last-of-type {
          border-bottom: 0;
        }
      }
    }
  }

  .edit-dropdown {
    position:      absolute;
    top:           100%;
    left:          0;
    z-index:       9;

    background:    $dashboard-tab-bg;
    color:         $dashboard-tab-action-button-color;
    border-radius: 3px;
    font-weight:   normal;
    line-height:   initial;
    box-shadow:    $dashboard-tabs-box-shadow;

    .dashboard-tab-action {
      display:       inline-block;
      margin:        0;
      padding:       5px 15px;
      border-radius: $dashboard-tabs-border-radius;

      &:first-of-type {
        border-right: 1px solid $dashboard-tabs-border-color;
      }
    }
  }

  .deny-action, .edit-dropdown .deny-action {
    color:        #aaa;
    border-color: #aaa;
    cursor:       not-allowed;
  }
}

.dashboard-tabs-sortable, .dashboard-tabs-scrollable {
  position:       relative;
  margin:         0;
  padding:        0;
  vertical-align: top;
  white-space:    nowrap;
}

.dashboard-tabs-sortable {
  padding-bottom: 100px;
  width:          100%;
  overflow-x:     auto;
  overflow-y:     hidden;
  outline:        none;
}

.dashboard-tabs-scrollable {
  padding:  0 $dashboard-tabs-pager-width;
  width:    calc(100% - #{$dashboard-add-tab-width} - #{$dashboard-tab-list-toggle-width});
  overflow: hidden;

  .page-prev, .page-next {
    position:     absolute;
    top:          0;

    border-right: 1px solid $dashboard-tabs-border-color;
    border-left:  1px solid $dashboard-tabs-border-color;

    width:        $dashboard-tabs-pager-width;<commit_msg>Windows fix for personalization tab scrolling<commit_after>$dashboard-tabs-padding: 30px;
$dashboard-tab-bg: #fff;
$dashboard-tab-primary-text-color: #943a9e;
$dashboard-tab-secondary-text-color: #3c5d73;
$dashboard-tab-action-button-color: #6b808c;
$dashboard-tab-height: 50px;
$dashboard-add-tab-width: 40px;
$dashboard-tab-list-toggle-width: $dashboard-add-tab-width;
$dashboard-tabs-border-color: #e9eeef;
$dashboard-tabs-border-radius: 0;
$dashboard-tabs-pager-width: $dashboard-add-tab-width;
$dashboard-tab-current-marker-height: 10px;
$dashboard-tabs-box-shadow: 0 0 10px rgba(0, 0, 0, 0.21);

.dashboard-tabs {
  @include unselectable;

  position:         relative;
  background-color: $dashboard-tab-bg;
  border-radius:    $dashboard-tabs-border-radius;
  line-height:      $dashboard-tab-height;
  height:           $dashboard-tab-height;
  padding:          0 $dashboard-tabs-padding;
  margin-bottom:    20px;
  box-shadow:       $dashboard-tabs-box-shadow;

  .dashboard-tab-edit, .dashboard-tab-remove {
    cursor: pointer;
  }

  .dashboard-tab-edit {
    @include icon-before($type: edit);
  }

  .dashboard-tab-remove {
    @include icon-before($type: trash);
  }

  .add-tab, .tabs-list-dropdown-widget {
    position:     absolute;
    top:          0;
    border-left:  1px solid $dashboard-tabs-border-color;
    border-right: 1px solid $dashboard-tabs-border-color;
    padding:      0 10px;
    font-size:    17px;
    cursor:       pointer;
    height:       $dashboard-tab-height;
  }

  .add-tab {
    right:      calc(#{$dashboard-tab-list-toggle-width} + #{$dashboard-tabs-padding});
    width:      $dashboard-add-tab-width;
    color:      $dashboard-tab-primary-text-color;
    text-align: center;

    .add-icon {
      @include icon-before($type: plus);
    }
  }

  .tabs-list-dropdown-widget {
    top:           0;
    right:         $dashboard-tabs-padding;
    width:         $dashboard-tab-list-toggle-width;
    color:         $dashboard-tab-secondary-text-color;
    border-radius: 0 $dashboard-tabs-border-radius $dashboard-tabs-border-radius 0;

    .tabs-list-dropdown-toggle {
      position: absolute;
      top:      0;
      left:     0;
      width:    100%;
      height:   100%;
      outline:  none;

      .tabs-list-icon {
        @include icon-before($type: chevron-down);
      }
    }

    .tabs-list {
      position:      absolute;
      top:           100%;
      right:         0;
      background:    $dashboard-tab-bg;
      margin:        0;
      padding:       0 20px;
      border-top:    1px solid $dashboard-tabs-border-color;
      border-radius: 0 0 $dashboard-tabs-border-radius $dashboard-tabs-border-radius;
      list-style:    none;
      font-size:     14px;
      z-index:       9;
      overflow-y:    auto;
      max-height:    65vh;
      box-shadow:    $dashboard-tabs-box-shadow;


      li {
        @include truncate-to-width($max: 210px);

        margin:         0;
        padding:        10px 0;
        border:         0;
        border-bottom:  1px dashed $dashboard-tabs-border-color;
        text-transform: uppercase;
        font-weight:    700;

        &.current, &:hover {
          color: $dashboard-tab-primary-text-color;
        }

        &:last-of-type {
          border-bottom: 0;
        }
      }
    }
  }

  .edit-dropdown {
    position:      absolute;
    top:           100%;
    left:          0;
    z-index:       9;

    background:    $dashboard-tab-bg;
    color:         $dashboard-tab-action-button-color;
    border-radius: 3px;
    font-weight:   normal;
    line-height:   initial;
    box-shadow:    $dashboard-tabs-box-shadow;

    .dashboard-tab-action {
      display:       inline-block;
      margin:        0;
      padding:       5px 15px;
      border-radius: $dashboard-tabs-border-radius;

      &:first-of-type {
        border-right: 1px solid $dashboard-tabs-border-color;
      }
    }
  }

  .deny-action, .edit-dropdown .deny-action {
    color:        #aaa;
    border-color: #aaa;
    cursor:       not-allowed;
  }
}

.dashboard-tabs-sortable, .dashboard-tabs-scrollable {
  position:       relative;
  margin:         0;
  padding:        0;
  vertical-align: top;
  white-space:    nowrap;
}

.dashboard-tabs-sortable {
  padding-bottom: 100px;
  width:          100%;
  overflow-x:     auto;
  overflow-y:     hidden;
  outline:        none;
}

.dashboard-tabs-scrollable {
  padding:  0 $dashboard-tabs-pager-width;
  width:    calc(100% - #{$dashboard-add-tab-width} - #{$dashboard-tab-list-toggle-width});
  height:   $dashboard-tab-height;
  overflow: hidden; // ensure scrollbars of inner container are hidden from view

  .page-prev, .page-next {
    position:     absolute;
    top:          0;

    border-right: 1px solid $dashboard-tabs-border-color;
    border-left:  1px solid $dashboard-tabs-border-color;

    width:        $dashboard-tabs-pager-width;
{'fraction_non_alphanumeric': 0.13527714815577993, 'fraction_numerical': 0.022460333814135588, 'mean_word_length': 2.0315427857589006, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 3, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '1122737', 'n_tokens_mistral': 3381, 'n_tokens_neox': 3319, 'n_words': 589}