.editbox {
  margin:0 0.4em;
  padding: 0;
  font-size: 12px;
  font-family:Consolas,"Courier New",monospace;
  line-height:16px;
  color: black;
}

.editbox p {
  margin: 0;
}

span.sp-keyword {
  color: #708;
}

span.sp-prefixed {
  color: #5d1;
}

span.sp-var {
  color: #00c;
}

span.sp-comment {
  color: #a70;
}

span.sp-literal {
  color: #a22;
}

span.sp-uri {
  color: #292;
}

span.sp-operator {
  color: #088;
}
