#source.highlight {
  border: 3px dashed purple;
}