nuamps/RepropediaJS — pull request #1 by gmazin (2013-07-31 15:08:33+00:00)
Title: Fixed multiple duplicate highlight issues

This is a fix for an issue where overlapping terms produced two information boxes and double underlining on some browsers.