<commit_before>tabbox {
  -webkit-box-orient: vertical;
  display: -webkit-box;
}

tabs {
  display: -webkit-box;
  background: -webkit-linear-gradient(white, rgb(243, 243, 243));
  border-bottom: 1px solid rgb(160, 160, 160);
  margin: 0;
}

tabs > * {
  -webkit-margin-start: 5px;
  -webkit-transition: border-color .15s, background-color .15s;
  background: rgba(255, 255, 255, .3);
  border: 1px solid rgba(160, 160, 160, .3);
  border-bottom: 0;
  border-top-left-radius: 3px;
  border-top-right-radius: 3px;
  cursor: default;
  display: block;
  min-width: 4em;
  padding: 2px 10px;
  text-align: center;
}

tabs > [selected] {
  -webkit-transition: none;
  font-weight: bold;
  margin-bottom: -1px;
  position: relative;
  z-index: 0;
}

tabs > [selected],
tabs > :hover {
  background: white;
  border-color: rgb(160, 160, 160);
}

tabs:focus {
  outline: none;
}

html.focus-outline-visible tabs:focus > [selected] {
  outline: 5px auto -webkit-focus-ring-color;
  outline-offset: -2px;
}

tabpanels {
  -webkit-box-flex: 1;
  background: white;
  box-shadow: 2px 2px 5px rgba(0, 0, 0, .2);
  border: 1px solid rgb(160, 160, 160);
  border-top: 0;
  display: -webkit-box;<commit_msg>Tweak style for cr.ui tabbox slightly<commit_after>tabbox {
  -webkit-box-orient: vertical;
  display: -webkit-box;
}

tabs {
  display: -webkit-box;
  background: -webkit-linear-gradient(white, rgb(243, 243, 243));
  border-bottom: 1px solid rgb(160, 160, 160);
  margin: 0;
}

tabs > * {
  -webkit-margin-start: 5px;
  -webkit-transition: border-color .15s, background-color .15s;
  background: rgba(160, 160, 160, .3);
  border: 1px solid rgba(160, 160, 160, .3);
  border-bottom: 0;
  border-top-left-radius: 3px;
  border-top-right-radius: 3px;
  cursor: default;
  display: block;
  min-width: 4em;
  padding: 2px 10px;
  text-align: center;
}

tabs > :not([selected]):hover {
  background: rgba(200, 200, 200, .3);
}

tabs > [selected] {
  -webkit-transition: none;
  background: white;
  border-color: rgb(160, 160, 160);
  margin-bottom: -1px;
  position: relative;
  z-index: 0;
}

tabs:focus {
  outline: none;
}

html.focus-outline-visible tabs:focus > [selected] {
  outline: 5px auto -webkit-focus-ring-color;
  outline-offset: -2px;
}

tabpanels {
  -webkit-box-flex: 1;
  background: white;
  box-shadow: 2px 2px 5px rgba(0, 0, 0, .2);
  border: 1px solid rgb(160, 160, 160);
  border-top: 0;
  display: -webkit-box;
{'fraction_non_alphanumeric': 0.16123711340206184, 'fraction_numerical': 0.07422680412371134, 'mean_word_length': 3.5176908752327747, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 12, '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': '2263484', 'n_tokens_mistral': 1136, 'n_tokens_neox': 943, 'n_words': 235}