fix javascript so that timepoint highlight still works when the page is scrolled down far enough to activate the fixed header