body
{
	background-color: #ffffff;
	font-family: Courier New, Courier;
	font-size: small;
	margin: 0px;
}

#fullpage
{
	width: 800px;
	margin-left: auto;
	margin-right: auto;
}

h1
{
	font-size: 150%;
	font-weight: bolder;
	color: #000066;
	/* This line was causing the difference in height between IE7 and Firefox
	   Someone has a bug in recognizing top margin on h1 */	
	/* margin-top: 0%; */
	padding-bottom: 15px;
}

h2 
{
	font-size: 115%;
	font-weight: bolder;
	color: #000066;
	padding-bottom: 0px;
	margin-bottom: 10px;
}

.navtext
{
	font-size: 90%;
	padding-top: 0px;
	padding-bottom: 15px;
	margin-top: 0px;

}

.header
{
	margin: 10px; 
}

.navbar
{
	font-size: 105%;
	float: left;
	width: 135px;
	padding: 0px 0px 15px 15px;
	margin: 17px 0px 10px 10px;
}

.navbar a:link 
{
	color: #000066;
	text-decoration: none;
	padding-bottom: 1px;
}
.navbar a:visited
{
	color: #000066;
	text-decoration: none;
	padding-bottom: 1px;
}

.main
{
	font-family: Courier New, Courier;
	font-size: 100%;
	line-height: 1.6em;
	float: right;
	width: 600px;
	padding: 0px 15px 0px 0px;
	margin-top: 15px;
	margin-bottom: 0px;
	margin-left: 0px;
}

#maintext
{
	/* Get rid of the bottom margin added by Firefox */
	margin: 0px;
}

.footer
{
	color: #000000;
	font-size: 100%;
	float: right;
	width: 600px;
	padding: 0px 15px 15px 0px; 
	margin: 15px 0px 0px 0px;
}

#notice
{
	font-family: Courier New, Courier;
	font-size: 105%;
	/* Get rid of the top margin added by Firefox */
	margin: 0px;
}

#copyright
{
	font-size: 90%;
}