/* an empty html intro page */

<ul id="toc-list"></ul>