@media screen { /* hide from IE3 */
A:hover {background: #ffa}
}
BODY {
    background: white;
    color: black;
    line-height: 1.3;
}
P {
    line-height: 1.3
}

H1 {
    background-color: rgb(175, 238, 238);
    color: black;
    text-align: center;
    border: solid thin black;
}
H2 {
    text-decoration: none;
    background-color: rgb(255, 220, 220);
    color: black;
    border-style: solid;
    border-width: 1px 1px 1px 1px;
    border-color: rgb(255,160, 160);
    padding: 0.2em 0.5em;
}
H3 A:link {
    background-color: white;
    text-decoration: none;
    color: black;
}
H3 {
    border-color: #c8ffb2;
    color: black;
    text-decoration: none;
    border-style: solid;
    border-width: 0 0 1px 10px;
}

TABLE {
    background-color: black;
    border-spacing: 1pt;
}

TH {
    background-color: #c8ffb2;
    padding: 2pt;
}

TD {
    background-color: #f0ffe0;
    padding: 2pt;
}

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;
    margin-right: 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;
}

PRE.frame {
    border: solid thin black;
    background-color: transparent;
    color: black;
}

DT { 
    font-weight: bold; 
    margin-top: 1ex;
    border-style: solid;
    border-width: 0 0 1px 0;
    border-color: #d8c4ff;
    background-color: #ebe5ff;
}

DL {
    border-style: solid;
    border-width: 0px 1px 1px 1px;
    border-color: #ebe5ff;w
}

BLOCKQUOTE {
    border: solid thin #c0c0c0;
    background-color: #ffffd0
}

IMG {
    margin: 1px;
}