<commit_before>$navigation-padding: 1em;
$navigation-background: $white;
$navigation-color: $primary-blue;
$navigation-color-hover: $primary-blue;
$navigation-height: 70px;
$navigation-height-mobile: 55px;
$navigation-active-link-color: $navigation-color;
$horizontal-bar-mode: $medium-screen;

.navigation {
  @include position(fixed);
  background-color: $navigation-background;
  border-bottom: 1px solid $shadow-border;
  box-shadow: 0 1px 2px $shadow-fade;
  min-height: $navigation-height-mobile;
  width: 100%;
  z-index: 999;

  @include media ($horizontal-bar-mode) {
    min-height: $navigation-height;
  }

  .navigation-wrapper {
    @include clearfix;
    padding: 0;
    position: relative;
    z-index: 9999;
  }

  .logo {
    float: left;
    left: 0;
    position: absolute;
    top: 0;

    @include media ($horizontal-bar-mode) {
      margin-left: 0.7em;
      max-height: $navigation-height - 1;
      width: 83px;
    }

    @include media ($tablet-portrait) {
      margin-left: 0.7em;
      max-height: $navigation-height - 1;
      width: 83px;
    }

    @include media ($phone-landscape) {
      margin-left: 7px;
      max-height: $navigation-height-mobile;
      width: 65px;
    }

    .svg-logo {
      width: 100%;

      @include media ($horizontal-bar-mode) {
        max-height: $navigation-height;
      }

      @include media ($tablet-portrait) {
        max-height: $navigation-height;
      }

      @include media ($phone-landscape) {
        max-height: $navigation-height-mobile;
      }
    }
  }

  // Mobile view

  .navigation-menu-button {
    color: $navigation-color;
    display: block;
    float: right;
    font-size: 1.5em;
    line-height: $navigation-height-mobile;
    margin: 0;
    padding: 0 1em;
    text-decoration: none;

    @include media ($horizontal-bar-mode) {
      display: none;
    }

    @include media ($tablet-portrait) {
      line-height: $navigation-height;
    }

    @include media ($phone-landscape) {
      line-height: $navigation-height-mobile;
    }

    &:focus,
    &:hover {
      color: $navigation-color-hover;
    }
  }

  // Nav menu

  nav {
    float: none;
    min-height: $navigation-height-mobile;
    z-index: 9999999;

    @include media ($horizontal-bar-mode) {
      float: right;
      min-height: $navigation-height;
    }

    i {
      font-size: 1.2em;
    }
  }

  .navigation-menu {
    clear: both;
    display: none;
    font-family: $base-font-family;
    font-size: 0.9em;
    margin: 0 auto;
    overflow: visible;
    padding: 0;
    width: 100%;
    z-index: 9999;

    @include media ($horizontal-bar-mode) {
      display: inline;
      margin: 0;
      padding: 0;
    }

    &.show {
      display: block;
    }
  }

  // The nav items

  ul li.nav-link {
    background: $navigation-background;
    border-bottom: 1px solid transparentize($navigation-color, 0.8);
    display: block;
    font-size: 0.9em;
    font-weight: 700;
    line-height: $navigation-height-mobile;
    overflow: hidden;
    text-align: center;
    text-transform: uppercase;
    width: 100%;
    z-index: 9999;

    @include media ($horizontal-bar-mode) {
      background: transparent;
      border-bottom: 0;
      display: inline-block;
      line-height: $navigation-height;
      margin: 2px 0 -10px;
      padding-right: 2em;
      text-decoration: none;
      width: auto;

      &:last-child {
        padding-right: 1.5em;
      }
    }

    &:last-child {
      border-bottom: 0;
    }

    a {
      color: $navigation-color;
      display: inline-block;
      line-height: 56px;
      text-decoration: none;

      @include media ($horizontal-bar-mode) {
        color: $light-gray;

        &:focus,
        &:hover {
          color: $primary-blue;
        }
      }
    }

    .donate {
      &:focus,
      &:hover {
        color: $primary-red;
      }
    }
  }

  .active-nav-item a {
    border-bottom: 1px solid $navigation-active-link-color;
    padding-bottom: 3px;
  }
}
<commit_msg>Tweak padding for hamburger button<commit_after>$navigation-padding: 1em;
$navigation-background: $white;
$navigation-color: $primary-blue;
$navigation-color-hover: $primary-blue;
$navigation-height: 70px;
$navigation-height-mobile: 55px;
$navigation-active-link-color: $navigation-color;
$horizontal-bar-mode: $medium-screen;

.navigation {
  @include position(fixed);
  background-color: $navigation-background;
  border-bottom: 1px solid $shadow-border;
  box-shadow: 0 1px 2px $shadow-fade;
  min-height: $navigation-height-mobile;
  width: 100%;
  z-index: 999;

  @include media ($horizontal-bar-mode) {
    min-height: $navigation-height;
  }

  .navigation-wrapper {
    @include clearfix;
    padding: 0;
    position: relative;
    z-index: 9999;
  }

  .logo {
    float: left;
    left: 0;
    position: absolute;
    top: 0;

    @include media ($horizontal-bar-mode) {
      margin-left: 0.7em;
      max-height: $navigation-height - 1;
      width: 83px;
    }

    @include media ($tablet-portrait) {
      margin-left: 0.7em;
      max-height: $navigation-height - 1;
      width: 83px;
    }

    @include media ($phone-landscape) {
      margin-left: 7px;
      max-height: $navigation-height-mobile;
      width: 65px;
    }

    .svg-logo {
      width: 100%;

      @include media ($horizontal-bar-mode) {
        max-height: $navigation-height;
      }

      @include media ($tablet-portrait) {
        max-height: $navigation-height;
      }

      @include media ($phone-landscape) {
        max-height: $navigation-height-mobile;
      }
    }
  }

  // Mobile view

  .navigation-menu-button {
    color: $navigation-color;
    display: block;
    float: right;
    font-size: 1.5em;
    line-height: $navigation-height-mobile;
    margin: 0;
    padding: 0 0.7em;
    text-decoration: none;

    @include media ($horizontal-bar-mode) {
      display: none;
    }

    @include media ($tablet-portrait) {
      line-height: $navigation-height;
    }

    @include media ($phone-landscape) {
      line-height: $navigation-height-mobile;
    }

    &:focus,
    &:hover {
      color: $navigation-color-hover;
    }
  }

  // Nav menu

  nav {
    float: none;
    min-height: $navigation-height-mobile;
    z-index: 9999999;

    @include media ($horizontal-bar-mode) {
      float: right;
      min-height: $navigation-height;
    }

    i {
      font-size: 1.2em;
    }
  }

  .navigation-menu {
    clear: both;
    display: none;
    font-family: $base-font-family;
    font-size: 0.9em;
    margin: 0 auto;
    overflow: visible;
    padding: 0;
    width: 100%;
    z-index: 9999;

    @include media ($horizontal-bar-mode) {
      display: inline;
      margin: 0;
      padding: 0;
    }

    &.show {
      display: block;
    }
  }

  // The nav items

  ul li.nav-link {
    background: $navigation-background;
    border-bottom: 1px solid transparentize($navigation-color, 0.8);
    display: block;
    font-size: 0.9em;
    font-weight: 700;
    line-height: $navigation-height-mobile;
    overflow: hidden;
    text-align: center;
    text-transform: uppercase;
    width: 100%;
    z-index: 9999;

    @include media ($horizontal-bar-mode) {
      background: transparent;
      border-bottom: 0;
      display: inline-block;
      line-height: $navigation-height;
      margin: 2px 0 -10px;
      padding-right: 2em;
      text-decoration: none;
      width: auto;

      &:last-child {
        padding-right: 1.5em;
      }
    }

    &:last-child {
      border-bottom: 0;
    }

    a {
      color: $navigation-color;
      display: inline-block;
      line-height: 56px;
      text-decoration: none;

      @include media ($horizontal-bar-mode) {
        color: $light-gray;

        &:focus,
        &:hover {
          color: $primary-blue;
        }
      }
    }

    .donate {
      &:focus,
      &:hover {
        color: $primary-red;
      }
    }
  }

  .active-nav-item a {
    border-bottom: 1px solid $navigation-active-link-color;
    padding-bottom: 3px;
  }
}

{'fraction_non_alphanumeric': 0.1374112370748723, 'fraction_numerical': 0.02329637473526847, 'mean_word_length': 2.165615141955836, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 3, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 2, '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': '5613125', 'n_tokens_mistral': 2907, 'n_tokens_neox': 2671, 'n_words': 572}