<commit_before>@import url(http://fonts.googleapis.com/css?family=Vollkorn:400,400italic,700,700italic&subset=latin);
@import url(http://fonts.googleapis.com/css?family=Oxygen:400,300,700);


/* Sticky footer styles
-------------------------------------------------- */
textarea, input, button { outline: none; }

button {
  font-family : inherit;
  font-size: 18px;
  background-color: transparent;
  color: #476ff1;
  border: none;
  border-bottom: 1px dashed #000;
  padding: 0px;
}

html,
body {
  font-family: Vollkorn, 'Oxygen', sans-serif;
  font-size: 18px;
  height: 100%;
  /* The html and body elements cannot have any padding or margin. */
}

textarea, input, button { outline: none; }

.search {
  padding: 50px 50px 50px 50px;
}

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

#main, #container {
  height: 100%;
}

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

#wrap > .container {
  padding: 60px 15px 0;
}

.container .credit {
  margin: 20px 0;
}

#footer > .container {
  padding-left: 15px;
  padding-right: 15px;
  text-align: center;
}

#editing-area {
  margin-top: 15px;
  font-family : inherit;
  font-size: 18px;
  font-weight: 300;
  white-space: pre;
  height: 760px;
  width: 100%;
  border: none;
  overflow: auto;
  padding-left: 2%;
  border: 1px #e6e6e6 solid;
  -webkit-border-radius: 15px 15px 15px 15px;
  -moz-border-radius: 15px 15px 15px 15px;
  -o-border-radius: 15px 15px 15px 15px;
  border-radius: 15px 15px 15px 15px;
}

#preview {
  font-family : 'Alegreya', serif;
  font-size: 20px;
  font-weight: 400;
  padding-left: 5%;
  margin-top: 15px;
  width: 100%;
  height: 760px;
  white-space: pre;
  overflow: auto;
  border: 1px #e6e6e6 solid;
  background-color: rgb(192, 211, 210);
  -webkit-border-radius: 15px 15px 15px 15px; 
  -moz-border-radius: 15px 15px 15px 15px;
  -o-border-radius: 15px 15px 15px 15px;
  border-radius: 15px 15px 15px 15px;
}

.no-padding {
  padding-left: 0;
}

<commit_msg>changed font<commit_after>@import url(http://fonts.googleapis.com/css?family=EB+Garamond);
@import url(http://fonts.googleapis.com/css?family=Alegreya);

/* Sticky footer styles
-------------------------------------------------- */
textarea, input, button { outline: none; }

button {
  font-family : inherit;
  font-size: 18px;
  background-color: transparent;
  color: #476ff1;
  border: none;
  border-bottom: 1px dashed #000;
  padding: 0px;
}

html,
body {
  font-family: 'Alegreya', serif;
  font-size: 18px;
  height: 100%;
  /* The html and body elements cannot have any padding or margin. */
}

textarea, input, button { outline: none; }

.search {
  padding: 50px 50px 50px 50px;
}

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

#main, #container {
  height: 100%;
}

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

#wrap > .container {
  padding: 60px 15px 0;
}

.container .credit {
  margin: 20px 0;
}

#footer > .container {
  padding-left: 15px;
  padding-right: 15px;
  text-align: center;
}

#editing-area {
  margin-top: 15px;
  font-family : inherit;
  font-size: 18px;
  font-weight: 300;
  white-space: pre;
  height: 760px;
  width: 100%;
  border: none;
  overflow: auto;
  padding-left: 2%;
  border: 1px #e6e6e6 solid;
  -webkit-border-radius: 15px 15px 15px 15px;
  -moz-border-radius: 15px 15px 15px 15px;
  -o-border-radius: 15px 15px 15px 15px;
  border-radius: 15px 15px 15px 15px;
}

#preview {
  font-size: 20px;
  font-weight: 400;
  padding-left: 5%;
  margin-top: 15px;
  width: 100%;
  height: 760px;
  white-space: pre;
  overflow: auto;
  border: 1px #e6e6e6 solid;
  background-color: rgb(192, 211, 210);
  -webkit-border-radius: 15px 15px 15px 15px;
  -moz-border-radius: 15px 15px 15px 15px;
  -o-border-radius: 15px 15px 15px 15px;
  border-radius: 15px 15px 15px 15px;
}

.no-padding {
  padding-left: 0;
}


{'fraction_non_alphanumeric': 0.15776081424936386, 'fraction_numerical': 0.08211889891279205, 'mean_word_length': 3.0754005655042413, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 7, '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': '1408174', 'n_tokens_mistral': 1970, 'n_tokens_neox': 1618, 'n_words': 455}