@charset "UTF-8";
/* Spec2State product foundation — one coherent visual system. */
:root {
  --bg:#f4f4f7; --sidebar:#eeedf2; --surface:#fff;
  --ink:#202127; --text:#454750; --muted:#696c76; --line:#e8e8ed;
  --blue:#202127; --soft:#eeecf6; --accent:#166761; --accent-soft:#e8f3ef;
  --warn:#946326; --warn-soft:#fbf3e4; --danger:#a7404f; --danger-soft:#fceff1;
  font:14px/1.6 "Segoe UI",Arial,"Microsoft YaHei",sans-serif;
  color:var(--ink); background:var(--bg); font-synthesis:none;
}
* {box-sizing:border-box}
body {margin:0}
h1,h2,h3,h4,p {margin-top:0}
button,input,select,textarea {font:inherit;color:inherit}
button,input,select,textarea {background:var(--surface);border:1px solid #dedfe6;border-radius:8px}
button {cursor:pointer;padding:9px 13px;transition:background 140ms,border-color 140ms,color 140ms;touch-action:manipulation;line-height:1.45}
button:hover:not(:disabled) {background:#f3f3f6;border-color:#c9cad3}
button:disabled {opacity:.45;cursor:not-allowed}
button.primary,.primary {background:var(--ink);border-color:var(--ink);color:#fff}
button.primary:hover:not(:disabled),.primary:hover:not(:disabled) {background:#393a42;border-color:#393a42;color:#fff}
input,select,textarea {padding:10px 12px;max-width:100%;min-width:0}
input[type=checkbox],input[type=radio] {accent-color:var(--ink)}
textarea {min-height:92px;line-height:1.75;resize:vertical}
input:focus,textarea:focus,select:focus {border-color:#9e9da9}
:focus-visible {outline:3px solid #c9c5df;outline-offset:2px}
a {color:var(--accent);text-decoration:none}
a:hover {text-decoration:underline}
.icon {width:18px;height:18px;fill:none;stroke:currentColor;stroke-width:1.7;stroke-linecap:round;stroke-linejoin:round;vertical-align:-3px;flex-shrink:0}
button .icon {vertical-align:-3px}
.small-btn {display:inline-flex;align-items:center;justify-content:center;gap:7px;padding:9px 12px;min-height:38px;font-size:13px;white-space:nowrap}
.actions,.heading-actions {display:flex;align-items:center;flex-wrap:wrap;gap:8px}
.mono {font-family:Consolas,"SFMono-Regular",monospace;font-variant-numeric:tabular-nums}
.muted,.meta {color:var(--muted)}
.tiny {font-size:12px}
.danger {color:var(--danger)}
.sr-only {position:absolute;width:1px;height:1px;padding:0;margin:-1px;overflow:hidden;clip:rect(0,0,0,0);white-space:nowrap;border:0}
[hidden] {display:none!important}
.eyebrow {display:block;color:var(--muted);font-size:12px;font-weight:500;letter-spacing:.03em;margin-bottom:7px}
.panel {background:var(--surface);border:1px solid var(--line);border-radius:14px;min-width:0}
.panel-head {padding:19px 20px;display:flex;align-items:center;justify-content:space-between;gap:12px;border-bottom:1px solid var(--line)}
.panel-head h2 {font-size:16px;font-weight:600;line-height:1.5;margin:0}
.panel-head p {font-size:12px;color:var(--muted);margin:5px 0 0}
.panel-body {padding:20px}
.page-heading {display:flex;align-items:flex-start;justify-content:space-between;gap:20px;margin-bottom:24px}
.page-heading h1 {font-size:28px;line-height:1.3;font-weight:600;letter-spacing:-.8px;margin:0 0 9px}
.page-heading p {font-size:14px;color:var(--muted);margin:0;line-height:1.7}
.heading-actions {padding-top:6px;justify-content:flex-end}
.label,.field label {display:block;font-size:13px;font-weight:500;margin:0 0 7px}
.field {margin:16px 0}
.field small {display:block;font-size:12px;color:var(--muted);margin-top:6px;line-height:1.7}
.field-grid {display:grid;grid-template-columns:1fr 1fr;gap:16px}
.field-grid .field {margin:0}
.divider {height:1px;background:var(--line);margin:20px 0}
.inline-link,.evidence-link {display:inline-flex;align-items:center;gap:6px;color:var(--accent);font-size:13px}
.evidence-link {background:none;border:0;padding:3px 0;text-align:left}
.evidence-link:hover:not(:disabled) {background:none;color:#0b4d48;border:0}
.notice {background:var(--warn-soft);border:1px solid #e9d5b4;border-radius:9px;padding:12px 15px;color:#795528;font-size:13px;line-height:1.7}
.notice.error {background:var(--danger-soft);border-color:#e9c4ca;color:var(--danger)}
#notice:not(:empty) {margin-bottom:20px}
.status-tag,.check-status {display:inline-flex;align-items:center;gap:5px;white-space:nowrap;border-radius:6px;padding:3px 7px;font-size:12px;line-height:1.5;background:#f0f0f4;color:#656772}
.status-tag.covered,.status-tag.valid,.check-status.pass {background:var(--accent-soft);color:var(--accent)}
.status-tag.conflict,.status-tag.stale,.check-status.stale,.check-status.blocked {background:var(--warn-soft);color:var(--warn)}
.status-tag.unknown,.status-tag.unread {background:var(--soft);color:#655b7f}
.status-tag.unseen,.status-tag.missing {background:var(--warn-soft);color:var(--warn)}
.status-tag.deferred,.check-status.pending {background:#f0f0f4;color:#656772}
.check-status.fail {background:var(--danger-soft);color:var(--danger)}
.dot,.local-dot {display:inline-block;width:6px;height:6px;flex-shrink:0;border-radius:50%;background:#a2a4af}
.dot.current,.local-dot {background:var(--accent)}
.empty-state {padding:28px 20px;color:var(--muted);line-height:1.8}
.boot-state {height:100dvh;display:grid;place-content:center;justify-items:center;gap:15px}

/* App shell / persistent workflow navigation. */
.shell {display:grid;grid-template-columns:216px minmax(0,1fr);gap:12px;margin:12px;min-height:calc(100dvh - 24px)}
.sidebar {position:sticky;top:12px;height:calc(100dvh - 24px);padding:25px 12px 18px;display:flex;flex-direction:column;gap:38px;background:var(--sidebar);border-radius:16px}
.brand {display:flex;align-items:center;gap:11px;color:var(--ink);padding:0 11px}
.brand:hover {text-decoration:none}
.logo-mark {width:34px;height:34px;border-radius:10px;background:var(--ink);color:#fff;position:relative;display:inline-flex;align-items:center;justify-content:center;font:600 29px Georgia,serif;letter-spacing:-2px;flex-shrink:0}
.logo-mark span {position:absolute;right:6px;top:4px;font:600 11px "Segoe UI",sans-serif;letter-spacing:0}
.brand-name {font-size:17px;font-weight:650;letter-spacing:-.55px;line-height:1.25}
.brand-name small {display:block;color:var(--muted);font-size:11px;font-weight:400;letter-spacing:0;margin-top:6px}
.sidebar-label {font-size:12px;color:var(--muted);padding:0 13px;margin-bottom:12px}
.side-nav {display:grid;gap:8px}
.side-nav button {display:flex;align-items:center;gap:11px;text-align:left;background:transparent;border-color:transparent;padding:12px 13px;color:#4d4c56;min-height:62px;border-radius:12px}
.side-nav .icon {width:19px;height:19px}
.nav-copy {display:grid;gap:5px}
.nav-label {font-size:14px;font-weight:500}
.nav-copy small {font-size:11px;color:#74727f;white-space:nowrap}
.side-nav button.active {background:var(--ink);color:#fff;border-color:var(--ink)}
.side-nav button.active:hover {background:#393a42}
.side-nav button.active .nav-copy small {color:#c8c7d0}
.nav-count {margin-left:auto;background:#e1dfe8;color:#686470;font-size:11px;line-height:1.7;min-width:19px;padding:0 5px;text-align:center;border-radius:6px}
.active .nav-count {background:#41414a;color:#fff}
.sidebar-footer {margin-top:auto;padding:0 12px;display:grid;gap:19px}
.project-scope {padding:16px 0;border-top:1px solid #dcd9e3;border-bottom:1px solid #dcd9e3}
.scope-label {display:block;font-size:11px;color:var(--muted);margin-bottom:8px}
.project-scope strong {display:block;font-size:13px;font-weight:500;line-height:1.75}
.project-scope small {display:block;font-size:12px;color:var(--muted);margin-top:6px}
.sidebar-footer a {display:flex;gap:9px;align-items:center;color:#565461;font-size:13px}
.engine-label {display:flex;align-items:flex-start;gap:8px;color:var(--muted);font-size:11px;line-height:1.8}
.engine-label .local-dot {margin-top:8px}
.engine-label b {display:block;color:#55535e;font-size:12px;font-weight:500}
.main {min-width:0;min-height:calc(100dvh - 24px);background:var(--surface);border:1px solid var(--line);border-radius:16px}
.topbar {min-height:72px;display:flex;align-items:center;justify-content:space-between;gap:20px;padding:16px 26px;border-bottom:1px solid var(--line)}
.topbar-title {display:flex;align-items:center;gap:11px;min-width:0}
.workspace-label,.breadcrumb-divider {color:var(--muted);font-size:12px;flex-shrink:0}
.breadcrumb-divider {color:#b3b1bd}
.topbar-title strong {font-size:14px;font-weight:500;white-space:nowrap;overflow:hidden;text-overflow:ellipsis;max-width:520px}
#project-version {font-size:11px;white-space:nowrap;border-radius:5px;background:#f4f3f7;color:#74707f;padding:2px 6px}
.topbar-actions {display:flex;align-items:center;gap:10px;flex-shrink:0}
.save-indicator {font-size:12px;color:var(--muted);display:inline-flex;align-items:center;gap:5px;white-space:nowrap}
.save-indicator .icon {width:14px;height:14px;color:var(--accent)}
.workspace-menu {position:relative}
.workspace-menu summary {width:32px;height:34px;display:grid;place-content:center;font-size:22px;line-height:1;cursor:pointer;border-radius:7px;color:var(--muted);list-style:none}
.workspace-menu summary::-webkit-details-marker {display:none}
.workspace-menu[open] summary,.workspace-menu summary:hover {background:#f3f2f6}
.workspace-menu-items {position:absolute;z-index:20;right:0;top:43px;width:194px;padding:6px;background:white;border:1px solid var(--line);border-radius:10px;box-shadow:0 8px 30px #21212c16;display:grid;gap:3px}
.workspace-menu-items button {border:0;justify-content:flex-start}
.content-wrap {padding:26px;max-width:1840px;margin:auto}
.content-footer {display:flex;align-items:center;justify-content:space-between;gap:16px;margin-top:25px;padding-top:16px;border-top:1px solid var(--line);font-size:12px;color:var(--muted)}
.content-footer a {color:var(--muted)}

/* Materials: a file inventory and a separate intake panel. */
.sources-grid {display:grid;grid-template-columns:minmax(0,1fr) 320px;gap:22px;align-items:start}
.sources-library .panel-head {padding:20px}
.inventory-total {color:#4c4c57;border-radius:7px;background:#f1f0f5;font-size:12px;padding:4px 8px;white-space:nowrap}
.material-summary {display:flex;align-items:center;gap:15px;flex-wrap:wrap;background:#fafafd;padding:11px 20px;font-size:12px;color:var(--muted);border-bottom:1px solid var(--line)}
.material-summary span {display:inline-flex;align-items:center;gap:6px}
.source-card {display:grid;grid-template-columns:35px minmax(0,1fr) 112px;gap:12px;align-items:start;position:relative;padding:18px 20px;border-bottom:1px solid var(--line)}
.source-card:last-child {border-bottom:0}
.material-icon {display:grid;place-items:center;width:32px;height:37px;border:1px solid #e4e2ec;border-radius:7px;background:#f6f5f9;color:#6d637e;margin-top:2px}
.material-icon .icon {width:18px;height:18px}
.source-card-heading {min-width:0}
.source-card h3 {font-size:14px;font-weight:600;margin:0 0 5px;line-height:1.55;overflow-wrap:anywhere}
.source-card p {margin:0;font-size:12px;line-height:1.65;color:var(--muted);display:-webkit-box;-webkit-line-clamp:1;-webkit-box-orient:vertical;overflow:hidden}
.source-meta {display:flex;align-items:center;flex-wrap:wrap;gap:7px;font-size:12px;color:var(--muted);margin-top:8px}
.source-meta {flex-wrap:nowrap;gap:8px}
.source-meta>span:first-child {white-space:nowrap}
.source-meta .material-version {min-width:0;max-width:155px;flex:0 1 auto;overflow:hidden;text-overflow:ellipsis;white-space:nowrap}
.source-meta small {font-size:12px;white-space:nowrap}
.source-meta .status-tag {flex-shrink:0;padding:2px 6px}
.source-actions {grid-column:3;grid-row:1;display:grid;justify-items:end;gap:7px}
.source-actions select {font-size:12px;width:112px;padding:7px 8px;min-height:33px;border-color:#e6e5ec;background:#fcfcfd}
.source-actions .evidence-link {font-size:12px}
.source-actions .icon {width:13px;height:13px}
.material-read-state {grid-column:2 / 4;display:flex;align-items:center;gap:10px;margin-top:-5px}
.material-read-state small {color:var(--muted);font-size:12px}
.material-library-footer {border-top:1px solid var(--line);padding:14px 20px;display:flex;align-items:flex-start;gap:8px;font-size:12px;color:var(--muted);line-height:1.7}
.material-library-footer .icon {width:15px;height:15px;margin-top:2px}
.sources-import-column {display:grid;gap:19px}
.material-import {background:#fdfdfd}
.material-import .panel-head {padding:20px;align-items:start}
.material-import .panel-head>.icon {width:16px;height:16px;color:var(--muted);margin-top:5px}
.input-grid {display:grid;gap:18px}
.input-grid textarea {width:100%;min-height:121px;font-size:13px;background:white}
.field-label {display:flex;align-items:center;justify-content:space-between;gap:8px;margin-bottom:8px}
.field-label .label {margin:0}
.upload-file {display:inline-flex;align-items:center;cursor:pointer;position:relative;color:var(--accent);font-size:12px}
.upload-file:hover {text-decoration:underline}
.upload-file input {position:absolute;opacity:0;width:100%;inset:0;cursor:pointer;padding:0}
.upload-file:focus-within {outline:2px solid #c9c5df;outline-offset:3px}
.form-actions {margin-top:17px;display:grid;gap:9px}
.form-actions>.small-btn {width:100%}
.form-actions .inline-link {justify-content:center;font-size:12px;margin-top:3px}
.import-error {font-size:13px;line-height:1.7;color:var(--danger);margin:10px 0 0;overflow-wrap:anywhere}
.import-error:empty {display:none}
.advanced {border-top:1px solid var(--line);margin-top:19px;padding-top:15px}
.advanced summary,.material-guide summary {font-size:12px;color:var(--muted);cursor:pointer}
.advanced textarea {width:100%;min-height:210px;margin:12px 0;font:12px/1.7 Consolas,monospace}
.advanced .actions {align-items:flex-start;gap:12px}
.material-guide {padding:0 3px;color:var(--muted);font-size:12px;line-height:1.8}
.material-guide h3 {font-size:13px;font-weight:600;color:#56545f;margin:0 0 8px}
.material-guide p {margin:0 0 10px}
.material-guide b {font-weight:500;color:#4f4d58}
.material-guide details p {margin-top:9px}
.material-guide .inline-link {font-size:12px}

/* Implementation verification — expected behaviour before execution records. */
.verification-heading {display:flex;justify-content:space-between;gap:20px;align-items:start;margin-bottom:23px}
.verification-heading h1 {font-size:28px;font-weight:600;letter-spacing:-.7px;line-height:1.35;margin:0 0 10px}
.verification-heading p {font-size:14px;color:var(--muted);margin:0;line-height:1.7}
.verification-heading .actions {padding-top:10px;flex-shrink:0}
.check-overview {display:flex;gap:0;align-items:center;flex-wrap:wrap;border:1px solid var(--line);border-radius:12px;padding:18px 20px;margin-bottom:23px;background:#fcfcfd}
.check-overview>span {display:flex;align-items:baseline;gap:9px;font-size:12px;color:var(--muted);padding:0 22px;border-right:1px solid var(--line)}
.check-overview>span:first-child {padding-left:0}
.check-overview>span:nth-child(5) {border-right:0}
.check-overview b {font-size:24px;font-weight:600;color:var(--ink);font-variant-numeric:tabular-nums}
.check-overview>span:first-child b {color:var(--accent)}
.check-overview p {font-size:12px;color:var(--muted);margin:0 0 0 auto;max-width:300px;line-height:1.7}
.check-workspace {display:grid;grid-template-columns:260px minmax(0,1fr);gap:20px;align-items:start}
.check-queue {border:1px solid var(--line);border-radius:12px;overflow:hidden}
.check-queue .panel-head {padding:17px 18px;font-size:12px;color:var(--muted)}
.check-queue .panel-head h2 {font-size:15px;color:var(--ink)}
.check-case-list {padding:8px;display:grid;gap:5px;max-height:665px;overflow:auto}
.check-case {background:transparent;display:grid;gap:8px;text-align:left;padding:13px 12px;border-color:transparent;border-radius:9px}
.check-case.selected {background:#f1eff7;border-color:#d9d5e5}
.check-case-meta {display:flex;align-items:center;justify-content:space-between;gap:8px;font-size:12px}
.check-case-meta b {font-weight:500;color:var(--muted)}
.check-case strong {font-size:14px;font-weight:500;line-height:1.65}
.check-case small {color:var(--muted);font-size:12px}
.check-detail {border:1px solid var(--line);border-radius:12px;overflow:hidden;background:white}
.check-detail-head {padding:22px 23px;border-bottom:1px solid var(--line);display:flex;align-items:start;justify-content:space-between;gap:18px}
.check-detail-head h2 {font-size:20px;font-weight:600;line-height:1.55;margin:0}
.check-detail-head .small-btn {font-size:12px}
.check-detail>.notice {margin:16px 22px 0}
.check-expected {padding:21px 23px;background:#fafafd;border-bottom:1px solid var(--line)}
.check-expected>span {font-size:12px;color:var(--muted);font-weight:500}
.check-expected>p {font-size:14px;line-height:1.8;margin:6px 0 16px;overflow-wrap:anywhere}
.check-expected>p:last-child {margin-bottom:0}
#check-result-form {padding:22px 23px}
.check-form-head {display:flex;align-items:center;justify-content:space-between;gap:10px;margin-bottom:19px}
.check-form-head h3 {font-size:16px;font-weight:600;margin:0}
.check-form-head span {font-size:12px;color:var(--muted)}
#check-result-form textarea {display:block;width:100%;min-height:98px;font-size:14px;margin-bottom:17px}
.check-form-footer {display:flex;align-items:center;justify-content:space-between;gap:15px;margin-top:23px}
.check-outcome {display:flex;align-items:center;gap:10px;font-size:13px}
.check-outcome select {font-size:13px;padding:8px 10px}
.check-record-meta {border-top:1px solid var(--line);padding:12px 23px;color:var(--muted);font-size:12px}
.check-empty {display:grid;grid-template-columns:minmax(0,1fr) 310px;border:1px solid var(--line);border-radius:14px;overflow:hidden}
.check-empty>div {padding:35px}
.empty-document-symbol {display:grid;place-items:center;width:44px;height:44px;background:var(--accent-soft);border-radius:12px;color:var(--accent);margin-bottom:20px;font-size:22px}
.check-empty h2 {font-size:21px;font-weight:600;margin:0 0 10px}
.check-empty p {max-width:610px;color:var(--muted);line-height:1.8;margin-bottom:23px}
.check-empty aside {background:#faf9fd;border-left:1px solid var(--line);padding:37px 30px;color:var(--muted);font-size:13px;line-height:2}
.check-empty aside strong {color:var(--ink);font-weight:500}
.check-empty ol {padding-left:18px}
.verification-unresolved {margin-top:20px;border:1px solid var(--line);border-radius:10px}
.verification-unresolved summary {padding:15px 18px;font-size:13px;color:var(--muted);cursor:pointer}
.verification-unresolved>div,.verification-unresolved>p {padding:0 18px 16px}
.verification-unresolved>div {display:grid;gap:6px}
.verification-unresolved button {text-align:left;font-size:13px;border:0;display:flex;gap:9px;align-items:center;background:#fafafd;line-height:1.65}
.verification-unresolved button b {font-size:12px;color:var(--muted);font-weight:500}
.verification-unresolved button span {margin-left:auto;font-size:12px;color:var(--accent);flex-shrink:0}
.previous-check {margin:0 18px 17px;padding:13px 15px;background:#fafafd;border-radius:8px}
.previous-check strong {font-weight:500;font-size:13px}
.previous-check p {margin:8px 0;font-size:14px;line-height:1.8}
.previous-check small {font-size:12px;color:var(--muted)}
.experiment-study {margin-top:30px;padding:23px 0;border-top:1px solid var(--line);color:var(--muted)}
.experiment-heading {display:flex;align-items:start;justify-content:space-between;gap:20px}
.experiment-heading h2 {font-size:16px;font-weight:500;color:#50515d;margin:0 0 7px}
.experiment-heading p {font-size:12px;margin:0;line-height:1.7}
.experiment-heading .actions {flex-shrink:0}
.experiment-placeholder {font-size:12px;margin:14px 0 0}
.experiment-summary {display:flex;align-items:center;gap:17px;flex-wrap:wrap;font-size:13px;margin-top:20px}
.experiment-summary small {font-size:12px}
.experiment-files {display:flex;flex-wrap:wrap;gap:18px;font-size:13px;margin:15px 0}
.experiment-results>details {font-size:13px;padding:15px;background:#fafafd;border-radius:10px}
.experiment-results summary {cursor:pointer}
.experiment-case-results {margin:15px 0;display:grid;gap:9px}
.experiment-case-results>div {display:flex;align-items:center;gap:12px}
.experiment-case-results p {margin:0;font-size:13px}
.experiment-case-results small {margin-left:auto;white-space:nowrap}
.experiment-command {display:grid;gap:7px}
.experiment-command code,.experiment-hashes pre {font:12px/1.8 Consolas,monospace;overflow-wrap:anywhere;white-space:pre-wrap}
.verification-limit {font-size:12px;color:var(--muted);line-height:1.8;padding-top:10px}

/* Menus, source readers and edit dialogs. */
.modal-overlay {position:fixed;inset:0;z-index:50;padding:24px;background:#20202b3a;backdrop-filter:blur(4px);display:flex;align-items:center;justify-content:center}
.modal {width:600px;max-width:100%;max-height:90dvh;overflow:auto;background:white;border:1px solid #e8e7ef;border-radius:16px;padding:28px;box-shadow:0 25px 80px #20202b26;animation:modal-in 160ms ease-out}
.modal.wide {width:870px}
.modal-heading {display:flex;align-items:center;justify-content:space-between;gap:20px;margin-bottom:17px}
.modal-heading h2 {font-size:21px;font-weight:600;line-height:1.5;margin:0}
.close-button {width:32px;height:32px;padding:0;font-size:25px;color:var(--muted);background:#f5f4f7;border:0}
.modal-description {font-size:13px;color:var(--muted);line-height:1.8;margin:-4px 0 23px}
.modal .field input,.modal .field select,.modal .field textarea {width:100%}
.modal-footer {margin-top:23px;padding-top:18px;border-top:1px solid var(--line);display:flex;justify-content:flex-end;gap:9px;flex-wrap:wrap}
.modal-footer button {font-size:13px;min-height:38px}
.modal-list {max-height:330px;overflow:auto;font-size:14px;color:var(--text);line-height:1.8;padding-left:22px}
.modal-list li {margin-bottom:8px}
.source-locator {font:12px/1.75 Consolas,"Microsoft YaHei",monospace;overflow-wrap:anywhere;color:var(--muted);margin:10px 0}
.source-content {font:13px/1.85 Consolas,"Microsoft YaHei",monospace;border:1px solid var(--line);border-radius:10px;background:#fcfcfd;max-height:480px;overflow:auto;margin-top:17px;padding:10px 0}
.source-line {display:grid;grid-template-columns:42px minmax(0,1fr);padding:3px 13px 3px 0;min-height:27px;white-space:pre-wrap;overflow-wrap:anywhere}
.line-number {color:#85828f;font-size:12px;text-align:right;padding-right:13px;margin-right:13px;border-right:1px solid var(--line);user-select:none}
.source-line.highlight {background:var(--accent-soft);color:#205a51}
.semantic-sources {display:grid;gap:11px;margin:15px 0}
.semantic-sources label {display:flex;align-items:flex-start;gap:10px;font-size:14px;line-height:1.7}
.semantic-sources input {width:auto;margin-top:5px}
.semantic-consent {display:flex;align-items:flex-start;gap:10px;font-size:13px;line-height:1.8;margin-top:17px}
.semantic-consent input {width:auto;margin:5px 0 0}
.semantic-progress {padding:12px 0;color:var(--muted);font-size:13px}
.suggestion-card {border:1px solid var(--line);padding:18px;border-radius:12px;margin:14px 0}
.suggestion-card h3 {font-size:16px;font-weight:600;margin:0 0 10px}
.suggestion-card blockquote {margin:10px 0;padding:12px 15px;background:var(--accent-soft);border-left:2px solid #679b91;font-size:14px;line-height:1.8}
.suggestion-card p {font-size:14px;line-height:1.8}
.previous-workspace {margin-top:23px;padding-top:20px;border-top:1px solid var(--line)}
#toast {position:fixed;z-index:100;bottom:25px;left:50%;transform:translateX(-50%);max-width:min(580px,90vw);background:#282830;color:white;padding:13px 19px;border-radius:10px;font-size:13px;line-height:1.7;opacity:0;visibility:hidden;transition:opacity 140ms;pointer-events:none}
#toast.visible {opacity:1;visibility:visible}
.view-entry {animation:section-in 160ms ease-out}
@keyframes section-in {from{opacity:.65;transform:translateY(3px)}to{opacity:1;transform:none}}
@keyframes modal-in {from{opacity:.5;transform:translateY(4px)}to{opacity:1;transform:none}}

/* Responsive layouts retain full task names and every control. */
@media(max-width:1450px) {
  #project-version,.workspace-label,.breadcrumb-divider {display:none}
  .heading-actions {gap:6px}
  .sources-grid {grid-template-columns:minmax(0,1fr) 300px;gap:19px}
  .source-card {padding:16px;gap:10px;grid-template-columns:32px minmax(0,1fr) 108px}
  .source-actions select {width:108px}
  .check-overview p {width:100%;max-width:none;margin:12px 0 0}
}
@media(max-width:1180px) {
  .shell {grid-template-columns:200px minmax(0,1fr);gap:10px}
  .sidebar {padding-inline:10px}
  .brand {padding-inline:8px}
  .brand-name {font-size:16px}
  .nav-copy small {font-size:11px}
  .content-wrap {padding:22px}
  .topbar {padding:15px 22px}
  .save-indicator {display:none}
  .sources-grid {grid-template-columns:1fr}
  .sources-import-column {grid-template-columns:minmax(0,1fr) 250px;align-items:start}
  .input-grid {grid-template-columns:1fr 1fr;gap:14px}
  .sources-grid .form-actions {display:flex;flex-wrap:wrap}
  .form-actions>.small-btn {width:auto}
  .page-heading,.verification-heading {flex-wrap:wrap;gap:12px}
  .heading-actions {padding-top:0}
  .check-workspace {grid-template-columns:230px minmax(0,1fr);gap:16px}
  .check-detail-head {flex-wrap:wrap;gap:12px}
  .check-form-footer {flex-wrap:wrap}
}
@media(max-width:900px) {
  .shell {display:block;margin:8px}
  .sidebar {position:static;height:auto;padding:14px 15px;gap:17px;margin-bottom:10px}
  .brand {padding:0}
  .brand-name small,.sidebar-label,.sidebar-footer,.nav-copy small,.nav-count {display:none}
  .side-nav {display:flex;gap:7px}
  .side-nav button {flex:1;justify-content:center;min-height:42px;padding:10px 8px;gap:7px;border-radius:9px}
  .side-nav .icon {width:16px;height:16px}
  .nav-label {font-size:13px}
  .main {min-height:70dvh}
  .topbar {min-height:64px;padding:13px 20px;gap:12px}
  .topbar-title strong {font-size:13px}
  .sources-import-column {grid-template-columns:1fr}
  .material-guide {padding:0 5px}
  .check-workspace {grid-template-columns:210px minmax(0,1fr)}
  .check-overview>span {padding-inline:15px}
  .check-empty {grid-template-columns:1fr 250px}
  .check-empty>div {padding:25px}
  .check-empty aside {padding:27px 23px}
  .experiment-heading {flex-wrap:wrap;gap:15px}
}
@media(max-width:650px) {
  .content-wrap {padding:20px 15px}
  .topbar {padding:12px 15px}
  .topbar-actions {gap:6px}
  .topbar-title strong {max-width:190px}
  .topbar-actions .small-btn {font-size:12px;padding:8px 10px}
  .side-nav .icon {display:none}
  .page-heading h1,.verification-heading h1 {font-size:25px}
  .page-heading p,.verification-heading p {font-size:13px}
  .page-heading,.verification-heading {gap:17px;margin-bottom:20px}
  .heading-actions {justify-content:flex-start}
  .heading-actions .small-btn {font-size:12px;padding:8px 10px}
  .source-card {grid-template-columns:28px minmax(0,1fr);padding:17px 15px}
  .material-icon {width:27px;height:32px}
  .source-actions {grid-column:2;grid-row:auto;display:flex;justify-content:space-between;justify-items:start;gap:14px}
  .source-meta {flex-wrap:wrap}
  .source-card p {display:block;overflow:visible}
  .material-read-state {grid-column:2;margin-top:0}
  .material-summary {padding:12px 15px;gap:8px 14px}
  .material-library-footer {padding:14px 15px}
  .input-grid,.field-grid {grid-template-columns:1fr}
  .sources-grid .form-actions {display:grid}
  .form-actions>.small-btn {width:100%}
  .content-footer {font-size:12px;gap:10px;align-items:start}
  .verification-heading .actions {padding-top:0}
  .check-overview {padding:15px;gap:10px 0}
  .check-overview>span {padding-inline:10px}
  .check-overview b {font-size:21px}
  .check-workspace {grid-template-columns:1fr}
  .check-case-list {display:flex;overflow:auto;max-height:220px}
  .check-case {flex:0 0 235px}
  .check-detail-head,#check-result-form,.check-expected {padding:19px}
  .check-detail-head h2 {font-size:19px}
  .check-form-head {flex-wrap:wrap}
  .check-form-footer {display:grid}
  .check-form-footer .small-btn {width:100%}
  .check-outcome {justify-content:space-between}
  .check-empty {grid-template-columns:1fr}
  .check-empty aside {border-left:0;border-top:1px solid var(--line)}
  .verification-unresolved button {display:block;line-height:1.8}
  .verification-unresolved button span {display:block}
  .experiment-case-results>div {flex-wrap:wrap}
  .modal-overlay {padding:10px}
  .modal {padding:20px;max-height:93dvh;border-radius:13px}
  .modal-heading h2 {font-size:19px}
  .source-line {grid-template-columns:34px minmax(0,1fr)}
  .line-number {padding-right:9px;margin-right:9px}
}
@media(prefers-reduced-motion:reduce) {
  *,*::before,*::after {animation:none!important;transition:none!important;scroll-behavior:auto!important}
}