#logo a, #logo a:hover, #logo:visited  {
    background-color: #696;
}

#wide-header {
    border-bottom-color: #696;
}



a[href] {
    text-decoration: none;
    border-bottom: 1px dotted #ccc;
}

a[href].ext {
    text-decoration: none;
    border-bottom: 1px solid #060;
}

a[href]:link {
    color: #696;
}

a[href]:visited {
    color: #363;
}

a[href]:hover {
    background-color: #696;
    color: #eee;
}

a[href]:active,
a[href]:focus {
    background-color: #333;
    color: #eee;
}



.hint {
    position: absolute;
    visibility: hidden;
}

pre#code {
    padding-left: 0;
    font-size: 12px;
}

#code a[href] {
    text-decoration: none;
    border: none;
    font-weight: bold;
}

#code a[href]:link,
#code a[href]:visited {
    color: #c00;
}

#code a[href]:active,
#code a[href]:focus,
#code a[href]:hover {
    color: white;
    background-color: #c00;
}