make highlight function pluggable so that customized highlight function ...

...can be added