/* Light Background, Dark Colors */
h1 {
    color: red; 
    text-align: center;
}
body {
    background: #DDDDDD;
    color: black;
    font: Lucida-Sans-Unicode;
}
dl {
    border: solid;
    border-color: blue;
    margin-right:25pt; margin-left:25pt;
    padding-top:10pt; padding-bottom:10pt;
    padding-right:10pt; padding-left:10pt;
}
dt {
    color: darkgreen;
    margin-top:10pt;
}
dd {
    background: #FFD0FF;
    padding-top:4pt; padding-bottom:4pt;
    padding-right:4pt; padding-left:4pt;
    margin-top:2pt; margin-bottom:1pt;
    margin-right:2pt; margin-left:25pt;
    border: none;
}
dd.example {
    background: #D0C0D0;
    margin-top:0pt;
    color: maroon;
}
p {
    border: none;
    margin-right:10pt; margin-left:10pt;
    padding-top:5pt; padding-bottom:5pt;
    padding-right:5pt; padding-left:5pt;
    background: lightgreen;
}
pre {
    align: center;
    border: none;
    background:lightgrey;
    padding-top:4pt; padding-bottom:4pt;
    padding-right:4pt; padding-left:4pt;
    margin-top:10pt; margin-bottom:10pt;
    margin-right:30pt; margin-left:30pt;
}
dfn {
    color: blue;
    font-style: normal;
    font-weight: normal;
}