new version of highlighting rules + timer
"stop timer"-rule modified