Added jQuery highlight plugin