<commit_before>// Submit buttons.
input[type=submit], input[type=button], button, a.button {
  margin: 0;
  padding: 0.1em 1ex;
  -moz-border-radius: 4px;
  -webkit-border-radius: 4px;
  border-radius: 4px;
  -moz-box-shadow: 0px 1px 3px $button-shadow-color;
  -webkit-box-shadow: 0px 1px 3px $button-shadow-color;
  box-shadow: 0px 1px 3px $button-shadow-color;
  
  background-color: $button-color;
  border: 1px solid $button-border-color;
  color: $button-font-color;
  font-size: 1.1em;
  font-weight: bold;

  &:hover {
    color: $button-hover-font-color;
  }
  &:active {
    background-color: $button-color;
    -moz-box-shadow: inset 0px 2px 2px $button-active-shadow-color;
    -webkit-box-shadow: inset 0px 2px 2px $button-active-shadow-color;
    box-shadow: inset 0px 2px 2px $button-active-shadow-color;
  }
}

// Text fields.
input[type=text], input[type=email], input[type=tel], input[type=password],
    input[type=search], textarea {
  margin: 0;
  padding: 0.1em 0.5ex;
  border: 1px solid $input-border-color;
  -moz-border-radius: 4px;
  -webkit-border-radius: 4px;
  border-radius: 4px;
  -moz-box-shadow: inset 0px 2px 2px $input-shadow-color;
  -webkit-box-shadow: inset 0px 2px 2px $input-shadow-color;
  box-shadow: inset 0px 2px 2px $input-shadow-color;
  background-color: $input-background-color;

  &:hover {
    border: 1px solid $button-hover-border-color;
  }
  &:focus {
    color: #331400;
  }
}
textarea {
  height: 5.25em;
}

// Multiple-choice fields.
input[type=radio], input[type=checkbox] {
  border: 1px solid $input-border-color;
  box-shadow: inset 0px 1px 2px $input-shadow-color;
  -moz-box-shadow: inset 0px 1px 2px $input-shadow-color;
  -webkit-box-shadow: inset 0px 1px 2px $input-shadow-color;
  background-color: $input-background-color;
}

// Error highlighting.
.field_with_errors {
  input[type=text], input[type=email], input[type=tel], input[type=password],
      input[type=search], textarea {
    border: 1px solid #FF0000;
    box-shadow: inset 0px 1px 2px #FF8888;
    -moz-box-shadow: inset 0px 1px 2px #FF8888;
    -webkit-box-shadow: inset 0px 1px 2px #FF8888;
    background-color: #FFEEEE;
  }
  
  input[type=radio], input[type=checkbox] {
    border: 1px solid #FF0000;      
    box-shadow: inset 0px 1px 2px #FF8888;
    -moz-box-shadow: inset 0px 1px 2px #FF8888;
    -webkit-box-shadow: inset 0px 1px 2px #FF8888;
    background-color: #FFEEEE;
  }
}


// Forms.
form {
  .fields {
    display: table;
    border-collapse: collapse;
    width: 100%;
    
    &.hidden {
      display: none;
    }
  
    .field {
      display: table-row;
      margin: 0;
      padding: 0 0 0.2em 0;
      &.hidden {
        display: none;
      }
  
      > * {
        display: table-cell;
        vertical-align: baseline;
        margin: 0;
      }
      > label {
        padding: 0 0.5em 0 0;
      }
      > .value {
        padding: 0 0 0.25em 0;
        > .field_with_errors {
         display: block;
        }
      }
      > .comment {
        padding: 0 0 0 0.5em;
      }
      
      input, textarea {
        font-size: inherit;
        width: 100%;
        -webkit-box-sizing: border-box;
        -moz-box-sizing: border-box;
        box-sizing: border-box;
      }
      input[type=radio], input[type=checkbox] {
        width: auto;
      }
    }
  }
  
  .action {
    margin: 0;
    padding: 0;
    text-align: center;
    
    input[type=submit], input[type=button], button {
      min-width: 7em;
    }
  }
}
<commit_msg>Added type=number to list of text inputs.<commit_after>// Submit buttons.
input[type=submit], input[type=button], button, a.button {
  margin: 0;
  padding: 0.1em 1ex;
  -moz-border-radius: 4px;
  -webkit-border-radius: 4px;
  border-radius: 4px;
  -moz-box-shadow: 0px 1px 3px $button-shadow-color;
  -webkit-box-shadow: 0px 1px 3px $button-shadow-color;
  box-shadow: 0px 1px 3px $button-shadow-color;
  
  background-color: $button-color;
  border: 1px solid $button-border-color;
  color: $button-font-color;
  font-size: 1.1em;
  font-weight: bold;

  &:hover {
    color: $button-hover-font-color;
  }
  &:active {
    background-color: $button-color;
    -moz-box-shadow: inset 0px 2px 2px $button-active-shadow-color;
    -webkit-box-shadow: inset 0px 2px 2px $button-active-shadow-color;
    box-shadow: inset 0px 2px 2px $button-active-shadow-color;
  }
}

// Text fields.
input[type=text], input[type=email], input[type=tel], input[type=password],
    input[type=search], input[type=number], textarea {
  margin: 0;
  padding: 0.1em 0.5ex;
  border: 1px solid $input-border-color;
  -moz-border-radius: 4px;
  -webkit-border-radius: 4px;
  border-radius: 4px;
  -moz-box-shadow: inset 0px 2px 2px $input-shadow-color;
  -webkit-box-shadow: inset 0px 2px 2px $input-shadow-color;
  box-shadow: inset 0px 2px 2px $input-shadow-color;
  background-color: $input-background-color;

  &:hover {
    border: 1px solid $button-hover-border-color;
  }
  &:focus {
    color: #331400;
  }
}
textarea {
  height: 5.25em;
}

// Multiple-choice fields.
input[type=radio], input[type=checkbox] {
  border: 1px solid $input-border-color;
  box-shadow: inset 0px 1px 2px $input-shadow-color;
  -moz-box-shadow: inset 0px 1px 2px $input-shadow-color;
  -webkit-box-shadow: inset 0px 1px 2px $input-shadow-color;
  background-color: $input-background-color;
}

// Error highlighting.
.field_with_errors {
  input[type=text], input[type=email], input[type=tel], input[type=password],
      input[type=search], input[type=number], textarea {
    border: 1px solid #FF0000;
    box-shadow: inset 0px 1px 2px #FF8888;
    -moz-box-shadow: inset 0px 1px 2px #FF8888;
    -webkit-box-shadow: inset 0px 1px 2px #FF8888;
    background-color: #FFEEEE;
  }
  
  input[type=radio], input[type=checkbox] {
    border: 1px solid #FF0000;      
    box-shadow: inset 0px 1px 2px #FF8888;
    -moz-box-shadow: inset 0px 1px 2px #FF8888;
    -webkit-box-shadow: inset 0px 1px 2px #FF8888;
    background-color: #FFEEEE;
  }
}


// Forms.
form {
  .fields {
    display: table;
    border-collapse: collapse;
    width: 100%;
    
    &.hidden {
      display: none;
    }
  
    .field {
      display: table-row;
      margin: 0;
      padding: 0 0 0.2em 0;
      &.hidden {
        display: none;
      }
  
      > * {
        display: table-cell;
        vertical-align: baseline;
        margin: 0;
      }
      > label {
        padding: 0 0.5em 0 0;
      }
      > .value {
        padding: 0 0 0.25em 0;
        > .field_with_errors {
         display: block;
        }
      }
      > .comment {
        padding: 0 0 0 0.5em;
      }
      
      input, textarea {
        font-size: inherit;
        width: 100%;
        -webkit-box-sizing: border-box;
        -moz-box-sizing: border-box;
        box-sizing: border-box;
      }
      input[type=radio], input[type=checkbox] {
        width: auto;
      }
    }
  }
  
  .action {
    margin: 0;
    padding: 0;
    text-align: center;
    
    input[type=submit], input[type=button], button {
      min-width: 7em;
    }
  }
}

{'fraction_non_alphanumeric': 0.13942307692307693, 'fraction_numerical': 0.04242081447963801, 'mean_word_length': 2.460371819960861, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 13, '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': '1560487', 'n_tokens_mistral': 2917, 'n_tokens_neox': 2598, 'n_words': 588}