Closed jgallen23 closed 10 years ago
if the element has data-toc-title on it, we should use that as the TOC name rather than the text of the element
data-toc-title
if the element has
data-toc-titleon it, we should use that as the TOC name rather than the text of the element