<commit_before>div.question-header {
  div.vote-buttons {
    display: inline-block;
    float: left;
    margin-right: flex-gutter(9);
    width: flex-grid(0.7,9);

    ul {
      li {
        background-position: center;
        background-repeat: no-repeat;
        cursor: pointer;
        font-weight: bold;
        height: 20px;
        list-style: none;
        padding: 10px;
        text-align: center;
        width: 70%;

        &.post-vote {
          @include border-radius(4px);
          background-color: lighten(#F6EFD4, 5%);
          border: 1px solid darken( #F6EFD4,10% );
          @include box-shadow(inset 0 1px 0px #fff);
        }

        &.question-img-upvote, &.answer-img-upvote  {
          background-image: url(/static/images/askbot/vote-arrow-up.png);
          @include box-shadow(inset 0 1px 0px rgba(255, 255, 255, 0.5));

          &:hover, &.on {
            background-color:#d1e3a8;
            border-color: darken(#D1E3A8, 20%);
          background-image: url(/static/images/askbot/vote-arrow-up-activate.png);
          }
        }

        &.question-img-downvote, &.answer-img-downvote  {
          background-image: url(/static/images/askbot/vote-arrow-down.png);

          &:hover, &.on {
            background-color:#EAC6AD;
            border-color: darken(#EAC6AD, 20%);
            background-image: url(/static/images/askbot/vote-arrow-down-activate.png);
          }
        }
      }
    }
  }

  div.question-container {
    display: inline-block;
    float: left;
    width: flex-grid(8.3,9);

    h1 {
      margin-top: 0;
    }

    div.meta-bar {
      border-bottom: 1px solid #eee;
      display: block;
      margin: 10px 0;
      overflow: hidden;
      padding: 5px 0 10px;


      div.tag-list {
        display: inline-block;
        float:left;
        width: flex-grid(4,8);
        margin-right: flex-gutter(8);
      }

      div.question-actions {
        display: inline-block;
        float:left;
        text-align: right;
        width: flex-grid(4,8);

        a {
          // color: darken(#F6EFD4, 50%);

          &.question-delete {
            color: $mit-red;
          }
        }

        span.sep {
          color: #ccc;
        }
      }
    }

    div.question-content {
      overflow: hidden;

      div.question-body {
        display: inline-block;
        float: left;
        margin-right: flex-gutter(8);
        width: flex-grid(6.2,8);

      blockquote {
        margin-left: 2.5%;
        padding-left: 1.5%;
        border-left: 1px dashed #ddd;
        color: $mit-red;;
      }

      ul, ol, pre {
        margin-left: 6%;
        margin-bottom: 20px;
      }
    }


      div.post-update-container {
        display: inline-block;
        float: left;
        width: 20%;
        border-left: 1px dashed #ddd;

        div.post-update-info {
          @include box-sizing(border-box);
          padding: 10px;
          margin-bottom: 10px;

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

          &.revision {
            text-align: center;
            background:lighten(#F6EFD4, 7%);

            a {
              color: black;
            }
          }

          a {
            color:$mit-red ;
          }

          div.change-date {
            font-size: 12px;
            margin-bottom: 2px;
          }

          div.user-meta {
            display: inline-block;

            span.username {
              font-size: 20px;
              margin-right: 5px;
            }

            span.user-badges {
            }
          }
        }
      }
    }

    div.comments-container {
      @include box-sizing(border-box);
      display: inline-block;
      padding: 0 0 3% 0;
      width: 100%;

      div.comments-content {
        font-size: 13px;
        background: #efefef;

        .block {
          border-top: 1px solid #ddd;
          padding: 15px;
          display: block;

          &:first-child {
            border-top: 0;
          }

          &.official {
            padding-top: 10px;

            span.official-comment {
              background: $mit-red;
              color: #fff;
              display: block;
              font-size: 12px;
              margin: 0 0 10px -5%;
              padding:2px 5px 2px 5%;
              text-align: left;
              width:120px;
            }
          }
        }

        form.post-comments {
          padding: 15px;
<commit_msg>Small visual adjustment for official badges<commit_after>div.question-header {
  div.vote-buttons {
    display: inline-block;
    float: left;
    margin-right: flex-gutter(9);
    width: flex-grid(0.7,9);

    ul {
      li {
        background-position: center;
        background-repeat: no-repeat;
        cursor: pointer;
        font-weight: bold;
        height: 20px;
        list-style: none;
        padding: 10px;
        text-align: center;
        width: 70%;

        &.post-vote {
          @include border-radius(4px);
          background-color: lighten(#F6EFD4, 5%);
          border: 1px solid darken( #F6EFD4,10% );
          @include box-shadow(inset 0 1px 0px #fff);
        }

        &.question-img-upvote, &.answer-img-upvote  {
          background-image: url(/static/images/askbot/vote-arrow-up.png);
          @include box-shadow(inset 0 1px 0px rgba(255, 255, 255, 0.5));

          &:hover, &.on {
            background-color:#d1e3a8;
            border-color: darken(#D1E3A8, 20%);
          background-image: url(/static/images/askbot/vote-arrow-up-activate.png);
          }
        }

        &.question-img-downvote, &.answer-img-downvote  {
          background-image: url(/static/images/askbot/vote-arrow-down.png);

          &:hover, &.on {
            background-color:#EAC6AD;
            border-color: darken(#EAC6AD, 20%);
            background-image: url(/static/images/askbot/vote-arrow-down-activate.png);
          }
        }
      }
    }
  }

  div.question-container {
    display: inline-block;
    float: left;
    width: flex-grid(8.3,9);

    h1 {
      margin-top: 0;
    }

    div.meta-bar {
      border-bottom: 1px solid #eee;
      display: block;
      margin: 10px 0;
      overflow: hidden;
      padding: 5px 0 10px;


      div.tag-list {
        display: inline-block;
        float:left;
        width: flex-grid(4,8);
        margin-right: flex-gutter(8);
      }

      div.question-actions {
        display: inline-block;
        float:left;
        text-align: right;
        width: flex-grid(4,8);

        a {
          // color: darken(#F6EFD4, 50%);

          &.question-delete {
            color: $mit-red;
          }
        }

        span.sep {
          color: #ccc;
        }
      }
    }

    div.question-content {
      overflow: hidden;

      div.question-body {
        display: inline-block;
        float: left;
        margin-right: flex-gutter(8);
        width: flex-grid(6.2,8);

      blockquote {
        margin-left: 2.5%;
        padding-left: 1.5%;
        border-left: 1px dashed #ddd;
        color: $mit-red;;
      }

      ul, ol, pre {
        margin-left: 6%;
        margin-bottom: 20px;
      }
    }


      div.post-update-container {
        display: inline-block;
        float: left;
        width: 20%;
        border-left: 1px dashed #ddd;

        div.post-update-info {
          @include box-sizing(border-box);
          padding: 10px;
          margin-bottom: 10px;

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

          &.revision {
            text-align: center;
            background:lighten(#F6EFD4, 7%);

            a {
              color: black;
            }
          }

          a {
            color:$mit-red ;
          }

          div.change-date {
            font-size: 12px;
            margin-bottom: 2px;
          }

          div.user-meta {
            display: inline-block;

            span.username {
              font-size: 20px;
              margin-right: 5px;
            }

            span.user-badges {
            }
          }
        }
      }
    }

    div.comments-container {
      @include box-sizing(border-box);
      display: inline-block;
      padding: 0 0 3% 0;
      width: 100%;

      div.comments-content {
        font-size: 13px;
        background: #efefef;

        .block {
          border-top: 1px solid #ddd;
          padding: 15px;
          display: block;

          &:first-child {
            border-top: 0;
          }

          &.official {
            padding-top: 10px;

            span.official-comment {
              background: $mit-red;
              color: #fff;
              display: block;
              font-size: 12px;
              margin: 0 0 10px -5%;
              padding:2px 5px 2px 5%;
              text-align: left;
              width:100px;
            }
          }
        }

        form.post-comments {
          padding: 15px;

{'fraction_non_alphanumeric': 0.12334900380568614, 'fraction_numerical': 0.02910230579807477, 'mean_word_length': 1.2863357215967246, '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': '5537129', 'n_tokens_mistral': 3054, 'n_tokens_neox': 2762, 'n_words': 531}