<commit_before>/*!
 * Start Bootstrap - Landing Page Bootstrap Theme (http://startbootstrap.com)
 * Code licensed under the Apache License v2.0.
 * For details, see http://www.apache.org/licenses/LICENSE-2.0.
 */

body,
html {
    width: 100%;
    height: 100%;
}

body,
h1,
h2,
h3,
h4,
h5,
h6 {
    font-family: "Lato","Helvetica Neue",Helvetica,Arial,sans-serif;
    font-weight: 700;
}

.topnav {
    font-size: 14px; 
    background-color: #333;
    border-color: #666;
}

.navbar-header > a.navbar-brand,
.navbar-collapse > ul.nav > li > a,
footer a {
    color: #f8f8f8;
}

.navbar-header > a.navbar-brand:hover,
.navbar-collapse > ul.nav > li > a:hover
footer a:hover {
    color: #e8e8e8;
}

img.navbar-brand {
    padding: 0px;
    margin: 0px;
    height: 50px;
}

.lead {
    font-size: 18px;
    font-weight: 400;
}

.intro-header {
    padding-top: 50px; /* If you're making other pages, make sure there is 50px of padding to make sure the navbar doesn't overlap content! */
    /*padding-bottom: 50px;*/
    text-align: center;
    /*color: #f8f8f8;*/
    color: #BA1818;
    background: url(../img/intro-bg.png) no-repeat center center;
    /*background-color: #666;*/
    background-size: cover;
}

.intro-message {
    position: relative;
    padding-top: 10%;
    padding-bottom: 10%;<commit_msg>fixed logo scaling<commit_after>/*!
 * Start Bootstrap - Landing Page Bootstrap Theme (http://startbootstrap.com)
 * Code licensed under the Apache License v2.0.
 * For details, see http://www.apache.org/licenses/LICENSE-2.0.
 */

body,
html {
    width: 100%;
    height: 100%;
}

body,
h1,
h2,
h3,
h4,
h5,
h6 {
    font-family: "Lato","Helvetica Neue",Helvetica,Arial,sans-serif;
    font-weight: 700;
}

.topnav {
    font-size: 14px; 
    background-color: #333;
    border-color: #666;
}

.navbar-header > a.navbar-brand,
.navbar-collapse > ul.nav > li > a,
footer a {
    color: #f8f8f8;
}

.navbar-header > a.navbar-brand:hover,
.navbar-collapse > ul.nav > li > a:hover
footer a:hover {
    color: #e8e8e8;
}

img.navbar-brand {
    padding: 0px;
    margin: 0px;
    height: 50px;
}

.lead {
    font-size: 18px;
    font-weight: 400;
}

.intro-header {
    padding-top: 50px; /* If you're making other pages, make sure there is 50px of padding to make sure the navbar doesn't overlap content! */
    /*padding-bottom: 50px;*/
    text-align: center;
    /*color: #f8f8f8;*/
    color: #BA1818;
    background: url(../img/intro-bg.png) no-repeat center center;
    /*background-color: #666;*/
    background-size: cover;
}

.intro-message > img {
    max-width: 100%;
    height: auto;
}

.intro-message {
    position: relative;
    padding-top: 10%;
    padding-bottom: 10%;
{'fraction_non_alphanumeric': 0.1553002223869533, 'fraction_numerical': 0.04707190511489993, 'mean_word_length': 2.86676217765043, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 20, 'https://': 0, 'lorem ipsum': 0, 'www.': 2, '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': '3472508', 'n_tokens_mistral': 1128, 'n_tokens_neox': 1013, 'n_words': 253}