body {font-size: 12pt;
      font-family: "Times New Roman, Arial, Helvetica";
      color: blue;}
p {text-indent: .42in;}

a.red
{	font-weight: bold;
	color: #ff0000;
}