/* ============================================================
   Shared theme for the PBT tutorial pages.
   Palette and typographic voice borrowed from antithesis.com:
   near-black plum background, warm off-white text, coral accent,
   serif display headings, mono eyebrow labels.
   ============================================================ */

:root {
    color-scheme: dark;
    --bg: #16031b;
    --bg-elevated: #240627;
    --bg-panel: #310834;
    --bg-sunken: #1d0521;
    --fg: #fcfbf9;
    --fg-muted: rgba(252, 251, 249, 0.75);
    --fg-subtle: rgba(252, 251, 249, 0.55);
    --border: rgba(252, 251, 249, 0.12);
    --border-strong: rgba(252, 251, 249, 0.24);
    --accent: #ffa091;
    --accent-hover: #ffbdb3;
    --accent-tint: rgba(255, 160, 145, 0.16);
    --aqua: #6fdff1;
    --green: #5fdd8d;
    --yellow: #fae500;
    --lavender: #e1d8f8;
    --sky: #8b81fe;
    --error: #e5484d;
    --font-serif: "Iowan Old Style", "Palatino Linotype", Palatino, "Book Antiqua", Georgia, serif;
    --font-sans: ui-sans-serif, system-ui, -apple-system, "Segoe UI", Roboto, Helvetica, Arial, sans-serif;
    --font-mono: ui-monospace, SFMono-Regular, Menlo, Monaco, Consolas, "Liberation Mono", "Courier New", monospace;
    --edge-pad: 32px;
    --nav-h: 48px;
    --radius: 10px;
}

html {
    scroll-behavior: smooth;
    scroll-padding-top: 72px;
}

body {
    font-family: var(--font-sans);
    margin: 0;
    padding: 0 var(--edge-pad) 64px;
    line-height: 1.6;
    font-size: 15px;
    color: var(--fg);
    background: var(--bg);
}

h1 {
    font-family: var(--font-serif);
    font-weight: 500;
    font-size: clamp(30px, 4vw, 42px);
    letter-spacing: -0.01em;
    line-height: 1.15;
    margin: 36px 0 12px;
}

h2 {
    font-family: var(--font-serif);
    font-weight: 500;
    font-size: 27px;
    letter-spacing: -0.005em;
    margin: 56px 0 12px;
}

/* Eyebrow-style microheadings */
h3 {
    font-family: var(--font-mono);
    font-size: 12px;
    font-weight: 600;
    text-transform: uppercase;
    letter-spacing: 0.09em;
    color: var(--accent);
    margin: 30px 0 8px;
}

p {
    margin: 10px 0;
}

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

a:hover {
    color: var(--accent-hover);
    text-decoration: underline;
    text-underline-offset: 3px;
}

.muted {
    font-size: 12px;
    color: var(--fg-subtle);
}

/* ---------- Top nav ---------- */
.nav {
    display: flex;
    gap: 6px;
    align-items: center;
    box-sizing: border-box;
    height: var(--nav-h);
    padding: 0 var(--edge-pad);
    border-bottom: 1px solid var(--border);
    background: rgba(22, 3, 27, 0.96);
    backdrop-filter: blur(10px);
    -webkit-backdrop-filter: blur(10px);
    margin: 0 calc(-1 * var(--edge-pad));
    position: sticky;
    top: 0;
    z-index: 50;
}

.nav a {
    text-decoration: none;
    color: var(--fg-muted);
    padding: 5px 12px;
    border-radius: 6px;
    font-size: 13px;
}

.nav a:hover {
    color: var(--fg);
    background: rgba(252, 251, 249, 0.07);
    text-decoration: none;
}

.nav a.active {
    color: var(--accent);
}

/* ---------- Code ---------- */
code,
pre {
    font-family: var(--font-mono);
}

code {
    background: rgba(252, 251, 249, 0.08);
    padding: 1px 5px;
    border-radius: 4px;
    font-size: 0.9em;
}

pre {
    background: var(--bg-sunken);
    border: 1px solid var(--border);
    border-radius: 8px;
    padding: 14px 16px;
    overflow: auto;
    font-size: 13px;
    line-height: 1.5;
}

pre code {
    background: transparent;
    padding: 0;
    font-size: inherit;
}

/* highlight.js: use our surface, not the theme's */
.hljs {
    background: transparent;
}

/* ---------- Buttons & inputs ---------- */
button {
    font-family: var(--font-sans);
    font-size: 13px;
    padding: 6px 12px;
    border-radius: 8px;
    border: 1px solid var(--border-strong);
    background: rgba(252, 251, 249, 0.05);
    color: var(--fg);
    cursor: pointer;
}

button:hover {
    background: rgba(252, 251, 249, 0.11);
}

button:active {
    transform: translateY(1px);
}

button.primary {
    background: var(--accent);
    border-color: var(--accent);
    color: var(--bg);
    font-weight: 600;
}

button.primary:hover {
    background: var(--accent-hover);
    border-color: var(--accent-hover);
}

input[type="text"],
input[type="number"],
textarea,
select {
    font-family: var(--font-mono);
    font-size: 13px;
    padding: 7px 9px;
    border-radius: 6px;
    border: 1px solid var(--border-strong);
    background: rgba(252, 251, 249, 0.05);
    color: var(--fg);
}

input:focus-visible,
textarea:focus-visible,
select:focus-visible,
button:focus-visible {
    outline: 2px solid var(--accent);
    outline-offset: 1px;
}

input[type="range"] {
    accent-color: var(--accent);
}

/* ---------- Details / summary ---------- */
details {
    margin: 12px 0;
    border: 1px solid var(--border);
    border-radius: 8px;
    padding: 0 14px;
    background: var(--bg-elevated);
}

details[open] {
    padding-bottom: 10px;
}

details summary {
    cursor: pointer;
    padding: 10px 0;
    font-weight: 600;
    color: var(--accent);
    font-size: 14px;
}

details > :not(summary) {
    margin-top: 4px;
}

/* ---------- Callouts ---------- */
.callout {
    border: 1px solid var(--border);
    border-left-width: 3px;
    border-radius: 8px;
    padding: 12px 16px;
    margin: 16px 0;
    background: var(--bg-elevated);
}

.callout.tip {
    border-left-color: var(--aqua);
    background: rgba(111, 223, 241, 0.07);
}

.callout.warn {
    border-left-color: #ffb070;
    background: rgba(206, 134, 75, 0.14);
}

.callout.ok {
    border-left-color: var(--green);
    background: rgba(95, 221, 141, 0.08);
}

.callout p:first-child {
    margin-top: 0;
}

.callout p:last-child {
    margin-bottom: 0;
}

/* ---------- Generic embed card ---------- */
.embed {
    margin: 24px 0;
    padding: 18px 20px;
    border: 1px solid var(--border);
    border-radius: 12px;
    background: var(--bg-elevated);
}

.embed .embed-title {
    font-family: var(--font-mono);
    font-weight: 600;
    font-size: 11px;
    text-transform: uppercase;
    letter-spacing: 0.09em;
    color: var(--accent);
    margin-bottom: 14px;
}

/* ============================================================
   Hypothesis runner widget (tests_app.py) — one flat card
   ============================================================ */

.runner-embed {
    margin: 24px 0;
}

.runner-card {
    border: 1px solid var(--border);
    border-radius: 12px;
    background: var(--bg-elevated);
    overflow: hidden;
}

.runner-head {
    display: flex;
    align-items: center;
    flex-wrap: wrap;
    gap: 10px;
    padding: 10px 16px;
    border-bottom: 1px solid var(--border);
}

.runner-title {
    font-family: var(--font-mono);
    font-weight: 600;
    font-size: 11px;
    text-transform: uppercase;
    letter-spacing: 0.09em;
    color: var(--accent);
}

.worker-pill {
    display: inline-block;
    font-family: var(--font-mono);
    font-size: 11px;
    font-weight: normal;
    padding: 2px 10px;
    border-radius: 12px;
    background: rgba(250, 229, 0, 0.1);
    border: 1px solid rgba(250, 229, 0, 0.35);
    color: var(--yellow);
    margin-left: auto;
    white-space: nowrap;
}

.worker-pill.ready {
    background: rgba(95, 221, 141, 0.1);
    border-color: rgba(95, 221, 141, 0.4);
    color: var(--green);
}

.worker-pill.error {
    background: rgba(229, 72, 77, 0.12);
    border-color: rgba(229, 72, 77, 0.45);
    color: #ff8589;
}

/* Tabs (advanced runner) */
.tabs {
    display: flex;
    gap: 4px;
    flex-wrap: wrap;
}

.tab {
    padding: 4px 10px;
    border: 1px solid transparent;
    border-radius: 6px;
    background: transparent;
    color: var(--fg-subtle);
    cursor: pointer;
    font-family: var(--font-mono);
    font-size: 12px;
}

.tab:hover {
    background: rgba(252, 251, 249, 0.07);
    color: var(--fg);
}

.tab.active {
    background: var(--accent-tint);
    border-color: rgba(255, 160, 145, 0.4);
    color: var(--accent);
}

/* Bug-threshold strip (physics runner) */
.runner-bugbar {
    display: flex;
    align-items: center;
    flex-wrap: wrap;
    gap: 12px;
    padding: 10px 16px;
    border-bottom: 1px solid var(--border);
    background: rgba(252, 251, 249, 0.03);
    font-size: 13px;
}

.runner-bugbar label {
    font-weight: 500;
    white-space: nowrap;
}

.runner-bugbar input[type="range"] {
    flex: 1;
    min-width: 140px;
    max-width: 320px;
}

.runner-bugbar-note {
    flex-basis: 100%;
    font-size: 12px;
    color: var(--fg-subtle);
}

.threshold-value {
    font-family: var(--font-mono);
    font-size: 12px;
    color: var(--fg-subtle);
    min-width: 130px;
    text-align: right;
}

.threshold-value.armed {
    color: #ff8589;
}

/* Source / output columns */
.runner-split {
    display: grid;
    grid-template-columns: minmax(0, 1fr) 6px minmax(0, 1fr);
    align-items: stretch;
}

.runner-divider {
    cursor: col-resize;
    position: relative;
}

.runner-divider::before {
    content: "";
    position: absolute;
    top: 0;
    bottom: 0;
    left: 50%;
    width: 1px;
    background: var(--border);
}

.runner-divider:hover::before {
    background: var(--accent);
    width: 2px;
}

.runner-col {
    min-width: 0;
    padding: 12px 16px;
    display: flex;
    flex-direction: column;
}

.runner-col-head {
    display: flex;
    align-items: center;
    gap: 8px;
    margin-bottom: 8px;
}

.runner-col-label {
    font-family: var(--font-mono);
    font-size: 11px;
    font-weight: 600;
    text-transform: uppercase;
    letter-spacing: 0.09em;
    color: var(--fg-subtle);
    margin-right: auto;
}

.runner-col-head button {
    padding: 3px 10px;
    font-size: 12px;
    border-color: var(--border);
    background: transparent;
    color: var(--fg-muted);
}

.runner-col-head button:hover {
    background: rgba(252, 251, 249, 0.08);
    color: var(--fg);
}

.runner-code {
    margin: 0;
    border: none;
    border-radius: 8px;
    background: var(--bg-sunken);
    max-height: 60vh;
    overflow: auto;
}

.runner-editor {
    width: 100%;
    min-height: 220px;
    box-sizing: border-box;
    font-family: var(--font-mono);
    font-size: 12.5px;
    line-height: 1.5;
    padding: 14px 16px;
    border-radius: 8px;
    border: 1px solid var(--accent);
    background: var(--bg-sunken);
    color: var(--fg);
    resize: vertical;
}

.runner-output {
    font-family: var(--font-mono);
    font-size: 12.5px;
    line-height: 1.5;
    white-space: pre-wrap;
    word-break: break-word;
    background: var(--bg-sunken);
    border-radius: 8px;
    padding: 14px 16px;
    overflow: auto;
    max-height: 60vh;
    flex: 1;
}

.runner-output:empty::before {
    content: "run a test to see output";
    color: var(--fg-subtle);
    font-style: italic;
}

/* Bottom actions bar: tests + generators as chips */
.runner-actions {
    display: flex;
    align-items: flex-start;
    flex-wrap: wrap;
    gap: 10px 28px;
    padding: 12px 16px;
    border-top: 1px solid var(--border);
}

.runner-actions-group {
    display: flex;
    align-items: center;
    flex-wrap: wrap;
    gap: 8px;
}

.runner-actions-label {
    font-family: var(--font-mono);
    font-size: 11px;
    font-weight: 600;
    text-transform: uppercase;
    letter-spacing: 0.09em;
    color: var(--fg-subtle);
}

.chip-row {
    display: flex;
    flex-wrap: wrap;
    gap: 6px;
}

.chip-row button {
    padding: 4px 12px;
    font-family: var(--font-mono);
    font-size: 12px;
    border-radius: 14px;
    border: 1px solid var(--border-strong);
    background: transparent;
}

.chip-row button:hover {
    background: var(--accent-tint);
    border-color: var(--accent);
    color: var(--accent);
}

.runner-count {
    width: 52px;
    padding: 3px 7px;
    font-size: 12px;
}

.runner-note {
    margin: 0;
    padding: 8px 16px 12px;
    font-size: 12px;
    color: var(--fg-subtle);
}

@media (max-width: 900px) {
    .runner-split {
        grid-template-columns: 1fr !important;
    }

    .runner-divider {
        display: none;
    }
}

/* ---------- Running indicator + live progress ---------- */
.running-indicator {
    display: inline-flex;
    align-items: center;
    gap: 6px;
    padding: 6px 10px;
    border-radius: 6px;
    background: rgba(111, 223, 241, 0.08);
    border: 1px solid rgba(111, 223, 241, 0.3);
    color: var(--aqua);
    font-size: 13px;
    font-family: var(--font-sans);
}

.running-indicator .spinner {
    display: inline-block;
    font-size: 16px;
    animation: tests-spin 0.9s linear infinite;
}

@keyframes tests-spin {
    from { transform: rotate(0deg); }
    to { transform: rotate(360deg); }
}

.running-counter {
    display: inline-block;
    margin-left: 6px;
    padding: 1px 8px;
    font-family: var(--font-mono);
    font-size: 12px;
    background: rgba(111, 223, 241, 0.14);
    border-radius: 10px;
    color: var(--aqua);
}

.running-example {
    margin-top: 8px;
    padding: 4px 8px;
    font-family: var(--font-mono);
    font-size: 11px;
    color: var(--fg-subtle);
    background: rgba(252, 251, 249, 0.04);
    border-radius: 4px;
    min-height: 18px;
    white-space: nowrap;
    overflow: hidden;
    text-overflow: ellipsis;
    max-width: 100%;
}

.test-progress {
    width: 100%;
    height: 6px;
    background: rgba(252, 251, 249, 0.08);
    border-radius: 3px;
    overflow: hidden;
    margin-top: 10px;
}

.test-progress-fill {
    height: 100%;
    width: 100%;
    background: var(--accent);
    transform: scaleX(0);
    transform-origin: left center;
    will-change: transform, background;
}

.test-header {
    font-family: var(--font-mono);
    white-space: pre-wrap;
    margin-bottom: 6px;
    font-size: 12px;
}

.test-stdout {
    background: rgba(252, 251, 249, 0.04);
    border: none;
    padding: 8px 10px;
    border-radius: 4px;
    white-space: pre-wrap;
    font-size: 12px;
    margin: 6px 0 10px;
    max-height: 220px;
    overflow: auto;
}

/* ---------- Strategy samples (@composite output) ---------- */
.sample-rows {
    display: flex;
    flex-direction: column;
    gap: 2px;
    margin-top: 6px;
}

.sample-row {
    display: grid;
    grid-template-columns: 24px minmax(0, 1fr);
    gap: 8px;
    align-items: baseline;
    padding: 3px 0;
    border-bottom: 1px dotted rgba(252, 251, 249, 0.07);
    animation: sample-in 160ms ease-out;
}

.sample-row:last-child {
    border-bottom: none;
}

@keyframes sample-in {
    from { opacity: 0; transform: translateY(-2px); }
    to { opacity: 1; transform: none; }
}

.sample-idx {
    font-family: var(--font-mono);
    font-size: 10px;
    color: var(--fg-subtle);
    text-align: right;
}

.sample-val {
    font-family: var(--font-mono);
    font-size: 11.5px;
    color: var(--fg-muted);
    white-space: pre-wrap;
    word-break: break-word;
}

/* ---------- Shrink path ---------- */
.shrink-trace {
    margin-top: 10px;
    border: 1px solid rgba(250, 229, 0, 0.3);
    border-radius: 8px;
    background: rgba(250, 229, 0, 0.04);
    padding: 0 12px;
}

.shrink-trace summary {
    cursor: pointer;
    padding: 8px 0;
    font-weight: 600;
    color: var(--yellow);
    font-size: 12px;
    list-style: none;
    font-family: var(--font-sans);
}

.shrink-trace summary::-webkit-details-marker {
    display: none;
}

.shrink-trace summary::before {
    content: "▸ ";
}

.shrink-trace[open] summary::before {
    content: "▾ ";
}

.shrink-note {
    font-size: 11px;
    color: var(--fg-subtle);
    font-style: italic;
    margin-bottom: 6px;
}

.shrink-rows {
    display: flex;
    flex-direction: column;
    gap: 3px;
    padding-bottom: 10px;
}

.shrink-row {
    display: grid;
    grid-template-columns: 58px 60px minmax(0, 1fr);
    align-items: center;
    gap: 8px;
}

.shrink-tag {
    font-family: var(--font-mono);
    font-size: 10px;
    text-transform: uppercase;
    letter-spacing: 0.06em;
    color: var(--fg-subtle);
    text-align: right;
}

.shrink-row.minimal .shrink-tag {
    color: var(--green);
    font-weight: 700;
}

.shrink-bar {
    display: block;
    height: 6px;
    background: rgba(252, 251, 249, 0.08);
    border-radius: 3px;
    overflow: hidden;
}

.shrink-bar > span {
    display: block;
    height: 100%;
    background: var(--yellow);
    opacity: 0.75;
}

.shrink-row.minimal .shrink-bar > span {
    background: var(--green);
    opacity: 1;
}

.shrink-repr {
    font-family: var(--font-mono);
    font-size: 11px;
    color: var(--fg-muted);
    white-space: nowrap;
    overflow: hidden;
    text-overflow: ellipsis;
}

.shrink-row.minimal .shrink-repr {
    color: var(--fg);
    font-weight: 600;
}

@media (max-width: 620px) {
    .shrink-row {
        grid-template-columns: 52px minmax(0, 1fr);
    }

    .shrink-bar {
        display: none;
    }
}

/* ---------- Example browser ---------- */
.examples-log {
    margin-top: 10px;
    border: 1px solid var(--border);
    border-radius: 8px;
    padding: 0 12px;
    background: transparent;
}

.examples-log summary {
    cursor: pointer;
    padding: 8px 0;
    font-weight: 600;
    color: var(--accent);
    font-size: 12px;
    list-style: none;
    font-family: var(--font-sans);
}

.examples-log summary::-webkit-details-marker {
    display: none;
}

.examples-log summary::before {
    content: "▸ ";
}

.examples-log[open] summary::before {
    content: "▾ ";
}

.examples-controls {
    display: flex;
    flex-wrap: wrap;
    gap: 8px;
    align-items: center;
    margin: 4px 0 8px;
}

.examples-filter {
    flex: 1;
    min-width: 160px;
    padding: 4px 8px;
    font-size: 12px;
}

.examples-status {
    padding: 4px 8px;
    font-size: 12px;
}

.examples-count {
    font-size: 11px;
    color: var(--fg-subtle);
}

.examples-list {
    max-height: 320px;
    overflow-y: auto;
    margin-bottom: 10px;
    padding: 4px;
    background: var(--bg-sunken);
    border: 1px solid var(--border);
    border-radius: 4px;
}

.example-row {
    font-family: var(--font-mono);
    font-size: 11px;
    padding: 2px 6px;
    color: var(--fg-muted);
    line-height: 1.5;
    border-bottom: 1px dotted rgba(252, 251, 249, 0.08);
    white-space: pre-wrap;
    word-break: break-word;
}

.example-row:last-child {
    border-bottom: none;
}

.example-row.status-failed {
    color: #ff8589;
    background: rgba(229, 72, 77, 0.08);
}

.example-row.status-gave_up,
.example-row.status-invalid {
    color: #ffb070;
    background: rgba(206, 134, 75, 0.08);
}

.example-row.phase-shrink {
    background: rgba(250, 229, 0, 0.05);
}

.examples-more {
    padding: 6px;
    font-style: italic;
    color: var(--fg-subtle);
    font-size: 11px;
}

.examples-sections {
    display: flex;
    flex-direction: column;
    gap: 6px;
}

.phase-section {
    border: 1px solid var(--border);
    border-radius: 6px;
    background: transparent;
    padding: 0 10px;
    margin: 0;
}

.phase-section > .examples-list {
    margin-top: 0;
    margin-bottom: 8px;
    border: none;
    padding: 4px 0;
    max-height: 280px;
    background: transparent;
}

.phase-summary {
    cursor: pointer;
    padding: 6px 0;
    font-size: 12px;
    display: flex;
    align-items: center;
    gap: 6px;
    list-style: none;
    font-weight: normal;
    color: var(--fg-muted);
}

.phase-summary::-webkit-details-marker {
    display: none;
}

.phase-summary::before {
    content: "▸";
    display: inline-block;
    width: 12px;
    color: var(--fg-subtle);
    font-size: 10px;
}

.phase-section[open] > .phase-summary::before {
    content: "▾";
}

.phase-count {
    display: inline-block;
    min-width: 28px;
    text-align: right;
    padding: 1px 6px;
    background: rgba(111, 223, 241, 0.12);
    color: var(--aqua);
    border-radius: 10px;
    font-family: var(--font-mono);
    font-size: 11px;
    font-weight: 600;
}

.phase-label {
    font-weight: 600;
    color: var(--fg);
    text-transform: lowercase;
}

/* ---------- Replay modal ---------- */
.replay-btn {
    display: inline-block;
    padding: 1px 6px;
    margin-right: 6px;
    background: transparent;
    border: 1px solid var(--border-strong);
    border-radius: 3px;
    font-family: var(--font-sans);
    font-size: 10px;
    color: var(--accent);
    cursor: pointer;
    vertical-align: 1px;
}

.replay-btn:hover {
    background: var(--accent-tint);
    border-color: var(--accent);
}

.replay-overlay {
    position: fixed;
    top: 0;
    left: 0;
    right: 0;
    bottom: 0;
    background: rgba(10, 1, 13, 0.72);
    display: flex;
    align-items: center;
    justify-content: center;
    z-index: 1000;
}

.replay-modal {
    background: var(--bg-elevated);
    border: 1px solid var(--border-strong);
    border-radius: 12px;
    padding: 16px 18px;
    box-shadow: 0 24px 48px rgba(0, 0, 0, 0.5);
    max-width: 360px;
    position: relative;
}

.replay-modal h3 {
    margin: 0 0 10px;
    font-size: 12px;
}

.replay-modal canvas {
    display: block;
    background: var(--bg-sunken);
    border: 1px solid var(--border);
    border-radius: 6px;
    margin-bottom: 10px;
}

.replay-info {
    font-family: var(--font-mono);
    font-size: 11px;
    color: var(--fg-subtle);
    margin-bottom: 8px;
    max-width: 280px;
    word-break: break-word;
}

.replay-progress {
    font-family: var(--font-mono);
    font-size: 11px;
    color: var(--aqua);
    margin-bottom: 8px;
}

.replay-edits {
    margin: 6px 0 10px;
    padding-top: 6px;
    border-top: 1px dashed var(--border);
}

.replay-hint {
    font-size: 11px;
    color: var(--fg-subtle);
    margin-bottom: 6px;
    font-style: italic;
}

.replay-edit-row {
    display: flex;
    flex-wrap: wrap;
    gap: 6px;
    align-items: center;
    margin: 4px 0;
    font-size: 11px;
}

.replay-edit-label {
    font-weight: 600;
    min-width: 56px;
    color: var(--fg-subtle);
}

.replay-field {
    display: inline-flex;
    align-items: center;
    gap: 3px;
}

.replay-field > span {
    color: var(--fg-subtle);
    font-family: var(--font-mono);
    font-size: 10px;
}

.replay-field input,
.replay-edit-row > input {
    width: 64px;
    padding: 2px 4px;
    font-size: 11px;
    border-radius: 3px;
}

.replay-controls {
    display: flex;
    gap: 8px;
    justify-content: flex-end;
}

.replay-controls button {
    padding: 4px 10px;
    font-size: 12px;
}

.replay-close {
    position: absolute;
    top: 6px;
    right: 8px;
    background: none;
    border: none;
    font-size: 18px;
    color: var(--fg-subtle);
    cursor: pointer;
    line-height: 1;
}

.replay-close:hover {
    color: var(--fg);
    background: none;
}