p { font-family: times new roman, times;
    font-size: 12pt;
}
p.bigheader { font-family: times new roman, times;
            font-size: 18pt;
}
p.header { font-family: times new roman, times;
           font-size: 14pt;
}
p.header2 { font-family: times new roman, times;
            font-size: 14pt;
            font-weight: 700;
            color: #000000;
}
p.header3 { font-family: times new roman, times;
            font-size: 20pt;
            font-weight: 700;
            color: #000000;
}
p.footer { font-family: arial, helvetica, sans-serif;
           font-size: 8pt;
}
p.highlight { font-family: times new roman, times;
              font-size: 12pt;
              font-weight: 700;
              color: #000000;
}
dl { font-family: times new roman, times;
     font-size: 12pt;
}
p.small { font-family: times new roman, times;
          font-size: 10pt;
}
pre { font-family: courier, courier new;
      font-size: 10pt;
}
sup { font-family: times new roman, times;
      font-size: 8pt;
}
sub { font-family: times new roman, times;
      font-size: 8pt;
}