pre {
    margin-left: 2rem;
    margin-right: 2rem;
    background-color: #DDDDDD;
    border: 1px #AAAAAA solid;
    padding: 0.5rem
}
body {
    padding-left: 2rem;
    font-family: sans-serif;
    border-top: 8px solid darkgreen;
    padding-top: 1rem;
}
h1 {
    text-align: left;
    margin-left: -2rem;
    margin-right: -2rem;
}
h2 {
    margin-left: -1rem;
}
h3 {
    margin-left: -0.5rem;
}
hr {
    border: 4px solid darkgreen;
    margin-left: -2rem;
    margin-top: 2rem;
}
p, li {
    line-height: 200%;
    color: blue;
}

code {
    background-color: #DDDDDD;
    border: 1px #AAAAAA solid;
    padding: 0.125rem 0.25rem 0.125rem 0.25rem;
    border-radius: 3px;
}
pre code {
    background-color: revert;
    border: none;
    padding: revert;
    border-radius: revert;
}

.toc {
    float: right;
    clear: right;
    margin: 0.5rem;
    background-color: #EEEEEE;
    border: 1px solid #888888;
}

.toc ul {
    list-style-type: none;
    padding: 0rem 1rem 0rem 1rem;
}
.toc ul li {
}