body
{
	margin: 0px;
}

div.definition
{
	border-style: solid;
	border-color: #606090;
	border-width: 1px;
	background-color: #f0f4ff;
	
	padding: 10px 20px 10px 20px;
	
	margin-bottom: 300px;
}
div.definition h4
{
	margin: 0px;
}

p.formal, div.formal
{
	margin-left: 20px;
	padding: 8px 16px 8px 16px;
	
	border-style: solid;
	border-width: 1px;
	border-color: #9090a0;
	background-color: #ffffff;
}

div.topspacer
{
	margin-top: 140px;
	padding-left: 220px;
	margin-bottom: 300px;
}