.p10   { font-size: xx-small; line-height: 130% }
.p12   { font-size: x-small; line-height: 130% }
.p14   { font-size: small; line-height: 130% }
.p14h  { font-size: small; line-height: 150% }
.p18   { font-size: large; line-height: 130% }
a.name:link  { color: #336; font-size: 12px; line-height: 130%; text-decoration: none }
a.name:visited  { color: #336; font-size: 12px; line-height: 130%; text-decoration: none }
a.name:hover  { color: #c36; font-size: 12px; line-height: 130%; text-decoration: none }
a.mini:link  { font-size: xx-small; line-height: 130%; text-decoration: none }
a.mini:visited  { font-size: xx-small; line-height: 130%; text-decoration: none }
a.mini:hover  { font-size: xx-small; line-height: 130%; text-decoration: none }
a:link  { color: navy; text-decoration: none  }
a:visited  { text-decoration: none  }
a:hover  { color: red; text-decoration: none  }