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
|
body {
font-family: 'Lucida Grande', Verdana, Geneva, Lucida, Helvetica, Arial, sans-serif;
font-weight:normal;
font-size:10pt;
color:black;
margin:0px 0px 0px 0px;
padding:0px;
}
#header {
font-size:13pt;
font-weight:bold;
background:#fff;
height:40px;
padding:5px;
}
#menu {
padding:3px;
padding-right:10px;
background:#00487D;
color:white;
text-align:right;
}
#menu a {
color:#BFE4FF;
text-decoration:none;
}
#menu a:hover {
color:white;
}
#toc {
background:#BFE4FF;
width:200px;
padding:5px;
}
#content {
background:#fff;
padding:10px;
}
#footer {
clear:both;
color: gray;
font-size:8pt;
text-align:center;
margin-top:25px;
padding:10px;
}
.topic {
font-size: 10pt;
padding: 0px 0px 10px 0px;
}
.topic span {
font-size: 11pt;
font-weight:bold;
color:#00487D;
}
.topic a {
color:#00487D;
padding-left:10px;
}
.topic a:hover {
color:red;
}
.source {
padding:10px;
border-style:solid;
border-width:1px;
border-color:#cccccc;
background-color:#ffffee;
font-family: "Courier New", Courier, mono;
}
.runbar a:link, .runbar a:visited {
background-color:#BFE4FF;
font-size: 12px;
font-weight: bold;
padding: 3px;
padding-left: 6px;
padding-right: 6px;
border-top: 1px solid white;
border-left: 1px solid white;
border-bottom: 1px solid #aaaaaa;
border-right: 1px solid #aaaaaa;
text-decoration: none;
}
.runbar a:link.active, .runbar a:visited.active, .runbar a:hover {
background-color:#BFE4FF;
font-size: 12px;
font-weight: bold;
padding: 3px;
padding-left: 6px;
padding-right: 6px;
border-top: 1px solid #aaaaaa;
border-left: 1px solid #aaaaaa;
border-bottom: 1px solid white;
border-right: 1px solid white;
}
#sourceList {
background-color:#BFE4FF;
margin:10px 10px 0px 10px;
padding:10px;
border:1px solid silver;
}
#sourceView {
font-family: "Courier New", Courier, mono;
background-color:#ffffee;
margin:5px 10px 10px 10px;
border:1px solid silver;
padding:10px;
}
code {
font-family: "Courier New", Courier, mono;
}
|
