red/green line-count buttons in diff-page relied on toggle() which is no longer in jQuery