Minor CSS top padding adjustment in TOC anchor links