body { background-color: rgb(255,255,255); color: rgb(59,59,59); font-family: "centaur", "garmond", "times new roman" }
.whi { text-decoration: none; color: rgb(59,59,59) }.whi:hover { color: rgb(64,64,255) }
.yel { text-decoration: none; color: rgb(0,64,128) }.yel:hover { color: rgb(64,64,255) }
.menuhead { text-decoration: none; color: rgb(0,64,128); font-size: 11px; font-family: verdana }.menuhead:hover { color: rgb(64,64,255) }
.menuchoice { text-decoration: none; color: rgb(0,64,128); font-size: 10px; font-family: verdana }.menuchoice:hover { color: rgb(64,64,255) }
.titlelink { text-decoration: none; color: #000000 }