<commit_before>nav.sequence-nav {
  @extend .topbar;
  margin-bottom: $body-line-height;

  ol {
    display: table-row;
    float: left;
    width: flex-grid(7.5,9) + flex-gutter();
    position: relative;

    a {
      @extend .block-link;
    }

    li {
      display: table-cell;

      .inactive {
        background-repeat: no-repeat;

        &:hover {
          background-color: lighten(#F6EFD4, 3%);
        }
      }

      .visited {
        background-color: shade(#F6EFD4, 10%);
        background-repeat: no-repeat;
        border-color: shade(#F6EFD4, 10%);

        &:hover {
          background-color: #F6EFD4;
          background-position: center center;
        }
      }

      .active {
        // @include box-shadow(inset -1px 0 0 darken(#F6EFD4, 20%), inset 1px 0 0 darken(#F6EFD4, 20%));
        @include box-shadow(0 1px 0 #fff);
        background-color: #fff;
        background-repeat: no-repeat;

        &:hover {
          background-color: #fff;
          background-position: center;
        }
      }

      a {
        @include box-shadow(1px 0 0 #fff);
        background-position: center center;
        border: none;
        border-right: 1px solid darken(#F6EFD4, 10%);
        cursor: pointer;
        padding: 14px 4px;
        width: 28px;
        height: 17px;

        // @media screen and (max-width: 800px) {
          //   padding: 12px 8px;
          // }

          //video
          &.seq_video_inactive {
            @extend .inactive;
            background-image: url('/static/images/sequence-nav/video-icon-normal.png');
            background-position: center;
          }

          &.seq_video_visited {
            @extend .visited;
            background-image: url('/static/images/sequence-nav/video-icon-visited.png');
            background-position: center;
          }

          &.seq_video_active {
            @extend .active;
            background-image: url('/static/images/sequence-nav/video-icon-current.png');
            background-position: center;
          }

          //other
          &.seq_other_inactive {
            @extend .inactive;
            background-image: url('/static/images/sequence-nav/document-icon-normal.png');
            background-position: center;
          }

          &.seq_other_visited {
            @extend .visited;
            background-image: url('/static/images/sequence-nav/document-icon-visited.png');
            background-position: center;
          }

          &.seq_other_active {
            @extend .active;
            background-image: url('/static/images/sequence-nav/document-icon-current.png');
            background-position: center;
          }

          //vertical & problems
          &.seq_vertical_inactive, &.seq_problem_inactive {
            @extend .inactive;
            background-image: url('/static/images/sequence-nav/list-icon-normal.png');
            background-position: center;
          }

          &.seq_vertical_visited, &.seq_problem_visited {
            @extend .visited;
            background-image: url('/static/images/sequence-nav/list-icon-visited.png');
            background-position: center;
          }

          &.seq_vertical_active, &.seq_problem_active {
            @extend .active;
            background-image: url('/static/images/sequence-nav/list-icon-current.png');
            background-position: center;
          }
        }

      p {
        position: absolute;
        display: none;
        background: #333;
        padding: 6px;
        white-space: pre-wrap;
        z-index: 99;
        margin: 4px 0 0 -5px;
        text-shadow: 0 -1px 0 #000;
        color: #fff;

        &:empty {
          background: none;

          &::after {
            display: none;
          }
        }

        &::after {
          background: #333;
          content: " ";
          display: block;
          height: 10px;
          position: absolute;
          top: -5px;
          left: 18px;
          @include transform(rotate(45deg));
          @include transition();
          width: 10px;
        }
      }
    }
  }

  ul {
    float: right;<commit_msg>Added fix for tooltips linehight<commit_after>nav.sequence-nav {
  @extend .topbar;
  margin-bottom: $body-line-height;

  ol {
    display: table-row;
    float: left;
    width: flex-grid(7.5,9) + flex-gutter();
    position: relative;

    a {
      @extend .block-link;
    }

    li {
      display: table-cell;

      .inactive {
        background-repeat: no-repeat;

        &:hover {
          background-color: lighten(#F6EFD4, 3%);
        }
      }

      .visited {
        background-color: shade(#F6EFD4, 10%);
        background-repeat: no-repeat;
        border-color: shade(#F6EFD4, 10%);

        &:hover {
          background-color: #F6EFD4;
          background-position: center center;
        }
      }

      .active {
        // @include box-shadow(inset -1px 0 0 darken(#F6EFD4, 20%), inset 1px 0 0 darken(#F6EFD4, 20%));
        @include box-shadow(0 1px 0 #fff);
        background-color: #fff;
        background-repeat: no-repeat;

        &:hover {
          background-color: #fff;
          background-position: center;
        }
      }

      a {
        @include box-shadow(1px 0 0 #fff);
        background-position: center center;
        border: none;
        border-right: 1px solid darken(#F6EFD4, 10%);
        cursor: pointer;
        padding: 14px 4px;
        width: 28px;
        height: 17px;

        // @media screen and (max-width: 800px) {
          //   padding: 12px 8px;
          // }

          //video
          &.seq_video_inactive {
            @extend .inactive;
            background-image: url('/static/images/sequence-nav/video-icon-normal.png');
            background-position: center;
          }

          &.seq_video_visited {
            @extend .visited;
            background-image: url('/static/images/sequence-nav/video-icon-visited.png');
            background-position: center;
          }

          &.seq_video_active {
            @extend .active;
            background-image: url('/static/images/sequence-nav/video-icon-current.png');
            background-position: center;
          }

          //other
          &.seq_other_inactive {
            @extend .inactive;
            background-image: url('/static/images/sequence-nav/document-icon-normal.png');
            background-position: center;
          }

          &.seq_other_visited {
            @extend .visited;
            background-image: url('/static/images/sequence-nav/document-icon-visited.png');
            background-position: center;
          }

          &.seq_other_active {
            @extend .active;
            background-image: url('/static/images/sequence-nav/document-icon-current.png');
            background-position: center;
          }

          //vertical & problems
          &.seq_vertical_inactive, &.seq_problem_inactive {
            @extend .inactive;
            background-image: url('/static/images/sequence-nav/list-icon-normal.png');
            background-position: center;
          }

          &.seq_vertical_visited, &.seq_problem_visited {
            @extend .visited;
            background-image: url('/static/images/sequence-nav/list-icon-visited.png');
            background-position: center;
          }

          &.seq_vertical_active, &.seq_problem_active {
            @extend .active;
            background-image: url('/static/images/sequence-nav/list-icon-current.png');
            background-position: center;
          }
        }

      p {
        position: absolute;
        display: none;
        background: #333;
        padding: 6px;
        white-space: pre-wrap;
        z-index: 99;
        margin: 4px 0 0 -5px;
        text-shadow: 0 -1px 0 #000;
        color: #fff;
        line-height: lh();

        &:empty {
          background: none;

          &::after {
            display: none;
          }
        }

        &::after {
          background: #333;
          content: " ";
          display: block;
          height: 10px;
          position: absolute;
          top: -5px;
          left: 18px;
          @include transform(rotate(45deg));
          @include transition();
          width: 10px;
        }
      }
    }
  }

  ul {
    float: right;
{'fraction_non_alphanumeric': 0.12328931572629051, 'fraction_numerical': 0.019687875150060024, 'mean_word_length': 1.5353012781497262, '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': '801337', 'n_tokens_mistral': 2600, 'n_tokens_neox': 2406, 'n_words': 461}