.editbox {
  margin: .4em;
  padding: 0;
  font-family: monospace;
  font-size: 10pt;
  color: black;
}

.editbox p {
  margin: 0;
}

span.special {
  color: #708;
}

span.var {
  color: #00c;
}

span.comment {
  color: #a70;
}

span.string {
  color: #a22;
}

span.uri {
  color: #292;
}
