$highlight-yellow: #fff2a8;
$highlight-red: #fecdcd;
$highlight-blue: #b1e7fd;
$highlight-green: #bdffd1;
$highlight-orange: #ffdc7e;

span.__mi__yellow{
  background: #fff2a8;
}

span.__mi__red{
  background: #fecdcd;
}

span.__mi__green{
  background: #bdffd1;
}
span.__mi__orange{
  background: #ffdc7e;
}

span.__mi__blue{
  background: #b1e7fd;
}
