.highlight { background-color: #FFFFCC} .highlight { background-color: #FFFFCC} .navsmall { font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 8pt} a:visited { font-weight: bold} a:active { font-weight: bold} .small { font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 8pt}