body {
    font-family: Verdana;
    background: #FFFFFF;
}

h1, h2, h3, h4, h5 {
	color: #FF6600;
    font-family: Verdana;
}

span.term {
    font-weight: bold;
}

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

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