/* User page: a VS Code-like workbench. Colors are tokens; light values apply when the system is light. */
:root{
  --bg:#1e1e1e;--panel:#181818;--titlebar:#1f1f1f;--status:#181818;--border:#2b2b2b;--hover:#2a2d2e;--select:#04395e;
  --select-line:#0078d4;--text:#cccccc;--muted:#8b8b8b;--faint:#6e6e6e;--accent:#0078d4;--accent-hover:#026ec1;--on-accent:#fff;
  --ok:#3fb950;--fail:#f85149;--warn:#d29922;--tab:#181818;--tab-active:#1e1e1e;--input:#313131;--shadow:0 6px 24px rgba(0,0,0,.45);
  --gutter:#6e7681;--code:#d4d4d4;--tok-comment:#6a9955;--tok-string:#ce9178;--tok-keyword:#569cd6;--tok-number:#b5cea8;
  --tok-pre:#c586c0;--tok-type:#4ec9b0;
  --mono:"JetBrains Mono","Cascadia Code",Menlo,Consolas,"DejaVu Sans Mono",monospace;
  color-scheme:dark;
}
@media (prefers-color-scheme: light){:root{
  --bg:#ffffff;--panel:#f8f8f8;--titlebar:#f3f3f3;--status:#f3f3f3;--border:#e5e5e5;--hover:#e8e8e8;--select:#e4f0fb;
  --select-line:#005fb8;--text:#3b3b3b;--muted:#6f6f6f;--faint:#8a8a8a;--accent:#005fb8;--accent-hover:#0258a8;--on-accent:#fff;
  --ok:#1a7f37;--fail:#cf222e;--warn:#9a6700;--tab:#f8f8f8;--tab-active:#ffffff;--input:#ffffff;--shadow:0 6px 24px rgba(0,0,0,.14);
  --gutter:#8c8c8c;--code:#1f1f1f;--tok-comment:#008000;--tok-string:#a31515;--tok-keyword:#0000ff;--tok-number:#098658;
  --tok-pre:#af00db;--tok-type:#267f99;color-scheme:light;
}}
*{box-sizing:border-box}
html,body{height:100%}
body{margin:0;display:flex;flex-direction:column;background:var(--bg);color:var(--text);
  font:13px/1.4 -apple-system,BlinkMacSystemFont,"Segoe UI","PingFang SC","Microsoft YaHei",sans-serif;overflow:hidden}
button,input{font:inherit;color:inherit}
button{cursor:pointer}
.hidden{display:none!important}
/* Until the page knows whether the visitor is signed in, show neither the workbench nor the sign-in screen. */
body.booting .titlebar,body.booting .workbench,body.booting .statusbar{visibility:hidden}
.sr-only{position:absolute;width:1px;height:1px;overflow:hidden;clip:rect(0 0 0 0);white-space:nowrap}

/* Title bar */
.titlebar{flex:none;height:40px;display:flex;align-items:center;gap:14px;padding:0 10px 0 14px;background:var(--titlebar);border-bottom:1px solid var(--border)}
.brand{display:flex;align-items:center;gap:7px;font-weight:600;letter-spacing:.2px}
.brand-mark{color:var(--accent);font-size:16px}
.project-switch{position:relative}
.project-button{display:flex;align-items:center;gap:6px;max-width:360px;height:26px;padding:0 10px;border:1px solid var(--border);border-radius:6px;background:var(--input)}
.project-button:hover{border-color:var(--faint)}
.project-button span:first-child{overflow:hidden;text-overflow:ellipsis;white-space:nowrap}
.chevron{color:var(--muted);font-size:10px}
.titlebar-spacer,.statusbar-spacer{flex:1}
.run-button{display:flex;align-items:center;gap:8px;height:28px;padding:0 14px;border:0;border-radius:6px;background:var(--accent);color:var(--on-accent);font-weight:600}
.run-button:hover:not(:disabled){background:var(--accent-hover)}
.run-button:disabled{opacity:.45;cursor:not-allowed}
.run-button.stop{background:transparent;color:var(--fail);border:1px solid var(--fail)}
.run-button.stop:hover{background:color-mix(in srgb,var(--fail) 14%,transparent)}
.run-icon{font-size:10px}

/* Menus and dialogs */
.menu{position:absolute;top:30px;left:0;z-index:20;min-width:260px;max-height:60vh;overflow:auto;padding:4px;border:1px solid var(--border);border-radius:6px;background:var(--panel);box-shadow:var(--shadow)}
.menu button{display:flex;align-items:center;gap:8px;width:100%;padding:6px 10px;border:0;border-radius:4px;background:none;text-align:left}
.menu button:hover,.menu button:focus-visible{background:var(--select);outline:none}
.menu button small{margin-left:auto;color:var(--muted)}
.menu hr{border:0;border-top:1px solid var(--border);margin:4px 2px}
.menu .menu-label{padding:6px 10px 2px;color:var(--muted);font-size:11px;text-transform:uppercase;letter-spacing:.4px}
.menu button.current{color:var(--accent)}
.menu button.danger-item{color:var(--fail)}
.dialog{min-width:360px;padding:0;border:1px solid var(--border);border-radius:8px;background:var(--panel);color:var(--text);box-shadow:var(--shadow)}
.dialog::backdrop{background:rgba(0,0,0,.35)}
.dialog form{padding:18px 20px}
.dialog h2{margin:0 0 12px;font-size:14px}
.dialog p{margin:0 0 6px;color:var(--muted);line-height:1.6}
.dialog label{display:block;margin-bottom:6px;color:var(--muted)}
.dialog input{width:100%;height:30px;padding:0 8px;border:1px solid var(--border);border-radius:4px;background:var(--input);outline:none}
.dialog input:focus{border-color:var(--accent)}
.dialog-actions{display:flex;justify-content:flex-end;gap:8px;margin-top:18px}
.primary,.secondary,.danger{height:28px;padding:0 14px;border-radius:4px;border:1px solid transparent}
.primary{background:var(--accent);color:var(--on-accent)}
.secondary{background:transparent;border-color:var(--border)}
.danger{background:var(--fail);color:#fff}

/* Workbench */
.workbench{flex:1;min-height:0;display:grid;grid-template-columns:var(--sidebar-width,300px) 4px minmax(0,1fr);grid-template-rows:minmax(0,1fr)}
.sidebar{min-width:0;min-height:0;overflow:hidden;display:flex;flex-direction:column;background:var(--panel);border-right:1px solid var(--border)}
.sash-vertical{cursor:col-resize;background:transparent}
.sash-vertical:hover,.sash-vertical:focus-visible,.sash-vertical.dragging{background:var(--accent);outline:none}
.sash-horizontal{flex:none;height:4px;cursor:row-resize;border-top:1px solid var(--border)}
.sash-horizontal:hover,.sash-horizontal.dragging{background:var(--accent)}
.pane{display:flex;flex-direction:column;min-height:0}
.explorer{flex:1;position:relative}
.run-pane{flex:none;height:var(--run-height,46%);max-height:80%}
.run-pane.collapsed{height:auto}
.run-pane.collapsed .run-body{display:none}
.pane-header{flex:none;display:flex;align-items:center;gap:6px;height:30px;padding:0 8px 0 12px;font-size:11px;font-weight:700;letter-spacing:.5px;text-transform:uppercase;color:var(--muted)}
.pane-toggle{width:100%;border:0;background:none;text-align:left;padding-left:6px}
.pane-toggle:hover{color:var(--text)}
.twisty{width:12px;font-size:10px}
.run-pane.collapsed .twisty{transform:rotate(-90deg)}
.pane-title{flex:1}
.pane-actions{display:flex;gap:2px}
.icon-button{position:relative;display:grid;place-items:center;width:24px;height:22px;border:0;border-radius:4px;background:none;color:var(--muted);font-size:14px;cursor:pointer}
.icon-button:hover{background:var(--hover);color:var(--text)}
.icon-button input{position:absolute;inset:0;opacity:0;cursor:pointer;width:100%}

/* Tree */
.tree{flex:1;overflow:auto;padding-bottom:12px;outline:none}
.tree-row{position:relative;display:flex;align-items:center;gap:5px;height:22px;padding-right:28px;cursor:pointer;white-space:nowrap;user-select:none}
.tree-row:hover{background:var(--hover)}
.tree-row.selected{background:var(--select)}
.tree-row:focus-visible{outline:1px solid var(--select-line);outline-offset:-1px}
.tree-row .twist{flex:none;width:14px;text-align:center;color:var(--muted);font-size:10px}
.tree-row .twist.open{transform:rotate(90deg)}
.tree-row .name{overflow:hidden;text-overflow:ellipsis}
.tree-row .result-badge{margin-left:4px;padding:0 5px;border-radius:8px;background:color-mix(in srgb,var(--ok) 22%,transparent);color:var(--ok);font-size:10px}
.tree-row .delete{position:absolute;right:6px;display:none;width:18px;height:18px;border:0;border-radius:3px;background:none;color:var(--muted);line-height:18px}
.tree-row:hover .delete,.tree-row.selected .delete{display:block}
.tree-row .delete:hover{background:var(--hover);color:var(--fail)}
.file-icon{flex:none;display:inline-grid;place-items:center;width:16px;height:14px;border-radius:2px;font:700 8px/1 var(--mono);color:var(--muted)}
.file-icon.folder{font-size:12px;color:#dcb67a}
.file-icon.c{color:#519aba}.file-icon.h{color:#a074c4}.file-icon.pdf{color:#e5534b}.file-icon.txt{color:var(--muted)}
.file-icon.md{color:#519aba}.file-icon.cry{color:#e3a33a}.file-icon.saw{color:#3fb950}.file-icon.zip{color:#c9a26d}.file-icon.sh,.file-icon.py{color:#8ec07c}
.tree-empty{padding:14px 16px;color:var(--muted);line-height:1.6}
.drop-hint{display:none}
.explorer.dragover{outline:2px dashed var(--accent);outline-offset:-6px}
.explorer.dragover .drop-hint{display:grid;place-items:center;position:absolute;inset:30px 8px 8px;border-radius:6px;background:color-mix(in srgb,var(--accent) 12%,transparent);color:var(--text);font-weight:600;pointer-events:none}

/* Run pane */
.run-body{flex:1;overflow:auto;padding:4px 12px 14px}
.run-badge{padding:1px 7px;border-radius:9px;font-size:10px;text-transform:none;letter-spacing:0}
.run-badge.running{background:color-mix(in srgb,var(--accent) 25%,transparent);color:var(--text)}
.run-badge.verified{background:color-mix(in srgb,var(--ok) 22%,transparent);color:var(--ok)}
.run-badge.failed,.run-badge.cancelled{background:color-mix(in srgb,var(--fail) 18%,transparent);color:var(--fail)}
.run-badge.needs_input{background:color-mix(in srgb,var(--warn) 22%,transparent);color:var(--warn)}
.run-intro{margin:6px 0 10px;color:var(--muted);line-height:1.6}
.family-picker{display:flex;flex-wrap:wrap;align-items:center;gap:4px 8px;margin:8px 0 2px}
.family-picker label{color:var(--muted)}
.family-picker select{height:26px;padding:0 6px;border:1px solid var(--border);border-radius:5px;background:var(--input);color:var(--text)}
.family-picker select:disabled{opacity:.7}
.family-picker small{flex-basis:100%;color:var(--muted);line-height:1.5}
.run-intro ol{margin:6px 0 0;padding-left:18px}
.steps{list-style:none;margin:6px 0 0;padding:0}
.step{display:grid;grid-template-columns:18px 1fr;gap:2px 8px;padding:5px 0}
.step-icon{display:grid;place-items:center;width:16px;height:16px;margin-top:1px;border-radius:50%;font-size:10px;color:var(--faint);border:1px solid var(--faint)}
.step.done .step-icon{border-color:var(--ok);background:var(--ok);color:var(--bg)}
.step.failed .step-icon{border-color:var(--fail);background:var(--fail);color:#fff}
.step.skipped .step-icon{border-style:dashed}
.step.active .step-icon{border:2px solid color-mix(in srgb,var(--accent) 35%,transparent);border-top-color:var(--accent);animation:spin 1s linear infinite}
@keyframes spin{to{transform:rotate(360deg)}}
@media (prefers-reduced-motion: reduce){.step.active .step-icon{animation:none;border-color:var(--accent)}}
.step-label{display:flex;align-items:baseline;gap:8px;font-weight:600}
.step-time{margin-left:auto;flex:none;color:var(--muted);font-size:11px;font-weight:400;font-variant-numeric:tabular-nums;white-space:nowrap}
.step.pending .step-label,.step.skipped .step-label{color:var(--muted);font-weight:400}
.step-detail{grid-column:2;color:var(--muted);font-size:12px;line-height:1.5;word-break:break-word}
.step.failed .step-detail{color:var(--fail)}
.callout{margin:10px 0;padding:9px 11px;border-radius:6px;border-left:3px solid var(--accent);background:color-mix(in srgb,var(--accent) 10%,transparent);line-height:1.55}
.callout.fail{border-color:var(--fail);background:color-mix(in srgb,var(--fail) 9%,transparent)}
.callout.warn{border-color:var(--warn);background:color-mix(in srgb,var(--warn) 10%,transparent)}
.callout b{display:block;margin-bottom:3px}
.callout ul{margin:6px 0 0;padding-left:18px}
.callout li{margin:3px 0}
.result-files{display:grid;gap:3px;margin-top:8px}
.link-button{display:flex;align-items:center;gap:6px;padding:3px 6px;border:0;border-radius:4px;background:none;color:var(--accent);text-align:left}
.link-button:hover{background:var(--hover);text-decoration:underline}
.layout-summary{margin-top:10px;color:var(--muted);font-size:12px}
.layout-summary summary{cursor:pointer;color:var(--text)}
.layout-summary dl{display:grid;grid-template-columns:auto 1fr;gap:3px 10px;margin:8px 0 0}
.layout-summary dt{color:var(--muted)}
.layout-summary dd{margin:0;color:var(--text);word-break:break-all}

/* Editor */
.editor{min-width:0;min-height:0;display:flex;flex-direction:column;background:var(--bg)}
.tabs{flex:none;display:flex;height:35px;overflow-x:auto;overflow-y:hidden;background:var(--tab);border-bottom:1px solid var(--border);scrollbar-width:thin}
.tabs:empty{display:none}
.tab{flex:none;display:flex;align-items:center;gap:6px;max-width:220px;height:35px;padding:0 6px 0 12px;border:0;border-right:1px solid var(--border);background:var(--tab);color:var(--muted);cursor:pointer}
.tab.active{background:var(--tab-active);color:var(--text);box-shadow:inset 0 1px 0 var(--select-line)}
.tab .tab-name{overflow:hidden;text-overflow:ellipsis;white-space:nowrap}
.tab .close{width:20px;height:20px;border:0;border-radius:4px;background:none;color:inherit;visibility:hidden;line-height:20px}
.tab:hover .close,.tab.active .close{visibility:visible}
.tab .close:hover{background:var(--hover)}
.breadcrumbs{flex:none;display:flex;align-items:center;gap:6px;height:24px;padding:0 14px;color:var(--muted);font-size:12px;border-bottom:1px solid var(--border);white-space:nowrap;overflow:hidden}
.breadcrumbs .crumb-actions{margin-left:auto;display:flex;gap:4px}
.breadcrumbs .crumb-actions button,.breadcrumbs .crumb-actions a{height:20px;padding:0 8px;border:1px solid var(--border);border-radius:4px;background:none;color:var(--text);font-size:11px;text-decoration:none;line-height:18px}
.breadcrumbs .crumb-actions button[aria-pressed="true"]{border-color:var(--accent);color:var(--accent)}
.editor-body{flex:1;min-height:0;overflow:auto;position:relative}
.code{display:grid;grid-template-columns:auto 1fr;min-width:max-content;font:12.5px/19px var(--mono);color:var(--code)}
.code pre{margin:0;padding:8px 0 40px;font:inherit;tab-size:4}
.code .gutter{position:sticky;left:0;padding:8px 14px 40px 18px;text-align:right;color:var(--gutter);background:var(--bg);user-select:none}
.code .lines{padding-left:12px;padding-right:40px}
.tok-comment{color:var(--tok-comment);font-style:italic}.tok-string{color:var(--tok-string)}.tok-keyword{color:var(--tok-keyword)}
.tok-number{color:var(--tok-number)}.tok-pre{color:var(--tok-pre)}.tok-type{color:var(--tok-type)}
.notice-bar{position:sticky;top:0;z-index:1;padding:6px 14px;background:color-mix(in srgb,var(--warn) 16%,var(--bg));color:var(--text);font-size:12px;border-bottom:1px solid var(--border)}
.pdf-frame{display:block;width:100%;height:100%;border:0;background:#525659}
.placeholder{display:grid;place-items:center;height:100%;padding:24px;color:var(--muted);text-align:center;line-height:1.7}
.markdown-view{max-width:920px;margin:0 auto;padding:24px 32px 60px;line-height:1.7}
.markdown-view h1{font-size:24px;border-bottom:1px solid var(--border);padding-bottom:8px}
.markdown-view h2{font-size:18px;margin-top:28px;border-bottom:1px solid var(--border);padding-bottom:4px}
.markdown-view table{border-collapse:collapse;margin:12px 0;width:100%;display:block;overflow-x:auto}
.markdown-view th,.markdown-view td{border:1px solid var(--border);padding:6px 10px;text-align:left;vertical-align:top}
.markdown-view th{background:var(--panel)}
.markdown-view code{font-family:var(--mono);font-size:12px;padding:1px 4px;border-radius:3px;background:var(--panel)}
.markdown-view pre{padding:12px;border-radius:6px;background:var(--panel);overflow:auto}
.markdown-view pre code{padding:0;background:none}

/* Welcome */
.welcome{max-width:760px;margin:0 auto;padding:56px 32px}
.welcome h1{margin:0 0 6px;font-size:26px;font-weight:500}
.welcome .lead{margin:0 0 28px;color:var(--muted);font-size:14px;line-height:1.6}
.welcome-actions{display:flex;flex-wrap:wrap;gap:10px;margin-bottom:28px}
.welcome-actions label,.welcome-actions button{display:inline-flex;align-items:center;gap:8px;height:34px;padding:0 16px;border-radius:6px;border:1px solid var(--border);background:var(--panel);cursor:pointer}
.welcome-actions .main-action{background:var(--accent);border-color:var(--accent);color:var(--on-accent);font-weight:600}
.welcome-actions input{display:none}
.drop-zone{display:grid;place-items:center;height:120px;margin-bottom:30px;border:1.5px dashed var(--faint);border-radius:8px;color:var(--muted)}
.drop-zone.dragover{border-color:var(--accent);background:color-mix(in srgb,var(--accent) 10%,transparent);color:var(--text)}
.welcome h2{margin:0 0 10px;font-size:13px;text-transform:uppercase;letter-spacing:.5px;color:var(--muted)}
.checklist{display:grid;gap:8px;margin:0 0 28px;padding:0;list-style:none}
.checklist li{display:grid;grid-template-columns:22px 1fr;gap:8px;padding:10px 12px;border:1px solid var(--border);border-radius:6px;background:var(--panel)}
.checklist li b{display:block;margin-bottom:2px}
.checklist li span{color:var(--muted);line-height:1.5}
.checklist .file-icon{margin-top:2px}

/* Status bar and toast */
.statusbar{flex:none;display:flex;align-items:center;gap:12px;height:24px;padding:0 10px;background:var(--status);border-top:1px solid var(--border);color:var(--muted);font-size:12px}
.status-run{height:20px;padding:0 8px;border:0;border-radius:3px;background:none;color:inherit}
.status-run:hover{background:var(--hover);color:var(--text)}
.status-run.verified{color:var(--ok)}.status-run.failed,.status-run.cancelled{color:var(--fail)}.status-run.needs_input{color:var(--warn)}
.toast{position:fixed;right:18px;bottom:36px;z-index:30;max-width:420px;padding:10px 14px;border:1px solid var(--border);border-radius:6px;background:var(--panel);box-shadow:var(--shadow);line-height:1.5}
.toast.error{border-color:var(--fail)}
.toast .bar{height:3px;margin-top:8px;border-radius:2px;background:var(--border);overflow:hidden}
.toast .bar span{display:block;height:100%;background:var(--accent);transition:width .2s}

@media (max-width:760px){
  .workbench{grid-template-columns:1fr;grid-template-rows:minmax(0,45%) minmax(0,1fr)}
  .sash-vertical{display:none}
  .sidebar{border-right:0;border-bottom:1px solid var(--border)}
  .titlebar{gap:8px}
  .brand{display:none}
  .welcome{padding:28px 16px}
}

/* Accounts: the sign-in screen, the account menu and the administrator's dialog */
.account-switch{position:relative}
.account-button{display:flex;align-items:center;gap:7px;height:28px;padding:0 8px 0 4px;border:1px solid transparent;border-radius:6px;background:none}
.account-button:hover{border-color:var(--border);background:var(--hover)}
.avatar{display:grid;place-items:center;width:22px;height:22px;border-radius:50%;background:var(--accent);color:var(--on-accent);font-size:11px;font-weight:700}
.menu-right{left:auto;right:0;min-width:200px}
.menu .menu-user{padding:8px 10px 6px;color:var(--muted);font-size:12px;border-bottom:1px solid var(--border);margin-bottom:4px}
.menu .menu-user b{display:block;color:var(--text);font-size:13px}
.auth-screen{position:fixed;inset:0;z-index:40;display:grid;place-items:center;padding:16px;background:var(--bg)}
.auth-card{width:min(380px,100%);padding:28px 28px 22px;border:1px solid var(--border);border-radius:10px;background:var(--panel);box-shadow:var(--shadow)}
.auth-brand{margin-bottom:22px;font-size:15px}
.auth-card h1{margin:0 0 14px;font-size:20px;font-weight:600}
.auth-lead{margin:-10px 0 18px;color:var(--muted);line-height:1.5}
.auth-card label,.dialog form>label{display:block;margin:12px 0 5px;color:var(--muted);font-size:12px}
.auth-card input,.dialog form>input,.invite-form input,.invite-form select{width:100%;height:32px;padding:0 9px;border:1px solid var(--border);border-radius:5px;background:var(--input);color:var(--text);outline:none}
.auth-card input:focus,.dialog form>input:focus,.invite-form input:focus,.invite-form select:focus{border-color:var(--accent)}
.auth-submit{width:100%;height:34px;margin-top:20px;font-weight:600}
.auth-error{margin:12px 0 0;padding:7px 10px;border-radius:5px;background:color-mix(in srgb,var(--fail) 12%,transparent);color:var(--fail);font-size:12px;line-height:1.5}
.auth-switch{margin:16px 0 0;color:var(--muted);font-size:12px;text-align:center}
.text-link{border:0;background:none;padding:0 2px;color:var(--accent)}
.text-link:hover{text-decoration:underline}
.admin-dialog{width:min(860px,calc(100vw - 32px));max-height:min(640px,calc(100vh - 48px));padding:0}
.admin-dialog[open]{display:flex;flex-direction:column}
.admin-head{display:flex;align-items:center;gap:16px;padding:14px 16px 0 20px;border-bottom:1px solid var(--border)}
.admin-head h2{margin:0 8px 10px 0;font-size:14px}
.admin-tabs{display:flex;gap:4px;margin-right:auto}
.admin-tabs button{height:32px;padding:0 12px;border:0;border-bottom:2px solid transparent;background:none;color:var(--muted)}
.admin-tabs button[aria-selected="true"]{border-bottom-color:var(--select-line);color:var(--text)}
.admin-head .icon-button{margin-bottom:8px;font-size:18px}
.admin-body{flex:1;min-height:0;overflow:auto;padding:14px 20px 20px}
.invite-form{display:grid;grid-template-columns:1fr 130px auto;gap:10px;align-items:end;margin-bottom:14px}
.invite-form label{display:grid;gap:5px;color:var(--muted);font-size:12px}
.invite-form button{height:32px}
.admin-table table{width:100%;border-collapse:collapse;font-size:12px}
.admin-table th,.admin-table td{padding:7px 8px;border-bottom:1px solid var(--border);text-align:left;vertical-align:middle;white-space:nowrap}
.admin-table th{color:var(--muted);font-weight:600}
.admin-table td.wrap{white-space:normal;word-break:break-word}
.admin-table code{font-family:var(--mono);font-size:12px;letter-spacing:.5px}
.admin-table .row-actions{display:flex;gap:6px;justify-content:flex-end}
.admin-table .row-actions button{height:24px;padding:0 9px;border:1px solid var(--border);border-radius:4px;background:none;font-size:12px}
.admin-table .row-actions button:hover{background:var(--hover)}
.admin-table .row-actions .danger-text{color:var(--fail)}
.pill{display:inline-block;padding:1px 7px;border-radius:9px;font-size:11px;background:var(--hover);color:var(--muted)}
.pill.ok{background:color-mix(in srgb,var(--ok) 18%,transparent);color:var(--ok)}
.pill.fail{background:color-mix(in srgb,var(--fail) 15%,transparent);color:var(--fail)}
.pill.accent{background:color-mix(in srgb,var(--accent) 20%,transparent);color:var(--text)}
.admin-empty{padding:18px 4px;color:var(--muted)}
@media (max-width:760px){.invite-form{grid-template-columns:1fr}.admin-table{overflow-x:auto}#account-name{display:none}}

/* Choices before a run continues: questions with numbered options, the recommended one marked */
.choices-dialog{width:min(640px,calc(100vw - 32px));max-height:calc(100vh - 48px)}
.choices-dialog form{display:flex;flex-direction:column;max-height:calc(100vh - 48px)}
.choices-lead{margin:0 0 14px!important}
#choices-questions{overflow:auto;display:grid;gap:18px;padding-right:2px}
.question-head{display:flex;align-items:baseline;gap:8px;margin-bottom:8px;line-height:1.5}
.question-head .chip{flex:none;padding:1px 8px;border-radius:4px;background:color-mix(in srgb,var(--accent) 18%,transparent);color:var(--text);font-size:11px}
.question-head b{font-weight:600}
.question-note{margin:-4px 0 8px;color:var(--muted);font-size:12px}
.options{display:grid;gap:6px}
.dialog .option{display:grid;grid-template-columns:22px 1fr;align-items:center;gap:2px 10px;margin:0;padding:9px 12px;border:1px solid var(--border);border-radius:6px;background:var(--bg);color:var(--text);cursor:pointer;text-align:left}
.dialog .option:hover{border-color:var(--faint)}
.dialog .option.selected{border-color:var(--select-line);background:var(--select)}
.option input[type=radio]{position:absolute;opacity:0;pointer-events:none}
.option:has(input:focus-visible){outline:2px solid var(--select-line);outline-offset:1px}
.option-index{grid-row:span 2;align-self:start;display:grid;place-items:center;width:22px;height:22px;border-radius:50%;background:var(--hover);color:var(--muted);font-size:11px;font-weight:700}
.option.selected .option-index{background:var(--accent);color:var(--on-accent)}
.option-label{font-weight:600}
.option-label em{margin-left:8px;padding:0 6px;border-radius:8px;background:color-mix(in srgb,var(--ok) 20%,transparent);color:var(--ok);font-size:11px;font-style:normal;font-weight:600}
.option small{grid-column:2;color:var(--muted);font-size:12px;line-height:1.5}
.option .custom-value{grid-column:2;width:160px;height:28px;margin-top:4px;padding:0 8px;border:1px solid var(--border);border-radius:4px;background:var(--input);color:var(--text)}
.dialog-spacer{flex:1}
.danger-text{color:var(--fail)!important}

/* Design review: the whole Cryptol file | one segment at a time (its PDF place, what it computes, the verdict) */
body.review-wide[data-view="::design-review"] .workbench{grid-template-columns:minmax(0,1fr)}
body.review-wide[data-view="::design-review"] #sidebar,
body.review-wide[data-view="::design-review"] #sidebar-sash{display:none}
.file-icon.view{color:var(--accent)}
.review{display:flex;flex-direction:column;height:100%;min-width:900px}
.review-bar{flex:none;display:flex;align-items:center;flex-wrap:wrap;gap:8px 10px;padding:7px 14px;border-bottom:1px solid var(--border);background:var(--panel);font-size:12.5px}
.review-bar button,.review-nav select{height:26px;padding:0 10px;border:1px solid var(--border);border-radius:4px;background:var(--input);color:var(--text)}
.review-bar button:hover:not(:disabled){border-color:var(--faint)}
.review-bar button:disabled{opacity:.4;cursor:default}
.review-name{font-size:13px}
.review-nav{display:flex;align-items:center;gap:4px}
.review-nav select{width:min(360px,30vw);padding:0 6px}
.review-nav button{width:28px;padding:0;font-size:15px}
.review-progress{display:flex;align-items:center;gap:6px;color:var(--muted)}
.review-spacer{flex:1}
.review-check{display:flex;align-items:center;gap:4px;color:var(--muted);cursor:pointer}
.verdict-count{padding:1px 8px;border-radius:9px;font-size:12px;background:var(--hover)}
.verdict-count.mismatch{color:var(--fail)}.verdict-count.unclear{color:#a371f7}.verdict-count.misplaced{color:var(--accent)}
.review-help{flex:none;padding:8px 16px 4px;border-bottom:1px solid var(--border);background:color-mix(in srgb,var(--accent) 7%,var(--bg));line-height:1.7;font-size:12.5px}
.review-help p{margin:0 0 4px}
.review-help .keys kbd,.verdict kbd{display:inline-block;min-width:16px;margin:0 2px;padding:0 4px;border:1px solid var(--border);border-bottom-width:2px;border-radius:3px;font:11px/15px var(--mono);text-align:center;color:var(--muted);background:var(--bg)}
.review-problems{margin:4px 0;padding-left:18px;color:var(--warn)}
.review-split{flex:1;display:flex;min-height:0}
.review-code-pane{flex:0 0 clamp(380px,42%,760px);overflow:auto;border-right:1px solid var(--border);background:var(--panel);font:12.5px/19px var(--mono);color:var(--code)}
.review-code-pane .code-lines{min-width:max-content;padding:8px 0 45vh}
.cl{display:flex;padding-right:14px;white-space:pre;box-shadow:inset 3px 0 0 transparent}
.cl[data-segment]{cursor:pointer}
.cl[data-segment]:hover{background:var(--hover)}
.cl.v-agree{box-shadow:inset 3px 0 0 var(--ok)}.cl.v-mismatch{box-shadow:inset 3px 0 0 var(--fail)}.cl.v-unclear{box-shadow:inset 3px 0 0 #8957e5}
.cl.active,.cl.active:hover{background:color-mix(in srgb,var(--accent) 15%,transparent)}
.cl.picked,.cl.picked:hover{background:color-mix(in srgb,var(--accent) 30%,transparent)}
.cl.active .ln{color:var(--text)}
.cl.hl,.cl.hl:hover{background:color-mix(in srgb,var(--warn) 30%,transparent)}
.cl .ln{flex:none;width:44px;padding-right:12px;text-align:right;color:var(--gutter);user-select:none}
.cl code{font:inherit}
.review-focus{flex:1;min-width:0;display:flex;flex-direction:column;overflow:auto}
.focus-head{padding:14px 20px 8px}
.focus-count{color:var(--muted);font-size:12px}
.focus-count code{font-family:var(--mono);font-size:11.5px}
.focus-head h2{margin:4px 0 2px;font-size:18px}
.focus-symbol{color:var(--muted);font-size:12.5px;line-height:1.6}
.focus-symbol b{color:var(--text)}
.focus-pdf{margin:0 20px;border:1px solid var(--border);border-radius:6px;overflow:hidden}
.focus-pdf.empty{display:flex;align-items:center;gap:12px;padding:10px 12px;border-style:dashed;color:var(--muted);font-size:12.5px}
.pdf-tools{display:flex;align-items:center;flex-wrap:wrap;gap:6px 12px;padding:5px 10px;border-bottom:1px solid var(--border);background:var(--panel);font-size:12px}
.tool-group{display:flex;align-items:center;gap:4px;color:var(--muted)}
.tool-group button{height:22px;min-width:24px;padding:0 6px;border:1px solid var(--border);border-radius:3px;background:var(--input);font-size:12px}
.tool-group button:disabled{opacity:.4;cursor:default}
.misplaced-link{font-size:12px}
.misplaced-link.on{color:var(--fail)}
.pdf-scroll{height:min(46vh,560px);min-height:180px;overflow:auto;resize:vertical;background:color-mix(in srgb,var(--text) 10%,var(--bg))}
.pdf-sheet{position:relative;margin:0 auto;background:#fff}
.pdf-sheet img{display:block;width:100%;user-select:none}
.pdf-mark{position:absolute;border-radius:2px;background:rgba(255,190,0,.28);outline:1.5px solid rgba(214,150,0,.9);pointer-events:none}
.pdf-mark.other{background:rgba(0,120,212,.07);outline:1px dashed rgba(0,120,212,.55);pointer-events:auto;cursor:pointer}
.pdf-mark.other:hover{background:rgba(0,120,212,.2)}
.focus-reading,.focus-facts{padding:12px 20px 0}
.focus-label{display:flex;align-items:center;flex-wrap:wrap;gap:8px;margin-bottom:6px;color:var(--muted);font-size:12px;font-weight:600}
.source-tag{padding:0 7px;border-radius:9px;font-weight:400;background:color-mix(in srgb,var(--ok) 14%,transparent);color:var(--ok)}
.source-tag.ai{background:color-mix(in srgb,#a371f7 14%,transparent);color:#a371f7}
.focus-summary{padding:8px 12px;border-left:3px solid var(--accent);border-radius:0 4px 4px 0;background:color-mix(in srgb,var(--accent) 7%,transparent);font-size:15px;line-height:1.75}
.focus-details{margin-top:8px}
.focus-details>summary{cursor:pointer;color:var(--muted);font-size:12.5px}
.review-text{margin-top:4px;font-size:13.5px;line-height:1.8}
.rl{white-space:pre-wrap;overflow-wrap:anywhere}
.rl.bullet::before{content:'•';display:inline-block;width:1.1em;margin-left:-1.1em;color:var(--muted)}
.gap{height:6px}
.review-text sub,.part-text sub,.focus-summary sub,.group-summary sub,.review-text sup,.part-text sup,.focus-summary sup,.group-summary sup{font-size:.72em;line-height:0}
.review-text code,.part-text code,.review-types code,.focus-summary code,.group-summary code,.focus-head h2 code{padding:1px 4px;border-radius:3px;background:var(--panel);font-family:var(--mono);font-size:.86em}
.review-parts{margin:10px 0 0;padding:6px 0 0;list-style:none;border-top:1px dashed var(--border)}
.review-parts li{display:grid;grid-template-columns:96px 1fr;gap:8px;padding:3px 6px;border-radius:4px;font-size:12.5px;line-height:1.65}
.review-parts li:hover{background:var(--hover)}
.part-lines{color:var(--muted);font-family:var(--mono);font-size:11.5px}
.review-types{padding:5px 9px;border-left:2px solid var(--ok);background:var(--panel);color:var(--muted);font-size:12px;line-height:1.6;white-space:pre-line}
.review-legend{margin-top:8px;font-size:12px;color:var(--muted)}
.review-legend summary{cursor:pointer}
.review-legend summary code{margin-left:6px;padding:0 4px;border-radius:3px;background:var(--panel);color:var(--text);font-family:var(--mono)}
.review-legend dl{display:grid;grid-template-columns:auto 1fr;gap:3px 10px;margin:6px 0 0 4px}
.review-legend dt code{color:var(--text);font-family:var(--mono)}
.review-legend dd{margin:0}
.review-none,.review-missing{padding:10px 12px;border:1px dashed var(--border);border-radius:4px;color:var(--muted);font-size:12.5px}
.focus-verdict{position:sticky;bottom:0;z-index:1;margin-top:auto;padding:10px 20px 12px;border-top:1px solid var(--border);background:var(--bg)}
.focus-verdict.compact{position:static;margin-top:6px;padding:0;border:0;background:none}
.verdict-buttons{display:flex;align-items:center;flex-wrap:wrap;gap:8px}
.verdict{display:flex;align-items:center;gap:6px;height:30px;padding:0 14px;border:1px solid var(--border);border-radius:15px;background:var(--input);font-size:13px}
.compact .verdict{height:24px;padding:0 10px;font-size:12px}
.verdict:hover:not(:disabled){border-color:var(--faint)}
.verdict:disabled{opacity:.45;cursor:default}
.verdict[aria-pressed="true"]{color:#fff;border-color:transparent}
.verdict.agree[aria-pressed="true"]{background:var(--ok)}.verdict.mismatch[aria-pressed="true"]{background:var(--fail)}
.verdict.unclear[aria-pressed="true"]{background:#8957e5}
.verdict[aria-pressed="true"] kbd{color:inherit;background:transparent;border-color:rgba(255,255,255,.5)}
.verdict-note{display:flex;gap:8px;align-items:flex-start;margin-top:8px}
.verdict-note textarea{flex:1;padding:6px 8px;border:1px solid var(--border);border-radius:4px;background:var(--input);color:var(--text);font:inherit;font-size:12.5px;resize:vertical}
.verdict-note textarea:focus{outline:none;border-color:var(--accent)}
.verdict-meta{margin-top:4px;color:var(--faint);font-size:11.5px}
.verdict-buttons .verdict-meta{margin:0}
.group-list{margin:12px 20px 0;padding:0;list-style:none;border:1px solid var(--border);border-radius:6px}
.group-item{padding:9px 12px;border-bottom:1px solid var(--border);cursor:pointer}
.group-item:last-child{border-bottom:0}
.group-item:hover{background:var(--hover)}
.group-item.picked{background:color-mix(in srgb,var(--accent) 9%,transparent);box-shadow:inset 3px 0 0 var(--accent)}
.group-title{display:flex;align-items:baseline;flex-wrap:wrap;gap:4px 10px}
.group-title code{font-family:var(--mono);font-size:11.5px;color:var(--muted)}
.group-title .muted{color:var(--muted);font-size:12px}
.group-summary{margin-top:3px;font-size:13px;line-height:1.7}
.review-status{max-width:560px;line-height:1.75}
.review-status p{margin:0 0 14px}
.design-review-entry .result-files{margin-top:6px}
.focus-description{padding:12px 20px 0}
.source-tag.doc{background:color-mix(in srgb,var(--accent) 12%,transparent);color:var(--accent)}
.desc-item{margin-bottom:8px;padding:8px 12px;border-left:3px solid var(--accent);border-radius:0 4px 4px 0;background:color-mix(in srgb,var(--accent) 6%,transparent)}
.desc-head{display:flex;align-items:baseline;gap:8px;margin-bottom:2px;color:var(--muted);font-size:12px}
.desc-id{padding:0 5px;border-radius:3px;background:var(--panel);font-family:var(--mono);font-size:11px}
.desc-text{font-size:14px;line-height:1.75}
.desc-text p{margin:4px 0}
.desc-text code{padding:1px 4px;border-radius:3px;background:var(--panel);font-family:var(--mono);font-size:.86em}
.desc-list{margin:4px 0;padding-left:22px}
.desc-table{margin:6px 0;border-collapse:collapse;font-size:12.5px}
.desc-table th,.desc-table td{padding:3px 8px;border:1px solid var(--border);text-align:left;vertical-align:top}
.desc-table th{background:var(--panel)}
.math{font-family:"Cambria Math","STIX Two Math","Latin Modern Math",Cambria,"Times New Roman",serif;font-size:1.05em}
.math.display{display:block;margin:6px 0;padding-left:16px}
.math sub,.math sup{font-size:.72em;line-height:0}
.focus-reading.supplement .focus-summary{font-size:14px;border-left-color:#a371f7;background:color-mix(in srgb,#a371f7 7%,transparent)}