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

@mixin diff-line-count {
  text-align: right;
  margin: none;
  margin-bottom: 2px;
  padding: 2px;
  font-size: 13px;
  width: 20px;
}

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

#ui-dialog-title-history-dialog {

  font-size: 0.5em;
  margin: 0px;

  .ui-dialog-titlebar { padding: 0px; }
  
  #title { font-size: 24px; margin-left: 5px; position: relative; top: 5px; }

  label { position: relative; top: 10px; }

  #traffic-lights {
    display: block;
    margin: { left: 8px; right: 11px; top: 5px; }
    width: 625px;
    overflow-x: auto;
    &::-webkit-scrollbar:horizontal { height: 1px; }
    .traffic-light {
      display: table-cell;
      padding: { top: 5px; right: 2px; }
      cursor: pointer;
      img { width: 17px; height: 23px; }
    }
  }
}

.navigate-control {
  
  @include edged-panel();  

  #avatar { width: 28px; height: 28px; padding: 0px; margin: { left: 3px; right: 3px; } }
  button#prev-avatar, button#next-avatar {
    padding: 0px;
    margin: 0px;
    border: 1px solid lighten($darker-color,6%);
  }
  button#prev-avatar:hover, button#next-avatar:hover { 
    border: 1px dotted lighten($darker-color,20%); 
    &[disabled]:hover { border: 1px solid lighten($darker-color,6%); }
  }
  
  #prev-avatar img, #next-avatar img {
    width: 20px;
    height: 20px;
    @include rounded-corner(4px);
    padding: { top: 2px; bottom: 0px; }
  }
  #prev-avatar img { padding: { left: 1px; right: 4px; } }
  #next-avatar img { padding: { left: 4px; right: 1px; } }

  .triangle.button { padding: 0px; }

  #first-button img, #last-button img, #prev-button img, #next-button img {
    padding: { top: 2px; bottom: 0px; }
    @include rounded-corner(4px);
  }

  #first-button img, #last-button img { width: 15px; height: 15px; }
  #prev-button  img, #next-button img { width: 20px; height: 20px; }
  
  #first-button img { padding: { left: 2px; right: 1px; } }
  #last-button  img { padding: { left: 1px; right: 2px; } }
  #prev-button  img { padding: { left: 1px; right: 4px; } }
  #next-button  img { padding: { left: 4px; right: 1px; } }
  
  .triangle.button { border: 1px solid lighten($darker-color,6%); margin: 2px; }
  .triangle.button:hover { border: 1px dotted lighten($darker-color,20%); }
  .triangle.button[disabled]:hover { border: 1px solid lighten($darker-color,6%); }
  
  #now-tag-number {
    font-size: 15px;
    background: $lighter-color;
    color: $darker-color;
    text-align: center;
    width: 30px;
    height: 21px;
    padding-top: 2px;
    margin-top: 2px;
    @include rounded-corner(4px);
    border: 2px dotted;
    &.red   { border-color: red; }
    &.amber { border-color: orange; }
    &.green { border-color: darken(lime,10%); }
    &.timed_out { border-color: gray; }
  }
}


#history-dialog {

  overflow-y: hidden;
  overflow-x: hidden;
  
  &.ui-dialog-content { padding: { top: 0px; bottom: 0px; } }
  
  font-family: Trebuchet MS, Tahoma, Verdana, Arial, sans-serif;
  background: $darker-color;
  color     : $lighter-color;
  padding: none !important;
  margin: 0px;
  
  .filename { text-align: left; font-size: 16px; }

  #diff-filenames, .diff-line-numbers, .diff-sheet { height: 480px; }

  #diff-filenames {
    width: 277px;
    overflow-y: auto;
    overflow-x: auto;
    &::-webkit-scrollbar:vertical { width: 8px; }    
    &::-webkit-scrollbar:horizontal { height: 8px; }    
    font-size: 11pt;
    text-align: left;
    border-top-right-radius: 5px;
    border-bottom-right-radius: 5px;     
    .filename { max-width: 1200px; }    
    tbody { @include edged-panel(); width: 610px; }   
  }

  .diff-line-numbers, .diff-sheet {
    margin: 0px;
    padding: 0px;
    @include code-font;
    font-size: 10pt;
    ln { margin: { left : 4px; right: 3px; } font-weight: normal; }
    added, deleted, same { @include diff-pre-block; }
    added   ln { color: $diff-added-color; }
    deleted ln { color: $diff-deleted-color; }
    same    ln { color: lighten($darker-color,30%); }
  }

  .diff-line-numbers {
    width: 45px;
    margin-left: 2px;
    text-align: right;
    overflow: hidden;
    background: lighten($darker-color,6%);
    border: 1px dotted lighten($darker-color,6%);
    border-right: none;
    border-bottom: none;
    position: relative; // lose 1px gap to file-content
    left: 2px;    
    border-top-left-radius: 5px;
    border-bottom-left-radius: 5px;         
  }<commit_msg>switch history-dialog filenames width to max-width so it only takes space if it needs it<commit_after>
@mixin diff-pre-block {
  white-space: pre;
  display: block;
}

@mixin diff-line-count {
  text-align: right;
  margin: none;
  margin-bottom: 2px;
  padding: 2px;
  font-size: 13px;
  width: 20px;
}

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

#ui-dialog-title-history-dialog {

  font-size: 0.5em;
  margin: 0px;

  .ui-dialog-titlebar { padding: 0px; }
  
  #title { font-size: 24px; margin-left: 5px; position: relative; top: 5px; }

  label { position: relative; top: 10px; }

  #traffic-lights {
    display: block;
    margin: { left: 8px; right: 11px; top: 5px; }
    width: 625px;
    overflow-x: auto;
    &::-webkit-scrollbar:horizontal { height: 1px; }
    .traffic-light {
      display: table-cell;
      padding: { top: 5px; right: 2px; }
      cursor: pointer;
      img { width: 17px; height: 23px; }
    }
  }
}

.navigate-control {
  
  @include edged-panel();  

  #avatar { width: 28px; height: 28px; padding: 0px; margin: { left: 3px; right: 3px; } }
  button#prev-avatar, button#next-avatar {
    padding: 0px;
    margin: 0px;
    border: 1px solid lighten($darker-color,6%);
  }
  button#prev-avatar:hover, button#next-avatar:hover { 
    border: 1px dotted lighten($darker-color,20%); 
    &[disabled]:hover { border: 1px solid lighten($darker-color,6%); }
  }
  
  #prev-avatar img, #next-avatar img {
    width: 20px;
    height: 20px;
    @include rounded-corner(4px);
    padding: { top: 2px; bottom: 0px; }
  }
  #prev-avatar img { padding: { left: 1px; right: 4px; } }
  #next-avatar img { padding: { left: 4px; right: 1px; } }

  .triangle.button { padding: 0px; }

  #first-button img, #last-button img, #prev-button img, #next-button img {
    padding: { top: 2px; bottom: 0px; }
    @include rounded-corner(4px);
  }

  #first-button img, #last-button img { width: 15px; height: 15px; }
  #prev-button  img, #next-button img { width: 20px; height: 20px; }
  
  #first-button img { padding: { left: 2px; right: 1px; } }
  #last-button  img { padding: { left: 1px; right: 2px; } }
  #prev-button  img { padding: { left: 1px; right: 4px; } }
  #next-button  img { padding: { left: 4px; right: 1px; } }
  
  .triangle.button { border: 1px solid lighten($darker-color,6%); margin: 2px; }
  .triangle.button:hover { border: 1px dotted lighten($darker-color,20%); }
  .triangle.button[disabled]:hover { border: 1px solid lighten($darker-color,6%); }
  
  #now-tag-number {
    font-size: 15px;
    background: $lighter-color;
    color: $darker-color;
    text-align: center;
    width: 30px;
    height: 21px;
    padding-top: 2px;
    margin-top: 2px;
    @include rounded-corner(4px);
    border: 2px dotted;
    &.red   { border-color: red; }
    &.amber { border-color: orange; }
    &.green { border-color: darken(lime,10%); }
    &.timed_out { border-color: gray; }
  }
}


#history-dialog {

  overflow-y: hidden;
  overflow-x: hidden;
  
  &.ui-dialog-content { padding: { top: 0px; bottom: 0px; } }
  
  font-family: Trebuchet MS, Tahoma, Verdana, Arial, sans-serif;
  background: $darker-color;
  color     : $lighter-color;
  padding: none !important;
  margin: 0px;
  
  .filename { text-align: left; font-size: 16px; }

  #diff-filenames, .diff-line-numbers, .diff-sheet { height: 480px; }

  #diff-filenames {
    width: 277px;
    overflow-y: auto;
    overflow-x: auto;
    &::-webkit-scrollbar:vertical { width: 8px; }    
    &::-webkit-scrollbar:horizontal { height: 8px; }    
    font-size: 11pt;
    text-align: left;
    border-top-right-radius: 5px;
    border-bottom-right-radius: 5px;     
    .filename { max-width: 1200px; }    
    tbody { @include edged-panel(); max-width: 610px; }   
  }

  .diff-line-numbers, .diff-sheet {
    margin: 0px;
    padding: 0px;
    @include code-font;
    font-size: 10pt;
    ln { margin: { left : 4px; right: 3px; } font-weight: normal; }
    added, deleted, same { @include diff-pre-block; }
    added   ln { color: $diff-added-color; }
    deleted ln { color: $diff-deleted-color; }
    same    ln { color: lighten($darker-color,30%); }
  }

  .diff-line-numbers {
    width: 45px;
    margin-left: 2px;
    text-align: right;
    overflow: hidden;
    background: lighten($darker-color,6%);
    border: 1px dotted lighten($darker-color,6%);
    border-right: none;
    border-bottom: none;
    position: relative; // lose 1px gap to file-content
    left: 2px;    
    border-top-left-radius: 5px;
    border-bottom-left-radius: 5px;         
  }
{'fraction_non_alphanumeric': 0.16038465789764564, 'fraction_numerical': 0.03072841826019675, 'mean_word_length': 2.7112387202625103, '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': '3303381', 'n_tokens_mistral': 3727, 'n_tokens_neox': 3383, 'n_words': 786}