body { 
    background-color: #FFFFFF;
    font-family: "times new roman", "times", serif;
}

h1, h2, h3, h4, h5 { 
    color: #800000; 
    font-family: sans-serif; 
}

span.term { 
    font-weight: bold; 
}

div.sidebar { 
    background-color: #F0F0F0; 
    border: 1px solid gray; 
    padding: 5px; 
    margin: 20px; 
}

div.standardAd { 
    position: absolute; 
    top: 100px; 
    left: 20px; 
}

div.pageWithStandardAd { 
    position: absolute; 
    left: 160px; 
    right: 10px; 
}

div.rightSideAd { 
    position: absolute; 
    top: 100px; 
    right: 20px; 
}

div.pageWithRightSideAd { 
    position: absolute; 
    right: 160px; 
    left: 10px; 
}

pre.programlisting { 
    background-color: #F0F0F0; 
    border: 1px solid gray; 
    padding: 2px; 
    font-size: 10pt;
    white-space: pre;
}