tweaks to toc div