<commit_before>.header {
  background: $header-background;
  box-shadow: 0px 1px 1px #DDD;
  color: $header-color;
  height: 47px;
  padding: 30px;
  @media screen and (max-width: $header-medium) {
    height: 97px;
  }
  a, a:visited, a:active {
    color: $header-color;
    text-decoration: none;
  }
  .logo {
    float: left;
    @media screen and (min-width: 1000px) {
      background: url("/assets/images/full-logo.png");
      background-size: 195px 36px;
      height: 36px;
      margin-top: 4px;
      width: 195px;
    }
    @media screen and (max-width: 1000px) {
      background: url("/assets/images/logo-single.png");
      background-size: 52px 36px;
      height: 36px;
      margin-top: 4px;
      width: 52px;
    }
    @media screen and (max-width: $header-medium) {
      background: url("/assets/images/full-logo.png");
      background-size: 165px 30px;
      height: 30px;
      margin-top: 4px;
      margin-bottom: 20px;
      width: 165px;
    }
  }
  .search {
    position: relative;
    z-index: 4;
    input {
      border: 0;
      font-size: 20px;
      margin-top: 0px;
      padding: 10px;
      width: 100%;
    }
    span {
      color: #DDD;
      cursor: pointer;
      font-size: 30px;
      position: absolute;
      right: 28px;
      top: 8px;
    }
    @media screen and (max-width: $medium) {
      padding: 0px;
      span {
        right: 5px;
      }
    }
    @media screen and (max-width: $header-medium) {
      span {
        top: -4px;
      }
    }
  }
  .search, .searchbar {
    @media screen and (max-width: $header-medium) {
      display: inline;
    }
  }
  .togglers {
    float: right;
    @media screen and (min-width: $med-small) {
      margin-top: -40px;
    }
    @media screen and (min-width: $medium) {
      margin-top: -47px;
    }
    @media screen and (max-width: $header-medium) {
      margin-top: -100px;
    }
    .toggler-chat, .toggler-menu {
      display: inline-block;
      margin-top: -8px;
      vertical-align: top;
    }
    @media screen and (min-width: $header-medium) {
      .toggler-chat, .toggler-menu {
        display: inline-block;<commit_msg>Font-weight on menu icons should be thicker<commit_after>.header {
  background: $header-background;
  box-shadow: 0px 1px 1px #DDD;
  color: $header-color;
  height: 47px;
  padding: 30px;
  @media screen and (max-width: $header-medium) {
    height: 97px;
  }
  a, a:visited, a:active {
    color: $header-color;
    text-decoration: none;
  }
  .logo {
    float: left;
    @media screen and (min-width: 1000px) {
      background: url("/assets/images/full-logo.png");
      background-size: 195px 36px;
      height: 36px;
      margin-top: 4px;
      width: 195px;
    }
    @media screen and (max-width: 1000px) {
      background: url("/assets/images/logo-single.png");
      background-size: 52px 36px;
      height: 36px;
      margin-top: 4px;
      width: 52px;
    }
    @media screen and (max-width: $header-medium) {
      background: url("/assets/images/full-logo.png");
      background-size: 165px 30px;
      height: 30px;
      margin-top: 4px;
      margin-bottom: 20px;
      width: 165px;
    }
  }
  .search {
    position: relative;
    z-index: 4;
    input {
      border: 0;
      font-size: 20px;
      margin-top: 0px;
      padding: 10px;
      width: 100%;
    }
    span {
      color: #DDD;
      cursor: pointer;
      font-size: 30px;
      position: absolute;
      right: 28px;
      top: 8px;
    }
    @media screen and (max-width: $medium) {
      padding: 0px;
      span {
        right: 5px;
      }
    }
    @media screen and (max-width: $header-medium) {
      span {
        top: -4px;
      }
    }
  }
  .search, .searchbar {
    @media screen and (max-width: $header-medium) {
      display: inline;
    }
  }
  .togglers {
    float: right;
    @media screen and (min-width: $med-small) {
      margin-top: -40px;
    }
    @media screen and (min-width: $medium) {
      margin-top: -47px;
    }
    @media screen and (max-width: $header-medium) {
      margin-top: -100px;
    }
    .toggler-chat, .toggler-menu {
      display: inline-block;
      font-weight: 600;
      margin-top: -8px;
      vertical-align: top;
    }
    @media screen and (min-width: $header-medium) {
      .toggler-chat, .toggler-menu {
        display: inline-block;
{'fraction_non_alphanumeric': 0.13837638376383765, 'fraction_numerical': 0.035747232472324725, 'mean_word_length': 1.9848589125946319, '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': '7225005', 'n_tokens_mistral': 1692, 'n_tokens_neox': 1541, 'n_words': 363}