use html_list_toc() so TOC always renders with links