body {
    font-family: "Times New Roman", Times, serif;
    font-style: normal;
    color: #000000;
    background-color: #FFFFFF;
}

h1 {
    font-family: Arial, Helvetica, sans-serif;
    color: #0033CC
}

h2 {
    font-family: Arial, Helvetica, sans-serif;
    color: #0033CC
}

h3 {
    font-family: Arial, Helvetica, sans-serif;
    color: #0033CC
}

h4 {
    font-family: Arial, Helvetica, sans-serif;
    color: #0033CC
}

h5 {
    font-family: Arial, Helvetica, sans-serif;
    color: #0033CC
}

h6 {
    font-family: Arial, Helvetica, sans-serif;
    color: #0033CC
}

b {
    font-weight: bold;
}

.code {
    font-family: Courier, mono;
}

.codeblock {
    font-family: Courier, mono;
}

.navheading {
    font-family: Arial, Helvetica, sans-serif;
    font-weight: bold;
    color: #0033CC
}

.navitem {
    font-family: "Times New Roman", Times, serif;
    color: #0033CC
}

.itemdef {
    font-family: "Times New Roman", Times, serif;
    font-size: smaller;
    color: #000000
}

.fineprint {
    font-family: Arial, Helvetica, sans-serif;
    font-size: smaller;
    color: #000000
}