.tocbody { font-size: small; }
.tocbody ul { padding: 0 0 0 1ex; margin: 0 0 1ex 1ex; }
.tocbody li { margin: 0 0 0 0; }
.tocbody a { text-decoration: none; }

dt { margin-top: 1em; }
dd { margin-left: 2em; }

pre.codeblock {
    margin:  1ex 2ex 1ex 1ex;
    padding: 1ex 1ex 1ex 3ex;
    font-family: monospace;
    color: yellow;
    background-color: black;
}