span.highlighted {
  padding:2px;
  font-weight: bold;
}
span.term0 {
  color: #3DA1CB;
  background:#F5F5FF;
  border:1px solid #3DA1CB;
}
span.term1 {
  color: #331616;
}
span.term2 {
 color: #163316;
}
