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
|
body {
/* font-family: helvetica, arial, sans-serif; */
color: #000000;
background-color: #ffffff;
margin: 1em 4em 0em 2em;
}
h1, h2, h3 {
color: #005A9C;
}
h1.banner {
text-align: center;
color: blue;
}
pre {
font-family: courier new, courier, monospace;
color: #000000;
/* these will screw up Netscape 4.08 */
/* border: solid; */
/* border-color: white white white blue; */
/* border-left: dashed red; */
}
code {
font-family: courier new, courier, monospace;
/* font-size: 100%; */
}
div.footer {
align: center;
padding: .25em;
font-size: 10pt;
}
div.notice {
align: center;
padding: .25em;
border: dashed green;
}
div.ad {
padding: .25em;
margin: .25em;
border: dashed red;
color: #000000;
}
div.navbar {
align: center;
padding: .25em;
/* border: thin dashed blue;
color: blue; */
}
div.navbar {
text-align: center;
}
div.navbar a {
text-decoration: none;
font-family: helvetica, arial, sans-serif;
}
div.toc a {
text-decoration: none;
}
div.search {
text-align: center;
padding: .25em;
#border: thin dashed blue;
# color: blue;
}
|
