<commit_before>@navbar-border-radius: 0;
@navbar-height: 62px;
@navbar-margin-bottom: 0;
@navbar-padding-vertical: 12px;
@navbar-padding-horizontal: 50px;

body {
    &.fixed-nav {
      padding-top: @navbar-height;

      > header {
        .navbar-fixed-top();
        nav {
          .navbar-fixed-width();
          border-left: 1px solid @light-gray;
          border-right: 1px solid @light-gray;
        }
      }
    }
}
.navbar-fixed-width {
  margin-left: auto;
  margin-right: auto;

  width: 100%;

  @media all and (min-width: @screen-lg-min) {
    width: @screen-lg-min;
  }
}

.site-nav {
  .navbar();
  .border-radius(0);

  padding: 22px @navbar-padding-horizontal 0;
  min-height: inherit;

  background-color: @black;
  color: @white;
  border: none;

  .site-brand {
    .navbar-header();
    .sans-serif(normal, 20px, 20px);
    margin-top: -1px;

    div {
      display: inline-block;
    }
    .brand-harvard {
      display: none;
    }
    .brand-harvard-abbr {
      color: @dark-gray;
    }
    .brand-project {
      letter-spacing: 1px;
      margin-left: 2px;
    }
    text-transform: uppercase;
  }

  ul.nav-links {
    .nav();
    .navbar-nav();
    .pull-right();
    .sans-serif(@light, 18px, 18px);

    margin: 0;
    margin-bottom: 13px !important;

    li {
      float: left;
      margin: 0 0 0 30px;
      > a {
        padding: 7px 0 14px;
        line-height: 0;<commit_msg>fix navbar height<commit_after>@navbar-border-radius: 0;
@navbar-height: 62px;
@navbar-margin-bottom: 0;
@navbar-padding-vertical: 12px;
@navbar-padding-horizontal: 50px;

body {
    &.fixed-nav {
      padding-top: @navbar-height;

      > header {
        .navbar-fixed-top();
        nav {
          .navbar-fixed-width();
          border-left: 1px solid @light-gray;
          border-right: 1px solid @light-gray;
        }
      }
    }
}
.navbar-fixed-width {
  margin-left: auto;
  margin-right: auto;

  width: 100%;

  @media all and (min-width: @screen-lg-min) {
    width: @screen-lg-min;
  }
}

.site-nav {
  .navbar();
  .border-radius(0);

  padding: 22px @navbar-padding-horizontal 0;
  min-height: inherit;

  background-color: @black;
  color: @white;
  border: none;

  .site-brand {
    .navbar-header();
    .sans-serif(normal, 20px, 20px);
    margin-top: -1px;

    div {
      display: inline-block;
    }
    .brand-harvard {
      display: none;
    }
    .brand-harvard-abbr {
      color: @dark-gray;
    }
    .brand-project {
      letter-spacing: 1px;
      margin-left: 2px;
    }
    text-transform: uppercase;
  }

  ul.nav-links {
    .nav();
    .navbar-nav();
    .pull-right();
    .sans-serif(@light, 18px, 18px);

    height: 26px;
    margin: 0;
    margin-bottom: 13px !important;

    li {
      float: left;
      margin: 0 0 0 30px;
      > a {
        padding: 7px 0 14px;
        line-height: 0;
{'fraction_non_alphanumeric': 0.15443745632424877, 'fraction_numerical': 0.029350104821802937, 'mean_word_length': 2.010515247108307, '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': '6702409', 'n_tokens_mistral': 1171, 'n_tokens_neox': 1039, 'n_words': 213}