:root {
  color-scheme: dark;
  font-family: Inter, ui-sans-serif, system-ui, -apple-system, BlinkMacSystemFont, "Segoe UI", sans-serif;
  --bg: #101218;
  --sidebar: #15171e;
  --panel: #191c24;
  --panel-raised: #20242e;
  --line: #2c313c;
  --line-soft: #242933;
  --text: #f1f3f6;
  --text-2: #a8afbd;
  --text-3: #6d7482;
  --accent: #d7ff5f;
  --accent-dark: #b7dd40;
  --green: #66d391;
  --yellow: #f3c96b;
  --red: #ff7d7d;
  --blue: #7eb9ff;
  --shadow: 0 18px 55px rgb(0 0 0 / 18%);
}

:root[data-theme="light"] {
  color-scheme: light;
  --bg: #f4f5f7;
  --sidebar: #ebecef;
  --panel: #ffffff;
  --panel-raised: #f1f3f6;
  --line: #d9dde4;
  --line-soft: #e8eaee;
  --text: #171a21;
  --text-2: #5c6471;
  --text-3: #8b929e;
  --accent: #587e00;
  --accent-dark: #416000;
  --green: #258a50;
  --yellow: #9b6a00;
  --red: #b63a3a;
  --blue: #2c70b9;
  --shadow: 0 18px 55px rgb(26 33 48 / 9%);
}

* { box-sizing: border-box; }
html, body, #app { width: 100%; height: 100%; margin: 0; }
body { background: var(--bg); color: var(--text); font-size: 14px; }
button, input, select, textarea { font: inherit; }
button { color: inherit; }
button:disabled { cursor: not-allowed; opacity: .55; }

.shell { display: flex; width: 100%; height: 100%; overflow: hidden; }
.sidebar { display: flex; flex: 0 0 258px; flex-direction: column; min-width: 0; padding: 22px 14px 16px; background: var(--sidebar); border-right: 1px solid var(--line-soft); }
.brand { display: flex; align-items: center; gap: 10px; padding: 0 8px 26px; }
.brand-mark { display: grid; width: 30px; height: 30px; place-items: center; border-radius: 9px; background: var(--accent); color: #101218; font-size: 19px; font-weight: 800; }
.brand strong, .brand small { display: block; }
.brand strong { font-size: 11px; letter-spacing: .13em; }
.brand small { margin-top: 3px; color: var(--text-3); font-size: 10px; }
.main-nav { display: grid; gap: 3px; margin-bottom: 28px; }
.nav-item { display: flex; align-items: center; gap: 10px; width: 100%; padding: 9px 10px; border: 0; border-radius: 8px; background: transparent; color: var(--text-2); text-align: left; cursor: pointer; }
.nav-item span { width: 17px; color: var(--text-3); text-align: center; }
.nav-item:hover, .nav-item.selected { background: var(--panel-raised); color: var(--text); }
.nav-item.selected span { color: var(--accent); }
.sidebar-label { display: flex; align-items: center; justify-content: space-between; padding: 0 7px 9px; color: var(--text-3); font-size: 10px; font-weight: 700; letter-spacing: .11em; text-transform: uppercase; }
.icon-button, .theme-toggle, .language-toggle { display: grid; place-items: center; border: 0; background: transparent; color: var(--text-2); cursor: pointer; }
.icon-button { width: 24px; height: 24px; border-radius: 6px; font-size: 17px; }
.icon-button:hover, .theme-toggle:hover, .language-toggle:hover { background: var(--panel-raised); color: var(--text); }
.session-list { display: grid; min-height: 0; gap: 3px; overflow: auto; }
.session-row { display: flex; align-items: flex-start; gap: 8px; width: 100%; min-width: 0; padding: 9px 8px; border: 0; border-radius: 8px; background: transparent; text-align: left; cursor: pointer; }
.session-row:hover, .session-row.active { background: var(--panel-raised); }
.status-dot { flex: 0 0 7px; width: 7px; height: 7px; margin-top: 5px; border-radius: 50%; background: var(--text-3); }
.status-dot.success, .online-dot { background: var(--green); }
.status-dot.running { background: var(--yellow); box-shadow: 0 0 0 3px rgb(243 201 107 / 12%); }
.status-dot.danger { background: var(--red); }
.session-copy { display: flex; min-width: 0; flex-direction: column; gap: 4px; }
.session-copy strong { overflow: hidden; color: var(--text-2); font-size: 12px; font-weight: 500; line-height: 1.35; text-overflow: ellipsis; white-space: nowrap; }
.session-row.active .session-copy strong { color: var(--text); }
.session-copy small { color: var(--text-3); font-size: 10px; }
.empty-sidebar { padding: 22px 8px; color: var(--text-3); font-size: 12px; line-height: 1.8; text-align: center; }
.empty-sidebar span { font-size: 10px; }
.new-session { width: 100%; height: 34px; margin-top: 13px; border: 1px solid var(--line); border-radius: 18px; background: transparent; color: var(--text-2); cursor: pointer; font-size: 12px; }
.new-session:hover { border-color: var(--accent); color: var(--text); }
.sidebar-footer { display: flex; align-items: center; gap: 7px; padding: 22px 7px 0; color: var(--text-3); font-size: 10px; }
.online-dot { width: 6px; height: 6px; border-radius: 50%; }
.content-shell { display: flex; min-width: 0; flex: 1; flex-direction: column; }
.topbar { display: flex; flex: 0 0 58px; align-items: center; justify-content: space-between; padding: 0 34px; border-bottom: 1px solid var(--line-soft); }
.breadcrumb { display: flex; align-items: center; gap: 10px; color: var(--text-3); font-size: 11px; }
.breadcrumb i { color: var(--line); font-style: normal; }
.breadcrumb strong { color: var(--text-2); font-weight: 500; }
.top-actions { display: flex; align-items: center; gap: 12px; }
.theme-toggle { width: 29px; height: 29px; border-radius: 8px; font-size: 17px; }
.language-toggle { width: 34px; height: 29px; border: 1px solid var(--line); border-radius: 8px; font-size: 10px; font-weight: 750; letter-spacing: .04em; }
.content-scroll { min-height: 0; flex: 1; overflow: auto; }
.workspace { width: min(1160px, 100%); margin: 0 auto; padding: 42px 42px 70px; }
.page-heading { display: flex; align-items: flex-start; justify-content: space-between; gap: 20px; margin-bottom: 27px; }
.eyebrow, .section-kicker { color: var(--text-3); font-size: 10px; font-weight: 750; letter-spacing: .15em; }
.page-heading h1 { margin: 8px 0 9px; font-size: clamp(26px, 3vw, 36px); letter-spacing: -.035em; line-height: 1.1; }
.page-heading p { max-width: 660px; margin: 0; color: var(--text-2); font-size: 13px; line-height: 1.6; }
.run-id, .revision { padding-top: 4px; color: var(--text-3); font-size: 10px; letter-spacing: .08em; white-space: nowrap; }
.run-id code { color: var(--text-2); font-family: ui-monospace, monospace; letter-spacing: 0; }
.card { border: 1px solid var(--line); border-radius: 14px; background: var(--panel); box-shadow: var(--shadow); }
.composer { padding: 21px 22px 17px; }
.composer label { display: block; margin: 17px 0 7px; color: var(--text-2); font-size: 12px; font-weight: 650; }
.composer label span { color: var(--text-3); font-size: 10px; font-weight: 400; }
.theorem-input, .context-input, .lean-input, .toml-input, .json-input { display: block; width: 100%; resize: vertical; border: 1px solid var(--line); border-radius: 8px; outline: 0; background: var(--bg); color: var(--text); line-height: 1.55; }
.theorem-input:focus, .context-input:focus, .lean-input:focus, .toml-input:focus, .json-input:focus, input:focus, select:focus { border-color: var(--accent-dark); box-shadow: 0 0 0 3px color-mix(in srgb, var(--accent) 13%, transparent); }
.theorem-input { min-height: 92px; padding: 12px 13px; font-size: 15px; }
.context-input { min-height: 53px; padding: 10px 13px; font-size: 13px; }
.lean-input { min-height: 92px; padding: 11px 13px; font-family: ui-monospace, monospace; font-size: 12px; }
.formal-policy-note { display: grid; gap: 5px; margin-top: 17px; padding: 11px 13px; border: 1px solid color-mix(in srgb, var(--accent) 34%, var(--line)); border-radius: 8px; background: color-mix(in srgb, var(--accent) 6%, var(--bg)); color: var(--text-2); font-size: 11px; line-height: 1.55; }
.formal-policy-note strong { color: var(--accent); font-size: 11px; }
.lean-project-status { display: grid; gap: 6px; margin-top: 10px; padding: 11px 13px; border: 1px solid var(--line); border-radius: 8px; background: var(--bg); }
.lean-project-status.success { border-color: color-mix(in srgb, var(--green) 34%, var(--line)); }
.lean-project-status.danger { border-color: color-mix(in srgb, var(--red) 38%, var(--line)); }
.lean-project-heading { display: flex; align-items: center; justify-content: space-between; gap: 10px; }
.lean-project-heading .subhead { margin: 0; }
.lean-project-status p { margin: 0; overflow: auto; color: var(--text-2); font-family: ui-monospace, monospace; font-size: 10px; line-height: 1.5; white-space: nowrap; }
.composer-footer { display: flex; align-items: center; justify-content: space-between; gap: 12px; margin-top: 13px; }
select, input { min-width: 0; height: 34px; padding: 0 10px; border: 1px solid var(--line); border-radius: 7px; outline: 0; background: var(--bg); color: var(--text); }
.composer-footer select { min-width: 130px; border-radius: 17px; color: var(--text-2); font-size: 12px; }
.composer-actions { display: flex; align-items: center; gap: 8px; }
.button { display: inline-flex; align-items: center; justify-content: center; gap: 10px; min-height: 34px; padding: 0 14px; border-radius: 17px; cursor: pointer; font-size: 12px; font-weight: 650; }
.button.primary { border: 0; background: var(--accent); color: #101218; }
.button.primary:hover { background: var(--accent-dark); }
.button.primary b { font-size: 14px; }
.button.secondary { border: 1px solid var(--line); background: transparent; color: var(--text-2); }
.button.secondary:hover { border-color: var(--text-3); color: var(--text); }
.danger-button { color: var(--red) !important; }
.dashboard-grid { display: grid; grid-template-columns: minmax(0, .86fr) minmax(0, 1.14fr); gap: 14px; margin-top: 14px; }
.progress-card, .board-card, .formal-card, .answer-card, .settings-card { padding: 21px 22px; }
.card-header { display: flex; align-items: flex-start; justify-content: space-between; gap: 12px; }
.card-header h2, .settings-card h2 { margin: 6px 0 0; font-size: 16px; letter-spacing: -.02em; }
.status-pill, .small-tag, .status-text { display: inline-flex; align-items: center; gap: 6px; border-radius: 12px; font-size: 10px; font-weight: 700; white-space: nowrap; }
.status-pill { padding: 5px 9px; background: var(--panel-raised); color: var(--text-2); }
.status-pill > span { width: 5px; height: 5px; border-radius: 50%; background: currentColor; }
.status-pill.success, .status-text.success { color: var(--green); }
.status-pill.running, .status-text.running { color: var(--yellow); }
.status-pill.danger, .status-text.danger { color: var(--red); }
.status-pill.warning, .status-text.warning { color: var(--yellow); }
.status-text { padding-top: 4px; }
.small-tag { padding: 4px 7px; border: 1px solid var(--line); color: var(--text-3); letter-spacing: .1em; }
.workflow-strategy { margin: 24px 0 18px; padding: 13px; border: 1px solid var(--line-soft); border-radius: 9px; background: var(--bg); }
.workflow-strategy span, .workflow-strategy strong { display: block; }
.workflow-strategy span { margin-bottom: 5px; color: var(--text-3); font-size: 9px; font-weight: 750; letter-spacing: .1em; text-transform: uppercase; }
.workflow-strategy strong { color: var(--text-2); font-size: 12px; line-height: 1.5; }
.workflow-strategy p { margin: 7px 0 0; color: var(--text-3); font-size: 10px; line-height: 1.5; }
.frontier-list { display: flex; min-height: 44px; flex-wrap: wrap; align-content: flex-start; gap: 7px; margin-bottom: 17px; }
.frontier-chip { padding: 6px 9px; border: 1px solid color-mix(in srgb, var(--yellow) 45%, var(--line)); border-radius: 14px; background: color-mix(in srgb, var(--yellow) 8%, var(--panel)); color: var(--text-2); font-size: 10px; }
.frontier-chip.formal { border-color: color-mix(in srgb, var(--accent) 50%, var(--line)); background: color-mix(in srgb, var(--accent) 8%, var(--panel)); }
.frontier-empty { color: var(--text-3); font-size: 10px; }
.metrics { display: grid; grid-template-columns: repeat(4, 1fr); padding: 13px 0 3px; border-top: 1px solid var(--line-soft); }
.metrics div { display: grid; gap: 3px; border-right: 1px solid var(--line-soft); text-align: center; }
.metrics div:last-child { border-right: 0; }
.metrics strong { font-size: 18px; font-weight: 550; }
.metrics span { color: var(--text-3); font-size: 10px; }
.event-log { margin-top: 19px; padding-top: 15px; border-top: 1px solid var(--line-soft); }
.subhead { margin-bottom: 9px; color: var(--text-3); font-size: 10px; font-weight: 700; letter-spacing: .09em; text-transform: uppercase; }
.event-row { display: flex; align-items: flex-start; gap: 7px; padding: 5px 0; color: var(--text-2); font-family: ui-monospace, monospace; font-size: 10px; }
.event-row .event-icon { color: var(--accent); font-size: 14px; }
.event-row span:nth-child(2) { min-width: 0; }
.event-row strong, .event-row small { display: block; overflow: hidden; text-overflow: ellipsis; white-space: nowrap; }
.event-row small { max-width: 260px; margin-top: 2px; color: var(--text-3); font-size: 9px; }
.event-row time { margin-left: auto; color: var(--text-3); font-size: 9px; }
.whiteboard { min-height: 145px; max-height: 300px; margin: 9px 0 0; padding: 13px; overflow: auto; border: 1px solid var(--line-soft); border-radius: 8px; background: var(--bg); color: var(--text-2); font-family: ui-monospace, monospace; font-size: 11px; line-height: 1.65; white-space: pre-wrap; }
.task-heading { margin-bottom: 8px; }
.board-heading { margin-top: 20px; }
.task-list { display: grid; gap: 5px; }
.task-row { display: grid; grid-template-columns: minmax(0, 1fr) auto; align-items: start; gap: 9px; padding: 10px; border: 1px solid var(--line-soft); border-left-width: 3px; border-radius: 8px; color: var(--text-2); font-size: 11px; }
.task-row.running { border-left-color: var(--yellow); }
.task-row.completed { border-left-color: var(--green); }
.task-row.retryable { border-left-color: var(--accent); }
.task-row.blocked { border-left-color: var(--red); }
.task-main { min-width: 0; }
.task-title { display: flex; align-items: center; gap: 7px; }
.task-title strong { overflow: hidden; text-overflow: ellipsis; white-space: nowrap; }
.task-kind { flex: 0 0 auto; padding: 2px 5px; border: 1px solid var(--line); border-radius: 5px; color: var(--text-3); font-family: ui-monospace, monospace; font-size: 8px; letter-spacing: .06em; }
.task-kind.formal { border-color: color-mix(in srgb, var(--accent) 45%, var(--line)); color: var(--accent); }
.task-main small { display: block; margin-top: 5px; overflow: hidden; color: var(--text-3); font-family: ui-monospace, monospace; font-size: 9px; text-overflow: ellipsis; white-space: nowrap; }
.task-main p { max-height: 48px; margin: 6px 0 0; overflow: auto; color: var(--red); font-size: 9px; line-height: 1.45; }
.verdict { color: var(--text-3); font-size: 9px; font-weight: 600; }
.verdict.good { color: var(--green); }
.empty-panel { padding: 15px 0; color: var(--text-3); font-size: 11px; }
.formal-card, .answer-card { margin-top: 14px; }
.formal-attempts { display: grid; gap: 7px; margin-top: 18px; }
.formal-attempt { display: grid; grid-template-columns: 1fr auto; gap: 5px 10px; padding: 10px; border: 1px solid var(--line-soft); border-radius: 8px; background: var(--bg); font-family: ui-monospace, monospace; font-size: 10px; }
.formal-attempt span { color: var(--text-3); }
.formal-attempt b { color: var(--red); }
.formal-attempt b.good { color: var(--green); }
.formal-attempt p { grid-column: 1 / -1; max-height: 90px; margin: 0; overflow: auto; color: var(--text-2); line-height: 1.5; white-space: pre-wrap; }
.answer-placeholder { display: grid; min-height: 155px; place-items: center; align-content: center; color: var(--text-3); text-align: center; }
.placeholder-mark { display: grid; width: 33px; height: 33px; margin-bottom: 10px; place-items: center; border: 1px solid var(--line); border-radius: 9px; color: var(--text-2); }
.answer-placeholder p { margin: 0; font-size: 12px; }
.proof-output { max-height: 500px; margin: 23px 0 0; padding: 16px; overflow: auto; border: 1px solid var(--line-soft); border-radius: 8px; background: var(--bg); color: var(--text-2); font-family: ui-monospace, monospace; font-size: 12px; line-height: 1.7; white-space: pre-wrap; }
.formal-section { margin-top: 21px; }
.alert { display: flex; align-items: center; gap: 10px; margin-bottom: 14px; padding: 10px 13px; border: 1px solid var(--line); border-radius: 9px; font-size: 12px; }
.alert strong { font-size: 11px; }
.alert span { color: var(--text-2); }
.alert button { margin-left: auto; border: 0; background: transparent; color: var(--text-3); cursor: pointer; font-size: 17px; }
.danger-alert { border-color: color-mix(in srgb, var(--red) 38%, var(--line)); background: color-mix(in srgb, var(--red) 7%, var(--panel)); }
.danger-alert strong { color: var(--red); }
.notice-alert { border-color: color-mix(in srgb, var(--green) 36%, var(--line)); background: color-mix(in srgb, var(--green) 7%, var(--panel)); }
.notice-alert span { color: var(--green); }
.loading-card { display: flex; align-items: center; justify-content: space-between; padding: 24px; color: var(--text-2); }
.settings-card { margin-top: 14px; }
.settings-card > h2 { margin-bottom: 17px; }
.model-list { display: grid; gap: 11px; margin-top: 18px; }
.model-card { padding: 15px; border: 1px solid var(--line-soft); border-radius: 10px; background: color-mix(in srgb, var(--panel-raised) 46%, transparent); }
.model-card-header { display: flex; align-items: center; justify-content: space-between; gap: 12px; margin-bottom: 13px; }
.model-name, .provider-label { display: inline-block; }
.model-name { font-size: 13px; font-weight: 650; }
.provider-label { margin-left: 8px; color: var(--text-3); font-size: 10px; }
.credential-state { color: var(--text-3); font-size: 10px; }
.credential-state.configured { color: var(--green); }
.credential-state.missing { color: var(--yellow); }
.model-fields { display: grid; grid-template-columns: repeat(2, minmax(0, 1fr)); gap: 10px; }
.model-fields label { display: grid; gap: 5px; color: var(--text-3); font-size: 10px; }
.model-fields input, .model-fields select { width: 100%; }
.wide-field { grid-column: 1 / -1; }
.json-input { min-height: 78px; padding: 9px; font-family: ui-monospace, monospace; font-size: 11px; }
.role-list { display: grid; gap: 6px; }
.role-row { display: flex; align-items: center; justify-content: space-between; gap: 12px; padding: 10px 12px; border: 1px solid var(--line-soft); border-radius: 8px; }
.role-row strong, .role-row small { display: block; }
.role-row strong { color: var(--text-2); font-size: 12px; font-weight: 550; }
.role-row small { margin-top: 3px; color: var(--text-3); font-size: 10px; }
.role-row select { width: 180px; }
.toml-input { min-height: 320px; margin-top: 17px; padding: 13px; font-family: ui-monospace, monospace; font-size: 11px; }

@media (max-width: 850px) {
  .sidebar { flex-basis: 218px; }
  .topbar { padding: 0 20px; }
  .workspace { padding: 30px 20px 50px; }
  .dashboard-grid { grid-template-columns: 1fr; }
}

@media (max-width: 620px) {
  .sidebar { flex-basis: 58px; padding: 15px 8px; }
  .brand { justify-content: center; padding: 0 0 19px; }
  .brand > div:last-child, .nav-item:not(.selected)::after, .nav-item { font-size: 0; }
  .brand > div:last-child, .sidebar-label span, .session-list, .new-session, .sidebar-footer { display: none; }
  .main-nav { margin-bottom: 0; }
  .nav-item { justify-content: center; padding: 10px; }
  .nav-item span { font-size: 16px; }
  .sidebar-label { justify-content: center; padding: 0; }
  .icon-button { margin-top: 16px; }
  .page-heading { display: block; }
  .run-id, .revision { display: block; margin-top: 14px; }
  .composer-footer { align-items: stretch; flex-direction: column; }
  .composer-footer select { width: 100%; }
  .composer-actions { justify-content: flex-end; }
  .model-fields { grid-template-columns: 1fr; }
  .wide-field { grid-column: auto; }
  .role-row { align-items: flex-start; flex-direction: column; }
  .role-row select { width: 100%; }
}