BODY
{
font-family: verdana, helvetica, arial, sans-serif;
font-size: 100%;
background-color: #003366;
margin-left: 0px
}
.redlabel
{
font-family: verdana, helvetica, arial, sans-serif;
font-size: 80%;
font-weight: bold;
color: 660000;
}
.menu
{
font-family: verdana, helvetica, arial, sans-serif;
font-size: 70%;
font-weight : bold;
}
.example
{
font-family: verdana, helvetica, arial, sans-serif;
font-size: 68%;
}
A
{
color: #0033CC;
font-family: verdana, helvetica, arial, sans-serif;
cursor:hand;
}
A:hover
{
	color: #FF9900;
	font-family: verdana, helvetica, arial, sans-serif;
}
A.menu:hover
{
	color: #993333;
	font-family: verdana, helvetica, arial, sans-serif;
}
P
{
font-family: verdana, helvetica, arial, sans-serif;
margin-bottom: 5px;
margin-top: 15px;
line-height: 14px;
font-size: 75%
}
P.hints
{
font-family: verdana, helvetica, arial, sans-serif;
margin-bottom: 9px;
margin-top: 5px;
line-height: 12px;
font-size: 70.5%
}
.normal { 
font-family: verdana, helvetica, arial, sans-serif;
margin-bottom: 15px;
margin-top: 15px;
line-height: 14px;
font-size: 75%;
}
H1
{
	font-family: verdana, helvetica, arial, sans-serif;
	font-size: 105%;
	font-weight: bold;
	margin-bottom: 1px;
	margin-top: 1px;
	color: #000066;
}
H2
{
font-family: verdana, helvetica, arial, sans-serif;
font-size: 75.0%;
font-weight: bold;
margin-bottom: 1px;
margin-top: 1px;
color: #666666;
}
H2.leftfront
{
	font-family: verdana, helvetica, arial, sans-serif;
	font-size: 75.0%;
	font-weight: bold;
	margin-bottom: 1px;
	margin-top: 1px;
	color: #660000;
}
H3
{
font-family: verdana, helvetica, arial, sans-serif;
font-size: 72.5%;
font-weight: bold;
margin-bottom: 1 px;
margin-top: 5 px;
color: #000066;
}
H5
{
font-family: verdana, helvetica, arial, sans-serif;
font-size: 62.5%;
font-weight: bold;
color: 660000;
}

LI
{
	font-family: verdana, arial, helvetica, sans-serif;
}