Fixes for intra-page links and TOC highlighting