Changed the way highlighting is done in clock diagrams.