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; } dt { font-weight: bold; } .code { font-family: Courier, mono; } .pre { font-size: smaller; } .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 }