.menu {  font-family: Arial, Helvetica, sans-serif; font-size: 10pt}
.Normal
	{font-size:10.0pt;
	font-family:"Arial";}.textedit {  font-family: Arial, Helvetica, sans-serif; font-size: 8pt}