removed search based font-lock highlighting (previous version)