BODY {
    background: white;
    color: black;
}
.center {
    text-align: center
}
.right {
    text-align: right
}
.normal {
    text-align: left
}
A:link {
    background: transparent;
    color: rgb(0, 0, 238)
}
A:active {
    background: transparent;
    color: rgb(238, 0, 0)
}
A:visited {
    background: transparent;
    color: rgb(85, 26, 129)
}
@media screen { /* hide from IE3 */
a:hover {background: #ffa}
}

DIV.announce {
    width: 100%;
    border: solid thin black;
    background-color: rgb(255, 250, 205);
    color: black;
    margin-left: 1em;
}
DIV.example {
    width: 100%;
    border: none;
    background-color: #eee;
    color: maroon;
    margin-left: 1em;
}
DIV.reference {
    width: 100%;
    border: solid thin black;
    background-color: rgb(255, 250, 205);
    color: black;
    margin-left: 1em;
}    
SPAN.prompt {
    background-color: transparent;
    color: black;
}
SPAN.cntl {
    background-color: maroon;
    color: #eee;
}   
KBD {
    background-color: transparent;
    color: blue;
}

TABLE {
    background-color: #ddd;
    color: black;
    text-align: center;
}

TABLE.normal {
    background-color: transparent;
}	

PRE.frame {
    border: solid thin black;
    background-color: transparent;
    color: black;
}
PRE.example {
    width: 100%;
    border: none;
    background-color: #eee;
    color: maroon;
    margin-left: 1em;
}
IMG.margined {
    margin: 10px;
}
DT {
    margin-top: 1em;
}