div.ems {
	border: solid 2px gray;
	margin-left: 8px;
	margin-right: 8px;	
}
div.ems p,
div.ems pre
{
	color: yellow;
	padding: 0 0 0 0;
	border: none;
	margin: 0 0 0 0;
	background: black;
	font-family: monospace;
	font-weight: bold;
	font-size: 90%;
}
div.ems p span
{
	color: #D0D0D0;
}
div.ems p span.bold
{
	color: #FFFFFF;
}