<commit_before>@import "../partials/base";


.centered {
  width: 960px;
  margin: 0 auto;
  height: 100%;
  position: relative;
}

header#header {
  @include header-background_color;
  height: $header_height;
  border-top: 4px solid $header-border-top-color;
  border-bottom: 1px solid $header-border-bottom-color;
  position: relative;
  font-family: $headlinefont;

  &:after {
    content: "";
    background: $application-background-color;
    border-top: 1px solid $tab_container_outline-color;
    height: 4px;
    width: 100%;
    position: absolute;
    bottom: -6px;
    z-index: 0;
  }

  h1 {
    display: inline-block;
    position: absolute;
    bottom: 25px;
    left: 15px;
    margin: 0;
    font-size: inherit;
    text-indent: -5555px;
  }

  .logo {
    background: $logo_img;
    text-indent: -5555px;
    width: 170px;
    height: 30px;
    bottom: 25px;
    left: 15px;
    position: absolute;
    display: block;
  }

  #loading {
    display: none;
    position: absolute;
    bottom: 27px;
    z-index: 100;
    height: 22px;
    width: 22px;
    padding: 0;
    background: $loading_img;
  }

  #appnav {
    border: 1px solid $header-border-bottom-color;
    border-bottom: none;
    @include border-radius(3px 3px 0 0);
    white-space: nowrap;
    margin: 0 auto;
    z-index: 2;
    float: left;

    ul {
      position: relative;
      overflow: auto;
      @include border-radius(3px 3px 0 0);
      border: 1px solid $tab_container_outline-color;
      border-bottom: none;
      outline: 0 none;
      @include header-background_color;

      li {
        display: block;
        float: left;
        position: relative;
        outline: 0 none;

        a {
          display: block;
          position: relative;
          text-decoration: none;
          white-space: nowrap;
          overflow: hidden;
          text-overflow: ellipsis;
          vertical-align: middle;
          font-weight: bold;
          color: $tab_font-color;
          padding: 0 13px;
          font-size: 13px;
          background-color: $tab_background-color;
          height: 28px;
          line-height: 28px;
          border-right: 3px solid $tab_container_outline-color;
          @include background-clip(padding);
          outline: 0 none;

          &.selected {
            color: $tab_selected-color;
            position: relative;
            outline: 0 none;
            @include tab-selected-bg;

            &:hover {
              @include tab-selected-bg;
              color: #37373E;
            }
          }

          &:hover {
            outline: 0 none;
            background: $tab_hover-color;
            color: $tab_font-color;
          }
        }

        &:first-child > a {
          outline: 0 none;
          @include border-radius(3px 0 0 0);
        }

        &:last-child > a {
          @include border-radius(3px 0 0 0);
          border-right: none;
        }
      }
    }
  }

  #nav-container {
    display: block;
    position: absolute;
    bottom: -1px;
    left: 35%;
    z-index: 1;
    height: 2.5em;
    padding: 5px 6px 0 6px;
    @include border-top-lr-radius(5px);
  }

  #widget-container {
    min-width: 225px;
    position: relative;
    top: 22px;
    float: right;
    margin-right: 15px;

    a { color: #FFF; }

    ul {
      float: left;

      li {<commit_msg>Fix for the wrong corner of the last tab in the header being rounded.<commit_after>@import "../partials/base";


.centered {
  width: 960px;
  margin: 0 auto;
  height: 100%;
  position: relative;
}

header#header {
  @include header-background_color;
  height: $header_height;
  border-top: 4px solid $header-border-top-color;
  border-bottom: 1px solid $header-border-bottom-color;
  position: relative;
  font-family: $headlinefont;

  &:after {
    content: "";
    background: $application-background-color;
    border-top: 1px solid $tab_container_outline-color;
    height: 4px;
    width: 100%;
    position: absolute;
    bottom: -6px;
    z-index: 0;
  }

  h1 {
    display: inline-block;
    position: absolute;
    bottom: 25px;
    left: 15px;
    margin: 0;
    font-size: inherit;
    text-indent: -5555px;
  }

  .logo {
    background: $logo_img;
    text-indent: -5555px;
    width: 170px;
    height: 30px;
    bottom: 25px;
    left: 15px;
    position: absolute;
    display: block;
  }

  #loading {
    display: none;
    position: absolute;
    bottom: 27px;
    z-index: 100;
    height: 22px;
    width: 22px;
    padding: 0;
    background: $loading_img;
  }

  #appnav {
    border: 1px solid $header-border-bottom-color;
    border-bottom: none;
    @include border-radius(3px 3px 0 0);
    white-space: nowrap;
    margin: 0 auto;
    z-index: 2;
    float: left;

    ul {
      position: relative;
      overflow: auto;
      @include border-radius(3px 3px 0 0);
      border: 1px solid $tab_container_outline-color;
      border-bottom: none;
      outline: 0 none;
      @include header-background_color;

      li {
        display: block;
        float: left;
        position: relative;
        outline: 0 none;

        a {
          display: block;
          position: relative;
          text-decoration: none;
          white-space: nowrap;
          overflow: hidden;
          text-overflow: ellipsis;
          vertical-align: middle;
          font-weight: bold;
          color: $tab_font-color;
          padding: 0 13px;
          font-size: 13px;
          background-color: $tab_background-color;
          height: 28px;
          line-height: 28px;
          border-right: 3px solid $tab_container_outline-color;
          @include background-clip(padding);
          outline: 0 none;

          &.selected {
            color: $tab_selected-color;
            position: relative;
            outline: 0 none;
            @include tab-selected-bg;

            &:hover {
              @include tab-selected-bg;
              color: #37373E;
            }
          }

          &:hover {
            outline: 0 none;
            background: $tab_hover-color;
            color: $tab_font-color;
          }
        }

        &:first-child > a {
          outline: 0 none;
          @include border-radius(3px 0 0 0);
        }

        &:last-child > a {
          @include border-radius(0 3px 0 0);
          border-right: none;
        }
      }
    }
  }

  #nav-container {
    display: block;
    position: absolute;
    bottom: -1px;
    left: 35%;
    z-index: 1;
    height: 2.5em;
    padding: 5px 6px 0 6px;
    @include border-top-lr-radius(5px);
  }

  #widget-container {
    min-width: 225px;
    position: relative;
    top: 22px;
    float: right;
    margin-right: 15px;

    a { color: #FFF; }

    ul {
      float: left;

      li {
{'fraction_non_alphanumeric': 0.11267397098015991, 'fraction_numerical': 0.03198104826769322, 'mean_word_length': 1.7971014492753623, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 7, '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': '4920857', 'n_tokens_mistral': 2386, 'n_tokens_neox': 2167, 'n_words': 547}