.changed-keyword {
  font-weight: bold; }