text highlighting anywhere in the HTML/DOM - cloned from original at http://www.the-art-of-web.com/javascript/search-highlight/