/* Remove ugly whitespace from API doc table of contents. We could localize this more if
 it breaks other stuff. */
div.document div.toctree-wrapper ul ul {
    margin-top: 0;
    margin-bottom: 0;
}

/* Beautify local tables of content. */
div.contents.local {
    margin-bottom: 24px;
}

div.contents.local > ul {
    border: 1px solid #e1e4e5;
    padding: 12px;
}

div.contents.local > p.topic-title {
    margin: 0;
}