.diff_add {
  font-weight: bold;
}

.diff_del {
  color: gray;
}

.diff_badd {
  border: 3px solid black;
}

.diff_bdel {
  background-color: gray;
}