body.learning #tocframe { background-color: #407f40; }
body.notation #tocframe { background-color: #40657f; }
-body.usage #tocframe { background-color: #7d765a; }
+body.usage #tocframe { background-color: #81613e; }
body.extending #tocframe { background-color: #7f4040; }
body.internals #tocframe { background-color: #6a407f; }
body.contributor #tocframe { background-color: #333333; }
font-size: 1em;
}
+#tocframe .contents > ul.toc > li {
+ margin-top: 0.5em;
+}
+
#tocframe ul.toc li li {
padding-left: 1em;
}