<commit_before>// This file contains our fixes to the navbar styling as well as additional custom styles

// Fix for static navbar not having width
.navbar-inner > .container {
  width:940px;
}

// remove gradient & rounded corners from navbar
.navbar > .navbar-inner {
  @include border-radius(0);
  background: white;
}

// logout button in dropdown menu
.dropdown-menu {
  form {
    margin: 0;
  }

  // can't extend nested elements :(
  input[type="submit"] {
    background: transparent;
    border: none;
    display: block;
    padding: 3px 20px;
    clear: both;
    font-weight: normal;
    line-height: 20px;
    color: #333333;
    text-align: left;
    width: 160px;
    white-space: nowrap;

    &:hover {
      text-decoration: none;
      color: white;
      background-color: #428bca;
    }
  }
}

.navbar-reputation {
  @extend .navbar-text;
  font-weight: 700;
//  margin-right: 20px;
}<commit_msg>Reduce top margin on navbar reputation to align properly with username<commit_after>// This file contains our fixes to the navbar styling as well as additional custom styles

// Fix for static navbar not having width
.navbar-inner > .container {
  width:940px;
}

// remove gradient & rounded corners from navbar
.navbar > .navbar-inner {
  @include border-radius(0);
  background: white;
}

// logout button in dropdown menu
.dropdown-menu {
  form {
    margin: 0;
  }

  // can't extend nested elements :(
  input[type="submit"] {
    background: transparent;
    border: none;
    display: block;
    padding: 3px 20px;
    clear: both;
    font-weight: normal;
    line-height: 20px;
    color: #333333;
    text-align: left;
    width: 160px;
    white-space: nowrap;

    &:hover {
      text-decoration: none;
      color: white;
      background-color: #428bca;
    }
  }
}

.navbar-reputation {
  @extend .navbar-text;
  font-weight: 700;
  margin-top: 15px; // slightly less top margin to counter additional font weight
}
{'fraction_non_alphanumeric': 0.11185223191380195, 'fraction_numerical': 0.027706516162134428, 'mean_word_length': 2.816046966731898, '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': '959862', 'n_tokens_mistral': 686, 'n_tokens_neox': 612, 'n_words': 197}