<commit_before>#coqtop {
    border: 0;
    float: left;
    margin: 0;
    width: 50%;
}
#editor {
    float: left;
    margin: 0;
    width: 50%;
}
#main {
    border: 0;
    font-family: monospace;
}
#prooftree {
    border: 0;
}
#revision {
    float: right;
    text-align: right;
}
#toolbar {
    display: table;
    border: 0;
    margin: 0;
    padding: 0;
    width: 100%;
}
.btn-group {
    display: table-cell;
    vertical-align: top;
}<commit_msg>cosmetic<commit_after>.btn-group {
    display: table-cell;
    vertical-align: top;
}
#coqtop {
    border: 0;
    float: left;
    margin: 0;
    width: 50%;
}
#editor {
    float: left;
    margin: 0;
    width: 50%;
}
#main {
    border: 0;
    font-family: monospace;
}
#prooftree {
    border: 0;
}
#revision {
    float: right;
    text-align: right;
}
#toolbar {
    display: table;
    border: 0;
    margin: 0;
    padding: 0;
    width: 100%;
}
{'fraction_non_alphanumeric': 0.15300546448087432, 'fraction_numerical': 0.03278688524590164, 'mean_word_length': 2.2597864768683276, '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': '180262', 'n_tokens_mistral': 391, 'n_tokens_neox': 358, 'n_words': 90}