body 	{	font-family: Verdana,Arial,Helvetica;	background: #ffffcc;	}div.text	{	font-family: Verdana,Arial,Helvetica;	font-size: 11pt;	}.navbar 	{	TEXT-DECORATION: none;	font-size: 10pt;	}.currentnavbar 	{	TEXT-DECORATION: none;	font-size: 10pt;	background: #cccc99;	}A 	{	TEXT-DECORATION: none	}	a.nitf	{	font-size: 32px;	}A:hover 	{	xCOLOR: #ff3300;	xBACKGROUND: #ffcc00; 	xCOLOR: #000099;	background: #cccc99;	color: blue;	background: #cccc99;	}span.element	{	font-weight: bold;	color: brown;	}	span.attname	{	font-weight: bold;	color: brown;	}	span.attvalue	{	font-weight: bold;	color: brown;	}	span.comment	{	xfont-weight: bold;	color: green;	}