BODY {
	font-family : arial, helvetica, sans-serif;
	background-color: #FFFFFF;
	color: #000000;
}

/* Font size does not seem to work in BODY, so we put it here. */
TABLE { 
	font-size: 10pt; 
}
TABLE.main { 
	font-size: 10pt; 
	background-color: #BBBBB0;
}

A { color: #0000FF; }
A:visited { color: #800080; }
A:hover { color: #600060; }

TD.tophead {
	font-size: medium;
	color: #FFFFFF;
}
TR.navcell {
	background-color: #FFFFCC;
}
TD.navbar {
	font-size: 80%;
}
TD.mainbody {
	font-family : arial, helvetica, sans-serif;
	font-size: 10pt;
	background-color: #FFFFF0;
}
TD.footer {
	font-size: 80%;
	color: white;
}

/* Used for page headers */
P.pagehead { font-size: 175%; font-weight: bold; }
P.sechead1 { font-size: 150%; font-weight: bold; }
P.sechead2 { font-size: 125%; }
SPAN.sechead3 { font-weight: bold; font-style: italic; }