@import url('https://fonts.googleapis.com/css2?family=Fira+Code:wght@400;500&family=Lora:ital,wght@0,400;0,700;1,400&display=swap');

:root {
    --serif-font-stack: 'Lora', DejaVu Serif, Georgia, serif;
    --sans-font-stack: 'Lucida Grande', Geneva, Verdana, sans-serif;
    --mono-font-stack: 'Fira Code', Consolas, Monaco, monospace;
    --color-text: #000;
    --color-gray-1: #333;
    --color-gray-2: #666;
    --color-gray-3: #999;
    --color-gray-4: #bbb;
    --color-gray-5: #eee;
    --color-code-bg: #f9f9f9;
    --color-code-border: #eee;
    --border-radius: 3px;
    --main-width: 42rem;
    --left-main-margin: calc((100vw - var(--main-width))/2);
    --note-width: 20rem;
    --main-padding: 1rem;
    --note-position: calc(var(--left-main-margin) + var(--main-width) + 2*var(--main-padding));
    --paragraph-margin: 1rem;
    scroll-behavior: smooth;
    scrollbar-gutter: stable;
}

body {
    font-family: var(--serif-font-stack);
    margin: 0;
    font-size: 1.1rem;
    color: var(--color-text);
}

#titleHeading {
    padding-top: 3rem;
    text-align: center;
}

#titleHeading h1 {
    font-size: 3rem;
    margin: 0 0 0.5rem;
    font-variant: small-caps;
}

#titleHeading p {
    margin: 0;
    font-size: 1.2rem;
    font-style: italic;
}

#index {
    list-style-type: upper-roman;
    font-variant-caps: small-caps;
}

#index>li>a {
    font-size: 1.4rem;
}

#index ol {
    list-style-type: decimal;
}

#index a,
#index a:visited {
    color: var(--color-violet-1);
    text-decoration: none;
    font-weight: bold;
}

#index a:hover {
    color: #695a96;
}

#index>li:first-child{
    list-style-type: none;
}

main {
    margin: 0 0 0 var(--left-main-margin);
    max-width: var(--main-width);
    padding: 3em var(--main-padding);
}

p {
    margin: var(--paragraph-margin) 0;
}

em {
    font-variant-caps: normal;
}

a,
a:visited,
a:hover {
    color: var(--color-violet-1);
}

h1 {
    font-size: 3em;
}

h2 {
    margin-top: 3rem;
}

h1,
h2,
h3 {
    font-variant: small-caps;
}

h2 a,
h2 a:visited,
h3 a,
h3 a:visited {
    text-decoration: none;
    color: var(--color-text);
}

footer {
    padding: 2rem;
    text-align: center;
    display: flex;
    flex-direction: column;
    gap: 1rem;
    margin-bottom: 2rem;
}

nav {
    background-color: #382e57;
    background-image: url(./img/bg.png);
    text-shadow: 0 0 5px #000;
    display: flex;
    flex-direction: row;
    align-items: center;
    align-content: center;
    justify-content: center;
    box-shadow: inset 0 0 10px #000;
}

nav a,
nav a:visited {
    width: 200px;
    box-sizing: border-box;
    text-align: center;
    color: white;
    display: block;
    text-decoration: none;
    font-weight: bold;
    padding: 1em 0;
    transition: background-color 0.2s;
}

nav a:hover {
    color: white;
    text-decoration: underline;
}

nav .empty {
    width: 200px;
}

figure {
    margin: var(--paragraph-margin) 0;
}

figcaption {
    font-size: 0.9em;
    color: #333;
}

figure img {
    margin: 0 auto;
    width: 100%;
}

pre {
    padding: 0.5em 0.5em;
    background-color: var(--color-code-bg);
    border: 1px solid var(--color-code-border);
    overflow-x: auto;
    margin: var(--paragraph-margin) 0;
    border-radius: var(--border-radius);
    font-family: var(--mono-font-stack);
    font-size: 0.9rem;
    font-variant-ligatures: no-contextual;
}

figure pre {
    margin-bottom: 0.4em;
}

code {
    padding: 0 0.1em;
    white-space: nowrap;
    font-family: var(--mono-font-stack);
    font-size: 0.85em;
    font-variant-caps: normal;
    font-variant-ligatures: no-contextual;
    border-radius: var(--border-radius);
    background-color: var(--color-code-bg);
    border: 1px solid var(--color-code-border);
}

.centerCode {
    display: block;
    width: fit-content;
    margin: 0.3rem auto;
}

.sh-constructor {
    color: #028;
}

.sh-number {
    color: #700;
}

.sh-comment {
    color: #666;
}

.sh-string {
    color: #950;
}

.sh-keyword {
    font-weight: 500;
}

.terminal {
    background-color: #191919;
    box-shadow: inset 0 0 10px #000;
    color: #fff;
    border: none;
    border-radius: var(--border-radius);
}

.terminal::selection {
    background-color: whitesmoke;
    color: black;
}

.problem {
    background-color: #fcfcfc;
    padding: var(--paragraph-margin);
    margin: var(--paragraph-margin) 0;
    border-radius: var(--border-radius);
    border: 1px solid var(--color-gray-5);
    border-left-width: 4px;
}

.problem>*:last-child {
    margin-bottom: 0;
}

.problem .ref {
    text-decoration: none;
    font-weight: bold;
    font-variant-caps: small-caps;
}

.example {
    background-color: #fcfcfc;
    padding: var(--paragraph-margin);
    border-radius: var(--border-radius);
    margin: var(--paragraph-margin) 0;
    border: 1px solid var(--color-gray-5);
    border-left: 2px solid #666;
}

.example>.ref {
    text-decoration: none;
    font-weight: bold;
    float: left;
    margin-right: 0.5rem;
    font-variant-caps: small-caps;
}

.example p:first-of-type {
    margin-top: 0;
}

.example p:last-of-type {
    margin-bottom: 0;
}

aside {
    left: var(--note-position);
    width: var(--note-width);
    border-radius: var(--border-radius);
    display: block;
    color: var(--color-gray-2);
    position: absolute;
    padding: 0;
    transition: background-color 0.2s ease-in-out, top 0.5s ease-in-out;
}

.version{
    color: var(--color-gray-2);
}

@media screen and (max-width: 1550px) {
    :root {
        --left-main-margin: calc(max(100vw - var(--main-width) - var(--note-width) - 8*var(--main-padding), var(--main-padding)));
    }
}

@media screen and (max-width: 1070px) {
    :root {
        --main-padding: 0.5rem;
        --left-main-margin: 0px;
        --main-width: calc(2 * 100vw/3);
        --note-width: calc(100vw/3 - 4*var(--main-padding));
        --note-position: calc(var(--main-width) + 2*var(--main-padding));
    }

    main {
        padding-top: 1rem;
    }

    code {
        white-space: normal;
    }
}

@media screen and (max-width: 750px) {
    main {
        margin-right: 0;
        margin-left: 0;
        padding-top: 0;
        --main-padding: 0.5rem;
        --main-width: calc(100vw);
        --note-width: calc(100vw);
    }

    aside {
        display: none;
        width: calc(100vw - 2*var(--main-padding));
        background-color: var(--color-gray-5);
        border: 1px solid var(--color-gray-4);
        padding: var(--main-padding);
        box-sizing: border-box;
        z-index: 10;
        left: var(--main-padding);
        color: var(--color-text);
        box-shadow: 0 0 10px #0003;
        cursor: pointer;
    }

    sup .counter {
        cursor: pointer;
    }

    .katex-display {
        overflow-x: auto;
    }
}

@media print {
    body {
        margin: 0;
        color: black;
        background-color: white;
    }

    main {
        margin-left: 0;
    }

    nav {
        display: none;
    }

    h2 {
        break-after: avoid;
    }

    pre {
        background-color: #f9f9f9;
        break-inside: avoid;
    }

    aside {
        display: none;
    }

    .terminal {
        box-shadow: none;
        border: none;
        background-color: var(--color-gray-4) !important;
        color: black;
        break-inside: avoid;
    }

    .example,
    .problem {
        break-inside: avoid;
    }
}

@media screen and (prefers-color-scheme: dark) {
    :root {
        --color-text: #f9f9f9;
        --color-background: #141315;
        --color-code-border: #222;
        --color-code-bg: #1a1a1a;
    }

    body {
        background-color: #141217;
    }

    a,
    a:visited,
    #index a,
    #index a:visited {
        color: var(--color-text);
    }

    a:hover,
    #index a:hover {
        color: var(--color-gray-4);
    }

    .example,
    .problem {
        background: #1e1816;
        border-color: #36323c;
    }

    .sh-constructor {
        color: hsl(225, 70%, 80%);
    }

    .sh-number {
        color: hsl(0, 70%, 80%);
    }

    .sh-comment {
        color: hsl(0, 0%, 80%);
    }

    .sh-string {
        color: hsl(33, 80%, 80%);
    }

    .terminal {
        background-color: #090909;
        box-shadow: none;
        color: #fff;
    }

    aside {
        color: var(--color-gray-4);
    }

    figure img {
        filter: invert(1);
    }

    figcaption {
        color: var(--color-gray-3);
    }

    nav {
        background-image: none;
        background-color: #241d39;
        text-shadow: none;
        box-shadow: none;
    }
}

@media screen and (max-width: 750px) and (prefers-color-scheme: dark) {
    aside {
        background-color: #111;
    }
}