<commit_before>// Forms
// Placeholder text color
$label-color                    : $dark-grey !default;
$input-color-placeholder        : lighten($mid-grey, 5) !default;
$input-bg                       : lighten($light-grey, 2) !default;
$input-bg-hover                 : $mid-grey !default;
$input-bg-disabled              : lighten($mid-grey, 15%) !default;
$input-color                    : $secondary !default;
$input-border                   : darken($light-grey, 5) !default;
$input-group-addon-border-color : $input-border !default;
$input-border-focus             : $info !default;
$legend-color                   : $text-color !default;
$legend-border-color            : $light-grey !default;
$input-group-addon-bg           : $light-grey !default;
$select-bg                      : $body-bg;

select {
    display: block;
    width: 100%;
    box-sizing: border-box;
    border-width: 2px;
    border-color: $input-border;
    border-radius: 0;
    background: $select-bg;
    border: solid 2px $border;
    padding: 5px 10px;
    font-size: 15px;
    -o-appearance: none;
    -ms-appearance: none;
    -moz-appearance: none;
    -webkit-appearance: none;
    line-height: 24px;
    &:not([multiple]) {
      position: relative;
      background-image: url(images/dropdown-arrow.svg);
      background-repeat: no-repeat;
      background-size: 15px 10px;
      background-position: calc(100% - 10px) center;
    }
}

form {
    display: block;
    position: relative;
}

label {
    color: $label-color;
    display: inline-block;
}

input[type='checkbox'] {
    cursor: pointer;
}

input[type='text'],
input[type='password'],
input[type='number'],
input[type='date'],
input[type='email'],
input[type='search'],
input[type='tel'],
input[type='url'],
textarea {
    display: block;
    box-sizing: border-box;
    border-width: 1.25px;
    border-color: $input-border;
    border-radius: 0;
    border-style: solid;
    background: $input-bg;
    padding: 5px 10px;
    font-size: 15px;
    line-height: 24px;
    width: 100%;

    &[size] {
      display: inline-block;
      width: auto;
    }
<commit_msg>Make checkbox larger<commit_after>// Forms
// Placeholder text color
$label-color                    : $dark-grey !default;
$input-color-placeholder        : lighten($mid-grey, 5) !default;
$input-bg                       : lighten($light-grey, 2) !default;
$input-bg-hover                 : $mid-grey !default;
$input-bg-disabled              : lighten($mid-grey, 15%) !default;
$input-color                    : $secondary !default;
$input-border                   : darken($light-grey, 5) !default;
$input-group-addon-border-color : $input-border !default;
$input-border-focus             : $info !default;
$legend-color                   : $text-color !default;
$legend-border-color            : $light-grey !default;
$input-group-addon-bg           : $light-grey !default;
$select-bg                      : $body-bg;

select {
    display: block;
    width: 100%;
    box-sizing: border-box;
    border-width: 2px;
    border-color: $input-border;
    border-radius: 0;
    background: $select-bg;
    border: solid 2px $border;
    padding: 5px 10px;
    font-size: 15px;
    -o-appearance: none;
    -ms-appearance: none;
    -moz-appearance: none;
    -webkit-appearance: none;
    line-height: 24px;
    &:not([multiple]) {
      position: relative;
      background-image: url(images/dropdown-arrow.svg);
      background-repeat: no-repeat;
      background-size: 15px 10px;
      background-position: calc(100% - 10px) center;
    }
}

form {
    display: block;
    position: relative;
}

label {
    color: $label-color;
    display: inline-block;
}

input[type='checkbox'] {
    cursor: pointer;
    height: 1.25em;
    line-height: 1.25em;
    width: 1.25em;
}

input[type='text'],
input[type='password'],
input[type='number'],
input[type='date'],
input[type='email'],
input[type='search'],
input[type='tel'],
input[type='url'],
textarea {
    display: block;
    box-sizing: border-box;
    border-width: 1.25px;
    border-color: $input-border;
    border-radius: 0;
    border-style: solid;
    background: $input-bg;
    padding: 5px 10px;
    font-size: 15px;
    line-height: 24px;
    width: 100%;

    &[size] {
      display: inline-block;
      width: auto;
    }

{'fraction_non_alphanumeric': 0.15184583236591595, 'fraction_numerical': 0.02112839563501277, 'mean_word_length': 2.378823529411765, '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': '5303662', 'n_tokens_mistral': 1533, 'n_tokens_neox': 1405, 'n_words': 298}