1 BODY { background: white; color: black; font-family: Verdana,Arial,sans-serif; }
2 H1 { text-align: center; }
3 H2 { text-align: center; }
4 H3 { text-align: center; }
5 CAPTION { font-weight: bold }
8 A.el { text-decoration: none; font-weight: bold }
9 A.elRef { font-weight: bold }
10 A.code { text-decoration: none; font-weight: normal; color: #4444ee }
11 A.codeRef { font-weight: normal; color: #4444ee }
14 text-decoration: none;
19 text-decoration: underline;
24 text-decoration: underline;
29 text-decoration: underline;
33 DL.el { margin-left: -1cm }
34 DIV.fragment { width: 100%; border: none; background-color: #eeeeee }
35 DIV.ah { background-color: black; font-weight: bold; color: #ffffff; margin-bottom: 3px; margin-top: 3px }
36 TD.md { background-color: #f2f2ff; font-weight: bold; }
37 TD.mdname1 { background-color: #f2f2ff; font-weight: bold; color: #602020; }
38 TD.mdname { background-color: #f2f2ff; font-weight: bold; color: #602020; width: 600px; }
39 DIV.groupHeader { margin-left: 16px; margin-top: 12px; margin-bottom: 6px; font-weight: bold }
40 DIV.groupText { margin-left: 16px; font-style: italic; font-size: smaller }
42 background-color: #eeeeff;
54 background-color: #eeeeff;
65 span.keyword { color: #008000 }
66 span.keywordtype { color: #604020 }
67 span.keywordflow { color: #e08000 }
68 span.comment { color: #800000 }
69 span.preprocessor { color: #806020 }
70 span.stringliteral { color: #002080 }
71 span.charliteral { color: #008080 }
77 vertical-align: middle;
81 color: black; background: url("../img/lines.gif");
84 border-style: solid none solid none;
86 vertical-align: middle;