body {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 75%;
	background-color: #ebebeb;
	background-color: #ebf0f0;
	color: #000066;
	margin-top:10px;
	margin-left:80px;
	margin-right:80px;
	margin-bottom:10px;
}

h1 {
	font-weight: bold;
	font-size: 250%;
	line-height: normal;
	font-family: arial,helvetica;
	font-variant: normal;
	font-style: normal;
	color:#ab1416;
	margin-top:         16px;
	margin-bottom:      8px;
	margin-left:        -40px;
	
}
h2 {
	font-weight: bold;
	font-size: 125%;
	line-height: normal;
	font-family: arial,helvetica;
	font-variant: normal;
	font-style: normal;
	color:#0047be;
}
		
#section {
	font-weight: bold;
	font-size: 150%;
	line-height: normal;
	font-family: arial,helvetica;
	font-variant: normal;
	font-style: normal;
	color:#0047be;
	border-bottom: 1px solid #0047be;
	margin-top:         16px;
	margin-bottom:      8px;
	margin-left:        -40px;
}
	
a {
	text-decoration: underline;
	color: #0047be;
}

a:hover {
	text-decoration: underline;
	color: #ff7700;
}

pre {
	font-size:110%;
	margin-left:40px;
}

dl {
}
dt {
	font-style: italic;
	margin-top: 5px;
}
dd {
}
				
#back_to_top {
	text-align: right;
}	

#footnote {
	font-weight: 600;
	font-style: italic;
	color: #ab1416;
	border-top: 1px solid #ab1416;
	margin-top:         40px;
	margin-bottom:      8px;
	margin-left:        -40px;
	
}