blob: a1b66ede7ac083a7fdc5ea8e7bfe6b01a53ce1a0 (
plain)
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
|
function populate_toc () {
var children = document.getElementsByTagName("h1").item(0).parentNode.childNodes
var toc = ""
var counters = new Array()
counters[1] = 0
counters[2] = 0
counters[3] = 0
counters[4] = 0
/* Generate the table of contents */
for(var ii=0; ii<children.length; ii++){
var node = children.item(ii)
var iHeader = -1
if( node.tagName == "H1" ){ iHeader = 1 }
if( node.tagName == "H2" ){ iHeader = 2 }
if( node.tagName == "H3" ){ iHeader = 3 }
if( node.tagName == "H4" ){ iHeader = 4 }
if( iHeader>0 ){
var anchor = "tocentry_" + ii
for(var jj=iHeader+1; jj<=4; jj++){ counters[jj] = 0 }
counters[iHeader]++
var number = ""
for(var jj=1; jj<=iHeader; jj++){ number += counters[jj] + "." }
toc += '<div style="margin-left:' + (iHeader*6) + 'ex">'
toc += '<a href="#' + anchor + '">' + number + " " + node.innerHTML
toc += "</a></div>"
var a = '<a style="color:inherit" name="' + anchor + '">' + number + '</a>'
node.innerHTML = a + " " + node.innerHTML
}
}
document.getElementById("toc").innerHTML = toc
}
function number_figs () {
/* Number the figures in this document */
var figcounter = 1
var spans = document.getElementsByTagName("span")
for(var ii=0; ii<spans.length; ii++){
var s = spans.item(ii)
if( s.className=="fig" ){
s.innerHTML = figcounter
figcounter++
}
}
}
function populate_refs () {
/* Fix up <cite> references */
var cites = document.getElementsByTagName("cite")
for(var ii=0; ii<cites.length; ii++){
var t = cites.item(ii).innerHTML
var h = document.getElementById(t)
if( !h ){
alert("Bad reference: " + t)
continue
}
var label
if( h.tagName=="H1" || h.tagName=="H2"
|| h.tagName=="H3" || h.tagName=="H4"
){
label = h.firstChild.firstChild.data
label = label.substring(0, label.length-1)
} else {
label = h.firstChild.data
}
cites.item(ii).innerHTML = '<a href="#' + t + '">' + label + '</a>'
}
}
function decorate_tables () {
/* Decorate tables */
var tables = document.getElementsByTagName("table")
for(var ii=0; ii<tables.length; ii++){
var t = tables.item(ii)
if( t.className!="striped" ) continue
var rows = t.rows
for(var jj=1; jj<rows.length; jj += 2){
rows.item(jj).style.backgroundColor = '#DDDDDD'
}
}
}
function check_for_duplicates () {
var aReq = new Array();
var ps = document.getElementsByTagName("p")
for(var ii=0; ii<ps.length; ii++){
var p = ps.item(ii)
if( p.className!="req" || !p.id ) continue;
if( aReq[p.id] ){
alert("Duplicate requirement number: " + p.id)
}
aReq[p.id] = 1;
}
}
onload = function () {
number_figs()
populate_toc()
populate_refs()
decorate_tables()
check_for_duplicates()
}
|
