body { 
    background: #FFFFFF; 
}

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

span.term { 
    font-weight: bold; 
}

span.guilabel {
    font-weight: bold; 
}

span.guimenu {
    font-weight: bold; 
}

span.guimenuitem {
    font-weight: bold; 
}

span.guibutton {
    font-weight: bold; 
}

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

div.example {
    border: 1px solid lightgray;
    padding: 10px;
}

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

pre.screen { 
    background: #EEEEFF; 
    border: 1px solid #8888FF; 
    padding: 2px; 
    font-size: 10pt;
    white-space: pre;
}