.core 
{
	margin-left:auto; margin-right:auto;
	width:95%;
}

.core h1 , .core h2, dt

{
	text-decoration:underline;
	color:#00F;
	
}

.standard 
{
	font-size:100%;
}

table.bordered, table.hlined tr
{
	border:solid 1px black;
} 
table.vlined tr td
{
	border-left:border:solid 1px black;
	border-right:border:solid 1px black;
}


dt
{
	color:#00F;
	
}

.code {
	background-color:#fff;
}