body > div:only-of-type > nav.toc {
  padding: 1rem;
}
body > div:only-of-type > nav.toc > ol {
  padding: 0;
  list-style: none;
}
body > div:only-of-type > nav.toc > ol > li > a {
  display: inline-block;
  padding: .25rem 0;
}
body > div:only-of-type > nav.toc > ol > li > a:hover {
  text-decoration: underline;
}
body > div:only-of-type > nav.toc > ol > li > a.button {
  margin: 1rem 0;
}
body > div:only-of-type > nav.toc > ol > li > a.button:hover {
  text-decoration: inherit;
}