separated highlighting from html