/*contents of the external style sheets file css.html*/
body{
background-color:#F0E68C;
margin-left:30pt;
margin-top:30pt;
}
h3{
font-size:18pt;
font-family:default;
font-weight:bold;
color:#006400;
}
font{
font-size:12pt;
font-style:italic;
font-weight:bold;
font-family:default;
color:#006400;
}
/*the end of file sheets definition*/