Make highlight function pluggable so that customized highlight function can be added