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