body 
{
    /*
    Red #D12723
font-size: 7pt;
    */
    font-family: Times New Roman;
    
}
            
                    .style1
            {
                color: #000000;
                font-size: small;
            }
        .style2 {
	font-family: "Times New Roman", Times, serif;
}
.style3 {
	font-family: "Times New Roman", Times, serif;
	margin-top: 5px;
}
.style4 {
	color: #000000;
	font-size: small;
	margin-top: 6px;
}