<commit_before>body { margin: 0; }

a:link {text-decoration: none; color: rgb(15,102,230);}
a:visited {text-decoration: none}
a:active {text-decoration: none}
a:hover {text-decoration: underline;color: rgb(234,21,122);}

.CodeMirror { height: 100% }

form { margin-bottom: 0; }
.zoom-80 { font-size: 80%; }
.zoom-100 { font-size: 100%; }
.zoom-150 { font-size: 150%; }
.zoom-200 { font-size: 200%; }
.valign { vertical-align: middle; }

.opts {
  background-color: rgb(216,221,225);
  font-family: Arial;
  font-size: 14px;
  overflow: hidden;
  position: absolute;
  z-index: 6;
}

#editor_options {
  bottom: 36px;
  left: 0;
  right: 0;
  height: 24px;
  position: absolute;
  border: 1px solid rgb(150,150,150);
  border-left: 0px;
  border-right: 0px;
  background: rgb(216,221,225);
  visibility: hidden;
}

#options {
  left: 0;
  right: 0;
  bottom: 0;
  height: 36px;
}


#doc_type {
  bottom: 36px;
  left: 0;
  right: 0;
  height: 24px;
  position: absolute;
  border: 1px solid rgb(150,150,150);
  border-left: 0px;
  border-right: 0px;
  background: rgb(216,221,225);
  visibility: hidden;
}

.doc_type {
  font-family: monospace; 
  font-weight: bold; 
  font-size: 13px; 
  white-space: nowrap;
  overflow: hidden;
  text-overflow: ellipsis;
  color: black;
  margin: 4px;
}

#doc_desc .doc_type {
  margin: 0;
  margin-bottom: 4px;
  padding: 2px 4px;
}

#doc_desc {
  font-family: calibri,helvetica,arial,sans-serif;
  bottom: 36px;
  left: 0;
  right: 0;
  position: absolute;
  border: 1px solid rgb(150,150,150);
  border-left: 0px;
  border-right: 0px;
  z-index: 5;
  visibility: hidden;
  background: rgb(216,221,225);
}

.doc {
  margin: 0.5em;
}

.doc h1, .doc h2, .doc h3, .doc h4, .doc h5, .doc h6 {
  font-weight: bold;
}

.doc h1 {
  color: #000000;
  font-size: 28pt;
}

.doc h2 {
  border-bottom: 1px solid #CCCCCC;
  color: #000000;<commit_msg>Inline-docs: wrap long types when showing detailed docs inline<commit_after>body { margin: 0; }

a:link {text-decoration: none; color: rgb(15,102,230);}
a:visited {text-decoration: none}
a:active {text-decoration: none}
a:hover {text-decoration: underline;color: rgb(234,21,122);}

.CodeMirror { height: 100% }

form { margin-bottom: 0; }
.zoom-80 { font-size: 80%; }
.zoom-100 { font-size: 100%; }
.zoom-150 { font-size: 150%; }
.zoom-200 { font-size: 200%; }
.valign { vertical-align: middle; }

.opts {
  background-color: rgb(216,221,225);
  font-family: Arial;
  font-size: 14px;
  overflow: hidden;
  position: absolute;
  z-index: 6;
}

#editor_options {
  bottom: 36px;
  left: 0;
  right: 0;
  height: 24px;
  position: absolute;
  border: 1px solid rgb(150,150,150);
  border-left: 0px;
  border-right: 0px;
  background: rgb(216,221,225);
  visibility: hidden;
}

#options {
  left: 0;
  right: 0;
  bottom: 0;
  height: 36px;
}


#doc_type {
  bottom: 36px;
  left: 0;
  right: 0;
  height: 24px;
  position: absolute;
  border: 1px solid rgb(150,150,150);
  border-left: 0px;
  border-right: 0px;
  background: rgb(216,221,225);
  visibility: hidden;
}

.doc_type {
  font-family: monospace; 
  font-weight: bold; 
  font-size: 13px; 
  color: black;
  margin: 4px;
}

#doc_type .doc_type {
  white-space: nowrap;
  overflow: hidden;
  text-overflow: ellipsis;
}

#doc_desc .doc_type {
  margin: 0;
  margin-bottom: 4px;
  padding: 2px 4px;
}

#doc_desc {
  font-family: calibri,helvetica,arial,sans-serif;
  bottom: 36px;
  left: 0;
  right: 0;
  position: absolute;
  border: 1px solid rgb(150,150,150);
  border-left: 0px;
  border-right: 0px;
  z-index: 5;
  visibility: hidden;
  background: rgb(216,221,225);
}

// Markdown styling

.doc {
  margin: 0.5em;
}

.doc h1, .doc h2, .doc h3, .doc h4, .doc h5, .doc h6 {
  font-weight: bold;
}

.doc h1 {
  color: #000000;
  font-size: 28pt;
}

.doc h2 {
  border-bottom: 1px solid #CCCCCC;
  color: #000000;
{'fraction_non_alphanumeric': 0.16064465817520146, 'fraction_numerical': 0.08942032752794385, 'mean_word_length': 3.5270588235294116, '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': '208338', 'n_tokens_mistral': 1895, 'n_tokens_neox': 1588, 'n_words': 389}