Happy to:

Change the div#TOC rule the following:

  div#TOC { 
    float: left;
    width: 25%;
    font-size: 10pt;
    background: #eee;
    margin-right: 15px;
    margin-bottom: 15px;
    line-height: 15pt;
  }

I hope that helps!