/* Compact spacing for local table of contents */
.contents ul li {
    margin-bottom: 0.2em;
}