Source code
Revision control
Copy as Markdown
Other Tools
/* This Source Code Form is subject to the terms of the Mozilla Public
* License, v. 2.0. If a copy of the MPL was not distributed with this
// Event handler for display togglers in Table of Contents
function toggleDisplay(event) {
if (event.target.localName != "img") {
return;
}
var img = event.target;
var div = img.nextSibling.nextSibling;
// Change the display: property of the container to
// hide and show the container.
if (div.style.display == "none") {
div.style.display = "block";
img.src = "minus.gif";
} else {
div.style.display = "none";
img.src = "plus.gif";
}
}
// Function that recurses down the tree, looking for
// structural elements. For each structural element,
// a corresponding element is created in the table of
// contents.
var searchTags = ["book", "chapter", "section"];
var tocTags = ["level1", "level2", "level3"];
function addToToc(root, tocFrame) {
var i;
var newTocFrame = tocFrame;
var newTocElement = null;
var newTocLink = null;
for (i = 0; i < searchTags.length; i++) {
if (root.tagName == searchTags[i]) {
// If we've found a structural element, create the
// equivalent TOC element.
newTocElement = document.createElement(tocTags[i]);
// Create the toclink element that is a link to the
// corresponding structural element.
newTocLink = document.createElement("toclink");
newTocLink.setAttributeNS(
"xlink:type",
"simple"
);
newTocLink.setAttributeNS(
"xlink:href",
"#" + root.getAttribute("id")
);
newTocLink.setAttributeNS(
"xlink:show",
"replace"
);
newTocElement.appendChild(newTocLink);
// Create the image and toggling container in the table of contents
if (i < searchTags.length - 1) {
var img = document.createElementNS(
"img"
);
img.src = "minus.gif";
newTocElement.insertBefore(img, newTocLink);
newTocFrame = document.createElementNS(
"div"
);
newTocElement.appendChild(newTocFrame);
} else {
newTocFrame = null;
}
tocFrame.appendChild(newTocElement);
break;
}
}
// Recurse down through the childNodes list
for (i = 0; i < root.childNodes.length; i++) {
var child = root.childNodes[i];
if (child.nodeType == Node.ELEMENT_NODE) {
if (newTocLink != null && child.tagName == "title") {
var text = child.firstChild.cloneNode(true);
newTocLink.appendChild(text);
} else {
addToToc(child, newTocFrame);
}
}
}
}
// Create the root table of contents element (a fixed element)
// and its contents.
function createToc() {
if (!document.getElementsByTagName("toc").length) {
var toc = document.createElement("toc");
var title = document.createElement("title");
title.appendChild(document.createTextNode("Table of Contents"));
toc.appendChild(title);
// Recurse down and build up the document element
addToToc(document.documentElement, toc);
// Since we've created the toc element as a fixed element,
// insert a rule that shifts over the document element by
// the width of the toc element.
document.styleSheets[0].cssRules[0].style.marginLeft = "12em";
document.documentElement.appendChild(toc);
// Attach the event handler for table of contents buttons.
// This will only work for content that is already a part
// of a document, which is why we had to wait until here
// to do this.
toc.addEventListener("mouseup", toggleDisplay, 1);
} else {
// Hide the table of contents.
// This is not very intelligent if we have a static document, we should
// just hide/show the toc via stylesheet mungling
document.documentElement.removeChild(
document.getElementsByTagName("toc")[0]
);
document.styleSheets[0].cssRules[0].style.marginLeft = "0em";
}
}