Use underline to indicate search matches instead of background color.

Looks nice and resolves #727