<commit_before>/*
 * Copyright (c) 2012 <NAME>. All rights reserved.
 * Use of this source code is governed by a 3-clause BSD license that can be
 * found in the LICENSE file.
 */

body {
    font-size: 13px;
    font-family: helvetica, arial, sans-serif;
    font-weight: bold;
}

button {
    -webkit-appearance: none;
    -webkit-box-align: center;
    -webkit-font-smoothing: subpixel-antialiased;
    background-clip: border-box;
    background-color: #729FcF;
    background-image: -webkit-linear-gradient(top, #729FCF, #3465A4);
    background-origin: padding-box;
    border: 1px solid transparent;
    border-radius: 4px;
    box-shadow: inset 0 0 0 1px #fff;
    box-sizing: border-box;
    color: white;
    cursor: pointer;
    display: inline-block;
    font-family: helvetica, arial, sans-serif;
    font-size: 12px;
    font-style: normal;
    font-variant: normal;
    font-weight: bold;
    height: 34px;
    letter-spacing: normal;
    line-height: normal;
/*    margin: 0px 0px 0px 0px;*/
/*    margin-left: auto;
    margin-right: auto;*/
    outline: 0 transparent;
    overflow-x: visible;
    overflow-y: visible;
    padding-bottom: 0px;
    padding-left: 13px;
    padding-right: 13px;
    padding-top: 0px;
    position: relative;
    text-align: center;
    text-indent: 0px;
    text-transform: none;
    top: 1px;
    white-space: nowrap;
    width: 65px;
    /*width: 13%;*/
    word-spacing: 0px;
}

button#copy {
/*    margin-left: 1%;
    margin-right: 35%;*/
}

button#open {
/*    margin-left: 35%;
    margin-right: 1%;*/
}

div#buttons {
/*    margin-left: 20%;
    margin-right: 20%;*/
/*	width: 40%;
    margin-left: auto;
    margin-right: auto;*/
}

/*input[type="checkbox"] {<commit_msg>Small improvements in CSS, all "0px" to simply "0".<commit_after>/*
 * Copyright (c) 2012 <NAME>. All rights reserved.
 * Use of this source code is governed by a 3-clause BSD license that can be
 * found in the LICENSE file.
 */

body {
    font-size: 13px;
    font-family: helvetica, arial, sans-serif;
    font-weight: bold;
}

button {
    -webkit-appearance: none;
    -webkit-box-align: center;
    -webkit-font-smoothing: subpixel-antialiased;
    background-clip: border-box;
    background-color: #729FcF;
    background-image: -webkit-linear-gradient(top, #729FCF, #3465A4);
    background-origin: padding-box;
    border: 1px solid transparent;
    border-radius: 4px;
    box-shadow: inset 0 0 0 1px #fff;
    box-sizing: border-box;
    color: white;
    cursor: pointer;
    display: inline-block;
    font-family: helvetica, arial, sans-serif;
    font-size: 12px;
    font-style: normal;
    font-variant: normal;
    font-weight: bold;
    height: 34px;
    letter-spacing: normal;
    line-height: normal;
/*    margin: 0px 0px 0px 0px;*/
/*    margin-left: auto;
    margin-right: auto;*/
    outline: 0 transparent;
    overflow-x: visible;
    overflow-y: visible;
    padding-bottom: 0;
    padding-left: 13px;
    padding-right: 13px;
    padding-top: 0;
    position: relative;
    text-align: center;
    text-indent: 0;
    text-transform: none;
    top: 1px;
    white-space: nowrap;
    width: 65px;
    /*width: 13%;*/
    word-spacing: 0;
}

button#copy {
/*    margin-left: 1%;
    margin-right: 35%;*/
}

button#open {
/*    margin-left: 35%;
    margin-right: 1%;*/
}

div#buttons {
/*    margin-left: 20%;
    margin-right: 20%;*/
/*	width: 40%;
    margin-left: auto;
    margin-right: auto;*/
}

/*input[type="checkbox"] {
{'fraction_non_alphanumeric': 0.1444954128440367, 'fraction_numerical': 0.0338302752293578, 'mean_word_length': 2.6959745762711864, 'pattern_counts': {'":': 0, '<': 5, '<?xml version=': 0, '>': 5, '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': '614472', 'n_tokens_mistral': 1355, 'n_tokens_neox': 1226, 'n_words': 322}