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
|
/* standard elements */
body
{
background: #FFFFFF;
font-family: Verdana, Arial, Helvetica, sans-serif;
font-weight: normal;
}
p
{
color: #000000;
font-family: Verdana, Arial, Helvetica, sans-serif;
font-weight: normal;
}
blockquote
{
color: #000000;
font-family: Verdana, Arial, Helvetica, sans-serif;
font-weight: normal;
}
ul
{
color: #000000;
font-family: Verdana, Arial, Helvetica, sans-serif;
font-weight: normal;
list-style-type: disc;
}
ol
{
color: #000000;
font-family: Verdana, Arial, Helvetica, sans-serif;
font-weight: normal;
}
h1
{
font-family: Verdana, Arial, Helvetica, sans-serif;
font-size: 18px;
font-weight: bold;
color: #2660C9;
}
h2
{
font-family: Verdana, Arial, Helvetica, sans-serif;
font-size: 13px;
font-weight: bold;
color: #2660C9;
background-color: #EAE2BB;
}
h3
{
font-family: Verdana, Arial, Helvetica, sans-serif;
font-size: 12px;
font-weight: bold;
color: #000000;
}
h4
{
font-family: Verdana, Arial, Helvetica, sans-serif;
font-size: 11px;
font-weight: bold;
color: #2660C9;
}
pre
{
font-size: 120%;
padding-bottom: 5px;
}
tt
{
font-size: 120%;
}
code
{
font-size: 120%;
}
kbd
{
font-size: 120%;
}
/* documentation link formatting */
a:link
{
color: #2660C9;
text-decoration: underline;
}
a:visited
{
color: #2660C9;
text-decoration: underline;
}
a:hover
{
color: #000000;
text-decoration: underline;
}
a:active
{
color: #2660C9;
text-decoration: underline;
}
.docsubheading
{
font-family: Verdana, Arial, Helvetica, sans-serif;
font-size: 13px;
font-weight: bold;
color: #B82619;
background-color: #EAE2BB;
}
.docsubheadinggrey
{
font-family: Verdana, Arial, Helvetica, sans-serif;
font-size: 13px;
font-weight: bold;
color: #B82619;
background-color: #cccccc;
}
.error
{
color: #B82619;
}
.err
{
color: #B82619;
}
/* unordered list without bullets */
ul.sans
{
list-style-type: none;
}
|
