.normal {font-size: 10pt; font-family: arial; font-style: normal}
.small {font-size: 8pt; font-family: arial; font-style: normal; color:#ffffde}
.smaller {font-size: 6pt; font-family: arial; font-style: normal}

a.light {color:#ffffde}
a.visited.light {color:#ffffde}

a.dark {color:#c00000}
a.visited.dark {color:#c00000}

.nav {font-size: 10pt; font-family: arial; font-style: bold}