BODY
{
    BACKGROUND: #ffffc4;
    COLOR: black;
    FONT-FAMILY: Sans-serif; Georgia, "Times New Roman", Times, "New York", serif;
    FONT-SIZE: 80%;
}
CODE
{
    FONT-FAMILY: "Courier New", Courier, Monaco, monospace
}
PRE
{
    FONT-FAMILY: "Courier New", Courier, Monaco, monospace
}
HR
{
    COLOR: gray
}
.navbar
{
    BACKGROUND: #ffff66;
    BORDER-BOTTOM: thin solid;
    BORDER-LEFT: thin;
    BORDER-RIGHT: thin;
    BORDER-TOP: thin;
    FONT-FAMILY: Georgia, "Times New Roman", Times, "New York", serif;
    FONT-SIZE: 100%;
    PADDING-BOTTOM: 2px;
    PADDING-LEFT: 2px;
    PADDING-RIGHT: 2px;
    PADDING-TOP: 2px
}
.navarea
{
    BACKGROUND: #ffffff;
}
.notrecommended
{
    COLOR: #666666
}
.deemphasized
{
    COLOR: #666666
}
TABLE.densetable
{
    FONT-SIZE: 88%
}
TR.summaryrow
{
    BACKGROUND: #00ffff;
    FONT-SIZE: 90%
}
CAPTION
{
    FONT-SIZE: 100%
}
.embeddedfloat
{
    FLOAT: right;
    MARGIN-LEFT: 3em
}
H1
{
    FONT-FAMILY: Georgia, "Times New Roman", Times, "New York", serif
}
H2
{
    FONT-FAMILY: Georgia, "Times New Roman", Times, "New York", serif
}
H3
{
    FONT-FAMILY: Georgia, "Times New Roman", Times, "New York", serif
}
H4
{
    FONT-FAMILY: Georgia, "Times New Roman", Times, "New York", serif
}
H5
{
    FONT-FAMILY: Georgia, "Times New Roman", Times, "New York", serif
}
H6
{
    FONT-FAMILY: Georgia, "Times New Roman", Times, "New York", serif
}
H4
{
    MARGIN-BOTTOM: 0.5em
}
H5
{
    MARGIN-BOTTOM: 0.2em
}
H6
{
    MARGIN-BOTTOM: 0.2em
}
UL.referencelist
{
    FONT-FAMILY: Georgia, "Times New Roman", Times, "New York", serif;
    FONT-SIZE: 83%;
    LIST-STYLE: none;
    MARGIN-LEFT: 4em;
    TEXT-INDENT: -4em
}
.footnote
{
    FONT-FAMILY: Georgia, "Times New Roman", Times, "New York", serif;
    FONT-SIZE: 83%;
    LIST-STYLE: none;
    MARGIN-LEFT: 4em;
    TEXT-INDENT: -4em
}
A:link
{
    COLOR: blue
}
.simulatedlink
{
    COLOR: blue
}
A.old:link
{
    COLOR: #2222ff
}
A.new:link
{
    COLOR: #0000ff
}
A:visited
{
    COLOR: purple
}
A:active
{
    COLOR: red
}
A.notrecommended:link
{
    COLOR: #6666ff
}
A.notrecommended:visited
{
    COLOR: #cc66cc
}
A.deemphasized:link
{
    COLOR: #6666ff
}
A.deemphasized:visited
{
    COLOR: #cc66cc
}
.overline
{
    FONT-FAMILY: Georgia, "Times New Roman", Times, "New York", serif;
    MARGIN-BOTTOM: -2ex
}
.updatecomment
{
    BACKGROUND: #00ffff;
    FONT-SIZE: 100%
}
.outsidecomment
{
    BACKGROUND: #e9e9e9;
    FONT-SIZE: 100%
}
.microtext
{
    FONT-SIZE: 10%
}
.useem
{
    COLOR: #cc0000
}