@media (max-width: 1000px) {}


html {
    --bg: rgb(22, 25, 35);
    --fg: rgb(188, 189, 208);
    --main-font-family: "Open Sans", sans-serif;
    --links: #2b79a2;
    --theorem-bg: rgb(37, 40, 50);
    --theorem-border-color: hsl(226, 15%, 22%);
    --example-border-color: hsl(227, 16%, 40%);
    font-size: 16px;
}

body {
    background-color: var(--bg);
    color: var(--fg);
    font-family: var(--main-font-family);
}

div.sidetoccontainer {
    display: none;
}
nav.topnavigation, nav.botnavigation {
    display: none;
}

div.bodyandsidetoc {
    h1 {
        display: none;
    }
    h3 {
        font-size: 2rem;
    }
    h4 {
        font-size: 1.5rem;
    }
}

div.bodywithoutsidetoc h3 {
    font-size: 1.5rem;
}


main.bodycontainer {
    max-width: 805px;
    margin: 0 auto;
    padding: 5px;
}

div.titlepage {
    * {
        text-align: center;
    }
}

nav.toc p a {
    font-family: var(--main-font-family);
    font-weight: normal;
    text-decoration: none;

    &:hover {
        color: var(--links);
        text-decoration: none;
        text-shadow: 2px 2px 3px var(--links);
    }
}

.hidden {
    display: none;
}

h1,
h2,
h3,
h4,
h5,
h6 {
    font-family: var(--main-font-family);
}

a:is(:hover, :link, :visited) {
    color: var(--links)
}

a.tocsection {
    font-weight: normal;
}

a.tocchapter {
    font-size: 1.5rem;
}

nav.table-of-contents {
    display: none;
}

nav.table-of-contents p a {
    font-family: var(--main-font-family);
    font-size: 0.9rem;
    color: var(--fg);
    font-weight: normal;

    &:hover {
        color: var(--links);
        text-decoration: none;
    }
}

p {
    hyphens: auto;
    font-size: 1rem;
    font-family: var(--main-font-family);
}

ul.itemize>li {
    &:not(:last-child) {
        margin-bottom: 1em;
    }
    margin-left: 1em;
}

/** Theorems and such **/
span.theoremheaderplain {
    font-style: normal;
    font-weight: bold;
}

div:is(.theorembodytheorem,
    .theorembodyproposition,
    .theorembodylemma,
    .theorembodycorollary,
    .theorembodyaxiom) {
    background-color: var(--theorem-bg);
    border: solid 1px var(--theorem-border-color);
    border-left-width: 10px;
    font-style: italic;
    padding: 2ex 1ex;
    margin: 1.5em 0;
}

div:is(.theorembodytheorem,
    .theorembodyproposition,
    .theorembodylemma,
    .theorembodycorollary,
    .theorembodyaxiom,
    .theorembodyproof,
    .theorembodydefinition,
    .theorembodyexample,
    .theorembodyexercise,
    .theorembodyinline-exercise) {
    margin: 1.5em 0;

    ul {
        padding: 0;
        margin: 0;

        li {
            margin-bottom: 0;

            >p:is(:first-child) {
                margin-top: 0;
            }

            >p:is(:last-child) {
                margin-bottom: 0;
            }
        }
    }

    ul.enumerate {
        li:not(:last-child) {
            margin-bottom: 1em;
        }
        .listmarker {
            font-weight: bold;
            font-style: normal;
            padding-left: 1em;
            margin-right: 1ex;
        }
    }
}

div.theorembodyproof>ul>li>p:is(:last-child)::after {
    content: "■";
    font-size: 1.5rem;
    ;
}

div.theorembodyexample {
    border: solid 1px var(--example-border-color);
    border-left-width: 10px;
    padding: 2ex 1ex;
    margin: 1.5em 0;
}

div.theorembodyinline-exercise {
    padding-left: 2em;

    & span.theoremheaderplain::before {
        content: "▶";
        display: inline-block;
        margin-right: 1em;
        font-size: 0.9rem;
    }
}

div.theorembodyproof {
    margin-top: 1ex;
}

span.theoremheaderplain {
    margin-right: 1ex;
}