<commit_before>
/*
 * Fonts, colors and margins of common elements
 */
body {
    font-size: 85%;
    margin: 0;
    padding: 0;
}
p, h1, h2, h3, h4, ul {
    font-family: "Segoe UI", Tahoma, Helvetica, sans-serif;
    color: #454545;
}
p, h1, h2, h3, h4 {
    margin: 1px 3px 10px 3px;
    padding: 1px;
}
h2 {
    font-family: "Open Sans", Helvetica, Arial, sans-serif;
    font-size: 164%;
    font-weight: normal;
    margin: 23px 3px 10px 3px;
}
h3 {
    font-size: 100%;
    font-weight: bold;
    margin: 12px 3px 2px 3px;
}
div {
    margin: 0;
    padding: 0;
}

/* HTML5 fixes for IE8 */
header, article, footer {
    display: block;
}



/*
 * Main page structure
 */

/* Body */
body {
    background: white;
}

/* Main building block, ensures consistent site width */
.site_container {
    max-width: 1000px;
    margin: 0 auto;
}

/* Header menu */
#site_header {
    background: #f4f4f4;
    position: relative;
    margin-bottom: 20px;
    box-shadow: 0 0 16px black;
}
@media all and (max-width : 59em) {
    #site_header
    {
        /*
         * Gives search box more room,
         * as well as correcting for the top margin at the container that
         * is gone at smaller devices.
         */
        padding-top: 22px;
        overflow: auto;
    }
}
#site_header h1 {
    margin: 0;
    padding: 0;
    padding-top: 40px;
    font-family: "Segoe UI Light", "Segoe UI", "Lucida Grande", Verdana, Arial, Helvetica, sans-serif;
    font-size: 3em;
    font-weight: normal;
    color: #494949;
}
ul#main_menu {
    margin: 0;
    padding-right: 0;
    padding-left: 0.2em;
    padding-top: 0.5em;
    padding-bottom: 0.2em;
    height: 2.5em;
    list-style-type: none;
}
ul#main_menu li {
    margin: 0 3em 0 0;
    padding: 0;
    float: left;
    height: 100%;
    color: gray;
    display: block;
}
ul#main_menu li a {
    text-decoration: none;
    text-transform: uppercase;
    font-size: 100%;
    color: #494949;
    border: 0;
}
ul#main_menu li a:hover {
    text-decoration: none;
    color: #999;
}

/* Account box and label (inside header box) */
div#account_label {
    position: absolute;
    top: 0;
    right: 0;
    text-align: right;
    background: white;
    box-shadow: 0 0 5px #aaa;
}
div#account_box {
    display: none;
    text-align: left;
    min-height: 6em;
    min-width: 18em;
}
body.logged_in div#account_label:hover div#account_box {
    display: block;
}
div#account_box img {
    float: left;
    width: 5em;
    margin: 1.1em;
}
div#account_box ul {
    padding: 1.1em;
    margin-left: 10px;
    list-style-type: none;
    text-transform: uppercase;<commit_msg>Update rkok theme for account box changes<commit_after>
/*
 * Fonts, colors and margins of common elements
 */
body {
    font-size: 85%;
    margin: 0;
    padding: 0;
}
p, h1, h2, h3, h4, ul {
    font-family: "Segoe UI", Tahoma, Helvetica, sans-serif;
    color: #454545;
}
p, h1, h2, h3, h4 {
    margin: 1px 3px 10px 3px;
    padding: 1px;
}
h2 {
    font-family: "Open Sans", Helvetica, Arial, sans-serif;
    font-size: 164%;
    font-weight: normal;
    margin: 23px 3px 10px 3px;
}
h3 {
    font-size: 100%;
    font-weight: bold;
    margin: 12px 3px 2px 3px;
}
div {
    margin: 0;
    padding: 0;
}

/* HTML5 fixes for IE8 */
header, article, footer {
    display: block;
}



/*
 * Main page structure
 */

/* Body */
body {
    background: white;
}

/* Main building block, ensures consistent site width */
.site_container {
    max-width: 1000px;
    margin: 0 auto;
}

/* Header menu */
#site_header {
    background: #f4f4f4;
    position: relative;
    margin-bottom: 20px;
    box-shadow: 0 0 16px black;
}
@media all and (max-width : 59em) {
    #site_header
    {
        /*
         * Gives search box more room,
         * as well as correcting for the top margin at the container that
         * is gone at smaller devices.
         */
        padding-top: 22px;
        overflow: auto;
    }
}
#site_header h1 {
    margin: 0;
    padding: 0;
    padding-top: 40px;
    font-family: "Segoe UI Light", "Segoe UI", "Lucida Grande", Verdana, Arial, Helvetica, sans-serif;
    font-size: 3em;
    font-weight: normal;
    color: #494949;
}
ul#main_menu {
    margin: 0;
    padding-right: 0;
    padding-left: 0.2em;
    padding-top: 0.5em;
    padding-bottom: 0.2em;
    height: 2.5em;
    list-style-type: none;
}
ul#main_menu li {
    margin: 0 3em 0 0;
    padding: 0;
    float: left;
    height: 100%;
    color: gray;
    display: block;
}
ul#main_menu li a {
    text-decoration: none;
    text-transform: uppercase;
    font-size: 100%;
    color: #494949;
    border: 0;
}
ul#main_menu li a:hover {
    text-decoration: none;
    color: #999;
}

/* Account box and label (inside header box) */
div#account_label {
    position: absolute;
    top: 0;
    right: 0;
    text-align: right;
    background: white;
    box-shadow: 0 0 5px #aaa;
    font-family: verdana, sans-serif;
    padding: 3px;
}
div#account_box {
    display: none;
    text-align: left;
    min-height: 6em;
    min-width: 18em;
}
body.logged_in div#account_label:hover div#account_box {
    display: block;
}
div#account_box img {
    float: left;
    width: 5em;
    margin: 1.1em;
}
div#account_box ul {
    padding: 1.1em;
    margin-left: 10px;
    list-style-type: none;
    text-transform: uppercase;
{'fraction_non_alphanumeric': 0.12884471117779445, 'fraction_numerical': 0.046324081020255065, 'mean_word_length': 2.427377892030848, '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': 2, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '4983431', 'n_tokens_mistral': 2195, 'n_tokens_neox': 1980, 'n_words': 570}