@import url("theme.css");

body {
    font-family: monospace, monospace;
    font-size:16px;
    max-width: 1050px;
	margin-left: auto;
	margin-right: auto;
	margin-top: 50px;
    padding-bottom: 200px;
}
pre{
    background-color: var(--mocha-surface0);
}

#toc_container {
    background-color: var(--mocha-surface0);
    border: 1px dashed var(--mocha-teal);
    display: table;
    font-size: 95%;
    margin-top: 1em;
    margin-bottom: 2em;
    padding: 20px;
    width: auto;
}
.toc_title {
    font-weight: bold;
}