* {
    box-sizing: border-box;
}

:root {
    --bg: #111111;
    --text: #eeeeee;
    --muted: #aaaaaa;
    --border: #444444;
    --button-bg: #1b1b1b;
    --button-hover: #262626;
    --good: #53b66d;
}

body[data-theme="light"] {
    --bg: #eeeeee;
    --text: #111111;
    --muted: #555555;
    --border: #999999;
    --button-bg: #f8f8f8;
    --button-hover: #ffffff;
    --good: #2c8a3e;
}

html {
    scroll-behavior: smooth;
}

body {
    margin: 0;
    background: var(--bg);
    color: var(--text);
    font-family: Arial, Helvetica, sans-serif;
}

h1 {
    margin: 0 0 24px;
    font-size: 56px;
    font-weight: 700;
    line-height: 1;
}

h2 {
    margin: 36px 0 16px;
    font-size: 32px;
    font-weight: 700;
}

p {
    margin: 0 0 16px;
    font-size: 24px;
    line-height: 1.45;
}

a {
    color: inherit;
}

em {
    font-style: italic;
}

.theme-toggle {
    position: fixed;
    top: 14px;
    right: 14px;
    z-index: 10;
}

.page {
    width: min(100%, 860px);
    margin: 0 auto;
    padding: 48px 20px 72px;
}

.kicker,
.intro,
.label {
    font-size: 18px;
}

.kicker {
    margin-bottom: 10px;
    color: var(--muted);
}

.intro {
    color: var(--muted);
}

.example-block {
    margin: 28px 0;
    padding-left: 18px;
    border-left: 4px solid var(--border);
}

.good-example {
    border-left-color: var(--good);
}

.example-line {
    font-family: "Courier New", Courier, monospace;
    font-size: 22px;
}

.thought {
    margin-top: 34px;
}

button {
    padding: 8px 12px;
    border: 1px solid var(--border);
    border-radius: 4px;
    background: var(--button-bg);
    color: var(--text);
    font: inherit;
    cursor: pointer;
}

button:hover,
button:focus-visible {
    background: var(--button-hover);
}

@media (max-width: 640px) {
    .page {
        padding: 28px 16px 48px;
    }

    h1 {
        font-size: 42px;
    }

    h2 {
        font-size: 28px;
    }

    p {
        font-size: 20px;
    }

    .example-line {
        font-size: 19px;
    }
}