body {
    margin: 0em 0em 0em 0em;
    font-family: Arial, Helvetica, sans-serif;
    font-style: normal;
    color: #000000;
    background-color: #FFFFFF;
}

pre {
     font-family: Courier, mono;
}

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

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

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

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

th {
    font-family: Arial, Helvetica, sans-serif;
    font-weight: bold;
}

b {
    font-family: Arial, Helvetica, sans-serif;
    font-weight: bold;
}

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

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

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

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

.navitem1 {
    display: list-item;
    list-style: none;
    text-indent: 1em;
    font-family: Arial, Helvetica, sans-serif;
    color: #0033CC
}

.navitem2 {
    display: list-item;
    list-style: none;
    text-indent: 2em;
    font-family: Arial, Helvetica, sans-serif;
    color: #0033CC
}

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

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