<commit_before>header {
  background-color: $header-background-color;
}

#userinfo {
  color: $white;
  text-align: right;
  padding-#{$right}: 5px;
  margin-top: 19px;
  height: 25px;
  float: $right;

  a {
    color: $white;
  }

  a.login {
    color: $gray;
    margin: side-values(10px 22px 0 0);
  }

  .icon-btn {
    display: inline-block;
    min-width: 60px;
    max-width: 90px;
    margin: 0 5px 0 5px;
    text-align: center;
    vertical-align: top;

    a:hover {
      color: $light-blue;
      text-decoration: none;
    }

    .admin-mode {
      color: $light-yellow;
    }
  }

  div, span {
    display: inline-block;
  }

  div.operations {
    display: block;
    text-align: left;
    margin: 5px;

    .icon-operation {
      margin-right: 0.5em;
    }
  }

  #change-mission {
    font-size: 9pt;
    vertical-align: top;
    display: inline-block;
    width: 190px;
    height: 31px;
    margin-right: 10px;
  }
}

#title-container {
  overflow: auto;
  clear: both;

  span.label {
    display: inline-block;
    font-size: 10px;
    margin: .25em .5em;
    padding: .5em .8em;
    vertical-align: middle;
  }

  h1.title {
    color: #777;
    font-weight: bold;
    margin-bottom: 20px;
    margin-#{$right}: 10px;

    i {
      color: $light-gray;
      margin-#{$right}: 5px;
    }
  }

  // std seal in title
  h1.title img {
    width: 16px;
    height: 16px;
  }
}

#logo {
  color: $white;
  margin: side-values(10px 0 10px 15px);
  display: inline-block;

  > div {
    display: inline-block;
    vertical-align: top;
  }

  img {
    display: inline-block;
    margin: 12px 0 12px 12px;
    height: 54px;  /* explicit height to prevent shifting during load */
    vertical-align: bottom;
  }

  a {
    color: $white;
    text-decoration: none;
  }

  h1 {
    font-size: 40px;
    color: $white;
    line-height: 1;
    display: inline-block;
    margin: 0 10px 5px 0;
  }

  h2 {
    font-size: 24px;
    font-family: "Raleway", sans-serif;
    font-weight: bold;
    width: 300px;
    margin: 0;<commit_msg>9987: Don't obstruct other header links with logo<commit_after>header {
  background-color: $header-background-color;
}

#userinfo {
  color: $white;
  text-align: right;
  padding-#{$right}: 5px;
  margin-top: 19px;
  height: 25px;
  float: $right;

  a {
    color: $white;
  }

  a.login {
    color: $gray;
    margin: side-values(10px 22px 0 0);
  }

  .icon-btn {
    display: inline-block;
    min-width: 60px;
    max-width: 90px;
    margin: 0 5px 0 5px;
    text-align: center;
    vertical-align: top;

    a:hover {
      color: $light-blue;
      text-decoration: none;
    }

    .admin-mode {
      color: $light-yellow;
    }
  }

  div, span {
    display: inline-block;
  }

  div.operations {
    display: block;
    text-align: left;
    margin: 5px;

    .icon-operation {
      margin-right: 0.5em;
    }
  }

  #change-mission {
    font-size: 9pt;
    vertical-align: top;
    display: inline-block;
    width: 190px;
    height: 31px;
    margin-right: 10px;
  }
}

#title-container {
  overflow: auto;
  clear: both;

  span.label {
    display: inline-block;
    font-size: 10px;
    margin: .25em .5em;
    padding: .5em .8em;
    vertical-align: middle;
  }

  h1.title {
    color: #777;
    font-weight: bold;
    margin-bottom: 20px;
    margin-#{$right}: 10px;

    i {
      color: $light-gray;
      margin-#{$right}: 5px;
    }
  }

  // std seal in title
  h1.title img {
    width: 16px;
    height: 16px;
  }
}

#logo {
  color: $white;
  margin: side-values(10px 0 10px 15px);
  display: inline-block;

  // Don't allow the large bounding box to obstruct other header links.
  pointer-events: none;

  > div {
    display: inline-block;
    vertical-align: top;
  }

  img {
    display: inline-block;
    margin: 12px 0 12px 12px;
    height: 54px;  /* explicit height to prevent shifting during load */
    vertical-align: bottom;

    // Undo 'none' on the parent div.
    pointer-events: all;
  }

  a {
    color: $white;
    text-decoration: none;
  }

  h1 {
    font-size: 40px;
    color: $white;
    line-height: 1;
    display: inline-block;
    margin: 0 10px 5px 0;
  }

  h2 {
    font-size: 24px;
    font-family: "Raleway", sans-serif;
    font-weight: bold;
    width: 300px;
    margin: 0;
{'fraction_non_alphanumeric': 0.1356760530602746, 'fraction_numerical': 0.039562485454968585, 'mean_word_length': 2.139517896274653, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 5, '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': '1357198', 'n_tokens_mistral': 1805, 'n_tokens_neox': 1604, 'n_words': 397}