@import url(../lib.css);

a:link { color: #00c; }
a:visited { color: #337; }
a:hover { color: #700; }
a:active { color: #c00; }

#banner b.top b { border-color: #047; background: #069; }
#banner b b.r1 { background: #047; }

#content b.top b { border-color: #047; background: #047; }
#content b.bot b, #content .content {
    border-color: #047; background: white;
}
#content b b.r1 { background: #047; }

#nav b.top b { border-left-color: #047; border-right-color: #074; background: #074; }
#nav b.bot b.r1 { background: #047; }
#nav b.bot b, #nav .content { background: #ffe; border-right-color: #074; }
#nav h2 { background: #074; }

h1, h1 a:link { background: #069; color: #ff7; text-shadow: black 0px 0px 3px; text-decoration: none; }
h2, h2 a:link { background: #047; color: white; text-shadow: black 0px 0px 3px; clear: left; }
h3 { clear: left; border-top: double black 3px; border-bottom: dotted #777 1px; margin-bottom: 1ex; }

#nav a:hover, .listen a:hover {
    background: #047;
    color: white;
}

#desc { background: #ff7; }

div.code, code {
    font-family: andale mono, monaco, lucida console, monospace;
    background: #ffffcc;
}

div.code {
    margin: 1em 2em 1em 4em;
    border: dashed black 1px;
    padding: 1ex;
}

div.code h3, div.code h4 {
    margin: 0px 0px 1ex;
    padding: 0px;
    font-size: 100%;
    font-weight: bold;
    border-bottom: double black 3px;
}