1 | H1 { text-align: center; }
|
---|
2 | CAPTION { font-weight: bold }
|
---|
3 | A.qindex {}
|
---|
4 | A.qindexRef {}
|
---|
5 | A.el { text-decoration: none; font-weight: bold }
|
---|
6 | A.elRef { font-weight: bold }
|
---|
7 | A.code { text-decoration: none; font-weight: normal; color: #4444ee }
|
---|
8 | A.codeRef { font-weight: normal; color: #4444ee }
|
---|
9 | A:hover { text-decoration: none; background-color: #f2f2ff }
|
---|
10 | DL.el { margin-left: -1cm }
|
---|
11 | DIV.fragment { width: 100%; border: none; background-color: #eeeeee }
|
---|
12 | DIV.ah { background-color: black; font-weight: bold; color: #ffffff; margin-bottom: 3px; margin-top: 3px }
|
---|
13 | TD.md { background-color: #f2f2ff; font-weight: bold; }
|
---|
14 | TD.mdname1 { background-color: #f2f2ff; font-weight: bold; color: #602020; }
|
---|
15 | TD.mdname { background-color: #f2f2ff; font-weight: bold; color: #602020; width: 600px; }
|
---|
16 | DIV.groupHeader { margin-left: 16px; margin-top: 12px; margin-bottom: 6px; font-weight: bold }
|
---|
17 | DIV.groupText { margin-left: 16px; font-style: italic; font-size: smaller }
|
---|
18 | BODY { background: white }
|
---|
19 | TD.indexkey {
|
---|
20 | background-color: #eeeeff;
|
---|
21 | font-weight: bold;
|
---|
22 | padding-right : 10px;
|
---|
23 | padding-top : 2px;
|
---|
24 | padding-left : 10px;
|
---|
25 | padding-bottom : 2px;
|
---|
26 | margin-left : 0px;
|
---|
27 | margin-right : 0px;
|
---|
28 | margin-top : 2px;
|
---|
29 | margin-bottom : 2px
|
---|
30 | }
|
---|
31 | TD.indexvalue {
|
---|
32 | background-color: #eeeeff;
|
---|
33 | font-style: italic;
|
---|
34 | padding-right : 10px;
|
---|
35 | padding-top : 2px;
|
---|
36 | padding-left : 10px;
|
---|
37 | padding-bottom : 2px;
|
---|
38 | margin-left : 0px;
|
---|
39 | margin-right : 0px;
|
---|
40 | margin-top : 2px;
|
---|
41 | margin-bottom : 2px
|
---|
42 | }
|
---|
43 | FONT.keyword { color: #008000 }
|
---|
44 | FONT.keywordtype { color: #604020 }
|
---|
45 | FONT.keywordflow { color: #e08000 }
|
---|
46 | FONT.comment { color: #800000 }
|
---|
47 | FONT.preprocessor { color: #806020 }
|
---|
48 | FONT.stringliteral { color: #002080 }
|
---|
49 | FONT.charliteral { color: #008080 }
|
---|