a:link { color:#333399; text-decoration:underline}
a:visited { color:#333399; text-decoration:underline}
a:hover { color:#0033FF; text-decoration:underline; cursor:hand}
a:active { color:#333399; text-decoration:underline
}
h1 { font-family: Arial, Helvetica, Sans-Serif; font-weight: normal; color: #0000CC; font-size: 17px;
     margin-top: 0; margin-bottom: 0; 
}
h2 { font-family: Arial, Helvetica, Sans-Serif; font-weight: normal; color: #FFFFFF; font-size: 15px;
     margin-top: 0; margin-bottom: 0;
}
h3 { font-family: Times New Roman; font-weight: normal; color: #0033FF; font-size: 18px;
     margin-top: 0; margin-bottom: 0;   
}
.intro { font-family: Arial, Helvetica, Sans-Serif; font-weight: bold; color: #0033FF; font-size: 18px;   
}
.menu { font-family: Verdana, Arial, Helvetica, Sans-Serif; font-weight: bold; font-size: 13px;
}
.menu a:link { color:#333399; text-decoration:none}
.menu a:visited { color:#333399; text-decoration:none}
.menu a:hover { color:#666666; text-decoration:none; cursor:hand}
.menu a:active { color:#333399; text-decoration:none
}
.txt { font-family: Arial, Helvetica, Sans-Serif; font-weight: normal; color: #000080; font-size: 16px;
}
.example { font-family: Arial, Helvetica, Sans-Serif; font-weight: normal; color: #0033FF; font-size: 16px;
}
.link { font-family: Verdana, Arial, Helvetica, Sans-Serif; font-weight: normal; font-size: 13px; color: #000080;
}
.further { font-family: Times New Roman; font-weight: normal; color: #000000; }
.further a:link { color:#000000; text-decoration:none}
.further a:visited { color:#000000; text-decoration:none}
.further a:hover { color:#000000; text-decoration:none; cursor:hand}
.further a:active { color:#000000; text-decoration:none
}