1
H1 { text-align: center; }
4
A.el { text-decoration: none; font-weight: bold }
5
A.elRef { font-weight: bold }
6
A.code { text-decoration: none; font-weight: normal; color: #4444ee }
7
A.codeRef { font-weight: normal; color: #4444ee }
8
A:hover { text-decoration: none; background-color: #f2f2ff }
9
DL.el { margin-left: -1cm }
10
DIV.fragment { width: 100%; border: none; background-color: #eeeeee }
11
DIV.ah { background-color: black; font-weight: bold; color: #ffffff; margin-bottom: 3px; margin-top: 3px }
12
TD.md { background-color: #f2f2ff; font-weight: bold; }
13
TD.mdname1 { background-color: #f2f2ff; font-weight: bold; color: #602020; }
14
TD.mdname { background-color: #f2f2ff; font-weight: bold; color: #602020; width: 600px; }
15
DIV.groupHeader { margin-left: 16px; margin-top: 12px; margin-bottom: 6px; font-weight: bold }
16
DIV.groupText { margin-left: 16px; font-style: italic; font-size: smaller }
17
FONT.keyword { color: #008000 }
18
FONT.keywordtype { color: #604020 }
19
FONT.keywordflow { color: #e08000 }
20
FONT.comment { color: #800000 }
21
FONT.preprocessor { color: #806020 }
22
FONT.stringliteral { color: #002080 }
23
FONT.charliteral { color: #008080 }