<commit_before>/* Open Sans font styles */
@import url("opensans/stylesheet.css");

html, body {
  margin: 0px;
  padding: 0px;
  height: 100%;
  color: #414244;
  min-width: 800px;
}

body {
  font-family: "Helvetica Neue", Helvetica, Arial, sans-serif;
  overflow: hidden;
  background-color: #7c9e30;
  background-image: -webkit-gradient(linear, left top, left bottom, from(#7c9e30), to(white));
  background-image: -webkit-linear-gradient(top, #7c9e30, white);
  background-image: -moz-linear-gradient(top, #7c9e30, white);  
  background-image: -o-linear-gradient(top, #7c9e30, white);
}

img {
    border: 0 none;
}

#header {
  position: fixed;
  z-index: 2;
  top: 0;

  background-color: #D2D2D2;
  background-image: url("../img/embroidery-texture.png"), url("../img/furley_bg.png");
  background-position: left top, left center;
  background-repeat: repeat, repeat;  background-color: rgb(210,210,210);

  font-family: OpenSansRegular;
  color: #333;

  height: 120px;    /* height value must correspond with section.top */
  width: 100%;
  margin: 0px;
  padding: 0px;

  border-top: 3px solid white;
  border-bottom: 0.5em solid #7ba127;
}


#header .logo {
  font-family: OpenSansLight, sans-serif;
  font-size: 220%;
  font-weight: 200;
  margin-left: 2.5em;
  margin-top: 0.5em;
}

#header .logo a {
  color: #7c9e30;
  text-decoration: none;
}

#header .logo a img {
  display: block;
  /* EDIT LOGO INSTEAD */
  position: relative;
  left: -5px;
  top: 0.2em;
}


/* ------ BUTTONS AND CONTENT AREA ------ */


#publish-box {
  float: right;
  position: relative;
  top: 1em;
  margin-right: 1em;
}

#undo_button, #redo_button, #save_button, #share_button {
  position: relative;
  right: 9em;
  top: -3em;
  cursor: pointer;
}

#undo_button, #redo_button {
  opacity: 0.25;
  pointer-events: none;
  -moz-transition: opacity 0.5s;
  -webkit-transition: opacity 0.5s;
  -o-transition: opacity 0.5s;
}

#undo_button.enabled, #redo_button.enabled {
  pointer-events: auto;
  opacity: 1.0;
}

.button {
  padding: 0px 1.5em;
  text-transform: uppercase;
}

section {
  position: absolute;
  top: 120px;       /* corresponds to #header.height */
  left: 0px;
  right: 0px;
  bottom: 80px;    /* corresponds to 20 + footer.height */
}

#editor.loading, #editor.loading .CodeMirror-cursor {
  visibility: hidden;
}

div.editor-actions {
  visibility: visible;
  position: absolute;
  right: 20px;
  top: 20px;
}

footer {
  background-color: rgba(255,255,255,0.1);
  border-top: 1px solid black;
  color: #333;
  
  text-align: center;
  font-size: 11px;
  padding-top: 8px;
  padding-bottom: 12px;
  position: absolute;

  height: 60px;    /* corresponds to section.bottom - 20 */
  bottom: 0px;
  left: 0px;
  right: 0px;

  -webkit-box-shadow: 0px -5px 10px -8px rgba(0, 0, 0, 1);
  box-shadow: 0px -5px 10px -8px rgba(0, 0, 0, 1);
}

footer a {
  color: #e0e0e0;
  text-decoration: none;
}

footer a:hover {
  text-decoration: underline;
}

#source {
  background: url("../img/editor-left-texture.png") repeat;
}

#source, #preview-holder {
  width: 50%;
  -moz-box-sizing: border-box;
  -webkit-box-sizing: border-box;
  box-sizing: border-box;
  position: absolute;
  bottom: 0px;
  top: 10px;
}

#preview-holder {
  right: 0px;
  border-left: 1px solid black;
  background: white;
}

#preview {
  border: none;
  width: 100%;
  height: 100%;
}

#source .CodeMirror, #source .CodeMirror-scroll {
  height: 100%;
}

#source .CodeMirror-gutter {
  background-color: rgba(0, 0, 0, 0.1);
  opacity: 0.0;
  -moz-transition: opacity 0.25s;
  -webkit-transition: opacity 0.25s;
  -o-transition: opacity 0.25s;
}

#source:hover .CodeMirror-gutter {
  opacity: 1.0;
}

/* ------ ERRORS AND HELP MESSAGE STYLING ------ */

.error,
.help {
  display: table-row;
  width: 100%;
  color: #666;
}

.error p {
  display: inline;
}

.error .icon,<commit_msg>scrollbar now shows in code view again. somehow this went away during the recent style merge, i think.<commit_after>/* Open Sans font styles */
@import url("opensans/stylesheet.css");

html, body {
  margin: 0px;
  padding: 0px;
  height: 100%;
  color: #414244;
  min-width: 800px;
}

body {
  font-family: "Helvetica Neue", Helvetica, Arial, sans-serif;
  overflow: hidden;
  background-color: #7c9e30;
  background-image: -webkit-gradient(linear, left top, left bottom, from(#7c9e30), to(white));
  background-image: -webkit-linear-gradient(top, #7c9e30, white);
  background-image: -moz-linear-gradient(top, #7c9e30, white);  
  background-image: -o-linear-gradient(top, #7c9e30, white);
}

img {
    border: 0 none;
}

#header {
  position: fixed;
  z-index: 2;
  top: 0;

  background-color: #D2D2D2;
  background-image: url("../img/embroidery-texture.png"), url("../img/furley_bg.png");
  background-position: left top, left center;
  background-repeat: repeat, repeat;  background-color: rgb(210,210,210);

  font-family: OpenSansRegular;
  color: #333;

  height: 120px;    /* height value must correspond with section.top */
  width: 100%;
  margin: 0px;
  padding: 0px;

  border-top: 3px solid white;
  border-bottom: 0.5em solid #7ba127;
}


#header .logo {
  font-family: OpenSansLight, sans-serif;
  font-size: 220%;
  font-weight: 200;
  margin-left: 2.5em;
  margin-top: 0.5em;
}

#header .logo a {
  color: #7c9e30;
  text-decoration: none;
}

#header .logo a img {
  display: block;
  /* EDIT LOGO INSTEAD */
  position: relative;
  left: -5px;
  top: 0.2em;
}


/* ------ BUTTONS AND CONTENT AREA ------ */


#publish-box {
  float: right;
  position: relative;
  top: 1em;
  margin-right: 1em;
}

#undo_button, #redo_button, #save_button, #share_button {
  position: relative;
  right: 9em;
  top: -3em;
  cursor: pointer;
}

#undo_button, #redo_button {
  opacity: 0.25;
  pointer-events: none;
  -moz-transition: opacity 0.5s;
  -webkit-transition: opacity 0.5s;
  -o-transition: opacity 0.5s;
}

#undo_button.enabled, #redo_button.enabled {
  pointer-events: auto;
  opacity: 1.0;
}

.button {
  padding: 0px 1.5em;
  text-transform: uppercase;
}

section {
  position: absolute;
  top: 120px;       /* corresponds to #header.height */
  left: 0px;
  right: 0px;
  bottom: 80px;    /* corresponds to 20 + footer.height */
}

#editor.loading, #editor.loading .CodeMirror-cursor {
  visibility: hidden;
}

div.editor-actions {
  visibility: visible;
  position: absolute;
  right: 20px;
  top: 20px;
}

footer {
  background-color: rgba(255,255,255,0.1);
  border-top: 1px solid black;
  color: #333;
  
  text-align: center;
  font-size: 11px;
  padding-top: 8px;
  padding-bottom: 12px;
  position: absolute;

  height: 60px;    /* corresponds to section.bottom - 20 */
  bottom: 0px;
  left: 0px;
  right: 0px;

  -webkit-box-shadow: 0px -5px 10px -8px rgba(0, 0, 0, 1);
  box-shadow: 0px -5px 10px -8px rgba(0, 0, 0, 1);
}

footer a {
  color: #e0e0e0;
  text-decoration: none;
}

footer a:hover {
  text-decoration: underline;
}

#source {
  background: url("../img/editor-left-texture.png") repeat;
}

#source, #preview-holder {
  width: 50%;
  -moz-box-sizing: border-box;
  -webkit-box-sizing: border-box;
  box-sizing: border-box;
  position: absolute;
  bottom: 0px;
  top: 10px;
}

#preview-holder {
  right: 0px;
  border-left: 1px solid black;
  background: white;
}

#preview {
  border: none;
  width: 100%;
  height: 100%;
}

#source .CodeMirror, #source .CodeMirror-scroll {
  height: 100%;
  overflow: auto;
}

#source .CodeMirror-gutter {
  background-color: rgba(0, 0, 0, 0.1);
  opacity: 0.0;
  -moz-transition: opacity 0.25s;
  -webkit-transition: opacity 0.25s;
  -o-transition: opacity 0.25s;
}

#source:hover .CodeMirror-gutter {
  opacity: 1.0;
}

/* ------ ERRORS AND HELP MESSAGE STYLING ------ */

.error,
.help {
  display: table-row;
  width: 100%;
  color: #666;
}

.error p {
  display: inline;
}

.error .icon,
{'fraction_non_alphanumeric': 0.15782747603833866, 'fraction_numerical': 0.051884984025559105, 'mean_word_length': 3.253260869565217, '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': '601212', 'n_tokens_mistral': 3411, 'n_tokens_neox': 3032, 'n_words': 744}