<!--
#redlink {font-size:18px; }
#redlink a:link {
color: #ff0000; text-decoration:none;
}
#redlink a:visited {
color: #ff0000; text-decoration:none;
}
#redlink a:hover{
color: #ff0000; text-decoration:underline;
}
.smalltext {font-family: Arial, Helvetica, sans-serif; font-size: 10; }

--> 
