div.releasenotes h1
{
	background-color: #ccc;
	border: 1px solid #000;
	font-size: 110%;
	margin-top: 1em;
	padding: 0.5em;
}

div.releasenotes h2 
{
	font-size: 100%;
	margin-left: 0.5em;
}

div.releasenotes p 
{
	margin-left: 2.0em;
}