body {
    margin: 10 px auto;
    background-color: #fbfbfb;
}

body > h1:first-child {
    margin: 0;
    padding: .3em;
    border-bottom: 1px solid gray;
}

h1 a {
    color: black;
}

div#TOC {
    float: left;
    width: 230px;
    margin: 0;
    padding: 1em;
}

div#body {
    clear: none;
    margin: 0;
    margin-left: 250px;
    border-left: 1px solid gray;
    padding: 1em;
}