p { font-family: times new roman, times;
    font-size: 12pt;
}
p.bigheader { font-family: arial, helvetica, sans-serif;
              font-size: 18pt;
}
p.header { font-family: arial, helvetica, sans-serif;
           font-size: 14pt;
}
p.footer { font-family: arial, helvetica, sans-serif;
           font-size: 8pt;
}
dl { font-family: arial, helvetica, sans-serif;
     font-size: 12pt;
}
td { font-family: arial, helvetica, sans-serif;
     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;
}