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
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
|
/*
* The contents of this file are subject to the Mozilla Public
* License Version 1.1 (the "License"); you may not use this file
* except in compliance with the License. You may obtain a copy of
* the License at http://www.mozilla.org/MPL/
*
* Software distributed under the License is distributed on an "AS
* IS" basis, WITHOUT WARRANTY OF ANY KIND, either express or
* implied. See the License for the specific language governing
* rights and limitations under the License.
*
* The Original Code is mozilla.org code.
*
* The Initial Developer of the Original Code is Netscape
* Communications Corporation. Portions created by Netscape are
* Copyright (C) 1998 Netscape Communications Corporation. All
* Rights Reserved.
*
* Contributor(s):
*/
// 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";
}
}
|
