Fixed substring search + styling of substrings in tips

Hi Stefano,

I have fixed the problem where the text the user has just typed is rewritten by autoType when initial=false. I did this by disabling autoType for non-prefix matches. This resolves Issue #11.

I have also added styling of the substring matches in the tips.

Regards,

Andreas