.Title {
        font-size: 24pt;
        text-align: center;
    }
    .toc1 {
        margin-bottom: 6pt;
        margin-left: 0pt;
        margin-top: 12pt;
    }
    .toc2 {
        margin-bottom: 6pt;
        margin-left: 24pt;
        margin-top: 6pt;
    }
    .toc3 {
        margin-bottom: 6pt;
        margin-left: 48pt;
        margin-top: 6pt;
    }
    body {
        font-family: sans-serif;
        margin: 5%;
    }
    h1 {
        border-bottom: 2px solid rgb(192, 192, 192);
        color: rgb(0, 0, 192);
    }
    h2 {
        color: rgb(0, 0, 192);
    }


a, a:visited {
    color: #0080f0
}

pre {
    background-color: #f0f0f0;
    border-radius: 10px;
    padding: 10px;
    margin: 10px;
}

.definition {
    background-color: #f0f0f0;
    border-radius: 10px;
    margin: 10px;
}

.definition-name {
    background-color: #c0c0c0;
    border-radius: 10px;
    padding: 10px;
}

.definition-content {
    font-family: monospace;
    white-space: pre;
    padding: 10px;
}

.element-start, .element-end {
}

.element-start:before {
    content: "<";
}

.element-start:after {
    content: ">";
}

.element-end:before {
    content: "</";
}

.element-end:after {
    content: ">";
}