1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
|
/* 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
* file, You can obtain one at http://mozilla.org/MPL/2.0/. */
// 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 = new Array("book", "chapter", "section");
var tocTags = new Array("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("http://www.w3.org/1999/xlink","xlink:type", "simple");
newTocLink.setAttributeNS("http://www.w3.org/1999/xlink","xlink:href", "#"+ root.getAttribute("id"));
newTocLink.setAttributeNS("http://www.w3.org/1999/xlink","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("http://www.w3.org/1999/xhtml","img");
img.src = "minus.gif";
newTocElement.insertBefore(img,newTocLink);
newTocFrame = document.createElementNS("http://www.w3.org/1999/xhtml","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 == 0) {
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";
}
}
|
