body {
	font-family: Helvetica, Arial, sans-serif;
	color: #003366;
	margin-top: 5px;
	margin-right: 20px;
	margin-bottom: 5px;
	margin-left: 20px;
}
h1 {
	font-size: x-large;
	font-weight: normal;
	margin-left: 100px;

}
h2 {
	font-size: large;
	font-weight: normal;
	margin-left: 125px;

}
pre {
	font-family: Helvetica, Arial, sans-serif;
	margin-right: 150px;
	margin-left: 150px;
}
h3 {
	font-size: medium;
	font-weight: normal;
	text-align: right;
	margin-right: 25px;

}
.header {

	font-size: large;
	font-weight: normal;
}
p {

	font-family: Helvetica, Arial, sans-serif;
	margin-right: 125px;
	margin-left: 125px;
}
.detail {
	font-size: xx-small;
	text-align: right;
	margin-right: 125px;
}

dl	{
	margin-left: 125px;
	}