@import url(https://stackpath.bootstrapcdn.com/bootstrap/4.4.1/css/bootstrap.min.css);
@import url(https://fonts.googleapis.com/css?family=Rosario:700,700italic,400,400italic);




BODY {
    font-family: "Rosario", Helvetica, Arial, sans-serif;
    /* padding-top: 2rem; */
    counter-reset: h2-counter;
}
DIV#toc {
    counter-reset: toc2-counter;
}
LI.toc2::before {
    content: counter(toc2-counter) ". ";
}
LI.toc2 {
    counter-increment: toc2-counter;
    counter-reset: toc3-counter;
}
LI.toc3::before {
    content: counter(toc2-counter) "." counter(toc3-counter) ". "
}
LI.toc3 {
    counter-increment: toc3-counter;
}
H2::before {
    content: counter(h2-counter) ". ";
}
H2 {
    counter-increment: h2-counter;
    counter-reset: h3-counter;
}
H3::before {
    content: counter(h2-counter) "." counter(h3-counter) ". "
}
H3 {
    counter-increment: h3-counter;
}
H1, H2, H3, H4 {
    font-family: 'Rosario', sans-serif;
    font-weight: 700;
    padding-bottom: 0.3em;
    margin-top: 1.5rem;
}
NAV.sidebar A.navbar-brand {
    padding-top: 2rem;
}
NAV.sidebar A.navbar-brand IMG {
    border: 1px solid lightgray;
}
MAIN.content {
    border-left: 2pt solid lightgray;
}
NAV.navbar {
    background-color: #F9A025;
}
NAV.sidebar {
    padding-left: 2rem;
    padding-right: 2rem;
    margin-bottom: 2rem;
    position: sticky;
    overflow: auto;
}
NAV.sidebar H1 {
    margin-top: 1rem;
}
NAV.sidebar DIV#toc LI {
    display: block;
}
CODE {
    background-color: #f8f9fa;
    padding: 0.2em 0em;
    border-radius: 4px;
    color: black;
    font-weight: bold;
}
MAIN {
    padding-left: 3rem !important;
}
CODEHEADER {
    font-size: 1rem;
    font-weight: bold;
    font-family: monospace;
    display: block;
}
P:has(CODEHEADER) {
    margin-bottom: 0.5rem;
    margin-top: 2rem;
    border-top: 1px solid lightgray;
}
P:has(CODEHEADER) BR {
    display: none;
}
PRE {
    font-weight: bold;
    font-family: monospace;
    padding-left: 1rem;
    padding-right: 1rem;
    background-color: WhiteSmoke;
}