<commit_before>nav {
  position: fixed;
  top: 0;
  left: 0;
  right: 0;
  z-index: 1;

  height: $navbar-height;
  background-color: $nav-background-color;

  border-bottom: solid #2B7490 1px;
  padding: 8px 6px 4px 6px;
  text-align: center;
  font-weight: bold;

  a {
    color: #3081B7;
    text-decoration: none;
    font-weight: bold;
    padding-top: 4px;
  }

  li {
    float: left;
    margin: 20px 0 20px 20px;
  }

  button {
    @include blue-button;
  }

  button:active {
    @include vertical-gradient(darken($nav-background-color, 6%), darken(#19658C, 6%));
  }

  button.left { float: left; }
  button.right { float: right; }

  .title {
    line-height: 36px;
    font-size: 24px;
    color: white;
  }
  .logo {
    display: block;
    margin: 0 auto;
    width: 100px;<commit_msg>darken active nav button style. fixes #83<commit_after>nav {
  position: fixed;
  top: 0;
  left: 0;
  right: 0;
  z-index: 1;

  height: $navbar-height;
  background-color: $nav-background-color;

  border-bottom: solid #2B7490 1px;
  padding: 8px 6px 4px 6px;
  text-align: center;
  font-weight: bold;

  a {
    color: #3081B7;
    text-decoration: none;
    font-weight: bold;
    padding-top: 4px;
  }

  li {
    float: left;
    margin: 20px 0 20px 20px;
  }

  button {
    @include blue-button;
  }

  button:active {
    @include vertical-gradient(darken($nav-background-color, 20%), darken(#19658C, 20%));
  }

  button.left { float: left; }
  button.right { float: right; }

  .title {
    line-height: 36px;
    font-size: 24px;
    color: white;
  }
  .logo {
    display: block;
    margin: 0 auto;
    width: 100px;
{'fraction_non_alphanumeric': 0.1383108935128519, 'fraction_numerical': 0.05385556915544676, 'mean_word_length': 2.601321585903084, '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': '7344976', 'n_tokens_mistral': 722, 'n_tokens_neox': 622, 'n_words': 155}