BODY {
    background-color: white;
    color: black;
    font-family: Helvetica, Arial, Lucida-sans, Verdana, sans-serif;
    font-variant: normal;
    font-style: normal;
}

H1, H2, H3, H4 {
    font-family: Helvetica, Arial, Lucida-sans, Verdana, sans-serif;
    font-variant: normal;
    font-style: normal;
}

H1 {
    font-size: 24px;
    color: #006699;
}

H2 {
    font-size: 18px;
    color: #003399;
}

H3 {
    font-size: 16px;
    color: #000099;
}

H4 {
    font-size: 14px;
    color: #000099;
}

P, OL, UL, LI, TR, TD, DL, DT, DD {
    font-size: 14px;
    color: #000000;
}

TD.leftbar P {
    font-size: 12px;
    color: #000000;
}

EM.red {
    color: #FF0000;
}

TD.btn {
    text-align: top;
    font-size: 12px;
    font-family: Helvetica, Arial, Lucida-sans, Verdana;
    font-variant: normal;
    font-style: normal;
    color: #000000;
}

PRE, TT {
    font-size: 13px;
    font-family: Courier;
}

.body {
    font-size: 12px;
    font-family: Helvetica, Arial, Lucida-sans, Verdana, sans-serif;
    font-variant: normal;
    font-style: normal;
    color: #000000;
}

.note {
    font-size: 10px;
    font-family: Helvetica, Arial, Lucida-sans, Verdana, sans-serif;
    font-variant: normal;
    font-style: normal;
    color: #006633;
}

.codeexample {
    font-size: 12px;
    line-height: 12px;
    font-family: Courier;
    margin-left: 0.375in;
}

.code {
    font-size: 12px;
    line-height: 12px;
    font-family: Courier;
}

.codevar {
    font-size: 11px;
    line-height: 12px;
    font-family: Times;
    font-style: italic;
}

.leftbar {
    font-size: 10px;
    font-family: Helvetica, Arial, Lucida-sans, Verdana, sans-serif;
    font-variant: normal;
    font-style: normal;
    color: #000000;