Hi,
It is done via javascript, and by default it is minified and combined so it is not easy to modify.
If you wish to change it, first make sure to change this option.
Then edit the file: wp-content/plugins/ajax-search-pro/js/nomin/jquery.highlight.js