/*   A CSS style sheet for DTD documentation produced in HTML.   $Id: dtd.css,v 1.1.1.1 1999/07/13 17:17:43 larsga Exp $    */xBODY 	{ 	margin-left: 10%; 	margin-right: 10%; 	margin-top: 24pt 	}H1, H2 	{ 	xpadding-top: 6pt; 	font-family: Helvetica, Arial, sans-serif;	color: navy 	}H3 	{ 	margin-top: 24pt; 	background-color: #f5dcb3; 	padding: 4pt;	border: thin solid #a59377; 	}     span.description	{	color:green;	}	th	{	text-align: left;	font-size: 11px;	background: #cccccc;	}	