<commit_before>/* --------------------------------------------------------------- Overrides */

.navbar {
    .brand {
        .badge {
            vertical-align: top;
            padding-top: 4px;
        }

        text-transform: none;
    }
}


/* --------------------------------------------------------------- Home index */

#home {
    /* Space for the fixed navbar. */
    padding-top: 40px;
}

#home-styles-chooser {

    /* Separate chooser from the intro text. */
    padding-top: 30px;

    .home-style {
        text-align: center;
        cursor: pointer;<commit_msg>Import the OpenSans font, and get rid of workaround for brand.<commit_after>
@import url('http://fonts.googleapis.com/css?family=Open+Sans:300italic,400italic,600italic,700italic,800italic,400,300,600,700,800');

/*
@import url('http://fonts.googleapis.com/css?family=Lato:300,400,700,900,300italic,400italic,700italic,900italic');
*/

/* --------------------------------------------------------------- Overrides */

.navbar {
    .brand {
        .badge {
            /*
            vertical-align: top;
            padding-top: 4px;
            */
        }

        text-transform: none;
    }
}


/* --------------------------------------------------------------- Home index */

#home {
    /* Space for the fixed navbar. */
    padding-top: 40px;
}

#home-styles-chooser {

    /* Separate chooser from the intro text. */
    padding-top: 30px;

    .home-style {
        text-align: center;
        cursor: pointer;
{'fraction_non_alphanumeric': 0.28542914171656686, 'fraction_numerical': 0.04258150365934797, 'mean_word_length': 1.261654135338346, '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': '5268296', 'n_tokens_mistral': 484, 'n_tokens_neox': 421, 'n_words': 83}