@import "https://unpkg.com/open-props";
@import url("https://fonts.googleapis.com/css2?family=Open+Sans:ital,wght@0,300..800;1,300..800&family=STIX+Two+Math&family=Spectral:ital,wght@0,200;0,300;0,400;0,500;0,600;0,700;0,800;1,200;1,300;1,400;1,500;1,600;1,700;1,800&display=swap");

:root {
    --font-body: "Spectral", serif;
    --font-header: "Spectral", serif;
    --font-math: "STIX Two Math";
    --color-bg: #ffffff;
    --color-fg: #1d2a3a;
    --color-box-bg: #eef3f8;
    --color-accent: var(--blue-8);
    --color-secondary: #6f7d8c;
    --color-rule: #d8e1ea;
    --color-soft: #e8eef5;
}

body {
    font-family: var(--font-body);
    color: var(--color-fg);
    background: var(--color-bg);
    font-size: 18px;
    line-height: var(--font-lineheight-3);

    & > header,
    & > article {
        max-width: 80ch;
        margin: auto;
        padding-inline: var(--size-3);
    }

    & > header {
        padding-top: var(--size-4);
        padding-bottom: var(--size-4);

        a {
            font-weight: bold;
        }
    }
}

/*math {*/
/*font-family: var(--font-math);*/
/*}*/

.display-math {
    display: flex;
    justify-content: center;
}

.inline-math {
    display: inline-block;
}

h1 {
    font-size: var(--font-size-4);
}

h2 {
    font-size: var(--font-size-3);
}

a {
    color: var(--color-accent);
    text-decoration: none;
}

.math-block {
    padding: var(--size-3);
    margin-block: var(--size-4);
    border-left: 0.25rem solid var(--color-accent);
    background: var(--color-box-bg);
}

.math-block.proof {
    border-left-color: var(--color-secondary);
}

.math-block-title {
    margin-top: 0;
    color: var(--color-accent);
}

ul {
    list-style-type: circle;
}

pre {
    font-size: var(--font-size-1);
}