div.toc {
  width: 630px;
}