/* === toc layout === */
@media screen {

#a0, #a0 div { /* all nodes */
  padding: 0;
  margin: 0;
}
#a0 div, #a0 div div { /* second-and-above-level nodes */
  margin-left: 1em;
  overflow: hidden;
}
#a0 a, #a0 div a {
  color: #135;
}
#a0 a:hover, #a0 div a:hover {
  color: #bde;
  background-color: #135;
}
div.hidden { display: none; }

} /* @media screen */