Merge pull request #328 from nickrobinson/highlight

Highlight destination identifier on in-page navigation. #310