BODY {
color:       black; 
background:  white;
font-family: sans-serif;
}

H1 {
color: #D02020;
font-size: medium;
padding-top: 0.5em;
}

H2 {
color: #D02020;
font-size: medium;
}

H3 {
color: #D02020;
font-size: small;
}

PRE {
font-family: monospace;
font-size: medium;
}

DIV {
margin-left: 2em;
}