* { box-sizing: border-box; }

body { min-height: 100vh; }

button, input, select { font: inherit; }

.lab-nav {
    position: relative;
    z-index: 2;
    width: min(1180px, calc(100% - 40px));
    margin: 0 auto;
    padding: 26px 0 12px;
    display: flex;
    align-items: center;
    justify-content: space-between;
    gap: 20px;
}

.lab-back {
    font-family: "JetBrains Mono", monospace;
    font-size: 0.78rem;
    letter-spacing: 0.03em;
}

.lab-shell {
    position: relative;
    z-index: 1;
    width: min(1180px, calc(100% - 40px));
    margin: 0 auto;
    padding: 56px 0 64px;
}

.lab-hero { max-width: 850px; }

.lab-kicker,
.plot-eyebrow {
    margin: 0 0 14px;
    color: var(--accent);
    font-family: "JetBrains Mono", monospace;
    font-size: 0.72rem;
    font-weight: 500;
    letter-spacing: 0.14em;
    text-transform: uppercase;
}

.lab-hero h1 {
    margin: 0;
    font-family: "Space Grotesk", sans-serif;
    font-size: clamp(2.7rem, 7vw, 5.9rem);
    line-height: 0.93;
    letter-spacing: -0.055em;
}

.lab-hero h1 span { color: var(--text-mute); }

.lab-intro {
    max-width: 760px;
    margin: 30px 0 0;
    color: var(--text-soft);
    font-size: 1.05rem;
}

.lab-stats {
    display: grid;
    grid-template-columns: repeat(3, 1fr);
    margin: 52px 0 34px;
    border-top: 1px solid var(--border-strong);
    border-bottom: 1px solid var(--border-strong);
}

.lab-stat {
    min-width: 0;
    padding: 18px 22px;
    display: grid;
    gap: 2px;
    border-right: 1px solid var(--border);
}

.lab-stat:first-child { padding-left: 0; }
.lab-stat:last-child { border-right: 0; }

.lab-stat-label {
    color: var(--text-mute);
    font-family: "JetBrains Mono", monospace;
    font-size: 0.67rem;
    letter-spacing: 0.08em;
    text-transform: uppercase;
}

.lab-stat strong {
    overflow: hidden;
    color: var(--text);
    font-family: "Space Grotesk", sans-serif;
    font-size: clamp(1.8rem, 4vw, 2.7rem);
    font-weight: 600;
    line-height: 1.1;
    white-space: nowrap;
    text-overflow: ellipsis;
}

.lab-stat > span:last-child {
    color: var(--text-soft);
    font-size: 0.78rem;
}

.lab-workspace {
    display: grid;
    grid-template-columns: minmax(300px, 0.78fr) minmax(420px, 1.45fr);
    gap: 26px;
    align-items: stretch;
}

.lab-controls,
.lab-plot-panel {
    border: 1px solid var(--border);
    border-radius: 5px;
    background: var(--surface);
    background: color-mix(in srgb, var(--surface) 92%, transparent);
    box-shadow: var(--shadow-card);
}

.lab-controls { padding: 24px; }

.lab-section-heading {
    display: flex;
    align-items: baseline;
    gap: 10px;
    margin-bottom: 20px;
}

.lab-section-heading span {
    color: var(--accent);
    font-family: "JetBrains Mono", monospace;
    font-size: 0.73rem;
    letter-spacing: 0.08em;
}

.lab-section-heading h2,
.plot-header h2 {
    margin: 0;
    font-family: "Space Grotesk", sans-serif;
    font-size: 1.1rem;
    font-weight: 600;
    letter-spacing: -0.01em;
}

.control-pair,
.rescale-control {
    display: grid;
    grid-template-columns: 1fr 0.72fr;
    gap: 12px;
}

.lab-controls label,
.plot-header label {
    display: grid;
    gap: 6px;
    color: var(--text-soft);
    font-size: 0.75rem;
}

.lab-controls input,
.lab-controls select {
    width: 100%;
    min-width: 0;
    padding: 9px 10px;
    border: 1px solid var(--border-strong);
    border-radius: 4px;
    outline: none;
    background: var(--bg);
    color: var(--text);
    font-family: "JetBrains Mono", monospace;
    font-size: 0.82rem;
}

.lab-controls input:focus,
.lab-controls select:focus,
.lab-controls button:focus-visible,
.utility-actions button:focus-visible {
    border-color: var(--accent);
    box-shadow: 0 0 0 3px var(--accent-faint);
}

.control-actions {
    display: grid;
    gap: 8px;
    margin: 18px 0;
}

.control-actions button,
.primary-action,
.utility-actions button {
    border: 1px solid var(--border);
    border-radius: 4px;
    background: var(--surface-2);
    color: var(--text);
    cursor: pointer;
    transition: border-color 0.15s ease, background 0.15s ease, transform 0.15s ease;
}

.control-actions button {
    padding: 10px 12px;
    display: flex;
    align-items: center;
    justify-content: space-between;
    gap: 12px;
    text-align: left;
}

.control-actions button:hover,
.utility-actions button:hover {
    border-color: var(--accent);
    background: var(--accent-faint);
}

.control-actions button:active,
.primary-action:active,
.utility-actions button:active { transform: translateY(1px); }

.control-actions button span {
    font-family: "Space Grotesk", sans-serif;
    font-size: 0.82rem;
    font-weight: 600;
}

.control-actions button code {
    color: var(--text-mute);
    font-size: 0.68rem;
}

.rescale-control {
    align-items: end;
    padding-top: 17px;
    border-top: 1px solid var(--border);
}

.primary-action {
    padding: 9px 12px;
    border-color: var(--accent);
    background: var(--accent);
    color: #fff;
    font-size: 0.76rem;
    font-weight: 600;
}

.primary-action:hover { background: var(--accent-soft); }

.utility-actions {
    margin-top: 18px;
    display: flex;
    flex-wrap: wrap;
    gap: 6px;
}

.utility-actions button {
    padding: 6px 8px;
    background: transparent;
    color: var(--text-soft);
    font-size: 0.7rem;
}

.control-message {
    min-height: 1.5em;
    margin: 14px 0 0;
    color: var(--text-mute);
    font-size: 0.72rem;
}

.control-message.is-error { color: var(--accent); }

.lab-plot-panel {
    min-width: 0;
    padding: 20px;
    display: grid;
    grid-template-rows: auto 1fr auto;
}

.plot-header {
    display: flex;
    align-items: end;
    justify-content: space-between;
    gap: 20px;
    margin-bottom: 14px;
}

.plot-eyebrow { display: block; margin-bottom: 3px; }

.plot-header label { width: min(220px, 42%); }

.plot-sliders {
    display: flex;
    flex: 1;
    flex-wrap: wrap;
    justify-content: flex-end;
    gap: 10px 14px;
}

.plot-sliders label {
    width: auto;
    flex: 1 1 120px;
    max-width: 170px;
}

.plot-header input[type="range"] {
    width: 100%;
    accent-color: var(--accent);
}

#mapCanvas {
    display: block;
    width: 100%;
    height: clamp(360px, 49vw, 560px);
    border: 1px solid var(--border);
    border-radius: 4px;
    background: var(--bg-soft);
    cursor: grab;
    touch-action: none;
}

#mapCanvas.is-dragging { cursor: grabbing; }

.plot-legend {
    display: flex;
    flex-wrap: wrap;
    gap: 10px 18px;
    margin-top: 10px;
    color: var(--text-mute);
    font-family: "JetBrains Mono", monospace;
    font-size: 0.65rem;
}

.plot-legend span { display: inline-flex; align-items: center; gap: 6px; }
.plot-legend span:last-child { margin-left: auto; }

.plot-legend i {
    width: 17px;
    height: 2px;
    display: inline-block;
}

.horizontal-swatch { background: var(--accent); }
.vertical-swatch { background: var(--cyan); }

.lab-collision,
.lab-howto,
.lab-examples,
.lab-ledger,
.lab-equations,
.lab-references {
    margin-top: 62px;
    padding-top: 26px;
    border-top: 1px solid var(--border-strong);
}

.howto-list {
    max-width: 850px;
    margin: 0;
    padding-left: 24px;
    display: grid;
    gap: 14px;
    color: var(--text-soft);
    font-size: 0.88rem;
}

.howto-list li::marker {
    color: var(--accent);
    font-family: "JetBrains Mono", monospace;
    font-size: 0.78rem;
}

.howto-list strong {
    color: var(--text);
    font-family: "Space Grotesk", sans-serif;
    font-weight: 600;
}

.howto-list code {
    color: var(--text);
    font-size: 0.82em;
}

.examples-lede {
    max-width: 790px;
    margin: 0 0 22px;
    color: var(--text-soft);
    font-size: 0.92rem;
}

.example-stack { display: grid; gap: 26px; }

.example-card {
    display: grid;
    gap: 14px;
    padding: 20px;
    border: 1px solid var(--border);
    border-radius: 5px;
    background: var(--surface);
    background: color-mix(in srgb, var(--surface) 92%, transparent);
    box-shadow: var(--shadow-card);
}

.example-head {
    display: flex;
    align-items: baseline;
    justify-content: space-between;
    gap: 14px;
}

.example-head h3 {
    margin: 0;
    font-family: "Space Grotesk", sans-serif;
    font-size: 1rem;
    font-weight: 600;
}

.example-kicker {
    color: var(--text-mute);
    font-family: "JetBrains Mono", monospace;
    font-size: 0.65rem;
    letter-spacing: 0.1em;
    text-transform: uppercase;
}

.example-pipeline {
    color: var(--text);
    font-family: "JetBrains Mono", monospace;
    font-size: 0.78rem;
    overflow-wrap: anywhere;
}

.example-meta {
    margin: 0;
    display: grid;
    grid-template-columns: repeat(auto-fit, minmax(150px, 1fr));
    gap: 10px 18px;
    padding: 12px 14px;
    border: 1px solid var(--border);
    border-radius: 4px;
    background: var(--bg-soft);
}

.example-meta div { display: grid; gap: 2px; min-width: 0; }

.example-meta dt {
    color: var(--text-mute);
    font-family: "JetBrains Mono", monospace;
    font-size: 0.62rem;
    letter-spacing: 0.08em;
    text-transform: uppercase;
}

.example-meta dd {
    margin: 0;
    color: var(--text);
    font-family: "JetBrains Mono", monospace;
    font-size: 0.8rem;
    overflow-wrap: anywhere;
}

.example-prose {
    margin: 0;
    max-width: 790px;
    color: var(--text-soft);
    font-size: 0.85rem;
}

.example-plot {
    display: block;
    width: 100%;
    height: auto;
    border: 1px solid var(--border);
    border-radius: 4px;
}

.example-caption {
    margin: 0;
    color: var(--text-mute);
    font-family: "JetBrains Mono", monospace;
    font-size: 0.65rem;
    overflow-wrap: anywhere;
}

.ref-mark {
    border-bottom: none;
    color: var(--accent);
    font-family: "JetBrains Mono", monospace;
    font-size: 0.72em;
    vertical-align: super;
}

.reference-list {
    max-width: 790px;
    margin: 0;
    padding-left: 24px;
    display: grid;
    gap: 12px;
    color: var(--text-soft);
    font-size: 0.82rem;
}

.reference-list li::marker {
    color: var(--accent);
    font-family: "JetBrains Mono", monospace;
    font-size: 0.72rem;
}

.collision-lede {
    max-width: 790px;
    margin: 0 0 22px;
    color: var(--text-soft);
    font-size: 0.92rem;
}

.collision-grid {
    display: grid;
    grid-template-columns: repeat(3, 1fr);
    gap: 12px;
}

.collision-card {
    display: grid;
    gap: 8px;
    padding: 16px;
    border: 1px solid var(--border);
    border-radius: 4px;
    background: var(--surface);
    background: color-mix(in srgb, var(--surface) 92%, transparent);
    box-shadow: var(--shadow-card);
}

.collision-input {
    color: var(--text-mute);
    font-family: "JetBrains Mono", monospace;
    font-size: 0.7rem;
    letter-spacing: 0.03em;
}

.collision-image {
    color: var(--text);
    font-family: "JetBrains Mono", monospace;
    font-size: 0.95rem;
    font-weight: 600;
    overflow-wrap: anywhere;
}

.collision-note {
    margin: 18px 0 0;
    padding: 14px 16px;
    border-left: 3px solid var(--cyan);
    background: var(--surface-2);
    color: var(--text-soft);
    font-size: 0.82rem;
}

.pipeline-expression {
    margin-bottom: 18px;
    color: var(--text);
    font-family: "JetBrains Mono", monospace;
    font-size: clamp(0.82rem, 2vw, 1.02rem);
    overflow-wrap: anywhere;
}

.pipeline-list {
    margin: 0;
    padding: 0;
    list-style: none;
    counter-reset: pipeline;
}

.pipeline-list li {
    counter-increment: pipeline;
    display: grid;
    grid-template-columns: 42px minmax(160px, 0.45fr) 1fr 90px;
    gap: 12px;
    align-items: baseline;
    padding: 10px 0;
    border-bottom: 1px solid var(--border);
}

.pipeline-list li::before {
    content: counter(pipeline, decimal-leading-zero);
    color: var(--text-mute);
    font-family: "JetBrains Mono", monospace;
    font-size: 0.68rem;
}

.pipeline-name {
    color: var(--text);
    font-family: "Space Grotesk", sans-serif;
    font-size: 0.88rem;
    font-weight: 600;
}

.pipeline-detail,
.pipeline-factor {
    color: var(--text-soft);
    font-family: "JetBrains Mono", monospace;
    font-size: 0.72rem;
}

.pipeline-factor { text-align: right; }

.determinant-proof {
    margin-top: 18px;
    padding: 14px 16px;
    display: flex;
    align-items: center;
    justify-content: space-between;
    gap: 18px;
    border-left: 3px solid var(--accent);
    background: var(--accent-faint);
}

.determinant-proof span {
    color: var(--accent);
    font-family: "JetBrains Mono", monospace;
    font-size: 0.68rem;
    text-transform: uppercase;
    letter-spacing: 0.1em;
}

.determinant-proof code {
    color: var(--text);
    text-align: right;
    overflow-wrap: anywhere;
}

.equation-stack {
    display: grid;
    gap: 0;
    border: 1px solid var(--border);
    border-radius: 4px;
    background: var(--surface);
}

.equation-stack code {
    padding: 15px 18px;
    border-bottom: 1px solid var(--border);
    color: var(--text);
    font-size: clamp(0.88rem, 1.6vw, 0.98rem);
    overflow-wrap: anywhere;
}

.equation-stack code:last-child { border-bottom: 0; }

.lab-equations > p {
    max-width: 790px;
    color: var(--text-soft);
    font-size: 0.88rem;
}

.lab-footer {
    margin-top: 70px;
    padding-top: 20px;
    display: flex;
    justify-content: space-between;
    gap: 20px;
    border-top: 1px solid var(--border);
    color: var(--text-mute);
    font-size: 0.74rem;
}

@media (max-width: 900px) {
    .lab-workspace { grid-template-columns: 1fr; }
    .lab-plot-panel { min-height: 560px; }
}

@media (max-width: 640px) {
    .lab-nav,
    .lab-shell { width: min(100% - 28px, 1180px); }

    .lab-shell { padding-top: 38px; }
    /* 14vw let "counterexample." overflow a 375px viewport; 12vw fits. */
    .lab-hero h1 { font-size: clamp(2.2rem, 12vw, 4.5rem); }

    .lab-stats { grid-template-columns: 1fr; }
    .lab-stat,
    .lab-stat:first-child {
        padding: 14px 0;
        border-right: 0;
        border-bottom: 1px solid var(--border);
    }
    .lab-stat:last-child { border-bottom: 0; }

    .lab-controls,
    .lab-plot-panel { padding: 16px; }
    .control-pair,
    .rescale-control { grid-template-columns: 1fr; }

    .control-actions button {
        align-items: flex-start;
        flex-direction: column;
        gap: 2px;
    }

    .plot-header { align-items: flex-start; flex-direction: column; }
    .plot-header label { width: 100%; }
    #mapCanvas { height: 390px; }
    .lab-plot-panel { min-height: 0; }

    .utility-actions button {
        padding: 10px 12px;
        font-size: 0.74rem;
    }

    .collision-grid { grid-template-columns: 1fr; }

    .plot-sliders label { max-width: 100%; }

    .example-head {
        align-items: flex-start;
        flex-direction: column;
        gap: 4px;
    }

    .pipeline-list li {
        grid-template-columns: 32px 1fr 72px;
    }
    .pipeline-detail { grid-column: 2 / -1; }
    .pipeline-factor { grid-column: 3; grid-row: 1; }

    .determinant-proof,
    .lab-footer { align-items: flex-start; flex-direction: column; }
    .determinant-proof code { text-align: left; }
}

@media (prefers-reduced-motion: reduce) {
    *, *::before, *::after { scroll-behavior: auto !important; transition: none !important; }
}