@font-face {
    font-family: "JetBrains Mono";
    src: url("/res/fonts/JetBrains%20Mono/JetBrainsMono-Thin.woff2")
        format("woff2");
    font-weight: 100;
    font-style: normal;
    font-display: swap;
}

@font-face {
    font-family: "JetBrains Mono";
    src: url("/res/fonts/JetBrains%20Mono/JetBrainsMono-ThinItalic.woff2")
        format("woff2");
    font-weight: 100;
    font-style: italic;
    font-display: swap;
}

@font-face {
    font-family: "JetBrains Mono";
    src: url("/res/fonts/JetBrains%20Mono/JetBrainsMono-ExtraLight.woff2")
        format("woff2");
    font-weight: 200;
    font-style: normal;
    font-display: swap;
}

@font-face {
    font-family: "JetBrains Mono";
    src: url("/res/fonts/JetBrains%20Mono/JetBrainsMono-ExtraLightItalic.woff2")
        format("woff2");
    font-weight: 200;
    font-style: italic;
    font-display: swap;
}

@font-face {
    font-family: "JetBrains Mono";
    src: url("/res/fonts/JetBrains%20Mono/JetBrainsMono-Light.woff2")
        format("woff2");
    font-weight: 300;
    font-style: normal;
    font-display: swap;
}

@font-face {
    font-family: "JetBrains Mono";
    src: url("/res/fonts/JetBrains%20Mono/JetBrainsMono-LightItalic.woff2")
        format("woff2");
    font-weight: 300;
    font-style: italic;
    font-display: swap;
}

@font-face {
    font-family: "JetBrains Mono";
    src: url("/res/fonts/JetBrains%20Mono/JetBrainsMono-Regular.woff2")
        format("woff2");
    font-weight: 400;
    font-style: normal;
    font-display: swap;
}

@font-face {
    font-family: "JetBrains Mono";
    src: url("/res/fonts/JetBrains%20Mono/JetBrainsMono-Italic.woff2")
        format("woff2");
    font-weight: 400;
    font-style: italic;
    font-display: swap;
}

@font-face {
    font-family: "JetBrains Mono";
    src: url("/res/fonts/JetBrains%20Mono/JetBrainsMono-Medium.woff2")
        format("woff2");
    font-weight: 500;
    font-style: normal;
    font-display: swap;
}

@font-face {
    font-family: "JetBrains Mono";
    src: url("/res/fonts/JetBrains%20Mono/JetBrainsMono-MediumItalic.woff2")
        format("woff2");
    font-weight: 500;
    font-style: italic;
    font-display: swap;
}

@font-face {
    font-family: "JetBrains Mono";
    src: url("/res/fonts/JetBrains%20Mono/JetBrainsMono-SemiBold.woff2")
        format("woff2");
    font-weight: 600;
    font-style: normal;
    font-display: swap;
}

@font-face {
    font-family: "JetBrains Mono";
    src: url("/res/fonts/JetBrains%20Mono/JetBrainsMono-SemiBoldItalic.woff2")
        format("woff2");
    font-weight: 600;
    font-style: italic;
    font-display: swap;
}

@font-face {
    font-family: "JetBrains Mono";
    src: url("/res/fonts/JetBrains%20Mono/JetBrainsMono-Bold.woff2")
        format("woff2");
    font-weight: 700;
    font-style: normal;
    font-display: swap;
}

@font-face {
    font-family: "JetBrains Mono";
    src: url("/res/fonts/JetBrains%20Mono/JetBrainsMono-BoldItalic.woff2")
        format("woff2");
    font-weight: 700;
    font-style: italic;
    font-display: swap;
}

@font-face {
    font-family: "JetBrains Mono";
    src: url("/res/fonts/JetBrains%20Mono/JetBrainsMono-ExtraBold.woff2")
        format("woff2");
    font-weight: 800;
    font-style: normal;
    font-display: swap;
}

@font-face {
    font-family: "JetBrains Mono";
    src: url("/res/fonts/JetBrains%20Mono/JetBrainsMono-ExtraBoldItalic.woff2")
        format("woff2");
    font-weight: 800;
    font-style: italic;
    font-display: swap;
}

:root {
    --bg-color: #ffffff;
    --text-color: #111111;
    --link-color: #0f62fe;
    --link-visited-color: #8a3ffc;
    --link-hover-color: #0043ce;
    --link-active-color: #6929c4;
    color-scheme: light;
    font-family: "JetBrains Mono", monospace;
    background: var(--bg-color);
    color: var(--text-color);

    scrollbar-color: var(--text-color) var(--bg-color);
}

:root[data-theme="dark"] {
    --bg-color: #111111;
    --text-color: #ffffff;
    --link-color: #33b1ff;
    --link-visited-color: #be95ff;
    --link-hover-color: #61c2ff;
    --link-active-color: #a268ff;
    color-scheme: dark;
}

body {
    margin: 0;
    min-height: 100vh;
    display: grid;
    place-items: center;
    padding: 10pt;
}

* {
    box-sizing: border-box;
}

ul {
    margin: 0 0 0 10pt !important;
    padding: 0;
}

main {
    margin: 0 auto;
    width: min(85ch, 100%);
    min-width: 40ch;
    display: flex;
    flex-direction: column;
    gap: 0;

    border: 1px solid var(--text-color);
    overflow: hidden;

    > * {
        margin: 0;
        padding: 10pt;
        overflow-wrap: break-word;
        hyphens: auto;
    }

    > *:not(:last-child) {
        border-bottom: 1px solid var(--text-color);
    }
}

.horizontal-split {
    display: flex;
    flex-direction: column;
    flex-wrap: nowrap;
    gap: 0;
    margin: 0;
    padding: 0;
    align-items: stretch;

    > * {
        flex: 0 0 auto;
        margin: 0;
        padding: 10pt;
    }

    > :not(:last-child) {
        border-bottom: 1px solid var(--text-color);
    }

    > :first-child {
        margin-top: 0;
    }

    > :last-child {
        flex: 1 0 auto;
        margin-bottom: 0;
    }

    > :first-child,
    > :last-child {
        > :first-child {
            margin-top: 0;
        }
        > :last-child {
            margin-bottom: 0;
        }
    }
}

.vertical-split {
    display: flex;
    flex-direction: row;
    flex-wrap: nowrap;
    gap: 0;
    margin: 0;
    padding: 0;
    align-items: stretch;

    > * {
        min-width: 0;
        margin: 0;
        padding: 10pt;
        flex: 1 1 0;
    }

    > :not(:last-child) {
        border-right: 1px solid var(--text-color);
    }

    > :first-child {
        margin-top: 0;
    }

    > :last-child {
        margin-bottom: 0;
    }
}

.horizontal-split,
.vertical-split {
    :first-child,
    :last-child {
        > :first-child {
            margin-top: 0;
        }
        > :last-child {
            margin-bottom: 0;
        }
    }

    > .vertical-split,
    > .horizontal-split {
        padding: 0;
    }
}

.vertical-split.content-size-left > :first-child {
    flex: 0 1 auto;
    width: max-content;
    max-width: 50%;
}

.vertical-split.content-size-left > :last-child {
    flex: 1 1 0;
    width: auto;
}

.vertical-split.content-size-right > :first-child {
    flex: 1 1 0;
    width: auto;
}

.vertical-split.content-size-right > :last-child {
    flex: 0 1 auto;
    width: max-content;
    max-width: 50%;
}

@media (max-width: 65ch) {
    body {
        /*aligned to top*/
        align-items: start;
    }

    .vertical-split {
        flex-direction: column;

        > * {
            width: 100% !important;
            max-width: none !important;
        }

        > :not(:last-child) {
            border-right: none;
            border-bottom: 1px solid var(--text-color);
        }

        > :last-child {
            flex: 0 1 auto;
        }
    }

    .vertical-split .overflow-scroll {
        max-height: none !important;
    }

    .vertical-split .horizontal-split > * {
        width: 100% !important;
        max-width: none !important;
    }

    .vertical-split.content-size-left > :first-child,
    .vertical-split.content-size-left > :last-child,
    .vertical-split.content-size-right > :first-child,
    .vertical-split.content-size-right > :last-child {
        width: 100% !important;
        max-width: none !important;
        flex: 0 1 auto;
    }
}

.overflow-scroll {
    overflow: auto;
    overflow-wrap: anywhere;
    word-break: break-word;
    scrollbar-color: var(--text-color) var(--bg-color);
    scrollbar-width: thin;
}

.overflow-hidden {
    overflow: hidden;
}

.highlight {
    display: inline-block;
    background: var(--text-color);
    color: var(--bg-color);
    padding: 0 0.5ch;
    margin: 0;
}

nav {
    display: flex;
    align-items: center;
    gap: 10pt;
}

.theme-toggle {
    margin-left: auto;
    border: 1px solid var(--text-color);
    background: var(--bg-color);
    color: var(--text-color);
    cursor: pointer;
    display: inline-grid;
    place-items: center;
    padding: 5pt;
}

.theme-toggle:hover,
.theme-toggle:focus-visible {
    background: var(--text-color);
    color: var(--bg-color);
}

.theme-toggle svg {
    display: block;
    width: 1.25rem;
    height: 1.25rem;
}

.theme-toggle .moon-icon,
:root[data-theme="light"] .theme-toggle .sun-icon {
    display: none;
}

:root[data-theme="light"] .theme-toggle .moon-icon {
    display: block;
}

a:link {
    color: var(--link-color);
    font-weight: bold;
}

a:visited {
    color: var(--link-visited-color);
    font-weight: bold;
}

a:hover {
    color: var(--link-hover-color);
    text-decoration: underline;
}

a:active {
    color: var(--link-active-color);
}

a > .highlight::after {
    content: " >";
}