body { 
    background: #FFFFFF;  
    font-size: 10pt; 
	font-family: verdana;
}

h1, h2, h3, h4, h5 { 
    color: #006699; 
    font-family: verdana;
}

span.term { 
    font-weight: bold; 
}

div.sidebar { 
    background: #F0F0F0; 
    border: 1px solid gray; 
    padding: 5px; 
    float: right; 
    margin: 10px; 
}

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