.f1          { background-color: #000066; color: #FFFFFF }
.f1menu      { color: #FFFF00; font-size: 8pt; font-family: Verdana; background-image: 
               url('f1/f1buttons.jpg'); font-weight: bold }
a:link.f1menu      { color: #FFCC66; font-size: 8pt; font-family: Verdana; background-image: 
               url('f1/f1buttons.jpg'); font-weight: bold }

a:visited.f1menu     { color: #FFCC66; font-size: 8pt; font-family: Verdana; background-image: 
               url('f1/f1buttons.jpg'); font-weight: bold }
a:active.f1menu      { color: #FFCC66; font-size: 8pt; font-family: Verdana; background-image: 
               url('f1/f1buttons.jpg'); font-weight: bold }
a:hover.f1menu      { color: #FFFF99; font-size: 8pt; font-family: Verdana; background-image: 
               url('f1/f1buttons.jpg'); font-weight: bold }

a.f1         { background-color: #000066; color: #CCFF99 }
a.choosecol       { font-family: Verdana; font-size: 6pt; text-decoration: none; 
                font-weight: bold}