1BODY {
2   background: white;
3   font-size: small;
4}
5H1 { text-align: center; font-size: large }
6H2 { text-align: left; font-size: medium; }
7H3 { text-align: left; font-size: small; }
8CODE { font-size: small; }
9CAPTION { font-weight: normal }
10A.qindex {}
11A.qindexRef {}
12A.el { text-decoration: none; font-size: small; font-weight: normal }
13A.elRef { text-decoration: none; font-size: small; font-weight: normal }
14A.code { text-decoration: none; font-weight: normal; color: #4444ee }
15A.codeRef { font-weight: normal; color: #4444ee }
16A:hover { text-decoration: none; background-color: #f2f2ff }
17DL.el { margin-left: -1cm }
18DIV.fragment { width: 100%; border: none; background-color: #eeeeee }
19DIV.ah {
20   background-color: black;
21   font-weight: normal;
22   color: #ffffff;
23   margin-bottom: 3px;
24   margin-top: 3px
25}
26DIV.groupHeader {
27   margin-left: 16px;
28   margin-top: 12px;
29   margin-bottom: 6px;
30   font-weight: normal
31}
32DIV.groupText { margin-left: 16px; font-style: italic; font-size: small }
33TD.md { background-color: #f2f2ff; font-size: small; }
34TD.mdname1 { background-color: #f2f2ff; font-size: small; color: #602020; }
35TD.mdname {
36   background-color: #f2f2ff;
37   font-weight: normal;
38   font-size: small;
39   color: #602020;
40   width: 600px
41}
42TD.indexkey {
43   background-color: #eeeeff;
44   font-weight: normal;
45   font-size: small;
46   padding-right  : 10px;
47   padding-top    : 2px;
48   padding-left   : 10px;
49   padding-bottom : 2px;
50   margin-left    : 0px;
51   margin-right   : 0px;
52   margin-top     : 2px;
53   margin-bottom  : 2px
54}
55TD.indexvalue {
56   background-color: #eeeeff;
57   font-style: italic;
58   font-size: small;
59   padding-right  : 10px;
60   padding-top    : 2px;
61   padding-left   : 10px;
62   padding-bottom : 2px;
63   margin-left    : 0px;
64   margin-right   : 0px;
65   margin-top     : 2px;
66   margin-bottom  : 2px
67}
68span.keyword       { color: #008000 }
69span.keywordtype   { color: #604020 }
70span.keywordflow   { color: #e08000 }
71span.comment       { color: #800000 }
72span.preprocessor  { color: #806020 }
73span.stringliteral { color: #002080 }
74span.charliteral   { color: #008080 }
75