1H1 { text-align: center; }
2CAPTION { font-weight: bold }
3A.qindex {}
4A.qindexRef {}
5A.el { text-decoration: none; font-weight: bold }
6A.elRef { font-weight: bold }
7A.code { text-decoration: none; font-weight: normal; color: #4444ee }
8A.codeRef { font-weight: normal; color: #4444ee }
9A:hover { text-decoration: none; background-color: #f2f2ff }
10DL.el { margin-left: -1cm }
11DIV.fragment { width: 100%; border: none; background-color: #eeeeee }
12DIV.ah { background-color: black; font-weight: bold; color: #ffffff; margin-bottom: 3px; margin-top: 3px }
13TD.md { background-color: #f2f2ff; font-weight: bold; }
14TD.mdname1 { background-color: #f2f2ff; font-weight: bold; color: #602020; }
15TD.mdname { background-color: #f2f2ff; font-weight: bold; color: #602020; width: 600px; }
16DIV.groupHeader { margin-left: 16px; margin-top: 12px; margin-bottom: 6px; font-weight: bold }
17DIV.groupText { margin-left: 16px; font-style: italic; font-size: smaller }
18BODY { background: white }
19TD.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}
31TD.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}
43FONT.keyword       { color: #008000 }
44FONT.keywordtype   { color: #604020 }
45FONT.keywordflow   { color: #e08000 }
46FONT.comment       { color: #800000 }
47FONT.preprocessor  { color: #806020 }
48FONT.stringliteral { color: #002080 }
49FONT.charliteral   { color: #008080 }
50