<commit_before>/* GENERAL */

body {
  background-color: rgb(255, 255, 255);
  font-family: Helvetica, Arial, sans-serif;
  font-size: 12pt;
  line-height: 1.5;
  padding-left: 5%;
  padding-right: 5%;
}

h1, h2, h3, h4, h5, h6 {
  margin-bottom: 0px;
}

code {
  background-color: rgba(0, 0, 0, 0.04);
  border-radius: 3px;
  font-family: Consolas, "Lucida Console", Monaco, monospace;
  font-size: 85%;
  padding: 0.2em;
}

/* CONTENT */

.graphicon {
  height: 20px;
  vertical-align: middle;
  width: 20px;
}

/* OUTPUT */

.warning, .error {
  background-color: rgb(255, 0, 0);
  border-radius: 5px;
  border: 1px solid rgb(148, 0, 0);
  color: rgb(50, 33, 33);
  padding: 5px;
}

.success {
  background-color: rgb(80, 230, 0);
  border-radius: 5px;
  border: 1px solid rgb(1, 62, 0);
  color: rgb(3, 51, 0);
  padding: 5px;
}

.checkdesc {
  vertical-align: middle;
}

.publickeynote {
  color: rgb(60, 60, 60);
  font-size: 8pt;
  word-break: break-all;
}

/* INPUT */

.formcontainer {
  align-items: baseline;
  display: flex;
  flex-wrap: wrap;
}

fieldset {
  border-color: rgba(122, 122, 122, 0.47);
  border-radius: 4px;
  border-style: solid;
  border-width: thin;
  margin: 5px;
}

label {
  line-height: 1.7;
}

/* partly taken from Twitter Bootstrap https://github.com/twbs/bootstrap */
input[type=text], textarea {
  background-color: rgb(255, 255, 255);
  border-radius: 3px;
  border: 1px solid rgb(204, 204, 204);
  box-shadow: inset 0 1px 1px rgba(0, 0, 0, 0.075);
  font-family: Helvetica, Arial, sans-serif;
  font-size: 11pt;
  padding-bottom: 1px;
  padding-left: 5px;
  padding-right: 5px;
  padding-top: 1px;
  transition: border linear 0.2s, box-shadow linear 0.2s;
}

/* partly taken from Twitter Bootstrap https://github.com/twbs/bootstrap */
input[type=text]:focus {
  border-color: rgba(82, 168, 236, 0.8);
  box-shadow: inset 0 1px 1px rgba(0, 0, 0, 0.075), 0 0 8px rgba(82, 168, 236, 0.6);
  outline: 0;
  outline: thin dotted \9;
}

input[type=text]:disabled {
  background-color: rgb(233, 233, 233);
  border-color: rgb(204, 204, 204);
  color: rgb(0, 0, 0);
  cursor: not-allowed;
}

input[type=text]:invalid {
  border-color: rgb(166, 71, 71);
  box-shadow: inset 0 1px 1px rgba(255, 0, 0, 0.1), 0 0 8px rgba(236, 81, 81, 0.6);
}

.idInput {
  text-transform: uppercase;<commit_msg>simplify/combine padding (CSS)<commit_after>/* GENERAL */

body {
  background-color: rgb(255, 255, 255);
  font-family: Helvetica, Arial, sans-serif;
  font-size: 12pt;
  line-height: 1.5;
  padding-left: 5%;
  padding-right: 5%;
}

h1, h2, h3, h4, h5, h6 {
  margin-bottom: 0px;
}

code {
  background-color: rgba(0, 0, 0, 0.04);
  border-radius: 3px;
  font-family: Consolas, "Lucida Console", Monaco, monospace;
  font-size: 85%;
  padding: 0.2em;
}

/* CONTENT */

.graphicon {
  height: 20px;
  vertical-align: middle;
  width: 20px;
}

/* OUTPUT */

.warning, .error {
  background-color: rgb(255, 0, 0);
  border-radius: 5px;
  border: 1px solid rgb(148, 0, 0);
  color: rgb(50, 33, 33);
  padding: 5px;
}

.success {
  background-color: rgb(80, 230, 0);
  border-radius: 5px;
  border: 1px solid rgb(1, 62, 0);
  color: rgb(3, 51, 0);
  padding: 5px;
}

.checkdesc {
  vertical-align: middle;
}

.publickeynote {
  color: rgb(60, 60, 60);
  font-size: 8pt;
  word-break: break-all;
}

/* INPUT */

.formcontainer {
  align-items: baseline;
  display: flex;
  flex-wrap: wrap;
}

fieldset {
  border-color: rgba(122, 122, 122, 0.47);
  border-radius: 4px;
  border-style: solid;
  border-width: thin;
  margin: 5px;
}

label {
  line-height: 1.7;
}

/* partly taken from Twitter Bootstrap https://github.com/twbs/bootstrap */
input[type=text], textarea {
  background-color: rgb(255, 255, 255);
  border-radius: 3px;
  border: 1px solid rgb(204, 204, 204);
  box-shadow: inset 0 1px 1px rgba(0, 0, 0, 0.075);
  font-family: Helvetica, Arial, sans-serif;
  font-size: 11pt;
  padding: 1px 5px 1px 5px;  
  transition: border linear 0.2s, box-shadow linear 0.2s;
}

/* partly taken from Twitter Bootstrap https://github.com/twbs/bootstrap */
input[type=text]:focus {
  border-color: rgba(82, 168, 236, 0.8);
  box-shadow: inset 0 1px 1px rgba(0, 0, 0, 0.075), 0 0 8px rgba(82, 168, 236, 0.6);
  outline: 0;
  outline: thin dotted \9;
}

input[type=text]:disabled {
  background-color: rgb(233, 233, 233);
  border-color: rgb(204, 204, 204);
  color: rgb(0, 0, 0);
  cursor: not-allowed;
}

input[type=text]:invalid {
  border-color: rgb(166, 71, 71);
  box-shadow: inset 0 1px 1px rgba(255, 0, 0, 0.1), 0 0 8px rgba(236, 81, 81, 0.6);
}

.idInput {
  text-transform: uppercase;
{'fraction_non_alphanumeric': 0.16872964169381108, 'fraction_numerical': 0.09598262757871878, 'mean_word_length': 3.4245917387127762, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 3, 'https://': 4, 'lorem ipsum': 0, 'www.': 0, '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': '729630', 'n_tokens_mistral': 2314, 'n_tokens_neox': 1872, 'n_words': 504}