@charset "UTF-8";

div#contentnav {
    display: inline-block;
    border: 0.15rem solid #09f;
}

div#contentnav li {
    list-style-type: none;
}

div#contentnav a {
    text-decoration: none;
}

div#contentnav a:visited {
    color: #03f;
    background-color: #fff;
}

div#contentheading {
    padding: 0.5rem;
    border-bottom: 0.15rem solid #09f;
    font-weight: bold;
    background-color: #ccc;
}

div#contentlinks {
    padding: 0.5rem;
}

@media print {
    div#contentnav {
        display: none;
    }
}