/* required ... more or less */
#instant-toc {
    border-top: 1px solid grey;
    padding-right: 15px;
    color: black;
    font-weight: normal;
}
#suddenly-structured-references {
    border-top: 1px solid blue;
    padding-right: 15px;
    color: black;
    font-weight: normal;
    display: none;
}

/* fluff */
#my-toc {
    border: 1px solid grey;
    color: blue;
    font-weight: normal;
    float: top;
    padding: 15px;
}
#my-ref {
    float: left;
    border: 1px solid grey;
    color: blue;
    font-weight: normal;
    padding: 15px;
    margin-top: 20px;
}
body {
    font-family: Georgia;
}
a:hover {
    text-decoration: none;
}
.link-like {
    text-decoration: underline;
    cursor: pointer;
}
.link-like:hover {
    text-decoration: none;
}