<commit_before>html {
    background: #555555 url('../images/pagebg.png') top left repeat-x;
}

body {
    width: 300px;
    margin: 0 auto;
    padding: 0;
    font-size: 24px;
    font-family:"Lucida Grande","Lucida Sans Unicode",geneva,verdana,sans-serif;
}

a {
    color: #286571;
}

#header {
    height: 132px;
    margin: auto;
    background: url('../images/header_mobile.png') top left no-repeat;
}

#header img {
    margin: 4px 100px;
    width: 100px;
}

#header h1 {
    margin: 0;
    color: #fff;
    position: relative;
    font-size: 24px;
    text-align: center;
    background: url('../images/menu_mobile.png') top left no-repeat;
}

ul#mainmenu {
    margin: 0;
    padding: 0;
}

ul#mainmenu li {
    list-style-type: none;
    text-align: center;
    height: 38px;
    width: 170px;
    margin: 20px auto;
    padding: 0;
    position: relative;
    background: url('../images/inputbg.png') left top no-repeat;
}

ul#mainmenu li a {
    display: block;
    line-height: 28px;
    vertical-align: middle;
    padding: 0 10px;<commit_msg>Re-jigger the CSS to match the combined style.<commit_after>html {
    background: #555555 url('../images/pagebg.png') top left repeat-x;
}

body {
    width: 300px;
    margin: 0 auto;
    padding: 0;
    font-size: 24px;
    font-family:"Lucida Grande","Lucida Sans Unicode",geneva,verdana,sans-serif;
}

a {
    color: #286571;
}

#header {
    height: 132px;
    margin: auto;
    background: url('../images/header_mobile.png') top left no-repeat;
}

#header img {
    margin: 4px 100px;
    width: 100px;
}

#header h1 {
    margin: 0;
    color: #fff;
    position: relative;
    font-size: 24px;
    text-align: center;
    background: url('../images/menu_mobile.png') top left no-repeat;
}

#menudiv {
    background: #fff;
}

ul#mainmenu {
    margin: 0;
    padding: 0;
}

ul#mainmenu li {
    list-style-type: none;
    text-align: center;
    height: 38px;
    width: 170px;
    top: 20px;
    margin: 0px auto;
    padding-bottom: 20px;
    position: relative;
    background: url('../images/inputbg.png') left top no-repeat;
}

ul#mainmenu li a {
    display: block;
    line-height: 28px;
    vertical-align: middle;
    padding: 0 10px;
{'fraction_non_alphanumeric': 0.1415649027589326, 'fraction_numerical': 0.04432383536861149, 'mean_word_length': 2.730185497470489, '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': '1994168', 'n_tokens_mistral': 901, 'n_tokens_neox': 807, 'n_words': 205}