1706f2543SmrgH1 { text-align: center; }
2706f2543SmrgCAPTION { font-weight: bold }
3706f2543SmrgA.qindex {}
4706f2543SmrgA.qindexRef {}
5706f2543SmrgA.el { text-decoration: none; font-weight: bold }
6706f2543SmrgA.elRef { font-weight: bold }
7706f2543SmrgA.code { text-decoration: none; font-weight: normal; color: #4444ee }
8706f2543SmrgA.codeRef { font-weight: normal; color: #4444ee }
9706f2543SmrgA:hover { text-decoration: none; background-color: #f2f2ff }
10706f2543SmrgDL.el { margin-left: -1cm }
11706f2543SmrgDIV.fragment { width: 100%; border: none; background-color: #eeeeee }
12706f2543SmrgDIV.ah { background-color: black; font-weight: bold; color: #ffffff; margin-bottom: 3px; margin-top: 3px }
13706f2543SmrgTD.md { background-color: #f2f2ff; font-weight: bold; }
14706f2543SmrgTD.mdname1 { background-color: #f2f2ff; font-weight: bold; color: #602020; }
15706f2543SmrgTD.mdname { background-color: #f2f2ff; font-weight: bold; color: #602020; width: 600px; }
16706f2543SmrgDIV.groupHeader { margin-left: 16px; margin-top: 12px; margin-bottom: 6px; font-weight: bold }
17706f2543SmrgDIV.groupText { margin-left: 16px; font-style: italic; font-size: smaller }
18706f2543SmrgBODY { background: white }
19706f2543SmrgTD.indexkey { 
20706f2543Smrg   background-color: #eeeeff; 
21706f2543Smrg   font-weight: bold; 
22706f2543Smrg   padding-right  : 10px; 
23706f2543Smrg   padding-top    : 2px; 
24706f2543Smrg   padding-left   : 10px; 
25706f2543Smrg   padding-bottom : 2px; 
26706f2543Smrg   margin-left    : 0px; 
27706f2543Smrg   margin-right   : 0px; 
28706f2543Smrg   margin-top     : 2px; 
29706f2543Smrg   margin-bottom  : 2px  
30706f2543Smrg}
31706f2543SmrgTD.indexvalue { 
32706f2543Smrg   background-color: #eeeeff; 
33706f2543Smrg   font-style: italic; 
34706f2543Smrg   padding-right  : 10px; 
35706f2543Smrg   padding-top    : 2px; 
36706f2543Smrg   padding-left   : 10px; 
37706f2543Smrg   padding-bottom : 2px; 
38706f2543Smrg   margin-left    : 0px; 
39706f2543Smrg   margin-right   : 0px; 
40706f2543Smrg   margin-top     : 2px; 
41706f2543Smrg   margin-bottom  : 2px  
42706f2543Smrg}
43706f2543SmrgFONT.keyword       { color: #008000 }
44706f2543SmrgFONT.keywordtype   { color: #604020 }
45706f2543SmrgFONT.keywordflow   { color: #e08000 }
46706f2543SmrgFONT.comment       { color: #800000 }
47706f2543SmrgFONT.preprocessor  { color: #806020 }
48706f2543SmrgFONT.stringliteral { color: #002080 }
49706f2543SmrgFONT.charliteral   { color: #008080 }
50