.whitespace.space {
  margin: 0 0.25em;
  background-color: #85C7F8;
  border:0;
}
.whitespace.newline {
  color: #006600;
  font-weight: bold;
  margin-left: 0.1em;
  margin-right: 0.1em;
  border:0;
}
