<commit_before>
.navbar{
    position: fixed;
    width: 100%;
    top: 0px;
}
.navbar .brand{
    font-size: 100px;
    line-height: 100px;
}

body{
    padding-top: 150px;
}

.center{
    text-align: center;
}

.vert_center{
    padding-top: 5%;
    padding-bottom: 5%;
}

.active{
    background: rgb(255,255,255); /* Old browsers */
    background: -moz-linear-gradient(top,  rgb(255,255,255) 0%, rgb(119,209,255) 100%); /* FF3.6+ */
    background: -webkit-gradient(linear, left top, left bottom, color-stop(0%,rgb(255,255,255)), color-stop(100%,rgb(119,209,255))); /* Chrome,Safari4+ */
    background: -webkit-linear-gradient(top,  rgb(255,255,255) 0%,rgb(119,209,255) 100%); /* Chrome10+,Safari5.1+ */
    background: -o-linear-gradient(top,  rgb(255,255,255) 0%,rgb(119,209,255) 100%); /* Opera 11.10+ */
    background: -ms-linear-gradient(top,  rgb(255,255,255) 0%,rgb(119,209,255) 100%); /* IE10+ */
    background: linear-gradient(to bottom,  rgb(255,255,255) 0%,rgb(119,209,255) 100%); /* W3C */
    filter: progid:DXImageTransform.Microsoft.gradient( startColorstr='#ffffff', endColorstr='#77d1ff',GradientType=0 ); /* IE6-9 */
}

.separator{
    background-image: url('../Images/page_divider.png');
    background-repeat: repeat-x;
}

.separator_down{
    background-image: url('../Images/page_divider2.png');
    background-repeat: repeat-x;

}

.bold{
    font-weight: bold;
}

@media (min-width: 1200px){
    body{
        margin-left: 5%;
        margin-right: 5%;

        background-image: url('../Images/noise_background.gif');
        background-repeat: repeat;
    }
    .navbar{
        width: 90%;
          }
}
@media (min-width: 1400px){
    body{
        margin-left: 15%;
        margin-right: 15%;

        background-image: url('../Images/noise_background.gif');
        background-repeat: repeat;
    }
    .navbar{
        width: 70%;
    }<commit_msg>Add italics back<commit_after>.navbar{
    position: fixed;
    width: 100%;
    top: 0px;
    z-index: 10;
}
.navbar .brand{
    font-size: 100px;
    line-height: 100px;
}

body{
    padding-top: 150px;
    z-index: 0;
}

.center{
    text-align: center;
}

.vert_center{
    padding-top: 5%;
    padding-bottom: 5%;
}

.active{
    background: rgb(255,255,255); /* Old browsers */
    background: -moz-linear-gradient(top,  rgb(255,255,255) 0%, rgb(119,209,255) 100%); /* FF3.6+ */
    background: -webkit-gradient(linear, left top, left bottom, color-stop(0%,rgb(255,255,255)), color-stop(100%,rgb(119,209,255))); /* Chrome,Safari4+ */
    background: -webkit-linear-gradient(top,  rgb(255,255,255) 0%,rgb(119,209,255) 100%); /* Chrome10+,Safari5.1+ */
    background: -o-linear-gradient(top,  rgb(255,255,255) 0%,rgb(119,209,255) 100%); /* Opera 11.10+ */
    background: -ms-linear-gradient(top,  rgb(255,255,255) 0%,rgb(119,209,255) 100%); /* IE10+ */
    background: linear-gradient(to bottom,  rgb(255,255,255) 0%,rgb(119,209,255) 100%); /* W3C */
    filter: progid:DXImageTransform.Microsoft.gradient( startColorstr='#ffffff', endColorstr='#77d1ff',GradientType=0 ); /* IE6-9 */
}

.separator{
    background-image: url('../Images/page_divider.png');
    background-repeat: repeat-x;
}

.separator_down{
    background-image: url('../Images/page_divider2.png');
    background-repeat: repeat-x;

}

.bold{
    font-weight: bold;
}

.italic{
    font-style: italic;
}

@media (min-width: 1200px){
    body{
        margin-left: 2.5%;
        margin-right: 2.5%;

        background-image: url('../Images/noise_background.gif');
        background-repeat: repeat;
    }
    .navbar{
        width: 95%;
    }
}
@media (min-width: 1400px){
    body{
        margin-left: 15%;
        margin-right: 15%;

        background-image: url('../Images/noise_background.gif');
        background-repeat: repeat;
    }
    .navbar{
        width: 70%;
    }
}
{'fraction_non_alphanumeric': 0.18907672301690506, 'fraction_numerical': 0.10273081924577374, 'mean_word_length': 3.0314465408805034, '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': '1820896', 'n_tokens_mistral': 1750, 'n_tokens_neox': 1391, 'n_words': 248}