1
function getElementsByTagNames(list,obj) {
2
if (!obj) var obj = document;
3
var tagNames = list.split(',');
4
var resultArray = new Array();
5
for (var i=0;i<tagNames.length;i++) {
6
var tags = obj.getElementsByTagName(tagNames[i]);
7
for (var j=0;j<tags.length;j++) {
8
resultArray.push(tags[j]);
11
var testNode = resultArray[0];
12
if (!testNode) return [];
13
if (testNode.sourceIndex) {
14
resultArray.sort(function (a,b) {
15
return a.sourceIndex - b.sourceIndex;
18
else if (testNode.compareDocumentPosition) {
19
resultArray.sort(function (a,b) {
20
return 3 - (a.compareDocumentPosition(b) & 6);
26
function createTOC() {
27
var y = document.getElementById('innertoc');
28
var a = y.appendChild(document.createElement('span'));
29
a.id = 'contentheader';
30
var z = y.appendChild(document.createElement('div'));
31
var toBeTOCced = getElementsByTagNames('h2,h3');
32
if (toBeTOCced.length < 2) return false;
34
for (var i=0;i<toBeTOCced.length;i++) {
35
var tmp = document.createElement('a');
36
tmp.innerHTML = toBeTOCced[i].innerHTML;
37
tmp.className = 'page';
39
if (toBeTOCced[i].nodeName == 'H3')
40
tmp.className += ' indent';
41
if (toBeTOCced[i].nodeName == 'H4')
42
tmp.className += ' extraindent';
43
var headerId = toBeTOCced[i].id || 'link' + i;
44
tmp.href = '#' + headerId;
45
toBeTOCced[i].id = headerId;
46
if (toBeTOCced[i].nodeName == 'H1') {
47
tmp.innerHTML = 'Top';
49
toBeTOCced[i].id = 'top';
55
function showFullDetailsTable() {
56
var table = document.getElementById('fullDetails');
57
table.style.display = 'block';
58
var link = document.getElementById('showFullDetailsLink');
59
link.style.display = 'none';
61
function showFullLibrarySummary(tbodyId, aId) {
62
var tbody = document.getElementById(tbodyId);
63
if(tbody.style.display == 'none') {
65
tbody.style.display = '';
66
document.getElementById(aId).innerHTML = 'hide';
68
tbody.style.display = 'none';
69
document.getElementById(aId).innerHTML = 'more';