Wrap HTML's TOC in a div.