#toc {
  display: none;
  position: fixed;
  right: 0;
  width: 15em;
  top: 4em;
  bottom: 2em;
  overflow-x: hidden;
  overflow-y: auto;
  padding: 0;
  background-color: #000a1b;
}
@media screen and (min-width:77em) { #toc { display:block; } }
@media screen and (max-width:92em) { article { margin:0; } }
#toc .toc-header a {
  display: block;
  padding: 3px 6px;
  color: #cccccc;
  text-decoration: none;
}
#toc .toc-header a:hover {
  color: #ffffff;
  background-color: #001436;
}
#toc .toc-header-current a,
#toc .toc-header-current a:hover {
  background-color: #002566;
}
#toc .toc-section {
  padding-left: 1.25em;
}