<commit_before>/* Override Bootstrap's default margin-bottom to eliminated
   unwanted margin/scrolling in DataTables. */
.table_ooi .table {
  margin-bottom: 0;
}

.dataTable td {
  	max-width: 250px;
  	white-space: nowrap;
  	overflow: hidden;
  	text-overflow: ellipsis;
}

.column, .operator, .argument{
  font-family: Signika;
}

.column, .operator {
  height: 16px;
  width: 150px;
  font-size: 9px;
  font-weight: 400;
  color: #333;
  letter-spacing: 1px;
  text-transform: uppercase;
  background: rgb(255,255,255); /* Old browsers */
  background: -moz-linear-gradient(top,  rgba(255,255,255,1) 0%, rgba(242,242,242,1) 50%, rgba(204,204,204,1) 100%); /* FF3.6+ */
  background: -webkit-gradient(linear, left top, left bottom, color-stop(0%,rgba(255,255,255,1)), color-stop(50%,rgba(242,242,242,1)), color-stop(100%,rgba(204,204,204,1))); /* Chrome,Safari4+ */
  background: -webkit-linear-gradient(top,  rgba(255,255,255,1) 0%,rgba(242,242,242,1) 50%,rgba(204,204,204,1) 100%); /* Chrome10+,Safari5.1+ */
  background: -o-linear-gradient(top,  rgba(255,255,255,1) 0%,rgba(242,242,242,1) 50%,rgba(204,204,204,1) 100%); /* Opera 11.10+ */
  background: -ms-linear-gradient(top,  rgba(255,255,255,1) 0%,rgba(242,242,242,1) 50%,rgba(204,204,204,1) 100%); /* IE10+ */
  background: linear-gradient(to bottom,  rgba(255,255,255,1) 0%,rgba(242,242,242,1) 50%,rgba(204,204,204,1) 100%); /* W3C */
  filter: progid:DXImageTransform.Microsoft.gradient( startColorstr='#ffffff', endColorstr='#cccccc',GradientType=0 ); /* IE6-9 */
}

input.argument {
  height: 20px;
  border: solid 1px #666;
  padding: 0px 5px;
  font-size: 11px;
  font-weight: 500;
  width: 150px;
  background: rgb(204,204,204); /* Old browsers */
  background: -moz-linear-gradient(top,  rgba(204,204,204,1) 0%, rgba(204,204,204,1) 20%, rgba(242,242,242,1) 50%, rgba(255,255,255,1) 80%, rgba(255,255,255,1) 100%); /* FF3.6+ */
  background: -webkit-gradient(linear, left top, left bottom, color-stop(0%,rgba(204,204,204,1)), color-stop(20%,rgba(204,204,204,1)), color-stop(50%,rgba(242,242,242,1)), color-stop(80%,rgba(255,255,255,1)), color-stop(100%,rgba(255,255,255,1))); /* Chrome,Safari4+ */
  background: -webkit-linear-gradient(top,  rgba(204,204,204,1) 0%,rgba(204,204,204,1) 20%,rgba(242,242,242,1) 50%,rgba(255,255,255,1) 80%,rgba(255,255,255,1) 100%); /* Chrome10+,Safari5.1+ */
  background: -o-linear-gradient(top,  rgba(204,204,204,1) 0%,rgba(204,204,204,1) 20%,rgba(242,242,242,1) 50%,rgba(255,255,255,1) 80%,rgba(255,255,255,1) 100%); /* Opera 11.10+ */
  background: -ms-linear-gradient(top,  rgba(204,204,204,1) 0%,rgba(204,204,204,1) 20%,rgba(242,242,242,1) 50%,rgba(255,255,255,1) 80%,rgba(255,255,255,1) 100%); /* IE10+ */
  background: linear-gradient(to bottom,  rgba(204,204,204,1) 0%,rgba(204,204,204,1) 20%,rgba(242,242,242,1) 50%,rgba(255,255,255,1) 80%,rgba(255,255,255,1) 100%); /* W3C */
  filter: progid:DXImageTransform.Microsoft.gradient( startColorstr='#cccccc', endColorstr='#ffffff',GradientType=0 ); /* IE6-9 */
}

.filters-apply, .filters-reset {
  font-family: Signika Negative;
  font-size:11px;
  font-weight:400;
  color:#FFFFFF;<commit_msg>Removed styles incompatible with Firefox.<commit_after>/* Override Bootstrap's default margin-bottom to eliminated
   unwanted margin/scrolling in DataTables. */
.table_ooi .table {
  margin-bottom: 0;
}

.dataTable td {
  	max-width: 250px;
  	white-space: nowrap;
  	overflow: hidden;
  	text-overflow: ellipsis;
}

.column, .operator, .argument{
  font-family: Signika;
}

.column, .operator {
  height: 20px;
  width: 150px;
  font-size: 9px;
  font-weight: 400;
  color: #333;
  letter-spacing: 1px;
  text-transform: uppercase;
/*  background: rgb(255,255,255);
  background: -moz-linear-gradient(top,  rgba(255,255,255,1) 0%, rgba(242,242,242,1) 50%, rgba(204,204,204,1) 100%);
  background: -webkit-gradient(linear, left top, left bottom, color-stop(0%,rgba(255,255,255,1)), color-stop(50%,rgba(242,242,242,1)), color-stop(100%,rgba(204,204,204,1)));
  background: -webkit-linear-gradient(top,  rgba(255,255,255,1) 0%,rgba(242,242,242,1) 50%,rgba(204,204,204,1) 100%);
  background: -o-linear-gradient(top,  rgba(255,255,255,1) 0%,rgba(242,242,242,1) 50%,rgba(204,204,204,1) 100%);
  background: -ms-linear-gradient(top,  rgba(255,255,255,1) 0%,rgba(242,242,242,1) 50%,rgba(204,204,204,1) 100%);
  background: linear-gradient(to bottom,  rgba(255,255,255,1) 0%,rgba(242,242,242,1) 50%,rgba(204,204,204,1) 100%);
  filter: progid:DXImageTransform.Microsoft.gradient( startColorstr='#ffffff', endColorstr='#cccccc',GradientType=0 );
*/
}

input.argument {
  height: 20px;
  border: solid 1px #666;
  padding: 0px 5px;
  font-size: 11px;
  font-weight: 500;
  width: 150px;
  background: rgb(204,204,204); /* Old browsers */
  background: -moz-linear-gradient(top,  rgba(204,204,204,1) 0%, rgba(204,204,204,1) 20%, rgba(242,242,242,1) 50%, rgba(255,255,255,1) 80%, rgba(255,255,255,1) 100%); /* FF3.6+ */
  background: -webkit-gradient(linear, left top, left bottom, color-stop(0%,rgba(204,204,204,1)), color-stop(20%,rgba(204,204,204,1)), color-stop(50%,rgba(242,242,242,1)), color-stop(80%,rgba(255,255,255,1)), color-stop(100%,rgba(255,255,255,1))); /* Chrome,Safari4+ */
  background: -webkit-linear-gradient(top,  rgba(204,204,204,1) 0%,rgba(204,204,204,1) 20%,rgba(242,242,242,1) 50%,rgba(255,255,255,1) 80%,rgba(255,255,255,1) 100%); /* Chrome10+,Safari5.1+ */
  background: -o-linear-gradient(top,  rgba(204,204,204,1) 0%,rgba(204,204,204,1) 20%,rgba(242,242,242,1) 50%,rgba(255,255,255,1) 80%,rgba(255,255,255,1) 100%); /* Opera 11.10+ */
  background: -ms-linear-gradient(top,  rgba(204,204,204,1) 0%,rgba(204,204,204,1) 20%,rgba(242,242,242,1) 50%,rgba(255,255,255,1) 80%,rgba(255,255,255,1) 100%); /* IE10+ */
  background: linear-gradient(to bottom,  rgba(204,204,204,1) 0%,rgba(204,204,204,1) 20%,rgba(242,242,242,1) 50%,rgba(255,255,255,1) 80%,rgba(255,255,255,1) 100%); /* W3C */
  filter: progid:DXImageTransform.Microsoft.gradient( startColorstr='#cccccc', endColorstr='#ffffff',GradientType=0 ); /* IE6-9 */
}

.filters-apply, .filters-reset {
  font-family: Signika Negative;
  font-size:11px;
  font-weight:400;
  color:#FFFFFF;
{'fraction_non_alphanumeric': 0.2153325817361894, 'fraction_numerical': 0.21195039458850057, 'mean_word_length': 6.064846416382252, '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': '1856068', 'n_tokens_mistral': 3582, 'n_tokens_neox': 2580, 'n_words': 393}