h3		{ font-size:1.4em; border-top:2px dashed; padding:4px;
			margin-top:60px; margin-bottom:30px;}

table	{ border:2px solid #336699; width:380px; border-collapse:collapse ; }

th, td	{ border:1px solid #336699; padding:2px 6px; }
th		{ width:100px; background-color:#DDEEFF;}
td		{ background-color:#F3F9FF; }

p.example	{border:1px solid #666666;}
span.comment		{color:#338855;}

dfn		{ font-weight:bold; font-style:normal;}

dd dl	{ margin:0px; }