6
6
font-family: Geneva, Arial, Helvetica, sans-serif;
8
8
CAPTION { font-weight: bold }
9
DIV.qindex { width: 100%;
10
background-color: #eeeeff;
11
border: 4px solid #eeeeff;
15
A.qindex { text-decoration: none; font-weight: bold; color: #0000ee }
16
A.qindex:visited { text-decoration: none; font-weight: bold; color: #0000ee }
17
A.qindex:hover { text-decoration: none; background-color: #ddddff }
18
A.qindexHL { text-decoration: none; font-weight: bold;
19
background-color: #6666cc;
11
background-color: #eeeeff;
12
border: 1px solid #B0B0B0;
18
text-decoration: none;
24
text-decoration: none;
30
text-decoration: none;
31
background-color: #ddddff;
35
text-decoration: none;
37
background-color: #6666cc;
40
border: 1px double #9295C2;
22
A.qindexHL:hover { text-decoration: none; background-color: #6666cc; color: #ffffff }
43
text-decoration: none;
44
background-color: #6666cc;
23
48
A.qindexHL:visited { text-decoration: none; background-color: #6666cc; color: #ffffff }
24
49
A.el { text-decoration: none; font-weight: bold }
25
50
A.elRef { font-weight: bold }
26
A.code { text-decoration: none; font-weight: normal; color: #4444ee }
27
A.codeRef { font-weight: normal; color: #4444ee }
51
A.code { text-decoration: none; font-weight: normal; color: #1A419D}
52
A.codeRef { font-weight: normal; color: #1A419D}
28
53
A:hover { text-decoration: none; background-color: #f2f2ff }
29
54
DL.el { margin-left: -1cm }
56
border: 1px solid #CCCCCC;
57
background-color: #f5f5f5;
32
68
border: 1px solid #CCCCCC;
33
69
background-color: #f5f5f5;
37
72
DIV.ah { background-color: black; font-weight: bold; color: #ffffff; margin-bottom: 3px; margin-top: 3px }
38
TD.md { background-color: #f2f2ff; font-weight: bold; }
39
TD.mdname1 { background-color: #f2f2ff; font-weight: bold; color: #602020; }
40
TD.mdname { background-color: #f2f2ff; font-weight: bold; color: #602020; width: 600px; }
73
TD.md { background-color: #F4F4FB; font-weight: bold; }
74
TD.mdname1 { background-color: #F4F4FB; font-weight: bold; color: #602020; }
75
TD.mdname { background-color: #F4F4FB; font-weight: bold; color: #602020; width: 600px; }
41
76
DIV.groupHeader { margin-left: 16px; margin-top: 12px; margin-bottom: 6px; font-weight: bold }
42
77
DIV.groupText { margin-left: 16px; font-style: italic; font-size: smaller }
46
81
margin-right: 20px;
50
background-color: #eeeeff;
85
background-color: #eeeeff;
95
border: 1px solid #CCCCCC;
62
background-color: #eeeeff;
98
background-color: #eeeeff;
100
padding-right : 10px;
103
padding-bottom : 2px;
108
border: 1px solid #CCCCCC;
74
111
background-color: #f0f0f0;