A small, simple text highlighter javascript library for web pages