<commit_before>@media (min-width: @grid-float-breakpoint) {

  // Bigger dropdown links
  .dropdown-header {
    font-size: 14px;
  }
  .dropdown-menu {
    font-size: 14px;
    > li > a {
      padding: 6px 20px;
    }
  }
}<commit_msg>Truncate long names from user dropdown<commit_after>@media (min-width: @grid-float-breakpoint) {

  // Bigger dropdown links
  .dropdown-header {
    font-size: 14px;
    // @link https://getbootstrap.com/css/#less-mixins-truncating
    max-width: 170px;
    .text-overflow();
  }
  .dropdown-menu {
    font-size: 14px;
    > li > a {
      padding: 6px 20px;
    }
  }
}
{'fraction_non_alphanumeric': 0.1477832512315271, 'fraction_numerical': 0.027914614121510674, 'mean_word_length': 2.4269662921348316, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 7, 'https://': 1, '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': '5318212', 'n_tokens_mistral': 246, 'n_tokens_neox': 223, 'n_words': 44}