A JavaScript library for mapping sub-strings of the string representation of an HTML document to individual DOM elements