<commit_before>body {
    margin: 0;
    width: 99.9%;
    background: #dbdbdb;
    font-family: Verdana;
}

a { color: #37538c; text-decoration: none; }
a:hover { text-decoration: underline; }

div.play { float: left; }
a.play img, a.download img { 
    float: left;
    margin: .5em .2em 0 0; 
    width: 2em; 
}

img { border: 0; }
input, textarea { background: #dcdcdc; border: .1em solid black; }

ul.errorlist, { 
    color: red; 
    margin: 0;
    padding: 0;
    font-weight: bold;
    list-style: none;
}

div#wrap {
    overflow-y: auto;
    overflow-x: hidden;
    margin: 0 2% 0 2%;
    padding-bottom: 2%;
    background: #efefef;
}

div#headlines { 
    width: 99%;
    height: 1em;
    margin: 0;
    padding: .4em;
    font-size: .9em;
    background: #cdcdcd;
}

div#header {
    background: #dbdbdb;
}
    div#header h1 { margin: 0; }
    div#header img#banner { width: 100%; }
    div#header img#logo { 
        position: absolute;
        top: 1em;
        left: 1em;
        width: 12em;
    }
    div#header #font a { color: #a3aeba; }
    div#header #font {
        position: absolute;
        top: 7em;
        right: 5%;
        padding: .3em;       
        font-weight: bold;
        background: #2f3841;
        -moz-border-radius: .3em;
        border: .1em solid #a3aeba;
    }



div#menu {
    margin-top: -.7em;
    width: 100%;
    background: #2f3841;
    border-bottom: .5em solid #dbdbdb;
    font-size: .7em;
}
    #menu form input { width: 9em; font-size: .8em; text-align: center; }
    #menu form { float: right; margin: .2em 1.7em .2em .2em; }
    #menu a:hover { text-decoration: none; color: #868f99; }
    #menu a { 
        display: block; 
        padding: .3em .4em .3em .4em; 
        color: #a3aeba; 
        font-weight: bold; 
    }
    #menu ul { 
        margin: 0;
        padding: 0;
        display: none; 
        background: #2f3841;
        border-width: .1em 0 .1em .1em;
        border-style: solid;
        border-color: #4f5861;
    }
    #menu li:hover { background: #1e2329; }
    #menu li { 
        display: inline-block; 
        text-align: center;
        border-right: .1em solid #4f5861;
    }

    #menu > ul { 
        display: block; 
        border: none; <commit_msg>menu items font size increased<commit_after>body {
    margin: 0;
    width: 99.9%;
    background: #dbdbdb;
    font-family: Verdana;
}

a { color: #37538c; text-decoration: none; }
a:hover { text-decoration: underline; }

div.play { float: left; }
a.play img, a.download img { 
    float: left;
    margin: .5em .2em 0 0; 
    width: 2em; 
}

img { border: 0; }
input, textarea { background: #dcdcdc; border: .1em solid black; }

ul.errorlist, { 
    color: red; 
    margin: 0;
    padding: 0;
    font-weight: bold;
    list-style: none;
}

div#wrap {
    overflow-y: auto;
    overflow-x: hidden;
    margin: 0 2% 0 2%;
    padding-bottom: 2%;
    background: #efefef;
}

div#headlines { 
    width: 99%;
    height: 1em;
    margin: 0;
    padding: .4em;
    font-size: .9em;
    background: #cdcdcd;
}

div#header {
    background: #dbdbdb;
}
    div#header h1 { margin: 0; }
    div#header img#banner { width: 100%; }
    div#header img#logo { 
        position: absolute;
        top: 1em;
        left: 1em;
        width: 12em;
    }
    div#header #font a { color: #a3aeba; }
    div#header #font {
        position: absolute;
        top: 7em;
        right: 5%;
        padding: .3em;       
        font-weight: bold;
        background: #2f3841;
        -moz-border-radius: .3em;
        border: .1em solid #a3aeba;
    }



div#menu {
    margin-top: -.5em;
    width: 100%;
    background: #2f3841;
    border-bottom: .5em solid #dbdbdb;
    font-size: .8em;
}
    #menu form input { width: 9em; font-size: .8em; text-align: center; }
    #menu form { float: right; margin: .2em 1.7em .2em .2em; }
    #menu a:hover { text-decoration: none; color: #868f99; }
    #menu a { 
        display: block; 
        padding: .3em .4em .3em .4em; 
        color: #a3aeba; 
        font-weight: bold; 
    }
    #menu ul { 
        margin: 0;
        padding: 0;
        display: none; 
        background: #2f3841;
        border-width: .1em 0 .1em .1em;
        border-style: solid;
        border-color: #4f5861;
    }
    #menu li:hover { background: #1e2329; }
    #menu li { 
        display: inline-block; 
        text-align: center;
        border-right: .1em solid #4f5861;
    }

    #menu > ul { 
        display: block; 
        border: none; 
{'fraction_non_alphanumeric': 0.13794632956309602, 'fraction_numerical': 0.046573519627411845, 'mean_word_length': 1.9153199741435036, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 5, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 2, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '2468116', 'n_tokens_mistral': 1830, 'n_tokens_neox': 1669, 'n_words': 438}