@import url('https://fonts.googleapis.com/css2?family=Raleway:wght@300&display=swap');


body {
  font-family: Raleway, Arial, Helvetica, sans-serif;
  padding: 10px;
  }

.editor {
  font-family: Georgia, serif;
  float: left;
  background: #d9d9d9;
  padding: 10px;
  margin: 5px;
  border-radius: 5px;
}
.editor.results {
  clear: both;
  float: left;
}
.editor.results #results {
  width: 640px;
}
.editor.results #results span.added {
  color: green;
  background: lightgreen;
}
.editor.results #results span.deleted {
  color: red;
  background: lightred;
  text-decoration: line-through;
}
.editor label {
  width: 100%;
  display: block;
  font-weight: bold;
  font-size: 10pt;
}
.editor textarea,
.editor #results {
  white-space: pre-wrap;
  font-family: Georgia, serif;
  border: 1px dotted gray;
  color: gray;
  background: transparent;
  outline: none;
  resize: none;
  width: 300px;
  height: 200px;
  overflow-y: scroll;
  font-size: 9pt;
  margin: 3px 0 0 0;
  padding: 3px;
}


#article {
  /* padding: 0 10%; */
}