Lines Matching full:toc

8   // Find the toc element DIV. We'll place our TOC there.
9   var toc = document.getElementById(tocElement);
11   var tocTypeClass = toc.className;
38   // Add TOC title elements
40   toc.appendChild(tocHeadingDiv);
43   toc.appendChild(tocHeading);
45   tocHeading.id = 'toc';
54   toc.appendChild(tocTable);
58   tbody_element.className = 'toc';
95     // If level is a masterLevel, make it a TOC parent category
147     // The element is currently hidden, so don't create a TOC entry
186     // If level is a masterLevel, make it a TOC parent category
189         // The element is currently hidden, so don't create a TOC entry
214         // The element is currently hidden, so don't create a TOC entry