div#content > * {
    margin-right: 17em;
}

div#content div.toc {
    width: 15em;
    position: fixed;
    right: 1em;
    margin-right: inherit;
    border: 1px solid gray;
    background-color: #eeeeee;
}

div.toc ol {
    list-style-type: none;
    padding: 0 1em;
}

div.toc ol li {
    list-style: none;
}