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: #0000FF;
}
/* background-color: #BBBBB0; */

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

TD.tophead {
	font-size: medium;
	color: #FFFFFF;
	display: none;	
}
TR.navcell {
	background-color: #CCCCFF;
}
/*	background-color: #FFFFCC; */

TD.navbar {
	font-size: 80%;
	display: none;
}
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; }

div.heading {   /* use for Headings */
        margin-top:15px;
	font-size:14.0pt;
	font-weight:bold;
	font-family:"Tahoma","Times New Roman";
	text-decoration: underline;
}

div.subheading {   /* use for subheadings */
        margin-top:15px;
	font-size:11.0pt;
	font-weight:bold;
	font-family:"Tahoma","Times New Roman";
}

div.body {
	font-size:10.0pt;
	font-family:"Tahoma","Times New Roman";
}

div.navigation{
        clear: both;
        margin-top:15px;
	font-size:10.0pt;
	font-weight:bold;
	font-family:"Tahoma","Times New Roman";
	text-align: center;
	display: none;
}

div.section1
	{page:section1;}
}