a { font-family: verdana,arial,helvetica,sans-serif; text-decoration:
none; color: #336699; font-size: 14; } a:hover { color : #FF0000;
text-decoration: underline; } a.menu { font-family:
verdana,arial,helvetica,sans-serif; color: #336699; text-decoration:
underline; font-size: 14; } a.menu:hover { color : #FF0000;
text-decoration: underline; } a.selected { font-family:
verdana,arial,helvetica,sans-serif; color: #111111; background color:
#CCCCCC } a.selected:hover { font-family:
verdana,arial,helvetica,sans-serif; color: #111111; background color:
#CCCCCC } body, ul, td, th { font-family:
verdana,arial,helvetica,sans-serif; font-size: 12; } p { font-family:
verdana,arial,helvetica,sans-serif; } p.error { font-weight: bold; color
: #FF0000; } p.message { font-weight: bold; color : #000000; } em {
font-weight: bold; font-style: italic; } code, pre, tt { font-family:
Courier, "Courier New", monospace; font-size: 12; } p.latex {
font-family: Courier, "Courier New", monospace; font-size: 12; color :
#0000FF; } p.mathtype { font-family: Courier, "Courier New", monospace;
font-size: 12; color : #333333; } h1 { font-family:
verdana,arial,helvetica,sans-serif; font-size: 140%; font-weight: bold;
} h2 { font-family: verdana,arial,helvetica,sans-serif; font-size: 125%;
font-weight: bold; } h3 { font-family:
verdana,arial,helvetica,sans-serif; font-size: 110%; font-weight: bold;
} h4 { font-family: verdana,arial,helvetica,sans-serif; font-size: 100%;
font-weight: bold; } input, textarea { font-family:
verdana,arial,helvetica,sans-serif; } small, font.small, p.small,
a.small, th.small, tr.small, td.small, input.small, select.small,
textarea.small { font-family: verdana,arial,helvetica,sans-serif;
font-size: 11; } verysmall, font.verysmall, p.verysmall, a.verysmall,
th.verysmall, tr.verysmall, td.verysmall, input.verysmall,
select.verysmall, textarea.verysmall { font-family:
verdana,arial,helvetica,sans-serif; font-size: 9; }

A.useful:link, A.useful:visited, A.useful:active { 
  font-family: Verdana,Arial,Helvetica; 
  font-size: 9px; 
  color: #000000; 
  text-decoration: none;
}

A.useful:hover { 
  color:#000000; 
  text-decoration: none;
}