a javascript library for navigating half documents