<commit_before>/* Search page has multiple alert boxes in HTML,
   hidden on page initialization... */
.alert {
    display: none;
}
/* ... except for this one. */
#results-initial {
    display: block;
}

/* Initial container hiding. Is faded in by jQuery once beers are loaded.*/
#table-container {
    display: none;
}

/* Wrapper for page content to push down footer */
#content {
    min-height: 100%;
    height: auto;
    /* Negative indent footer by its height */
    margin: 0 auto -60px;
    /* Pad bottom by footer height*/
    padding: 0 0 160px;
}

/* Set the fixed height of the footer here */
#footer {
    height: 60px;
}

/* Facebook button stuff. */

.facebook-wrapper {
    height: 21px;
    margin-top: 15px;
}

.fb-page {
    display: none;
}

/* Navbar logo centering */

.navbar-brand {
    padding-top: 10px;
}

/*
Spinning the load indicator for queries.
Source: http://www.bootply.com/128062
*/

.glyphicon-refresh-animate {
    -animation: spin 1s infinite linear;
    -webkit-animation: spin2 1s infinite linear;
}

@-webkit-keyframes spin2 {
    from {
        -webkit-transform: rotate(0deg);
    }
    to {
        -webkit-transform: rotate(360deg);
    }
}

@keyframes spin {
    from {
        transform: scale(1) rotate(0deg);
    }
    to {
        transform: scale(1) rotate(360deg);
    }
}

/* Slider nonsense*/

/* The slider's in-between color, taken from the theme */
.ui-widget-header {
    background: #18bc9c;
}

/* I have no idea what I am doing. CAVEAT EMPTOR */
@media (min-width: 992px) {
    #volume-slider {
        margin-top: 60px;
    }
    #price-slider {
        margin-top: 40px;
    }
    #abv-slider {
        margin-top: 63px;
    }
}
@media (max-width: 991px) {
    .form-slider {
        margin-left: 30px;
        margin-right: 30px;
        margin-bottom: 10px;
    }
}

/* Initial column hiding on the front page.
   Is overridden once the user starts fiddling. */
.beer-container, .beer-abv, .beer-volume, .beer-price, .beer-country {
    display: none;
}

/* Column display button styling. Uses Flexbox. */

#table-column-selector {
    display: flex;
    margin-bottom: 5px  ;
}

.column-control {
    flex-grow: 1;
    margin-left: 5px;
    margin-right: 5px;
}

/* Fixes for labels not being properly bolded */
#div_id_containers > label,
#div_id_styles > label,
#div_id_stores > label {
    font-weight: bold;
}

/* Indicator to show that you'll be clicking something */
label:hover {
    text-decoration: underline;
}

/* Other prettification */
body {
    padding-top: 20px;
}

table thead {
    border-bottom: 1px solid;
}

.checkbox label {
    margin-bottom: 5px;
}<commit_msg>The column selection buttons now flow less stupidly.<commit_after>/* Search page has multiple alert boxes in HTML,
   hidden on page initialization... */
.alert {
    display: none;
}
/* ... except for this one. */
#results-initial {
    display: block;
}

/* Initial container hiding. Is faded in by jQuery once beers are loaded.*/
#table-container {
    display: none;
}

/* Wrapper for page content to push down footer */
#content {
    min-height: 100%;
    height: auto;
    /* Negative indent footer by its height */
    margin: 0 auto -60px;
    /* Pad bottom by footer height*/
    padding: 0 0 160px;
}

/* Set the fixed height of the footer here */
#footer {
    height: 60px;
}

/* Facebook button stuff. */

.facebook-wrapper {
    height: 21px;
    margin-top: 15px;
}

.fb-page {
    display: none;
}

/* Navbar logo centering */

.navbar-brand {
    padding-top: 10px;
}

/*
Spinning the load indicator for queries.
Source: http://www.bootply.com/128062
*/

.glyphicon-refresh-animate {
    -animation: spin 1s infinite linear;
    -webkit-animation: spin2 1s infinite linear;
}

@-webkit-keyframes spin2 {
    from {
        -webkit-transform: rotate(0deg);
    }
    to {
        -webkit-transform: rotate(360deg);
    }
}

@keyframes spin {
    from {
        transform: scale(1) rotate(0deg);
    }
    to {
        transform: scale(1) rotate(360deg);
    }
}

/* Slider nonsense*/

/* The slider's in-between color, taken from the theme */
.ui-widget-header {
    background: #18bc9c;
}

/* I have no idea what I am doing. CAVEAT EMPTOR */
@media (min-width: 992px) {
    #volume-slider {
        margin-top: 60px;
    }
    #price-slider {
        margin-top: 40px;
    }
    #abv-slider {
        margin-top: 63px;
    }
}
@media (max-width: 991px) {
    .form-slider {
        margin-left: 30px;
        margin-right: 30px;
        margin-bottom: 10px;
    }
}

/* Initial column hiding on the front page.
   Is overridden once the user starts fiddling. */
.beer-container, .beer-abv, .beer-volume, .beer-price, .beer-country {
    display: none;
}

/* Column display button styling. Uses Flexbox. */

#table-column-selector {
    display: flex;
    flex-wrap: wrap;
    justify-content: space-between;
}

.column-control {
    flex-grow: 1;
    min-width: 50px;
    margin: 0 5px 10px 5px;
}

/* Fixes for labels not being properly bolded */
#div_id_containers > label,
#div_id_styles > label,
#div_id_stores > label {
    font-weight: bold;
}

/* Indicator to show that you'll be clicking something */
label:hover {
    text-decoration: underline;
}

/* Other prettification */
body {
    padding-top: 20px;
}

table thead {
    border-bottom: 1px solid;
}

.checkbox label {
    margin-bottom: 5px;
}
{'fraction_non_alphanumeric': 0.12904425436965414, 'fraction_numerical': 0.026031982149497954, 'mean_word_length': 2.4770523594053007, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 9, 'https://': 0, 'lorem ipsum': 0, 'www.': 2, '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': '1254890', 'n_tokens_mistral': 1980, 'n_tokens_neox': 1819, 'n_words': 530}