body
{
color:#000000;
background-color:#ffffff;
margin:4px;
font-family:Courier New,Monospace;font-size:14px;
}
span.marked
{
color:red;
}