/* reduce top margin on first child in table of contents */
#TableOfContents ul:not(:first-child) {
  margin-top: .25em;
  margin-bottom: 0;
}