<commit_before>
@mixin diff-pre-block {
  white-space: pre;
  display: block;
}

@mixin diff-line-count {
  text-align: right;
  margin: none;
  padding: {
    top   : 0em;
    right : 0.2em;
    bottom: 0em;
    left  : 0.2em;
  }
  @include font-size-tiny();
  width: 20px;
}

// - - - - - - - - - - - - - - - - - - - - - - - - - - -

#ui-dialog-title-history-dialog {

  #diff-tag-control {

    display: inline-block;
    font-size: 0.5em;
    position: relative;
    bottom: -7px;

    //#now-traffic-light {
    //  margin: {
    //    right : 0.10em;
    //  }
    //}

    #was-tag-number, #now-tag-number {
      background: $lighter-color;
      @include gradient-darken($lighter-color, 20%, 10%, 5%);
      color: $darker-color;
      @include font-size-small();
      text-align: center;
      width: 2em;
    }

    #diff-arrow {
      margin: 5px;
      padding-bottom: 5px;
    }
  }
}


#history-dialog {

  font-family: Trebuchet MS, Tahoma, Verdana, Arial, sans-serif;
  background: $darker-color;
  color     : $lighter-color;
  padding: none;
  margin: {
    left: 0px;
    top : 0px;
  }

  border: {
    left : 1px dotted lighten($darker-color, 10%);
    right: 1px dotted lighten($darker-color, 10%);
  }

  #navigate-buttons {<commit_msg>reduce size of was-tag and now-tag numbers<commit_after>
@mixin diff-pre-block {
  white-space: pre;
  display: block;
}

@mixin diff-line-count {
  text-align: right;
  margin: none;
  padding: {
    top   : 0em;
    right : 0.2em;
    bottom: 0em;
    left  : 0.2em;
  }
  @include font-size-tiny();
  width: 20px;
}

// - - - - - - - - - - - - - - - - - - - - - - - - - - -

#ui-dialog-title-history-dialog {

  #diff-tag-control {

    display: inline-block;
    font-size: 0.5em;
    position: relative;
    bottom: -7px;

    //#now-traffic-light {
    //  margin: {
    //    right : 0.10em;
    //  }
    //}

    #was-tag-number, #now-tag-number {
      background: $darker-color;
      //@include gradient-darken($lighter-color, 20%, 10%, 5%);
      color: $lighter-color;
      @include font-size-tiny();
      text-align: center;
      width: 2em;
    }

    #diff-arrow {
      margin: 5px;
      padding-bottom: 5px;
    }
  }
}


#history-dialog {

  font-family: Trebuchet MS, Tahoma, Verdana, Arial, sans-serif;
  background: $darker-color;
  color     : $lighter-color;
  padding: none;
  margin: {
    left: 0px;
    top : 0px;
  }

  border: {
    left : 1px dotted lighten($darker-color, 10%);
    right: 1px dotted lighten($darker-color, 10%);
  }

  #navigate-buttons {
{'fraction_non_alphanumeric': 0.17227877838684416, 'fraction_numerical': 0.023492560689115115, 'mean_word_length': 1.92, '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': 8, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '6945842', 'n_tokens_mistral': 1070, 'n_tokens_neox': 991, 'n_words': 192}