:root, [data-theme="dark"] {
    color-scheme: dark;
    --font-sans: "Segoe UI Variable Text", "Segoe UI", -apple-system, BlinkMacSystemFont, "Helvetica Neue", Arial, sans-serif;
    --font-mono: "Cascadia Code", "Cascadia Mono", "JetBrains Mono", "SF Mono", Menlo, Consolas, monospace;
    --bg: #0b0e13;
    --bg-glow: rgba(82, 214, 176, .06);
    --surface: #10141a;
    --surface-raised: #131820;
    --surface-overlay: #181e27;
    --control: #151b23;
    --control-hover: #1c232d;
    --segmented-bg: #0d1116;
    --segmented-active: #232b36;
    --border: #1f2630;
    --border-strong: #2b343f;
    --border-hover: #3d4856;
    --text: #e3e9ef;
    --text-secondary: #b2bdc9;
    --muted: #808d9a;
    --faint: #566270;
    --accent: #52d6b0;
    --accent-hover: #79e2c3;
    --accent-text: #62dbb8;
    --accent-contrast: #03241b;
    --accent-soft: rgba(82, 214, 176, .1);
    --accent-border: rgba(82, 214, 176, .32);
    --brand-from: #52d6b0;
    --brand-to: #5bb8f5;
    --success: #6fd39f;
    --success-soft: rgba(111, 211, 159, .12);
    --warning: #e8b96a;
    --changed: #e8b96a;
    --warning-soft: rgba(232, 185, 106, .1);
    --warning-border: rgba(232, 185, 106, .28);
    --danger: #f28b98;
    --danger-soft: rgba(242, 139, 152, .1);
    --danger-border: rgba(242, 139, 152, .3);
    --violet: #bba4ff;
    --violet-soft: rgba(187, 164, 255, .13);
    --switch-off: #232b36;
    --switch-knob: #8794a2;
    --switch-knob-on: #ffffff;
    --scrollbar: #2e3743;
    --shadow-control: 0 1px 2px rgba(0, 0, 0, .25);
    --shadow-panel: 0 1px 2px rgba(0, 0, 0, .2), 0 12px 32px -12px rgba(0, 0, 0, .45);
    --shadow-overlay: 0 20px 50px rgba(0, 0, 0, .55);
    --backdrop: rgba(4, 6, 10, .65);
    --glow: 0 6px 20px -8px rgba(82, 214, 176, .55);
    --chevron: url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' viewBox='0 0 12 12' fill='none'%3E%3Cpath d='m3 4.5 3 3 3-3' stroke='%238896a4' stroke-width='1.5' stroke-linecap='round' stroke-linejoin='round'/%3E%3C/svg%3E");
    --graph-node: #151b23;
    --graph-node-border: #364150;
    --graph-edge: #7a8796;
    --graph-dot: rgba(255, 255, 255, .045);
    --code: #d6dee6;
    --syn-keyword: #c3a6ff;
    --syn-type: #79b8ff;
    --syn-variable: #9fd4fb;
    --syn-number: #f0c27b;
    --syn-string: #8fd9a8;
    --syn-comment: #6e7d8c;
    --syn-function: #e5d08a;
    --syn-teal: #5fd7c5;
    --syn-constant: #6fc3ff;
}
[data-theme="light"] {
    color-scheme: light;
    --bg: #f3f5f8;
    --bg-glow: rgba(8, 127, 101, .035);
    --surface: #ffffff;
    --surface-raised: #f9fafc;
    --surface-overlay: #ffffff;
    --control: #ffffff;
    --control-hover: #f1f4f8;
    --segmented-bg: #eef1f5;
    --segmented-active: #ffffff;
    --border: #e2e7ed;
    --border-strong: #d3dae3;
    --border-hover: #b9c3cf;
    --text: #17202b;
    --text-secondary: #3d4957;
    --muted: #627083;
    --faint: #98a3b1;
    --accent: #087f65;
    --accent-hover: #066b55;
    --accent-text: #087f65;
    --accent-contrast: #ffffff;
    --accent-soft: rgba(8, 127, 101, .08);
    --accent-border: rgba(8, 127, 101, .28);
    --brand-from: #0b9b7b;
    --brand-to: #1d7fd1;
    --success: #1a7f37;
    --success-soft: rgba(26, 127, 55, .1);
    --warning: #9a5b00;
    --changed: #e0951b;
    --warning-soft: rgba(214, 140, 20, .11);
    --warning-border: rgba(214, 140, 20, .32);
    --danger: #c2334a;
    --danger-soft: rgba(194, 51, 74, .08);
    --danger-border: rgba(194, 51, 74, .26);
    --violet: #7a4fd6;
    --violet-soft: rgba(122, 79, 214, .1);
    --switch-off: #dfe4eb;
    --switch-knob: #ffffff;
    --switch-knob-on: #ffffff;
    --scrollbar: #c9d1db;
    --shadow-control: 0 1px 2px rgba(16, 24, 40, .06);
    --shadow-panel: 0 1px 2px rgba(16, 24, 40, .04), 0 8px 24px -12px rgba(16, 24, 40, .12);
    --shadow-overlay: 0 20px 50px rgba(16, 24, 40, .18), 0 2px 6px rgba(16, 24, 40, .06);
    --backdrop: rgba(20, 28, 38, .35);
    --glow: 0 6px 18px -8px rgba(8, 127, 101, .6);
    --chevron: url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' viewBox='0 0 12 12' fill='none'%3E%3Cpath d='m3 4.5 3 3 3-3' stroke='%23627083' stroke-width='1.5' stroke-linecap='round' stroke-linejoin='round'/%3E%3C/svg%3E");
    --graph-node: #ffffff;
    --graph-node-border: #c5ced9;
    --graph-edge: #8593a3;
    --graph-dot: rgba(16, 24, 40, .07);
    --code: #1f2a37;
    --syn-keyword: #8250df;
    --syn-type: #0550ae;
    --syn-variable: #0a6a8a;
    --syn-number: #b35900;
    --syn-string: #1a7f37;
    --syn-comment: #6e7781;
    --syn-function: #7d4e00;
    --syn-teal: #0f7b6c;
    --syn-constant: #0550ae;
}

/* Base */
:root { font-family: var(--font-sans); color: var(--text); background: var(--bg); font-synthesis: none; -webkit-font-smoothing: antialiased; }
* { box-sizing: border-box; }
body { margin: 0; min-height: 100dvh; background: radial-gradient(900px 320px at 0 0, var(--bg-glow), transparent 70%), var(--bg); }
button, select, input { font: inherit; }
button, select, summary, label { -webkit-tap-highlight-color: transparent; }
button, summary, select { cursor: pointer; }
button { color: inherit; }
button:disabled, select:disabled { opacity: .5; cursor: default; }
:is(button, select, summary, a, [tabindex]):focus-visible { outline: 2px solid var(--accent); outline-offset: 2px; }
a { color: inherit; text-decoration: none; }
a:hover { color: var(--accent-text); }
input[type="checkbox"] { accent-color: var(--accent); }
[hidden] { display: none !important; }
.visually-hidden { position: absolute !important; width: 1px; height: 1px; padding: 0; margin: -1px; overflow: hidden; clip: rect(0 0 0 0); white-space: nowrap; border: 0; }

/* Header */
.lab-shell { max-width: 2400px; margin: auto; min-height: 100dvh; display: flex; flex-direction: column; }
.app-header { height: 60px; flex-shrink: 0; padding: 0 24px; display: flex; align-items: center; gap: 18px; border-bottom: 1px solid var(--border); }
.brand { display: flex; align-items: center; gap: 10px; font-size: 20px; font-weight: 700; letter-spacing: -.03em; white-space: nowrap; color: var(--text); }
.brand:hover { color: var(--text); }
.brand-mark { flex-shrink: 0; }
.brand-light { font-weight: 400; color: var(--text-secondary); }
.version-badge { margin-left: 2px; padding: 2px 8px; border: 1px solid var(--border-strong); border-radius: 999px; background: var(--control); color: var(--text-secondary); font: 500 11px var(--font-mono); letter-spacing: 0; }
.brand-tagline { display: flex; align-items: center; height: 20px; padding-left: 18px; border-left: 1px solid var(--border-strong); color: var(--muted); font-size: 13px; white-space: nowrap; overflow: hidden; text-overflow: ellipsis; }
.header-actions { margin-left: auto; display: flex; align-items: center; gap: 10px; }
.theme-switch { display: inline-flex; padding: 2px; gap: 2px; border: 1px solid var(--border); border-radius: 999px; background: var(--segmented-bg); }
.theme-switch label { position: relative; display: grid; place-items: center; width: 30px; height: 26px; border-radius: 999px; color: var(--muted); cursor: pointer; transition: color .15s, background-color .15s; }
.theme-switch label:hover { color: var(--text); }
.theme-switch label:has(input:checked) { background: var(--segmented-active); color: var(--text); box-shadow: var(--shadow-control); }
.theme-switch label:has(input:focus-visible) { outline: 2px solid var(--accent); outline-offset: 1px; }
.theme-switch input, .segmented input { position: absolute; inset: 0; margin: 0; opacity: 0; cursor: pointer; }
.repository-link { display: inline-flex; align-items: center; gap: 7px; height: 32px; padding: 0 12px; border: 1px solid var(--border-strong); border-radius: 999px; color: var(--text-secondary); font-size: 13px; font-weight: 600; transition: color .15s, background-color .15s, border-color .15s; }
.repository-link:hover { color: var(--text); background: var(--control-hover); border-color: var(--border-hover); }

/* Toolbar */
main { flex: 1; display: flex; flex-direction: column; min-height: 0; padding: 16px 24px 0; }
.toolbar { display: flex; gap: 10px; align-items: center; margin-bottom: 14px; }
.sample-picker { display: flex; gap: 10px; align-items: center; }
.sample-picker label, .method-picker label { font-size: 12px; font-weight: 600; color: var(--muted); white-space: nowrap; }
select { appearance: none; height: 36px; min-width: 0; padding: 0 32px 0 12px; color: var(--text); background: var(--chevron) no-repeat right 10px center / 12px 12px var(--control); border: 1px solid var(--border-strong); border-radius: 8px; font-size: 13px; box-shadow: var(--shadow-control); transition: border-color .15s, background-color .15s; }
select:hover:not(:disabled) { border-color: var(--border-hover); }
.sample-picker select { width: 220px; }
.toolbar-space { flex: 1; }
.button { height: 36px; padding: 0 14px; border: 1px solid transparent; border-radius: 8px; display: inline-flex; align-items: center; justify-content: center; gap: 8px; font-size: 13px; font-weight: 600; white-space: nowrap; transition: color .15s, background-color .15s, border-color .15s, box-shadow .15s; }
.button:active:not(:disabled) { transform: translateY(1px); }
.button.secondary { color: var(--text-secondary); background: var(--control); border-color: var(--border-strong); box-shadow: var(--shadow-control); }
.button.secondary:hover:not(:disabled) { color: var(--text); background: var(--control-hover); border-color: var(--border-hover); }
.button.primary { color: var(--accent-contrast); background: var(--accent); border-color: var(--accent); box-shadow: var(--glow); }
.button.primary:hover:not(:disabled) { background: var(--accent-hover); border-color: var(--accent-hover); }
kbd { margin-left: 4px; padding: 2px 6px; border-radius: 5px; background: color-mix(in srgb, currentColor 14%, transparent); font: 600 10.5px var(--font-sans); opacity: .85; }
.settings { position: relative; }
.settings summary { list-style: none; }
.settings summary::-webkit-details-marker { display: none; }
.settings[open] > summary { color: var(--text); background: var(--control-hover); border-color: var(--border-hover); }
.chevron { transition: transform .15s; flex-shrink: 0; opacity: .8; }
.settings[open] .chevron { transform: rotate(180deg); }
.settings-panel { position: absolute; top: calc(100% + 6px); left: 0; z-index: 15; width: 300px; padding: 6px; background: var(--surface-overlay); border: 1px solid var(--border-strong); border-radius: 12px; box-shadow: var(--shadow-overlay); }
.settings-title { margin: 6px 10px 4px; color: var(--muted); font-size: 11px; font-weight: 600; letter-spacing: .06em; text-transform: uppercase; }
.settings-panel label { display: flex; align-items: center; justify-content: space-between; gap: 12px; padding: 9px 10px; border-radius: 8px; color: var(--text-secondary); font-size: 13px; cursor: pointer; }
.settings-panel label:hover { color: var(--text); background: var(--control-hover); }
.switch { appearance: none; position: relative; flex-shrink: 0; width: 30px; height: 18px; margin: 0; border: 1px solid var(--border-strong); border-radius: 999px; background: var(--switch-off); cursor: pointer; transition: background-color .15s, border-color .15s; }
.switch::before { content: ""; position: absolute; top: 2px; left: 2px; width: 12px; height: 12px; border-radius: 50%; background: var(--switch-knob); box-shadow: 0 1px 2px rgba(0, 0, 0, .3); transition: transform .15s, background-color .15s; }
.switch:checked { background: var(--accent); border-color: var(--accent); }
.switch:checked::before { transform: translateX(12px); background: var(--switch-knob-on); }
.switch:focus-visible { outline: 2px solid var(--accent); outline-offset: 2px; }
.switch:disabled { opacity: .5; cursor: default; }

/* Alerts and dialog */
.share-alert { display: flex; align-items: center; justify-content: space-between; gap: 15px; padding: 8px 10px 8px 14px; margin: -4px 0 14px; background: var(--warning-soft); border: 1px solid var(--warning-border); border-radius: 10px; color: var(--warning); font-size: 13px; }
.dialog-heading button, .share-alert button { display: grid; place-items: center; width: 28px; height: 28px; padding: 0; border: 0; border-radius: 7px; background: none; color: var(--muted); font-size: 20px; line-height: 1; }
.dialog-heading button:hover, .share-alert button:hover { color: var(--text); background: var(--control-hover); }
.share-dialog { width: min(540px, calc(100vw - 32px)); padding: 22px; color: var(--text); background: var(--surface-overlay); border: 1px solid var(--border-strong); border-radius: 14px; box-shadow: var(--shadow-overlay); }
.share-dialog[open] { animation: dialog-in .16s ease-out; }
.share-dialog::backdrop { background: var(--backdrop, rgba(4, 6, 10, .65)); backdrop-filter: blur(2px); }
.dialog-heading { display: flex; align-items: center; justify-content: space-between; gap: 16px; }
.dialog-heading h2 { margin: 0; font-size: 17px; font-weight: 650; letter-spacing: -.01em; }
.share-dialog p { margin: 10px 0 16px; color: var(--muted); font-size: 13px; line-height: 1.6; }
.share-url { width: 100%; padding: 11px 12px; border: 1px solid var(--border-strong); border-radius: 8px; background: var(--bg); color: var(--text); font: 12.5px var(--font-mono); }
.share-url:focus { outline: 2px solid var(--accent); outline-offset: 1px; }
.share-actions { display: flex; align-items: center; justify-content: space-between; gap: 16px; margin-top: 18px; }
.share-actions [role="status"] { color: var(--accent-text); font-size: 13px; }

/* Workspace */
.workspace { flex: 1 1 0; min-height: 520px; display: grid; grid-template-columns: minmax(240px, var(--source-width, 32%)) 12px minmax(0, 1fr); }
.workspace-splitter { display: flex; justify-content: center; align-items: center; cursor: col-resize; touch-action: none; border-radius: 6px; }
.workspace-splitter span { width: 4px; height: 44px; border-radius: 4px; background: var(--border-strong); transition: background-color .15s, height .15s; }
.workspace-splitter:hover span, .workspace-splitter:focus-visible span, .resizing .workspace-splitter span { height: 64px; background: var(--accent); }
.workspace-splitter:focus-visible { outline: none; }
.resizing { user-select: none; cursor: col-resize; }
.resizing .editor-host { pointer-events: none; }
.editor-overlays { position: relative; z-index: 50; }
.panel { min-width: 0; background: var(--surface); border: 1px solid var(--border); border-radius: 12px; overflow: hidden; box-shadow: var(--shadow-panel); }
.source-panel, .output-panel { display: flex; flex-direction: column; }
.panel-heading, .view-tabs { height: 46px; min-height: 46px; flex-shrink: 0; }
.panel-heading { padding: 0 14px; display: flex; align-items: center; justify-content: space-between; gap: 10px; background: var(--surface-raised); border-bottom: 1px solid var(--border); }
.file-label { display: flex; align-items: center; gap: 10px; color: var(--text); font-size: 13px; font-weight: 600; }
.language-badge { display: inline-grid; place-items: center; min-width: 26px; height: 20px; padding: 0 5px; border-radius: 5px; background: var(--violet-soft); color: var(--violet); font-size: 10.5px; font-weight: 700; }
.source-state { padding: 2px 9px; border: 1px solid var(--warning-border); border-radius: 999px; background: var(--warning-soft); color: var(--warning); font-size: 11.5px; font-weight: 600; }
.editor-host { min-height: 0; min-width: 0; }
.source-editor { flex: 1; }
.panel-footer { height: 34px; flex-shrink: 0; display: flex; align-items: center; gap: 8px; padding: 0 14px; background: var(--surface-raised); border-top: 1px solid var(--border); color: var(--muted); font-size: 11.5px; }
.status-dot { width: 6px; height: 6px; border-radius: 50%; background: var(--accent); box-shadow: 0 0 0 3px var(--accent-soft); }

/* Output tabs and toolbar */
.view-tabs { display: flex; align-items: stretch; gap: 2px; padding: 0 8px; overflow-x: auto; overflow-y: hidden; scrollbar-width: none; background: var(--surface-raised); border-bottom: 1px solid var(--border); }
.view-tabs > button { position: relative; flex-shrink: 0; display: flex; align-items: center; gap: 8px; padding: 0 12px; border: 0; background: none; color: var(--muted); font-size: 13px; font-weight: 600; white-space: nowrap; transition: color .15s; }
.view-tabs > button:hover:not(:disabled) { color: var(--text); }
.view-tabs > button::after { content: ""; position: absolute; left: 10px; right: 10px; bottom: 0; height: 2px; border-radius: 2px 2px 0 0; background: transparent; transition: background-color .15s; }
.view-tabs > button.active { color: var(--text); }
.view-tabs > button.active::after { background: var(--accent); }
.view-tabs > button:focus-visible { outline-offset: -4px; }
.tab-count { padding: 1px 7px; border-radius: 999px; background: var(--control-hover); color: var(--text-secondary); font-size: 11px; font-weight: 600; font-variant-numeric: tabular-nums; }
.view-tabs > button.active .tab-count { background: var(--accent-soft); color: var(--accent-text); }
.split-toggle { margin-left: auto; flex-shrink: 0; display: flex; align-items: center; gap: 8px; padding: 0 6px; color: var(--muted); font-size: 12px; white-space: nowrap; cursor: pointer; }
.split-toggle:hover { color: var(--text-secondary); }
.output-tabpanel { display: flex; flex-direction: column; flex: 1; min-height: 0; min-width: 0; }
.output-toolbar { display: flex; align-items: center; gap: 10px; padding: 10px 12px; border-bottom: 1px solid var(--border); }
.method-picker { display: flex; flex: 1; align-items: center; gap: 10px; min-width: 0; }
.method-picker select { flex: 1; width: 100%; height: 34px; font-family: var(--font-mono); font-size: 12.5px; text-overflow: ellipsis; }
.method-status { padding: 3px 10px; border: 1px solid var(--accent-border); border-radius: 999px; background: var(--accent-soft); color: var(--accent-text); font-size: 11.5px; font-weight: 600; white-space: nowrap; }
.method-status.failed { color: var(--danger); border-color: var(--danger-border); background: var(--danger-soft); }
.segmented { display: inline-flex; flex-shrink: 0; gap: 2px; padding: 3px; background: var(--segmented-bg); border: 1px solid var(--border); border-radius: 9px; }
.segmented label { position: relative; display: flex; }
.segmented span { padding: 4px 11px; border-radius: 6px; color: var(--muted); font-size: 12px; font-weight: 600; text-align: center; white-space: nowrap; transition: color .15s, background-color .15s; }
.segmented label:hover span { color: var(--text); }
.segmented input:checked + span { color: var(--text); background: var(--segmented-active); box-shadow: var(--shadow-control); }
.segmented input:focus-visible + span { outline: 2px solid var(--accent); outline-offset: 1px; }
.segmented input:disabled { cursor: default; }
.segmented input:disabled + span { opacity: .6; }
.notice, .error-notice { display: flex; align-items: baseline; gap: 8px; padding: 8px 14px; font-size: 12px; line-height: 1.6; overflow-wrap: anywhere; }
.notice::before, .error-notice::before { content: ""; flex-shrink: 0; width: 6px; height: 6px; border-radius: 50%; background: currentColor; transform: translateY(-1px); }
.notice { color: var(--warning); background: var(--warning-soft); border-bottom: 1px solid var(--warning-border); }
.error-notice { flex-wrap: wrap; color: var(--danger); background: var(--danger-soft); border-bottom: 1px solid var(--danger-border); }
.error-notice span { flex-basis: 100%; padding-left: 14px; opacity: .85; }

/* Pass inspector */
.inspector { display: grid; grid-template-columns: 200px minmax(0, 1fr); flex: 1; min-height: 0; }
.inspector.il-view { grid-template-columns: minmax(0, 1fr); }
.pass-sidebar { display: flex; flex-direction: column; min-height: 0; background: var(--surface-raised); border-right: 1px solid var(--border); }
.pass-filter { padding: 10px 12px; border-bottom: 1px solid var(--border); }
.pass-filter label { display: flex; align-items: center; gap: 8px; color: var(--text-secondary); font-size: 12px; cursor: pointer; }
.pass-list { flex: 1; overflow-y: auto; padding: 6px; scrollbar-width: thin; scrollbar-color: var(--scrollbar) transparent; }
.pass-item { display: flex; align-items: center; gap: 10px; width: 100%; margin-bottom: 1px; padding: 7px 10px; border: 0; border-radius: 7px; background: none; color: var(--text-secondary); font-size: 12.5px; text-align: left; transition: color .12s, background-color .12s; }
.pass-item:hover:not(:disabled) { color: var(--text); background: var(--control-hover); }
.pass-item.selected { color: var(--accent-text); background: var(--accent-soft); box-shadow: inset 0 0 0 1px var(--accent-border); }
.pass-item:focus-visible { outline-offset: -2px; }
.pass-number { color: var(--faint); font: 500 11px var(--font-mono); font-variant-numeric: tabular-nums; }
.pass-item.selected .pass-number { color: inherit; opacity: .8; }
.pass-name { flex: 1; overflow: hidden; text-overflow: ellipsis; white-space: nowrap; }
.pass-dot { display: inline-block; flex-shrink: 0; width: 7px; height: 7px; border: 1.5px solid var(--faint); border-radius: 50%; }
.pass-dot.changed { border-color: var(--changed); background: var(--changed); box-shadow: 0 0 0 3px var(--warning-soft); }
.pass-dot.error { border-color: var(--danger); background: var(--danger); box-shadow: 0 0 0 3px var(--danger-soft); }
.pass-legend { height: 34px; flex-shrink: 0; display: flex; align-items: center; gap: 7px; padding: 0 12px; border-top: 1px solid var(--border); color: var(--muted); font-size: 11px; }
.pass-legend .pass-dot:nth-of-type(2) { margin-left: 8px; }
.sidebar-empty { padding: 8px 10px; color: var(--muted); font-size: 12px; line-height: 1.7; }

/* Diff and graph */
.diff-panel { display: flex; flex-direction: column; min-width: 0; min-height: 0; }
.diff-heading { display: grid; grid-template-columns: 1fr 1fr; min-height: 36px; background: var(--surface-raised); border-bottom: 1px solid var(--border); color: var(--text-secondary); font-size: 12px; font-weight: 600; }
.diff-heading > span { display: flex; align-items: center; padding: 8px 14px; }
.diff-heading > span + span { border-left: 1px solid var(--border); }
.diff-minus, .diff-plus { display: inline-grid; place-items: center; width: 18px; height: 18px; margin-right: 8px; border-radius: 5px; font: 700 12px var(--font-mono); }
.diff-minus { color: var(--danger); background: var(--danger-soft); }
.diff-plus { color: var(--success); background: var(--success-soft); }
.diff-editor-container { position: relative; flex: 1; min-height: 0; }
.diff-editor { position: absolute; inset: 0; }
.graph-grid { position: absolute; inset: 0; display: grid; grid-template-columns: repeat(2, minmax(0, 1fr)); }
.graph-panel { display: flex; flex-direction: column; min-width: 0; min-height: 0; }
.graph-panel + .graph-panel { border-left: 1px solid var(--border); }
.graph-heading { display: flex; flex-wrap: wrap; align-items: center; gap: 4px; min-height: 36px; padding: 5px 8px 5px 14px; background: var(--surface-raised); border-bottom: 1px solid var(--border); color: var(--text-secondary); font-size: 12px; font-weight: 600; }
.graph-heading > span { margin-right: auto; }
.graph-heading output { margin-right: 6px; color: var(--muted); font: 11px var(--font-mono); }
.graph-heading button { min-width: 26px; height: 24px; padding: 0 7px; border: 1px solid var(--border-strong); border-radius: 6px; background: var(--control); color: var(--text-secondary); font-size: 12px; transition: color .15s, border-color .15s; }
.graph-heading button:hover { color: var(--accent-text); border-color: var(--accent-border); }
.graph-canvas { flex: 1; overflow: auto; padding: 16px; background-image: radial-gradient(var(--graph-dot) 1px, transparent 1px); background-size: 18px 18px; scrollbar-width: thin; scrollbar-color: var(--scrollbar) transparent; }
.graph-canvas svg { display: block; }
.graph-canvas svg .graph > polygon { fill: transparent; stroke: none; }
.graph-canvas svg .edge path { stroke: var(--graph-edge); }
.graph-canvas svg .edge polygon { stroke: var(--graph-edge); fill: var(--graph-edge); }
.graph-canvas svg .edge text { fill: var(--muted); }
.graph-canvas svg .node polygon[fill="#1e1e1e" i] { fill: var(--graph-node); }
.graph-canvas svg .node polygon[stroke="black" i] { stroke: var(--graph-node-border); stroke-linejoin: round; }
.graph-canvas svg text[fill="#d4d4d4" i], .graph-canvas svg text[fill="black" i] { fill: var(--code); }
.graph-canvas svg text[fill="#c586c0" i] { fill: var(--syn-keyword); }
.graph-canvas svg text[fill="#569cd6" i], .graph-canvas svg text[fill="blue" i] { fill: var(--syn-type); }
.graph-canvas svg text[fill="#9cdcfe" i] { fill: var(--syn-variable); }
.graph-canvas svg text[fill="#b5cea8" i] { fill: var(--syn-number); }
.graph-canvas svg text[fill="#ce9178" i] { fill: var(--syn-string); }
.graph-canvas svg text[fill="#6a9955" i] { fill: var(--syn-comment); }
.graph-canvas svg text[fill="#dcdcaa" i] { fill: var(--syn-function); }
.graph-canvas svg text[fill="#4ec9b0" i] { fill: var(--syn-teal); }
.graph-canvas svg text[fill="#4fc1ff" i] { fill: var(--syn-constant); }
.graph-canvas svg text[fill="red" i] { fill: var(--danger); }
.diff-footer { min-height: 34px; display: flex; align-items: center; justify-content: space-between; gap: 10px; padding: 5px 14px; background: var(--surface-raised); border-top: 1px solid var(--border); color: var(--muted); font-size: 11.5px; }
.diff-footer strong { color: var(--text); font-weight: 600; }
.diff-footer > span:last-child:not(:first-child) { font-family: var(--font-mono); font-variant-numeric: tabular-nums; }
.empty-state { position: absolute; inset: 0; display: flex; flex-direction: column; align-items: center; justify-content: center; gap: 12px; padding: 35px; background: var(--surface); text-align: center; }
.empty-symbol { display: grid; place-items: center; width: 56px; height: 56px; margin-bottom: 4px; border: 1px solid var(--accent-border); border-radius: 16px; background: var(--accent-soft); color: var(--accent-text); font: 600 19px var(--font-mono); }
.spinner { width: 34px; height: 34px; margin-bottom: 4px; border: 3px solid var(--accent-soft); border-top-color: var(--accent); border-radius: 50%; animation: spin .8s linear infinite; }
.empty-state strong { color: var(--text); font-size: 15px; font-weight: 600; }
.empty-state > span:last-child { max-width: 420px; color: var(--muted); font-size: 13px; line-height: 1.7; overflow-wrap: anywhere; }

/* Footer, boot screen, and errors */
.app-footer { min-height: 44px; display: flex; flex-wrap: wrap; align-items: center; justify-content: space-between; gap: 10px; color: var(--muted); font-size: 12px; }
.app-footer a { color: var(--text-secondary); font-weight: 600; }
.run-summary { font-variant-numeric: tabular-nums; }
.boot-screen { min-height: 100dvh; display: flex; flex-direction: column; align-items: center; justify-content: center; gap: 14px; padding: 24px; text-align: center; }
.boot-screen h1 { margin: 6px 0 0; font-size: 30px; font-weight: 700; letter-spacing: -.03em; }
.boot-screen h1 span { font-weight: 400; color: var(--text-secondary); }
.boot-screen p { margin: 0; color: var(--muted); font-size: 14px; }
.boot-progress { position: relative; width: 200px; height: 3px; margin-top: 10px; overflow: hidden; border-radius: 3px; background: var(--border-strong); }
.boot-progress span { position: absolute; inset: 0 auto 0 0; width: 40%; border-radius: inherit; background: linear-gradient(90deg, var(--brand-from), var(--brand-to)); animation: indeterminate 1.3s ease-in-out infinite; }
#blazor-error-ui { position: fixed; inset: auto 0 0; z-index: 1000; display: none; padding: 14px 56px 14px 24px; background: var(--surface-overlay); border-top: 1px solid var(--danger-border); box-shadow: var(--shadow-overlay); color: var(--danger); font-size: 13px; }
#blazor-error-ui a { margin-left: 12px; color: var(--text); text-decoration: underline; }
#blazor-error-ui .dismiss { position: absolute; top: 50%; right: 16px; transform: translateY(-50%); border: 0; background: none; color: var(--muted); font-size: 22px; }

@keyframes spin { to { transform: rotate(360deg); } }
@keyframes indeterminate { from { transform: translateX(-100%); } to { transform: translateX(250%); } }
@keyframes dialog-in { from { opacity: 0; transform: translateY(6px) scale(.98); } }
@media (prefers-reduced-motion: reduce) {
    *, *::before, *::after { animation-duration: .01ms !important; animation-iteration-count: 1 !important; transition-duration: .01ms !important; }
    .spinner, .boot-progress span { animation-duration: 2s !important; animation-iteration-count: infinite !important; }
}

/* Responsive */
@media (min-width: 1800px) { .inspector { grid-template-columns: 220px minmax(0, 1fr); } }
@media (max-width: 1280px) { .brand-tagline { display: none; } }
@media (max-width: 1150px) {
    .app-header { padding: 0 16px; }
    main { padding: 14px 16px 0; }
    .inspector { grid-template-columns: 165px minmax(0, 1fr); }
    .pass-item { gap: 7px; padding-inline: 8px; font-size: 12px; }
    .segmented span { padding-inline: 8px; }
    kbd { display: none; }
}
@media (max-width: 900px) {
    .workspace { flex: none; display: flex; flex-direction: column; gap: 14px; min-height: 0; }
    .workspace-splitter { display: none; }
    .source-panel { height: 420px; }
    .output-panel { height: 680px; }
    .toolbar { flex-wrap: wrap; gap: 8px; }
    .toolbar-space { display: none; }
    .toolbar > .button.primary { margin-left: auto; }
    .sample-picker { margin-right: auto; }
    .sample-picker select { width: 210px; }
    .app-footer { padding: 16px 0; }
}
@media (max-width: 560px) {
    .app-header { height: 56px; padding-inline: 12px; gap: 10px; }
    .brand { gap: 8px; font-size: 19px; }
    .header-actions { gap: 6px; }
    .repository-link { width: 32px; padding: 0; justify-content: center; }
    .repository-link span { display: none; }
    main { padding: 12px 12px 0; }
    .sample-picker { flex: 1 1 150px; min-width: 0; }
    .sample-picker label { display: none; }
    .sample-picker select { width: 100%; }
    .button { padding: 0 12px; }
    .toolbar > .button { flex: 1 1 40%; }
    .toolbar > .button.primary { flex-basis: 100%; }
    .settings-panel { left: auto; right: 0; width: min(300px, calc(100vw - 24px)); }
    .output-toolbar { flex-wrap: wrap; padding: 10px; }
    .method-status { display: none; }
    .method-picker { gap: 8px; }
    .segmented { flex: 1 1 100%; }
    .segmented label { flex: 1; }
    .segmented span { width: 100%; }
    .view-tabs { padding-inline: 4px; }
    .view-tabs > button { padding-inline: 9px; font-size: 12.5px; }
    .split-toggle { font-size: 11.5px; }
    .inspector { grid-template-columns: minmax(0, 1fr); grid-template-rows: 92px minmax(0, 1fr); }
    .inspector.il-view { grid-template-rows: minmax(0, 1fr); }
    .pass-sidebar { border-right: 0; border-bottom: 1px solid var(--border); }
    .pass-filter { min-height: 34px; padding: 8px 10px; border: 0; }
    .pass-list { display: flex; gap: 4px; overflow: auto; padding: 0 6px 6px; }
    .pass-item { width: auto; min-width: max-content; margin: 0; }
    .pass-legend { display: none; }
    .diff-footer { font-size: 11px; }
    .graph-grid { grid-template-columns: minmax(0, 1fr); grid-template-rows: repeat(2, minmax(0, 1fr)); }
    .graph-panel + .graph-panel { border-left: 0; border-top: 1px solid var(--border); }
}
@media (max-width: 420px) {
    .version-badge { display: none; }
    .split-label { position: absolute; width: 1px; height: 1px; margin: -1px; overflow: hidden; clip: rect(0 0 0 0); white-space: nowrap; }
    .view-tabs { gap: 0; }
    .view-tabs > button { gap: 6px; padding-inline: 7px; }
    .split-toggle { padding-inline: 4px; }
}