highlight different search results differently

others might have different highlight priorities, though, so this is rfc now.