.api-key-input{flex-direction:column;gap:4px;display:flex}.api-key-input .help{color:var(--muted,#656d76);margin:0 0 12px;font-size:.88rem;line-height:1.5}.api-key-input .full{width:100%}.api-key-input .field-icon{color:var(--muted)}.api-key-input .error{color:var(--bad,#dc2626);margin:6px 0 0;font-size:.82rem}.api-key-input .actions{justify-content:flex-end;gap:8px;margin-top:8px;display:flex}.dialog-title{align-items:center;gap:8px;display:flex}.dialog-icon{color:var(--accent,#2c6bff);transform:translate(-3px,2px)}.dialog-body{min-width:420px}.key-card{background:var(--surface-2);border:1px solid var(--border);border-radius:var(--radius);align-items:center;gap:12px;margin:0 0 16px;padding:12px 14px;display:flex}.key-card__badge{background:var(--badge-blue-bg);width:38px;height:38px;color:var(--badge-blue-fg);border-radius:9px;flex:none;place-items:center;display:grid}.key-card__badge .material-icons{width:20px;height:20px;font-size:20px}.key-card__body{flex-direction:column;gap:2px;min-width:0;display:flex}.key-card__name{letter-spacing:.06em;text-transform:uppercase;color:var(--muted-strong);font-size:.68rem;font-weight:700}.key-card__hint{color:var(--fg-strong);white-space:nowrap;text-overflow:ellipsis;font-family:ui-monospace,SFMono-Regular,Menlo,Consolas,monospace;font-size:.92rem;overflow:hidden}.key-card__status{color:var(--pos);flex:none;align-items:center;gap:6px;margin-left:auto;font-size:.75rem;font-weight:600;display:inline-flex}.key-card__dot{background:var(--pos);border-radius:50%;width:8px;height:8px}.note{color:var(--muted);margin:8px 0 0;font-size:.82rem}.default-provider-note{background:var(--surface-2);border:1px solid var(--border);border-radius:var(--radius);color:var(--muted);align-items:flex-start;gap:8px;margin:0 0 4px;padding:10px 12px;font-size:.8rem;line-height:1.45;display:flex}.default-provider-note .material-icons{width:18px;height:18px;color:var(--accent);flex:none;font-size:18px}.error{color:#d13438;margin:8px 0 0;font-size:.82rem}.confirm-msg{color:var(--fg);margin:0;font-size:.92rem}.dialog-actions{border-top:1px solid var(--border);padding-top:12px}.section-divider{border:none;border-top:1px solid var(--border);margin:16px 0}.openai-help{color:var(--muted);margin:0 0 12px;font-size:.82rem}.device-code{background:var(--surface-2);border:1px solid var(--border);border-radius:var(--radius);flex-direction:column;gap:8px;padding:12px 14px;display:flex}.device-code__lead{color:var(--fg);margin:0;font-size:.82rem}.device-code__lead a{color:var(--accent,#2c6bff);overflow-wrap:anywhere}.device-code__code{letter-spacing:.12em;color:var(--fg-strong);margin:0;font-family:ui-monospace,SFMono-Regular,Menlo,Consolas,monospace;font-size:1.4rem;font-weight:700}.device-code__waiting{color:var(--muted);margin:0;font-size:.78rem}.preset-picker{flex-direction:column;gap:10px;margin:0 0 12px;display:flex}.preset-picker__label{letter-spacing:.06em;text-transform:uppercase;color:var(--muted-strong);font-size:.68rem;font-weight:700}.preset-picker__row{align-items:center;gap:10px;display:flex}.preset-picker__row .selector-input{appearance:none;min-width:0;font:inherit;color:var(--fg);background-color:var(--input-bg);border:1px solid var(--border);cursor:pointer;background-image:url("data:image/svg+xml;utf8,<svg xmlns='http://www.w3.org/2000/svg' width='12' height='12' viewBox='0 0 12 12'><path d='M2 4l4 4 4-4' fill='none' stroke='%23888' stroke-width='1.5'/></svg>");background-position:right 12px center;background-repeat:no-repeat;border-radius:8px;flex:1;padding:9px 32px 9px 12px;font-size:.9rem}.preset-picker__row .selector-input:focus{border-color:var(--accent);outline:none}.preset-picker__active{color:var(--badge-green-fg);background:var(--badge-green-bg);border-radius:999px;flex:none;align-items:center;gap:6px;padding:5px 12px;font-size:.75rem;font-weight:600;display:inline-flex}.preset-picker__active:before{content:"";background:currentColor;border-radius:50%;width:6px;height:6px}.preset-picker__providers{flex-wrap:wrap;align-items:center;gap:6px;display:flex}.preset-picker__providers-label{letter-spacing:.04em;text-transform:uppercase;color:var(--muted);font-size:.68rem;font-weight:600}.provider-chip{border:1px solid #0000;border-radius:999px;align-items:center;gap:6px;padding:3px 10px;font-size:.76rem;line-height:1.4;display:inline-flex}.provider-chip:before{content:"";background:currentColor;border-radius:50%;flex:none;width:7px;height:7px}.provider-chip--connected{color:var(--badge-green-fg);background:var(--badge-green-bg)}.provider-chip--missing{color:var(--warn);border-color:var(--warn);background:0 0;border-style:dashed}.preset-picker__status{color:var(--muted);margin:0;font-size:.82rem}.provider-section__heading{color:var(--fg);align-items:baseline;gap:10px;margin:0 0 8px;font-size:.92rem;font-weight:600;display:flex}.provider-section__required-by{color:var(--muted);font-size:.72rem;font-weight:400}.app-footer{background:var(--navy);color:#ffffffbf;border-top:1px solid #ffffff14;grid-template-columns:1fr auto 1fr;align-items:center;padding:8px 16px;font-size:.78rem;display:grid}.footer-brand{text-align:center;grid-column:2}.footer-status{grid-column:3;justify-self:end;align-items:center;gap:10px;display:inline-flex}.theme-btn{color:#ffffffe6;cursor:pointer;background:#ffffff29;border:1px solid #0000;border-radius:6px;justify-content:center;align-items:center;width:26px;height:26px;padding:0;transition:background .12s,border-color .12s,color .12s;display:inline-flex}.theme-btn:hover{color:#fff;background:#ffffff42}.theme-btn:focus-visible{outline:2px solid var(--accent);outline-offset:2px}.theme-btn .material-icons{width:16px;height:16px;font-size:16px}[data-theme=dark] .theme-btn{color:#fffc;background:0 0;border-color:#ffffff38}[data-theme=dark] .theme-btn:hover{color:#fff;background:#ffffff1a;border-color:#ffffff59}.status-pill{color:#ffffffe6;font:inherit;letter-spacing:.05em;text-transform:uppercase;background:#ffffff14;border:none;border-radius:999px;align-items:center;gap:6px;padding:3px 10px;font-size:.72rem;display:inline-flex}.status-pill .dot{background:#9aa5b4;border-radius:50%;width:8px;height:8px}.status-pill[data-status=ok] .dot{background:var(--pos)}.status-pill[data-status=degraded] .dot{background:var(--warn)}.status-pill[data-status=down] .dot{background:var(--bad)}button.status-pill{cursor:pointer}button.status-pill:hover{background:#ffffff24}button.status-pill:focus-visible{outline:2px solid var(--accent);outline-offset:2px}.status-menu{background:var(--surface);border:1px solid var(--border)}.status-menu .MuiMenu-list,.status-menu .MuiList-root{padding:0}.status-detail{cursor:default;color:var(--fg-strong);grid-template-columns:max-content auto;align-items:baseline;gap:6px 24px;padding:8px 12px;font-size:.82rem;display:grid}.status-detail__row{display:contents}.status-detail__dot{background:#9aa5b4;border-radius:50%;align-self:center;width:8px;height:8px}.status-detail__dot[data-dot=ok]{background:var(--pos)}.status-detail__dot[data-dot=warn]{background:var(--warn)}.status-detail__dot[data-dot=down]{background:var(--bad)}.status-detail__name{font-weight:600}.status-detail__value{color:var(--muted);text-transform:uppercase;letter-spacing:.04em;flex-wrap:wrap;align-items:baseline;gap:6px;font-size:.74rem;display:inline-flex}.status-detail__ver{text-transform:none;letter-spacing:0;color:var(--muted);font-family:ui-monospace,SFMono-Regular,Menlo,monospace;font-size:.72rem}.status-detail__image{text-transform:none;letter-spacing:0;color:var(--muted);opacity:.7;font-family:ui-monospace,SFMono-Regular,Menlo,monospace;font-size:.68rem}.avatar-btn{background:var(--accent);color:#fff;letter-spacing:.02em;cursor:pointer;border:none;border-radius:50%;justify-content:center;align-items:center;width:34px;height:34px;padding:0;font-size:.78rem;font-weight:700;line-height:1;transition:box-shadow .15s,transform 50ms;display:inline-flex}.avatar-btn:hover{box-shadow:0 0 0 2px #fff6}.avatar-btn:active{transform:scale(.95)}.avatar-btn:focus-visible{outline-offset:2px;outline:2px solid #fff}.account-menu{min-width:300px;max-width:360px}.account-menu .MuiMenu-list{padding:0}.account-card{cursor:default}.account-card__top{border-bottom:1px solid var(--border);justify-content:space-between;align-items:center;padding:12px 16px;display:flex}.account-card__org{color:var(--fg-strong);font-size:.82rem;font-weight:600}.account-card__signout{color:var(--accent);cursor:pointer;background:0 0;border:none;padding:0;font-size:.82rem}.account-card__signout:hover{text-decoration:underline}.account-card__body{align-items:center;gap:14px;padding:16px;display:flex}.account-card__avatar{background:var(--accent);color:#fff;border-radius:50%;flex-shrink:0;justify-content:center;align-items:center;width:56px;height:56px;font-size:1.25rem;font-weight:700;display:inline-flex}.account-card__id{flex-direction:column;min-width:0;display:flex}.account-card__name{color:var(--fg-strong);white-space:nowrap;text-overflow:ellipsis;font-size:.95rem;font-weight:700;overflow:hidden}.account-card__email{color:var(--muted);white-space:nowrap;text-overflow:ellipsis;font-size:.85rem;overflow:hidden}.account-card__pref{border-top:1px solid var(--border);padding:8px 12px 12px}.account-row{width:100%;color:var(--fg);font:inherit;cursor:pointer;background:0 0;border:none;border-radius:8px;align-items:center;gap:10px;padding:8px 6px;font-size:.88rem;display:flex}.account-row:hover{background:var(--hover)}.account-row:focus-visible{outline:2px solid var(--accent);outline-offset:1px}.account-row .material-icons,.account-row .MuiIcon-root{width:20px;height:20px;color:var(--muted);flex:none;font-size:20px}.account-row__label{text-align:left;flex:auto;font-weight:600}.theme-toggle{width:100%;color:var(--fg);font:inherit;cursor:pointer;background:0 0;border:none;border-radius:8px;align-items:center;gap:10px;padding:8px 6px;font-size:.88rem;display:flex}.theme-toggle:hover{background:var(--hover)}.theme-toggle:focus-visible{outline:2px solid var(--accent);outline-offset:1px}.theme-toggle .material-icons,.theme-toggle .MuiIcon-root{width:20px;height:20px;color:var(--muted);flex:none;font-size:20px}.theme-toggle__label{text-align:left;flex:auto;font-weight:600}.theme-toggle__switch{background:var(--border);border-radius:999px;flex:none;width:34px;height:18px;transition:background .15s;position:relative}.theme-toggle__switch--on{background:var(--accent)}.theme-toggle__knob{background:var(--surface);border-radius:50%;width:14px;height:14px;transition:transform .15s;position:absolute;top:2px;left:2px;box-shadow:0 1px 2px #0000004d}.theme-toggle__switch--on .theme-toggle__knob{transform:translate(16px)}.app-shell{background:var(--bg);grid-template-rows:auto 1fr auto;grid-template-areas:"toolbar""main""footer";height:100%;display:grid;overflow:hidden}.app-toolbar{background:var(--navy);color:#fff;z-index:10;border-bottom:1px solid #ffffff14;grid-area:toolbar;align-items:center;min-height:56px;padding:0 16px;display:flex;box-shadow:0 1px 2px #00000026}.toolbar-title{letter-spacing:.01em;color:#fff;align-items:center;margin:0;font-size:1.05rem;font-weight:600;display:inline-flex}.toolbar-title__btn{color:inherit;font:inherit;letter-spacing:inherit;cursor:pointer;background:0 0;border:none;align-items:center;padding:0;display:inline-flex}.toolbar-title__btn:focus-visible{outline-offset:2px;border-radius:4px;outline:2px solid #fff9}.app-toolbar--dev{border-top:3px solid #ec4899}.dev-badge{color:#fff;letter-spacing:.12em;text-transform:uppercase;background:#db2777;border-radius:4px;margin-left:10px;padding:2px 8px;font-size:.62rem;font-weight:700}.dev-badge__worktree{letter-spacing:.02em;text-transform:none;border-left:1px solid #ffffff73;margin-left:6px;padding-left:6px;font-weight:500}.brand-icon{vertical-align:middle;flex-shrink:0;width:28px;height:28px;margin-right:10px;display:inline-block}.spacer{flex:auto}.ws-back{color:#fff;cursor:pointer;background:#ffffff0f;border:1px solid #ffffff38;border-radius:999px;align-items:center;gap:4px;margin-left:16px;padding:4px 12px;font-size:.8rem;font-weight:600;transition:background .12s;display:inline-flex}.ws-back:hover{background:#ffffff24}.ws-back .material-icons{width:18px;height:18px;font-size:18px}.ws-help{margin-right:12px}.ws-file{color:#ffffffb3;white-space:nowrap;text-overflow:ellipsis;text-align:center;flex:0 auto;max-width:40ch;font-size:.85rem;overflow:hidden}.ws-file strong{color:#fff;font-weight:600}.app-main{grid-area:main;min-height:0;overflow:hidden}.app-footer{grid-area:footer}.auth-status--denied{text-align:center;flex-direction:column;justify-content:center;align-items:center;gap:8px;height:100%;padding:24px;display:flex}.auth-status--denied h2{margin:0;font-size:1.25rem;font-weight:600}.auth-status--denied p{opacity:.75;margin:0}.name-workspace-dialog .hint{opacity:.8;margin:0 0 12px;font-size:.85rem}.name-workspace-dialog .name-input{box-sizing:border-box;width:100%;font:inherit;padding:8px 10px}.name-workspace-dialog .error{color:var(--bad,#dc2626);margin:8px 0 0;font-size:.85rem}.name-workspace-dialog .dz{border:2px dashed var(--border,#d0d7de);cursor:pointer;text-align:center;border-radius:8px;flex-direction:column;justify-content:center;align-items:center;gap:2px;margin-top:14px;padding:18px 12px;display:flex}.name-workspace-dialog .dz.drag-over{border-color:var(--accent,#2c6bff);background:color-mix(in srgb, var(--accent,#2c6bff) 14%, var(--surface,#fff))}.name-workspace-dialog .dz-icon{color:var(--muted,#656d76)}.name-workspace-dialog .dz-title{margin:4px 0 0;font-size:.9rem;font-weight:600}.name-workspace-dialog .dz-sub{color:var(--muted,#656d76);margin:0;font-size:.8rem}.name-workspace-dialog .file-list{flex-direction:column;gap:4px;margin:10px 0 0;padding:0;list-style:none;display:flex}.name-workspace-dialog .file-item{border:1px solid var(--border,#d0d7de);border-radius:6px;align-items:center;gap:8px;padding:4px 8px;font-size:.85rem;display:flex}.name-workspace-dialog .file-icon{width:18px;height:18px;color:var(--muted,#656d76);font-size:18px}.name-workspace-dialog .file-name{text-overflow:ellipsis;white-space:nowrap;flex:auto;min-width:0;overflow:hidden}.name-workspace-dialog .file-size{color:var(--muted,#656d76);font-size:.78rem}.name-workspace-dialog .file-remove{cursor:pointer;color:var(--muted,#656d76);background:0 0;border:none;justify-content:center;align-items:center;padding:0;display:inline-flex}.name-workspace-dialog .file-remove .material-icons{width:16px;height:16px;font-size:16px}.create-profile{flex-direction:column;gap:16px;min-width:420px;max-width:520px;display:flex}.dialog-intro{color:var(--muted,#656d76);margin:0;font-size:14px;line-height:1.5}.field{flex-direction:column;gap:6px;display:flex}.field-label{color:var(--muted-strong,#4d555f);font-size:12px;font-weight:600}.name-input{color:var(--fg,#1f2328);background:var(--surface);border:1px solid var(--border,#dce0e5);border-radius:var(--radius,8px);padding:8px 10px;font-size:14px}.name-input:focus{border-color:var(--accent,#2c6bff);outline:none}.picker{border:1px solid var(--border,#dce0e5);border-radius:var(--radius,8px);flex-direction:column;gap:16px;max-height:320px;padding:4px;display:flex;overflow-y:auto}.picker-group{flex-direction:column;gap:2px;display:flex}.picker-group+.picker-group{border-top:1px solid var(--border,#dce0e5);margin-top:4px;padding-top:14px}.picker-group-label{letter-spacing:.5px;text-transform:uppercase;color:var(--muted-strong,#4d555f);margin:4px 0;font-size:11px;font-weight:600}.picker-item{align-items:center;gap:8px;padding:4px 0;display:flex}.picker-item .item-name{font-weight:500}.picker-item .item-date{color:var(--muted,#656d76);margin-left:8px;font-size:12px}.picker-empty{color:var(--muted,#656d76);align-items:center;gap:8px;padding:16px;display:flex}.deps-panel{border:1px solid var(--border,#dce0e5);border-radius:var(--radius,8px);background:var(--surface-2,#f6f8fa);padding:10px 12px}.deps-note{color:var(--muted,#656d76);margin:0;font-size:13px}.deps-list{color:var(--fg,#1f2328);margin:6px 0 0;padding-left:20px;font-size:13px}.deps-list li{padding:1px 0}.pin-toggle{color:var(--fg,#1f2328);align-items:center;gap:8px;font-size:14px;display:flex}.progress{flex-direction:column;gap:6px;display:flex}.progress-label{color:var(--muted,#656d76);font-size:12px}.create-error{color:var(--bad,#dc2626);align-items:center;gap:8px;margin:0;font-size:14px;display:flex}.my-profiles{flex-direction:column;flex:auto;min-height:0;padding:8px 0;display:flex}.profiles-header{flex:none;justify-content:space-between;align-items:flex-start;gap:16px;margin-bottom:20px;display:flex}.profiles-intro{color:var(--muted,#656d76);margin:0;font-size:14px;line-height:1.5}.create-btn{flex:none}.profiles-empty{text-align:center;color:var(--muted,#656d76);flex:none;justify-content:center;align-items:center;gap:8px;padding:32px;display:flex}.profiles-box{background:var(--surface);border:1px solid var(--border,#dce0e5);border-radius:var(--radius,10px);flex-direction:column;flex:0 auto;min-height:0;display:flex;overflow:hidden}.profiles-scroll{overscroll-behavior:contain;scrollbar-gutter:stable;scrollbar-width:auto;scrollbar-color:auto;flex:0 auto;min-height:0;overflow:hidden auto}.profiles-scroll::-webkit-scrollbar-button{display:none}@supports not selector(::-webkit-scrollbar){.profiles-scroll{scrollbar-width:thin;scrollbar-color:var(--scrollbar-thumb) var(--scrollbar-track)}}.profiles-cols .pc-name{width:354px}.profiles-cols .pc-created{width:223px}.profiles-cols .pc-blueprints{width:122px}.profiles-cols .pc-pinned{width:155px}.profiles-table{table-layout:fixed;border-collapse:collapse;width:100%}.profiles-table th{text-align:left;letter-spacing:.5px;text-transform:uppercase;white-space:nowrap;color:var(--muted-strong,#4d555f);background:var(--bg,#f5f6f8);border-bottom:1px solid var(--border,#dce0e5);padding:12px 16px;font-size:11px;font-weight:600}.profiles-table td{color:var(--fg,#1f2328);border-bottom:1px solid var(--border,#dce0e5);vertical-align:middle;padding:14px 16px;font-size:14px}.profiles-table tbody tr:last-child td{border-bottom:none}.profiles-table--body thead{clip-path:inset(50%);width:1px;height:1px;position:absolute;overflow:hidden}.col-name{font-weight:600}.profile-name-link{color:var(--accent,#2c6bff);text-decoration:none}.col-blueprints{text-align:left}.pin-btn,.download-btn,.remove-btn{cursor:pointer;width:32px;height:32px;color:var(--muted,#656d76);background:0 0;border:none;border-radius:50%;justify-content:center;align-items:center;padding:0;display:inline-flex}.pin-btn:hover:not(:disabled),.download-btn:hover:not(:disabled),.remove-btn:hover:not(:disabled){background:var(--hover,#edf0f5)}.pin-btn:disabled,.download-btn:disabled,.remove-btn:disabled{cursor:default;opacity:.6}.pin-btn.pinned,.pin-btn.pinned:disabled{color:var(--accent,#2c6bff)}.remove-btn{color:var(--muted,#656d76)}.remove-btn:hover{color:var(--bad,#dc2626)}.dashboard{box-sizing:border-box;flex-direction:column;max-width:1100px;height:100%;margin:0 auto;padding:32px 24px 24px;display:flex;overflow:hidden auto}.greeting{color:var(--fg,#1f2328);flex:none;margin:8px 0 24px;font-size:28px;font-weight:600}.keyless-banner{background:var(--banner-warn-bg);color:var(--banner-warn-fg);border:1px solid var(--banner-warn-border);border-radius:var(--radius,10px);flex:none;align-items:center;gap:10px;margin:0 0 20px;padding:10px 14px;font-size:.9rem;display:flex}.keyless-banner__dot{background:var(--warn,#d97706);border-radius:50%;flex:none;width:8px;height:8px}.keyless-banner__text{flex:auto}.keyless-banner__action{background:var(--accent,#2c6bff);color:#fff;cursor:pointer;border:none;border-radius:999px;flex:none;padding:6px 14px;font-size:.85rem;font-weight:600}.keyless-banner__action:hover{filter:brightness(1.08)}.keyless-banner__dismiss{width:28px;height:28px;color:var(--banner-warn-fg);cursor:pointer;background:0 0;border:none;flex:none;justify-content:center;align-items:center;padding:0;display:inline-flex}.keyless-banner__dismiss:hover{background:#7f7f7f26}.keyless-banner__dismiss .material-icons{font-size:18px}.dashboard-tabs{flex:none}.dashboard-tabs .MuiTab-root{color:var(--muted,#656d76)}.dashboard-tabs .MuiTab-root:hover,.dashboard-tabs .MuiTab-root.Mui-selected{color:var(--fg,#1f2328)}.dashboard-tab-panel{flex-direction:column;flex:auto;min-height:0;padding-top:20px;display:flex}.dashboard-tab-panel[hidden]{display:none}.dropzone{border:2px dashed var(--border,#dce0e5);border-radius:var(--radius,10px);background:var(--surface);text-align:center;cursor:pointer;flex-direction:column;flex:none;justify-content:center;align-items:center;gap:4px;padding:36px 24px;transition:border-color .15s,background .15s;display:flex}.dropzone:not(.keyless):hover{border-color:var(--accent,#2c6bff)}.dropzone.drag-over{border-color:var(--accent,#2c6bff);background:color-mix(in srgb, var(--accent,#2c6bff) 8%, var(--surface))}.dropzone.busy{cursor:default;pointer-events:none}.dropzone.keyless{cursor:not-allowed;opacity:.6}.dropzone .dz-icon{width:40px;height:40px;color:var(--accent,#2c6bff);font-size:40px}.dropzone .dz-icon.spin{animation:1s linear infinite dz-spin}.dropzone .dz-title{color:var(--fg,#1f2328);margin:8px 0 0;font-size:16px;font-weight:600}.dropzone .dz-sub{color:var(--muted,#656d76);margin:0;font-size:13px}@keyframes dz-spin{to{transform:rotate(360deg)}}.upload-error{color:var(--bad,#dc2626);flex:none;align-items:center;gap:6px;margin:10px 2px 0;font-size:13px;display:flex}.upload-error .material-icons{width:18px;height:18px;font-size:18px}.single-session-note{color:var(--muted,#656d76);flex:none;align-items:center;gap:6px;margin:12px 2px 0;font-size:12.5px;display:flex}.single-session-note .material-icons{width:16px;height:16px;color:var(--accent,#2c6bff);font-size:16px}.problems{flex-direction:column;flex:auto;min-height:0;margin-top:28px;display:flex}.problems-empty{text-align:center;color:var(--muted,#656d76);flex:none;padding:32px}.problems-box{background:var(--surface);border:1px solid var(--border,#dce0e5);border-radius:var(--radius,10px);flex-direction:column;flex:0 auto;min-height:0;display:flex;overflow:hidden}.problems-scroll{overscroll-behavior:contain;scrollbar-gutter:stable;scrollbar-width:auto;scrollbar-color:auto;flex:0 auto;min-height:0;overflow:hidden auto}.problems-scroll::-webkit-scrollbar-button{display:none}@supports not selector(::-webkit-scrollbar){.problems-scroll{scrollbar-width:thin;scrollbar-color:var(--scrollbar-thumb) var(--scrollbar-track)}}.problems-cols .pc-expand{width:76px}.problems-cols .pc-file{width:170px}.problems-cols .pc-files{width:73px}.problems-cols .pc-blueprints{width:122px}.problems-cols .pc-id{width:256px}.problems-cols .pc-profile{width:93px}.problems-cols .pc-updated{width:171px}.problems-table{table-layout:fixed;border-collapse:collapse;width:100%}.problems-table th{text-align:left;letter-spacing:.5px;text-transform:uppercase;white-space:nowrap;color:var(--muted-strong,#4d555f);background:var(--bg,#f5f6f8);border-bottom:1px solid var(--border,#dce0e5);padding:12px 16px;font-size:11px;font-weight:600}.problems-table td{color:var(--fg,#1f2328);border-bottom:1px solid var(--border,#dce0e5);vertical-align:middle;padding:14px 16px;font-size:14px}.problems-table tbody tr:last-child td{border-bottom:none}.problems-table--body thead{clip-path:inset(50%);width:1px;height:1px;position:absolute;overflow:hidden}.problem-row{cursor:pointer;transition:background .12s}.problem-row:hover{background:var(--hover,#edf0f5)}.file-link{text-overflow:ellipsis;white-space:nowrap;min-width:0;color:var(--accent,#2c6bff);font-weight:600;overflow:hidden}.file-cell{align-items:center;gap:8px;max-width:100%;display:inline-flex}.problem-row.running{box-shadow:inset 3px 0 0 var(--pos,#16a34a)}@keyframes live-pulse{0%{box-shadow:0 0 #16a34a80}70%{box-shadow:0 0 0 7px #16a34a00}to{box-shadow:0 0 #16a34a00}}.running-label{color:var(--pos,#16a34a);margin-top:3px;font-size:11px;font-weight:600;display:block}.bp-id{text-overflow:ellipsis;white-space:nowrap;max-width:180px;color:var(--muted,#656d76);font-family:ui-monospace,SFMono-Regular,Menlo,monospace;font-size:12px;display:inline-block;overflow:hidden}.col-profile{max-width:160px}.profile-name-link{text-overflow:ellipsis;white-space:nowrap;max-width:160px;color:var(--accent,#2c6bff);font-size:13px;text-decoration:none;display:inline-block;overflow:hidden}.profile-name-link:hover{text-decoration:underline}.profile-none{color:var(--muted,#656d76)}.col-expand{padding-right:0}.expand-btn,.remove-btn{cursor:pointer;width:34px;height:34px;color:var(--muted,#656d76);background:0 0;border:none;border-radius:50%;justify-content:center;align-items:center;padding:0;transition:background-color .15s,color .15s;display:inline-flex}.expand-btn:hover:not(:disabled){background:var(--hover,#edf0f5);color:var(--accent,#2c6bff)}.expand-btn:disabled{opacity:.35;cursor:default}.col-blueprints{font-variant-numeric:tabular-nums}.bar{background:var(--border,#dce0e5);border-radius:999px;width:100%;height:8px;display:flex;overflow:hidden}.bar-seg.defs,.swatch.defs{background:var(--bar-defs,#228b22)}.bar-seg.stated,.swatch.stated{background:var(--bar-stated,#2563eb)}.bar-seg.proved,.swatch.proved{background:var(--bar-proved,#7c3aed)}.bar-seg.flagged,.swatch.flagged{background:var(--bar-flagged,#dc2626)}.bar-seg{height:100%}.bar-legend{color:var(--muted,#656d76);flex-wrap:wrap;flex:none;justify-content:flex-end;gap:4px 16px;margin:0 0 10px;padding:0;font-size:12px;list-style:none;display:flex}.bar-legend li{align-items:center;gap:6px;display:flex}.bar-legend .swatch{border-radius:2px;flex:none;width:10px;height:10px}.bar-meta{align-items:baseline;gap:8px;margin-top:5px;font-size:12px;display:flex}.pct{color:var(--fg,#1f2328);font-weight:600}.summary{color:var(--muted,#656d76)}.summary.muted{font-style:italic}.status-badge{border-radius:999px;padding:3px 10px;font-size:12px;font-weight:600;display:inline-block}.flagged-chip{background:color-mix(in srgb, var(--bad,#dc2626) 14%, var(--surface));color:var(--bad,#dc2626);border-radius:999px;margin-left:6px;padding:3px 10px;font-size:12px;font-weight:600;display:inline-block}.remove-btn:hover:not(:disabled){background:var(--hover,#edf0f5);color:var(--bad,#dc2626)}.remove-btn:disabled{opacity:.35;cursor:default}.action-buttons{display:flex}.tooltip-host{display:inline-flex}.confirm-remove{align-items:center;gap:4px;display:inline-flex}.confirm-remove button{border:1px solid var(--border,#dce0e5);background:var(--surface);cursor:pointer;border-radius:6px;justify-content:center;align-items:center;width:28px;height:28px;padding:0;display:inline-flex}.confirm-remove button .material-icons{width:18px;height:18px;font-size:18px}.confirm-remove .confirm-yes{border-color:var(--bad,#dc2626);color:#fff;background:var(--bad,#dc2626)}.confirm-remove .confirm-yes:hover{filter:brightness(1.05)}.confirm-remove .confirm-no{color:var(--muted,#656d76)}.confirm-remove .confirm-no:hover{background:var(--hover,#edf0f5)}.problem-row.expanded>td{border-bottom-color:#0000}.blueprint-detail-row>td{background:color-mix(in srgb, var(--bg,#f5f6f8) 40%, var(--surface,#fff));padding:0;box-shadow:inset 0 7px 8px -7px #00000026,inset 0 -6px 7px -7px #0000000d}.bp-detail-list{flex-direction:column;padding:4px 16px 4px 44px;display:flex}.bp-line{grid-template-columns:270px minmax(160px,1fr) 120px;align-items:center;gap:16px;min-height:40px;padding:8px 12px 8px 72px;display:grid;position:relative}.bp-line:before{content:"";background:var(--border,#dce0e5);width:2px;position:absolute;top:0;bottom:0;left:50px}.bp-line:last-child:before{bottom:50%}.bp-line:after{content:"";background:var(--border,#dce0e5);width:14px;height:2px;position:absolute;top:50%;left:50px}.bp-line__name{text-overflow:ellipsis;white-space:nowrap;min-width:0;color:var(--fg,#1f2328);padding:6px 24px 6px 6px;font-weight:600;display:block;overflow:hidden}.bp-line__name .live-dot{vertical-align:middle;margin-right:6px;display:inline-block}.bp-line__id-inline{color:var(--muted,#656d76);font-family:ui-monospace,SFMono-Regular,Menlo,monospace;font-size:12px;font-weight:400}.bp-line__status{justify-self:end;align-items:center;display:inline-flex}@media (height<=760px){.greeting{margin:0 0 12px;font-size:22px}.dashboard-tab-panel{padding-top:12px}.dropzone{padding:16px 24px}.dropzone .dz-icon{width:28px;height:28px;font-size:28px}.problems{margin-top:14px}}.admin-runtimes{box-sizing:border-box;max-width:1100px;height:100%;color:var(--fg,#1f2328);margin:0 auto;padding:24px 16px 48px;display:block;overflow:auto}.ar-head{align-items:center;gap:8px;display:flex}.ar-title{margin:0;font-size:22px;font-weight:700}.ar-refresh{color:var(--accent,#2c6bff)}.ar-refresh .spin{animation:1s linear infinite ar-spin}@keyframes ar-spin{to{transform:rotate(360deg)}}.ar-note{color:var(--muted,#656d76);align-items:center;gap:6px;margin:8px 0 20px;font-size:13px;display:flex}.ar-note .material-icons{width:18px;height:18px;font-size:18px}.ar-empty{color:var(--muted,#656d76)}.ar-error{color:var(--bad,#dc2626);align-items:center;gap:6px;display:flex}.runtime{border:1px solid var(--border,#dce0e5);background:var(--surface,#fff);border-radius:12px;margin-bottom:24px;overflow:hidden}.runtime-head{background:var(--bg,#f5f6f8);border-bottom:1px solid var(--border,#dce0e5);align-items:center;gap:12px;padding:12px 16px;display:flex}.runtime-user{font-size:14px;font-weight:600}.runtime-id{color:var(--muted,#656d76);font-size:13px;font-weight:600}.runtime-meta{color:var(--muted,#656d76);margin-left:auto;font-size:12px}.runtime-empty{color:var(--muted,#656d76);margin:0;padding:12px 16px;font-size:13px}.sessions-table{border-collapse:collapse;width:100%}.sessions-table th{text-align:left;color:var(--muted-strong,#4d555f);border-bottom:1px solid var(--border,#dce0e5);padding:8px 16px;font-size:12px;font-weight:600}.sessions-table td{border-bottom:1px solid var(--border,#dce0e5);vertical-align:middle;padding:8px 16px;font-size:13px}.sessions-table tr:last-child td,.sessions-table tr:not(.ws-group-last) td:not(.col-workspace){border-bottom:none}.sessions-table .ws-cell-name{font-weight:600;display:block}.sessions-table .ws-cell-id{color:var(--muted,#656d76);margin-bottom:1.2em;font-size:12px;display:block}.sessions-table .ws-cell-count{color:var(--muted,#656d76);padding-left:1.5em;font-size:12px;display:block}.sessions-table .bp-cell-name{display:block}.sessions-table .bp-cell-id{color:var(--muted,#656d76);font-size:12px;display:block}.sessions-table code{font-size:12px}.sessions-table .muted{color:var(--muted,#656d76)}.sessions-table .col-workspace{width:30%}.sessions-table .col-action{white-space:nowrap;text-align:right;width:1%}.status-badge{background:var(--bg,#f5f6f8);color:var(--muted,#656d76);border-radius:999px;padding:3px 10px;font-size:12px;font-weight:600;display:inline-block}.status-badge[data-status=ready],.status-badge[data-status=IDLE]{background:color-mix(in srgb, var(--pos,#16a34a) 16%, var(--surface));color:var(--pos,#15803d)}.status-badge[data-status=starting],.status-badge[data-status=IN_PROGRESS]{background:color-mix(in srgb, var(--warn,#d97706) 18%, var(--surface));color:var(--warn,#b45309)}.status-badge[data-status=error],.status-badge[data-status=closed],.status-badge[data-status=blocked]{background:color-mix(in srgb, var(--bad,#dc2626) 16%, var(--surface));color:var(--bad,#dc2626)}.status-badge[data-status=active]{background:color-mix(in srgb, var(--pos,#16a34a) 16%, var(--surface));color:var(--pos,#15803d)}.ws-list{margin:0;padding:0;list-style:none}.ws-row{border-bottom:1px solid var(--border,#dce0e5)}.ws-row:last-child{border-bottom:none}.ws-open{color:inherit;cursor:pointer;align-items:center;gap:16px;padding:10px 16px;text-decoration:none;display:flex}.ws-open:hover{background:var(--bg,#f5f6f8)}.ws-name{min-width:0;color:var(--accent,#2c6bff);text-overflow:ellipsis;white-space:nowrap;flex:auto;font-size:14px;font-weight:600;overflow:hidden}.ws-files{color:var(--muted,#656d76);flex:0 0 90px;font-size:12px}.ws-blueprints{color:var(--muted,#656d76);flex:0 0 110px;font-size:12px}.ws-chevron{color:var(--muted,#656d76);flex:none}.raw-sessions{border-top:1px solid var(--border,#dce0e5)}.raw-sessions summary{color:var(--muted-strong,#4d555f);cursor:pointer;padding:10px 16px;font-size:13px;font-weight:600}.workshop-users{margin-bottom:32px}.workshop-users .wu-bulk{gap:8px;margin-left:auto;display:flex}.wu-table{border-collapse:collapse;border:1px solid var(--border,#dce0e5);border-radius:12px;width:100%;margin-top:12px;overflow:hidden}.wu-table th{text-align:left;color:var(--muted-strong,#4d555f);border-bottom:1px solid var(--border,#dce0e5);background:var(--bg,#f5f6f8);padding:8px 16px;font-size:12px;font-weight:600}.wu-table td{border-bottom:1px solid var(--border,#dce0e5);vertical-align:middle;padding:10px 16px;font-size:13px}.wu-table tr:last-child td{border-bottom:none}.wu-table .col-user{flex-direction:column;gap:2px;display:flex}.wu-table .col-action{text-align:right}.pd{box-sizing:border-box;width:100%;height:100%;color:var(--fg,#1f2328);background:var(--bg,#f5f6f8);max-width:1100px;margin:0 auto;padding:2rem 1.5rem;font-family:-apple-system,BlinkMacSystemFont,Segoe UI,Roboto,sans-serif;display:block;overflow:auto}.pd__back{color:var(--accent,#2c6bff);margin-bottom:1.25rem;font-size:.85rem;text-decoration:none;display:inline-block}.pd__back:hover{text-decoration:underline}.pd__note{color:var(--muted,#656d76);font-size:.9rem}.pd__header{margin-bottom:2rem}.pd__title{margin:0 0 .5rem;font-size:1.5rem;font-weight:700}.pd__badges{flex-wrap:wrap;gap:.4rem;margin-bottom:.6rem;display:flex}.pd__badge{white-space:nowrap;border:1px solid #0000;border-radius:10px;align-items:center;padding:2px 8px;font-size:.72rem;font-weight:600;display:inline-flex}.pd__badge--pinned{background:var(--banner-warn-bg);color:var(--banner-warn-fg);border-color:var(--banner-warn-border)}.pd__badge--consistent{background:var(--badge-green-bg);color:var(--badge-green-fg)}.pd__badge--inconsistent{background:var(--badge-red-bg);color:var(--badge-red-fg)}.pd__meta{color:var(--muted,#656d76);flex-wrap:wrap;align-items:center;gap:.5rem;font-size:.82rem;display:flex}.pd__sep{color:var(--border,#dce0e5)}.pd__id-pill{background:var(--surface-2,#f0f1f3);color:var(--muted,#656d76);border-radius:10px;padding:2px 8px;font-family:Monaco,Menlo,Consolas,monospace;font-size:.72rem;display:inline-block}.pd__section{margin-bottom:2rem}.pd__section-title{border-bottom:1px solid var(--border,#dce0e5);margin:0 0 .8rem;padding-bottom:.4rem;font-size:1rem;font-weight:700}.pd__bp-list{background:var(--surface,#fff);border:1px solid var(--border,#dce0e5);border-radius:var(--radius-lg,10px);overflow:hidden}.pd__bp-row{border-bottom:1px solid var(--border,#eef0f3);align-items:center;gap:.8rem;padding:.6rem 1rem;font-size:.85rem;display:flex}.pd__bp-row:last-child{border-bottom:none}.pd__bp-name{color:var(--accent,#2c6bff);font-weight:500}.pd__item{background:var(--surface,#fff);border:1px solid var(--border,#dce0e5);border-radius:var(--radius-lg,10px);margin-bottom:1rem;overflow:hidden}.pd__item-head{background:var(--surface-2,#fafbfc);border-bottom:1px solid var(--border,#dce0e5);padding:.7rem 1rem;font-size:.9rem;font-weight:600}.pd__lean{background:var(--surface-2,#f6f8fa);margin:0;padding:10px 14px;overflow-x:auto}.pd__lean code{white-space:pre;color:var(--fg,#484f58);font-family:Monaco,Menlo,Consolas,monospace;font-size:.82rem;line-height:1.6}@media (width<=640px){.pd__title{font-size:1.2rem}.pd__bp-row{flex-wrap:wrap;gap:.3rem}}.help-page{box-sizing:border-box;max-width:1060px;height:100%;color:var(--fg,#1f2328);margin:0 auto;padding:24px 16px 48px;display:block;overflow:auto}.help-head{align-items:center;gap:12px;display:flex}.help-title{margin:0;font-size:34px;font-weight:700}.help-layout{grid-template-columns:minmax(0,1fr) 220px;align-items:start;gap:40px;margin-top:20px;display:grid}.help-toc{order:2;position:sticky;top:24px}.help-toc__title{text-transform:uppercase;letter-spacing:.06em;color:var(--muted,#656d76);margin:0 0 8px;font-size:12px;font-weight:700}.help-toc ul{border-left:1px solid var(--border,#0000001f);margin:0;padding:0;list-style:none}.help-toc li{margin:0}.help-toc button{text-align:left;width:100%;color:var(--muted,#656d76);cursor:pointer;background:0 0;border:none;border-left:2px solid #0000;margin-left:-1px;padding:5px 12px;font-size:13px;line-height:1.35;transition:color .12s,border-color .12s;display:block}.help-toc button:hover{color:var(--accent,#2c6bff);border-left-color:var(--accent,#2c6bff)}.help-toc button.help-toc__sub{padding-left:24px;font-size:12px}@media (width<=860px){.help-layout{grid-template-columns:1fr;gap:16px}.help-toc{order:0;position:static}.help-toc ul{border-left:none;flex-wrap:wrap;gap:4px 8px;display:flex}.help-toc button{border-left:none;width:auto;margin-left:0;padding:4px 8px}}.help-body{line-height:1.55}.help-body h2{border-bottom:1px solid var(--border,#0000001a);margin:28px 0 8px;padding-bottom:4px;scroll-margin-top:24px;font-size:24px;font-weight:700}.help-body h3{margin:20px 0 6px;font-size:15px;font-weight:700}.help-body h3.help-subsection{margin:22px 0 8px;scroll-margin-top:24px;font-size:20px}.help-body p,.help-body li{color:var(--fg,#1f2328)}.help-body a{color:var(--accent,#2c6bff)}.help-body ul,.help-body ol{margin:8px 0;padding-left:22px}.help-body li{margin:4px 0}.help-body dl{margin:8px 0}.help-body dt{margin-top:12px;font-weight:700}.help-body dd{color:var(--fg,#1f2328);margin:2px 0 0;padding-left:16px}.help-body code{background:var(--hover);border-radius:4px;padding:1px 5px;font-family:ui-monospace,SFMono-Regular,Menlo,Consolas,monospace;font-size:.9em}.help-table{border-collapse:collapse;width:100%;margin:12px 0;font-size:14px}.help-table th,.help-table td{text-align:left;vertical-align:top;border:1px solid var(--border,#0000001f);padding:8px 12px}.help-table th{background:var(--hover);font-weight:700}.help-table td:first-child{white-space:nowrap;font-weight:600}.help-figure{margin:16px 0}.help-img-btn{cursor:zoom-in;background:0 0;border:none;padding:0;display:block}.help-img{border:1px solid var(--border,#0000001f);border-radius:6px;max-width:100%;height:auto;transition:filter .12s;display:block}.help-img-btn:hover .help-img,.help-img-btn:focus-visible .help-img{filter:brightness(.94)}.help-lightbox{z-index:1000;background:#000000d1;border:none;justify-content:center;align-items:center;width:100%;max-width:none;height:100%;max-height:none;margin:0;padding:32px;display:flex;position:fixed;inset:0}.help-lightbox__backdrop{z-index:0;cursor:zoom-out;background:0 0;border:none;width:100%;height:100%;padding:0;position:absolute;inset:0}.help-lightbox__img{z-index:1;border-radius:6px;max-width:95vw;max-height:95vh;position:relative;box-shadow:0 8px 40px #00000080}.help-lightbox__close{z-index:2;color:#fff;cursor:pointer;background:#0000008c;border:none;border-radius:50%;justify-content:center;align-items:center;width:40px;height:40px;transition:background .12s;display:inline-flex;position:fixed;top:16px;right:16px}.help-lightbox__close:hover{background:#000000c7}.help-lightbox__close .material-icons{width:24px;height:24px;font-size:24px}.create-external-profile.dialog-header{justify-content:space-between;align-items:center;gap:8px;display:flex}.create-external-profile .close-button{margin-left:auto}.create-external-profile .hint{opacity:.8;margin:0 0 12px;font-size:.85rem}.create-external-profile .field{margin-bottom:12px;display:block}.create-external-profile .field-label{opacity:.8;margin-bottom:4px;font-size:.85rem;display:block}.create-external-profile .name-input{box-sizing:border-box;width:100%;font:inherit;padding:8px 10px}.create-external-profile .pin-toggle{align-items:center;gap:8px;font-size:.9rem;display:flex}.create-external-profile .progress{margin-top:12px;display:block}.create-external-profile .progress-label{opacity:.8;font-size:.85rem}.create-external-profile .create-error{color:var(--bad,#dc2626);align-items:center;gap:6px;margin:8px 0 0;font-size:.85rem;display:flex}.chain-unfinished.dialog-header{justify-content:space-between;align-items:center;gap:8px;display:flex}.chain-unfinished .close-button{margin-left:auto}.chain-unfinished .message{margin:0;font-size:.9rem}.chain-unfinished .unfinalised{max-height:40vh;margin:6px 0 12px;padding-left:22px;font-size:.9rem;list-style:outside;overflow-y:auto}.chain-unfinished .note{opacity:.8;margin:12px 0 0;font-size:.85rem;font-style:italic}.chain-unfinished-actions .create-anyway{opacity:.6;font-size:.78rem}.chain-unfinished-actions .create-anyway:hover,.chain-unfinished-actions .create-anyway:focus-visible{opacity:1}.viewer-pane{background:var(--bg);flex-direction:column;height:100%;display:flex}.view-toggle{border-radius:var(--radius);height:28px}.view-toggle .MuiToggleButton-root{text-transform:none;color:var(--fg);border:none;align-items:center;gap:4px;padding:0 10px;font-size:.72rem;line-height:26px;display:inline-flex}.view-toggle .MuiIcon-root{width:15px;height:15px;font-size:15px}.view-toggle .Mui-selected,.view-toggle .Mui-selected:hover{background:var(--accent);color:#fff}.view-toggle--float{z-index:3;background:var(--bg);position:absolute;top:8px;right:8px;box-shadow:0 1px 3px #0000002e}.viewer-body{flex:auto;min-height:0;display:flex;position:relative;overflow:hidden}.empty-state{text-align:center;color:var(--muted);margin:auto}.empty-state .MuiIcon-root{opacity:.35;width:48px;height:48px;color:var(--accent);font-size:48px}.empty-state p{margin-top:12px;font-size:.95rem}.empty-state .retry-btn{color:#fff;background:var(--accent);border-radius:var(--radius);cursor:pointer;border:none;margin-top:12px;padding:6px 16px;font-size:.85rem}.pdf-frame{background:var(--pdf-bg);border:none;flex:auto;width:100%;height:100%}.tex-source{background:var(--surface);color:var(--fg);white-space:pre;tab-size:2;flex:auto;margin:0;padding:20px 24px;font-family:ui-monospace,SFMono-Regular,Menlo,Consolas,Liberation Mono,monospace;font-size:13px;line-height:1.55;overflow:auto}.tex-source .hljs-keyword,.tex-source .hljs-built_in{color:var(--accent)}.tex-source .hljs-string{color:var(--pos)}.tex-source .hljs-comment{color:var(--muted);font-style:italic}.tex-source .hljs-variable,.tex-source .hljs-params{color:var(--hl-variable)}.tex-source .hljs-number,.tex-source .hljs-meta{color:var(--bad)}.md-rendered{background:var(--surface);color:var(--fg);flex:auto;width:100%;padding:28px 32px;font-size:15px;line-height:1.65;overflow:auto}.md-rendered>*{max-width:820px;margin-left:auto;margin-right:auto}.md-rendered h1,.md-rendered h2,.md-rendered h3,.md-rendered h4{color:var(--fg-strong);margin:1.4em 0 .5em;line-height:1.3}.md-rendered h1{font-size:1.6rem}.md-rendered h2{font-size:1.3rem}.md-rendered h3{font-size:1.12rem}.md-rendered p{margin:0 0 .9em}.md-rendered ul,.md-rendered ol{margin:0 0 .9em;padding-left:1.6em}.md-rendered li{margin:.2em 0}.md-rendered a{color:var(--accent)}.md-rendered blockquote{border-left:3px solid var(--border);color:var(--muted);margin:1em 0;padding:4px 16px}.md-rendered code{background:var(--hover);border-radius:4px;padding:1px 4px;font-family:ui-monospace,SFMono-Regular,Menlo,Consolas,monospace;font-size:.9em}.md-rendered pre{background:var(--hover);border-radius:var(--radius);padding:12px 16px;overflow:auto}.md-rendered pre code{background:0 0;padding:0}.md-rendered table{border-collapse:collapse;margin:0 auto 1em}.md-rendered table th,.md-rendered table td{border:1px solid var(--border);text-align:left;padding:6px 12px}.md-rendered table th{background:var(--hover)}.tex-rendered{background:var(--surface);color:var(--fg);flex:auto;width:100%;padding:28px 32px;font-size:15px;line-height:1.65;overflow:auto}.tex-rendered>*{max-width:760px;margin-left:auto;margin-right:auto}.tex-rendered .tex-title{text-align:center;color:var(--fg-strong);margin:0 0 4px;font-size:1.7rem}.tex-rendered .tex-byline{text-align:center;color:var(--muted);margin:0 0 24px}.tex-rendered h2{color:var(--fg-strong);margin:1.6em 0 .5em;font-size:1.3rem}.tex-rendered h3{color:var(--fg-strong);margin:1.3em 0 .4em;font-size:1.12rem}.tex-rendered h4{color:var(--fg-strong);margin:1.1em 0 .3em;font-size:1rem}.tex-rendered p{margin:0 0 .9em}.tex-rendered ul,.tex-rendered ol{margin:0 0 .9em;padding-left:1.6em}.tex-rendered li{margin:.2em 0}.tex-rendered code{background:var(--hover);border-radius:4px;padding:1px 4px;font-family:ui-monospace,SFMono-Regular,Menlo,Consolas,monospace;font-size:.9em}.tex-rendered .tex-block{border-left:3px solid var(--accent);background:var(--hover);border-radius:0 var(--radius) var(--radius) 0;margin:1em 0;padding:10px 16px}.tex-rendered .tex-block.tex-proof{border-left-color:var(--muted);background:0 0;font-style:italic}.tex-rendered .tex-block.tex-caption{text-align:center;color:var(--muted);background:0 0;border-left:none;border-radius:0;margin:.4em 0 1.6em;padding:0;font-size:.92rem}.tex-rendered .tex-block-label{color:var(--fg-strong);font-style:normal;font-weight:700}.tex-rendered .tex-table{border-collapse:collapse;margin:1.2em auto}.tex-rendered .tex-table td{border:1px solid var(--border);padding:6px 12px}.tex-rendered .tex-td-left{text-align:left}.tex-rendered .tex-td-center{text-align:center}.tex-rendered .tex-td-right{text-align:right}.tex-rendered .tex-math-error{color:var(--bad)}.tex-rendered .katex-display{padding:2px 0;overflow:auto hidden}.file-switcher{flex:none;position:relative}.file-switcher__bar{border-bottom:1px solid var(--border,#d0d7de);box-sizing:border-box;min-height:var(--pane-header-h,52px);align-items:center;gap:6px;padding:5px 34px 5px 8px;display:flex;position:relative}.file-switcher__bar--dragover{outline:1.5px dashed var(--accent,#2c6bff);outline-offset:-4px;background:var(--tint-info,#f0f5ff)}.file-switcher__toggle{min-width:0;font:inherit;color:var(--fg,#1f2328);cursor:pointer;text-align:left;background:0 0;border:0;border-radius:8px;flex:auto;align-items:center;gap:8px;padding:4px 8px 4px 5px;display:flex}.file-switcher__toggle:hover{background:var(--hover,#edf0f5)}.file-switcher__badge{letter-spacing:.02em;color:#fff;border-radius:6px;flex:none;justify-content:center;align-items:center;width:24px;height:26px;font-size:8.5px;font-weight:800;display:inline-flex}.file-switcher__badge--pdf{background:var(--file-pdf,#dc2626)}.file-switcher__badge--tex{background:var(--file-tex,#2c6bff)}.file-switcher__badge--lean{background:var(--file-lean,#7c3aed)}.file-switcher__badge--doc{background:var(--file-doc,#15803d)}.file-switcher__badge--other{background:var(--file-other,#64748b)}.file-switcher__badge--upload{background:var(--accent,#2c6bff)}.file-switcher__badge--upload .material-icons{width:15px;height:15px;font-size:15px}.file-switcher__name{white-space:nowrap;text-overflow:ellipsis;flex:auto;min-width:0;font-size:13px;font-weight:550;overflow:hidden}.file-switcher__count{background:var(--badge-gray-bg,#eceff3);color:var(--badge-gray-fg,#656d76);border-radius:999px;flex:none;padding:1px 7px;font-size:11px;font-weight:650}.file-switcher__chevron{color:var(--muted,#656d76);flex:none;transition:transform .14s}.file-switcher__chevron.material-icons{width:16px;height:16px;font-size:16px}.file-switcher__toggle[aria-expanded=true] .file-switcher__chevron{transform:rotate(180deg)}.file-switcher__add{border:1px dashed color-mix(in srgb, var(--accent,#2c6bff) 55%, transparent);width:28px;height:28px;color:var(--accent,#2c6bff);cursor:pointer;background:0 0;border-radius:8px;flex:none;justify-content:center;align-items:center;padding:0;display:inline-flex}.file-switcher__add:hover{background:color-mix(in srgb, var(--accent,#2c6bff) 10%, var(--surface,#fff))}.file-switcher__add .material-icons{width:17px;height:17px;font-size:17px}.file-switcher__uploading{min-width:0;color:var(--fg,#1f2328);flex:auto;align-items:center;gap:8px;padding:4px 8px 4px 5px;display:flex}.file-switcher__progress{appearance:none;background:linear-gradient(90deg, transparent 0 30%, var(--accent,#2c6bff) 30% 70%, transparent 70% 100%);background-size:250% 100%;border:0;width:100%;height:2.5px;animation:1.2s ease-in-out infinite file-switcher-progress;position:absolute;bottom:-1px;left:0;right:0;overflow:hidden}.file-switcher__progress::-webkit-progress-bar{background:0 0}.file-switcher__progress::-webkit-progress-value{background:0 0}.file-switcher__progress::-moz-progress-bar{background:0 0}@keyframes file-switcher-progress{0%{background-position:120% 0}to{background-position:-20% 0}}@media (prefers-reduced-motion:reduce){.file-switcher__progress{animation:none}.file-switcher__chevron{transition:none}}.file-switcher__dropmsg{color:var(--accent,#2c6bff);flex:auto;align-items:center;gap:8px;padding:8px 4px;font-size:12.5px;font-weight:600;display:flex}.file-switcher__dropmsg .material-icons{width:17px;height:17px;font-size:17px}.file-switcher__empty{border:1.5px dashed var(--border,#d0d7de);min-width:0;font:inherit;color:var(--muted,#656d76);cursor:pointer;text-align:left;background:0 0;border-radius:8px;flex:auto;align-items:center;gap:8px;padding:6px 8px;font-size:12.5px;display:flex}.file-switcher__empty:hover{border-color:var(--accent,#2c6bff);color:var(--accent,#2c6bff);background:var(--tint-info,#f0f5ff)}.file-switcher__empty span{white-space:nowrap;text-overflow:ellipsis;min-width:0;overflow:hidden}.file-switcher__empty strong{font-weight:650}.file-switcher__empty .material-icons{width:17px;height:17px;font-size:17px}.file-switcher__panel{z-index:10;background:var(--surface,#fff);border:1px solid var(--border,#d0d7de);border-radius:var(--radius,10px);box-shadow:var(--shadow-lg,0 8px 24px #0000001f);flex-direction:column;max-height:min(360px,50vh);padding:5px;display:flex;position:absolute;top:calc(100% + 6px);left:8px;right:8px;overflow:hidden}.file-switcher__sort,.file-switcher__list{border:0;min-inline-size:0;margin:0;padding:0}.file-switcher__sort{border-bottom:1px solid var(--border,#d0d7de);flex:none;align-items:center;gap:4px;padding:3px 5px 6px;display:flex}.file-switcher__sort-label{letter-spacing:.04em;text-transform:uppercase;color:var(--muted,#656d76);margin-right:auto;font-size:11px;font-weight:700}.file-switcher__sort-btn{border:1px solid var(--border,#d0d7de);font:inherit;color:var(--fg,#1f2328);cursor:pointer;background:0 0;border-radius:999px;padding:2px 10px;font-size:12px}.file-switcher__sort-btn:hover{background:var(--hover,#edf0f5)}.file-switcher__sort-btn--active{background:color-mix(in srgb, var(--accent,#2c6bff) 14%, var(--surface,#fff));border-color:var(--accent,#2c6bff);color:var(--fg-strong,#0f1c3f);font-weight:600}.file-switcher__list{flex:auto;min-height:0;padding-top:4px;overflow:auto}.file-switcher__row{border-radius:8px;align-items:stretch;gap:2px;display:flex;position:relative}.file-switcher__row:hover{background:var(--hover,#edf0f5)}.file-switcher__row--selected{background:color-mix(in srgb, var(--accent,#2c6bff) 11%, var(--surface,#fff))}.file-switcher__row--selected:before{content:"";background:var(--accent,#2c6bff);border-radius:3px;width:3px;position:absolute;top:7px;bottom:7px;left:0}.file-switcher__row-select{min-width:0;font:inherit;color:var(--fg,#1f2328);cursor:pointer;text-align:left;background:0 0;border:0;border-radius:8px;flex:auto;align-items:center;gap:10px;padding:6px 9px;display:flex}.file-switcher__row-select .file-switcher__badge{border-radius:7px;width:30px;height:34px;font-size:9.5px}.file-switcher__row-name{white-space:nowrap;text-overflow:ellipsis;flex:auto;min-width:0;font-size:13px;font-weight:550;overflow:hidden}.file-switcher__row-meta{color:var(--muted,#656d76);font-variant-numeric:tabular-nums;font-size:11.5px;font-weight:400;display:block}.file-switcher__row-download{width:28px;height:28px;color:var(--muted,#656d76);cursor:pointer;opacity:0;background:0 0;border:0;border-radius:7px;flex:none;justify-content:center;align-self:center;align-items:center;margin-right:6px;padding:0;transition:opacity .12s;display:inline-flex}.file-switcher__row-download .material-icons{width:16px;height:16px;font-size:16px}.file-switcher__row-download:hover{background:var(--badge-gray-bg,#eceff3);color:var(--fg,#1f2328)}.file-switcher__row-download:focus-visible,.file-switcher__row:hover .file-switcher__row-download,.file-switcher__row--selected .file-switcher__row-download{opacity:1}@media (prefers-reduced-motion:reduce){.file-switcher__row-download{transition:none}}.file-switcher__drop-hint{border:1.5px dashed var(--border,#d0d7de);color:var(--muted,#656d76);border-radius:8px;flex:none;align-items:center;gap:9px;margin:4px 4px 2px;padding:7px 12px;font-size:12px;display:flex}.file-switcher__drop-hint .material-icons{width:15px;height:15px;font-size:15px}.md{color:var(--fg-strong);overflow-wrap:break-word;font-size:.88rem;line-height:1.55}.reasoning{font-size:.82rem}.reasoning-toggle{cursor:pointer;font:inherit;color:var(--muted);text-transform:uppercase;letter-spacing:.04em;background:0 0;border:none;align-items:center;gap:4px;padding:2px 0;font-size:.7rem;font-weight:600;display:inline-flex}.chevron{transition:transform .15s;display:inline-block}.chevron.open{transform:rotate(90deg)}.reasoning-body{border-left:2px solid var(--border);color:var(--muted);margin-top:4px;padding-left:10px;font-style:italic}.tool-step,.step-row{color:var(--muted);align-items:center;gap:8px;padding:3px 0;font-size:.85rem;display:flex}.tool-step--expandable{padding:0;display:block}.step-row{cursor:pointer;list-style:none}.step-row::-webkit-details-marker{display:none}.step-row::marker{content:""}.step-icon{flex:none;justify-content:center;align-items:center;width:14px;height:14px;font-size:.85rem;line-height:1;display:inline-flex}.step-label{align-items:baseline;gap:4px;min-width:0;display:inline-flex}.tool-server,.tool-sep,.tool-name{font-family:ui-monospace,SFMono-Regular,Menlo,Consolas,monospace;font-size:.8rem}.tool-server,.tool-sep{color:var(--muted);opacity:.8}.tool-name{color:var(--fg,inherit);text-overflow:ellipsis;white-space:nowrap;overflow:hidden}.step-chevron{border-left:4px solid #0000;border-right:4px solid #0000;border-top:5px solid var(--muted);flex:none;width:0;height:0;margin-left:auto;transition:transform .15s;transform:rotate(-90deg)}.tool-step--expandable[open] .step-chevron{transform:rotate(0)}.tool-detail{flex-direction:column;gap:8px;padding:4px 0 6px 22px;display:flex}.detail-block{flex-direction:column;gap:2px;min-width:0;display:flex}.detail-label{text-transform:uppercase;letter-spacing:.04em;color:var(--muted);font-size:.7rem}.detail-pre{white-space:pre-wrap;overflow-wrap:anywhere;max-height:320px;color:var(--fg,inherit);background:color-mix(in srgb, var(--muted) 12%, transparent);border-radius:6px;margin:0;padding:6px 8px;font-family:ui-monospace,SFMono-Regular,Menlo,Consolas,monospace;font-size:.75rem;line-height:1.4;overflow:auto}.detail-pre--error{color:var(--bad);background:color-mix(in srgb, var(--bad) 10%, transparent)}.tool-step[data-status=running] .step-icon,.tool-step[data-status=pending] .step-icon{border:2px solid color-mix(in srgb, var(--accent) 25%, transparent);border-top-color:var(--accent);border-radius:50%;animation:.7s linear infinite tool-spin}.tool-step[data-status=completed] .step-icon:before{content:"✓";color:var(--pos)}.tool-step[data-status=error] .step-icon:before{content:"⊘";color:var(--muted)}@keyframes tool-spin{to{transform:rotate(360deg)}}@media (prefers-reduced-motion:reduce){.tool-step[data-status=running] .step-icon,.tool-step[data-status=pending] .step-icon{animation:none}.step-chevron{transition:none}}.task-card{border:1px solid var(--border);background:var(--hover);border-radius:8px;align-items:flex-start;gap:8px;padding:8px 10px;display:flex}button.task-card{width:100%;font:inherit;text-align:left;cursor:pointer;color:inherit}button.task-card:hover{border-color:var(--accent)}button.task-card:focus-visible{outline:2px solid var(--accent);outline-offset:1px}.task-open{color:var(--muted);flex:none;align-self:center;margin-left:auto;font-size:1.1rem;line-height:1}.task-icon{flex:none;justify-content:center;align-items:center;width:14px;height:14px;margin-top:2px;font-size:.85rem;line-height:1;display:inline-flex}.task-card[data-status=running] .task-icon,.task-card[data-status=pending] .task-icon{border:2px solid color-mix(in srgb, var(--accent) 25%, transparent);border-top-color:var(--accent);border-radius:50%;animation:.7s linear infinite task-spin}.task-card[data-status=completed] .task-icon:before{content:"✓";color:var(--pos)}.task-card[data-status=error] .task-icon:before{content:"⊘";color:var(--muted)}.task-body{flex-direction:column;gap:1px;min-width:0;display:flex}.task-agent{color:var(--accent);font-size:.82rem;font-weight:600}.task-desc{color:var(--fg-strong);font-size:.85rem}@keyframes task-spin{to{transform:rotate(360deg)}}@media (prefers-reduced-motion:reduce){.task-card[data-status=running] .task-icon,.task-card[data-status=pending] .task-icon{animation:none}}.question-card{border:1px solid var(--border);background:var(--surface);border-radius:10px;flex-direction:column;gap:14px;padding:14px;display:flex}.question{border:none;flex-direction:column;gap:8px;margin:0;padding:0;display:flex}.question-card--answered{gap:10px}.question-awaiting{color:var(--muted);margin:0;font-size:.82rem}.answered{flex-direction:column;gap:3px;display:flex}.answered-value{background:var(--hover);border:1px solid var(--border);color:var(--fg-strong);border-radius:6px;align-self:flex-start;margin-top:2px;padding:4px 10px;font-size:.88rem}.answered-value--empty{color:var(--muted);font-style:italic}.question-legend{flex-direction:column;gap:2px;width:100%;padding:0;display:flex}.question-header{text-transform:uppercase;letter-spacing:.04em;color:var(--accent);font-size:.72rem;font-weight:600}.question-text{color:var(--fg-strong);font-size:.95rem;font-weight:600}.question-hint{color:var(--muted);font-size:.8rem}.option{border:1px solid var(--border);cursor:pointer;border-radius:8px;align-items:flex-start;gap:10px;padding:10px 12px;display:flex}.option:hover{border-color:var(--accent)}.option--checked{border-color:var(--accent);background:var(--hover)}.option--readonly{cursor:default}.option--readonly:hover{border-color:var(--border)}.option-input{accent-color:var(--accent);cursor:pointer;flex:none;margin-top:2px}.option-body{flex-direction:column;flex:auto;gap:2px;min-width:0;display:flex}.option-label{color:var(--fg-strong);font-size:.88rem;font-weight:500}.option-desc{color:var(--muted);font-size:.82rem}.custom-input{box-sizing:border-box;width:100%;font:inherit;border:1px solid var(--border);background:var(--bg);color:var(--fg-strong);border-radius:6px;margin-top:4px;padding:6px 8px;font-size:.85rem}.custom-input:focus-visible{border-color:var(--accent);outline:none}.question-actions{border-top:1px solid var(--border);justify-content:space-between;align-items:center;gap:10px;margin-top:2px;padding-top:4px;display:flex}.btn{font:inherit;cursor:pointer;border-radius:7px;padding:7px 16px;font-size:.85rem;font-weight:600}.btn:focus-visible{outline:2px solid var(--accent);outline-offset:1px}.btn:disabled{cursor:default;opacity:.55}.btn--ghost{color:var(--muted);background:0 0;border:none}.btn--ghost:not(:disabled):hover{color:var(--fg-strong)}.btn--primary{border:1px solid var(--accent);background:var(--accent);color:#fff}.btn--primary:not(:disabled):hover{background:var(--accent-light);border-color:var(--accent-light)}.file-image{border:1px solid var(--border);border-radius:8px;max-width:100%;max-height:320px;display:block}.file-chip{background:var(--hover);border:1px solid var(--border);color:var(--muted);border-radius:6px;padding:2px 8px;font-size:.8rem;display:inline-block}.error-box{max-width:85%;color:var(--bad);background:color-mix(in srgb, var(--bad) 10%, transparent);border:1px solid color-mix(in srgb, var(--bad) 35%, var(--border));border-radius:12px;flex-direction:column;gap:4px;padding:8px 12px;font-size:.85rem;display:flex}.error-title{font-weight:600}.error-body{white-space:pre-wrap;overflow-wrap:anywhere;margin:0}.transcript{box-sizing:border-box;overscroll-behavior:contain;background:var(--bg);flex-direction:column;gap:10px;height:100%;min-height:0;margin:0;padding:12px;list-style:none;display:flex;overflow-y:auto}.message{display:flex}.message[data-role=user]{justify-content:flex-end}.queued-tag{color:var(--muted);background:var(--hover);border:1px solid var(--border);white-space:nowrap;border-radius:999px;align-self:center;align-items:center;gap:5px;margin-right:8px;padding:2px 8px;font-size:.7rem;display:inline-flex}.queued-dot{background:var(--accent);border-radius:50%;width:6px;height:6px;animation:1.2s ease-in-out infinite queued-pulse}@keyframes queued-pulse{0%,to{opacity:.3}50%{opacity:1}}.message[data-role=assistant]{justify-content:flex-start}.bubble{border:1px solid var(--border);border-radius:12px;flex-direction:column;gap:8px;max-width:85%;padding:8px 12px;display:flex}.message[data-role=user] .bubble{background:color-mix(in srgb, var(--accent) 10%, var(--surface));border-color:color-mix(in srgb, var(--accent) 25%, var(--border))}.message[data-role=assistant] .bubble{background:var(--bg)}.thinking-bubble{padding:10px 12px}.thinking-dots{align-items:center;gap:4px;display:inline-flex}.thinking-dots span{background:var(--muted);border-radius:50%;width:6px;height:6px;animation:1.2s ease-in-out infinite queued-pulse}.thinking-dots span:nth-child(2){animation-delay:.2s}.thinking-dots span:nth-child(3){animation-delay:.4s}.interrupted{color:var(--muted);align-items:center;gap:12px;margin:2px 0;font-size:.8rem;display:flex}.interrupted:before,.interrupted:after{content:"";background:var(--border);flex:auto;height:1px}.chat-pane{background:var(--bg);border-left:1px solid var(--border);flex-direction:column;height:100%;display:flex}.session-toggle{border-bottom:1px solid var(--border);background:var(--hover);box-sizing:border-box;width:100%;min-height:var(--pane-header-h,52px);display:flex}.session-toggle>span{flex:1;display:flex}.session-toggle .role-tab{font:inherit;color:var(--muted);cursor:pointer;background:0 0;border:none;border-bottom:2px solid #0000;flex-direction:column;flex:1;justify-content:center;align-items:center;gap:3px;padding:7px 12px;display:flex}.session-toggle .role-tab .role-tab-name{font-size:.8rem;font-weight:600}.session-toggle .role-tab .role-tab-status{letter-spacing:.05em;text-transform:uppercase;color:var(--muted);align-items:center;gap:3px;font-size:.64rem;font-weight:700;display:inline-flex}.session-toggle .role-tab .role-tab-status .material-icons{width:12px;height:12px;font-size:12px}.session-toggle .role-tab .role-tab-status .spin{animation:.9s linear infinite spin}.session-toggle .role-tab .role-tab-status[data-status=IN_PROGRESS]{color:var(--accent)}.session-toggle .role-tab:hover:not(:disabled) .role-tab-name{color:var(--fg-strong)}.session-toggle .role-tab.role-tab--active{color:var(--accent);border-bottom-color:var(--accent)}.session-toggle .role-tab:disabled{opacity:.45;cursor:not-allowed}.model-bar{background:var(--hover);border-bottom:1px solid var(--border);width:100%;color:var(--muted);flex-direction:column;gap:4px;padding:6px 12px;font-size:.78rem;display:flex}.model-bar__control{align-items:center;gap:8px;display:flex}.model-bar__applying{color:var(--muted);align-items:center;gap:6px;font-size:.72rem;display:inline-flex}.model-bar__spinner{border:2px solid var(--border);border-top-color:var(--accent);border-radius:50%;flex:none;width:13px;height:13px;animation:.7s linear infinite model-bar-spin}.model-bar__scope{color:var(--muted);font-size:.72rem;line-height:1.4}.model-bar .model-bar-label{white-space:nowrap;font-weight:600}.model-bar .selector-input{min-width:0;max-width:320px;font:inherit;color:var(--fg-strong);background:var(--input-bg);border:1px solid var(--border);box-shadow:var(--input-shadow);border-radius:6px;flex:auto;padding:3px 6px;font-size:.78rem}.model-bar .selector-input:focus{border-color:var(--accent);outline:none}.model-bar .selector-input:disabled{opacity:.65;cursor:default}@keyframes model-bar-spin{to{transform:rotate(360deg)}}@media (prefers-reduced-motion:reduce){.model-bar__spinner{animation:none}}.subagent-breadcrumb{width:100%;color:var(--muted);background:var(--hover);border-bottom:1px solid var(--border);flex-wrap:wrap;align-items:center;gap:4px;padding:6px 12px;font-size:.78rem;display:flex}.subagent-breadcrumb .crumb-frag{align-items:center;gap:4px;display:inline-flex}.subagent-breadcrumb .crumb-back{font:inherit;color:var(--muted);cursor:pointer;background:0 0;border:none;align-items:center;padding:0;display:inline-flex}.subagent-breadcrumb .crumb-back .material-icons{width:18px;height:18px;font-size:18px}.subagent-breadcrumb .crumb{font:inherit;color:var(--accent);cursor:pointer;background:0 0;border:none;padding:0;font-size:.78rem;font-weight:600}.subagent-breadcrumb .crumb:hover{text-decoration:underline}.subagent-breadcrumb .crumb-sep{opacity:.6}.subagent-breadcrumb .crumb-current{color:var(--fg-strong);cursor:default}.subagent-breadcrumb .crumb-current:hover{text-decoration:none}.subagent-note{color:var(--muted);background:var(--hover);border-top:1px solid var(--border);margin:0;padding:8px 12px;font-size:.78rem}.pane-body{flex:auto;min-height:0;display:flex;overflow:hidden}.pane-body.native{flex-direction:column;overflow:hidden}.question-alert-live:empty{display:none}.question-alert{color:var(--fg-strong);background:color-mix(in srgb, var(--accent) 16%, transparent);border-top:1px solid var(--accent);align-items:center;gap:8px;padding:8px 12px;font-size:.82rem;font-weight:600;display:flex}.question-alert .material-icons{width:18px;height:18px;color:var(--accent);font-size:18px}.session-suggestion{background:color-mix(in srgb, var(--accent) 10%, transparent);border-top:1px solid color-mix(in srgb, var(--accent) 30%, transparent);align-items:center;gap:10px;padding:8px 12px;display:flex}.session-suggestion .session-suggestion-text{min-width:0;color:var(--fg-strong);flex:auto;font-size:.82rem;font-weight:600}.session-suggestion .session-suggestion-btn{font:inherit;color:#fff;background:var(--accent);cursor:pointer;border:none;border-radius:8px;flex:none;align-items:center;gap:4px;padding:5px 12px;font-size:.82rem;font-weight:600;display:inline-flex}.session-suggestion .session-suggestion-btn .material-icons{width:18px;height:18px;font-size:18px}.session-suggestion .session-suggestion-btn:hover{background:var(--accent-light)}.session-suggestion .session-suggestion-btn:focus-visible{outline:2px solid var(--fg-strong);outline-offset:2px}.composer{border-top:2px solid var(--accent);background:color-mix(in srgb, var(--accent) 5%, transparent);box-shadow:0 -2px 8px color-mix(in srgb, var(--navy) 6%, transparent);flex-direction:column;gap:6px;padding:8px;display:flex}.composer .composer-row{align-items:flex-end;gap:6px;display:flex;position:relative}.composer .attachments{flex-wrap:wrap;gap:6px;display:flex}.composer.composer--admin{background:#7b1fa20f;border-top-color:#7b1fa2}.composer .composer__admin-hint{color:#7b1fa2;align-items:center;gap:6px;font-size:12px;font-weight:600;display:flex}.composer .composer__admin-hint .material-icons{width:16px;height:16px;font-size:16px}.composer .mention-menu{z-index:20;background:var(--input-bg);border:1px solid var(--border);max-height:240px;box-shadow:0 4px 16px color-mix(in srgb, var(--navy) 16%, transparent);border-radius:8px;margin:0;padding:4px;list-style:none;position:absolute;bottom:calc(100% + 6px);left:0;right:0;overflow-y:auto}.composer .mention-item{cursor:pointer;color:var(--fg-strong);border-radius:6px;align-items:center;gap:8px;padding:6px 8px;display:flex}.composer .mention-item.active{background:color-mix(in srgb, var(--accent) 14%, transparent)}.composer .mention-item:not(.mention-item--blueprint)+.mention-item--blueprint{border-top:1px solid color-mix(in srgb, var(--border) 60%, transparent);margin-top:4px;padding-top:8px}.composer .mention-item .mention-icon{width:18px;height:18px;color:var(--muted);flex:none;font-size:18px}.composer .mention-item .mention-name{text-overflow:ellipsis;white-space:nowrap;flex:auto;overflow:hidden}.composer .mention-item .mention-size{color:var(--muted);flex:none;font-size:12px}.composer .mention-hint{color:var(--muted);background:var(--input-bg);border-top:1px solid var(--border);cursor:default;padding:6px 8px;font-size:12px;font-style:italic;list-style:none;position:sticky;bottom:0}.composer .attachment-chip{background:var(--hover);border:1px solid var(--border);border-radius:8px;align-items:center;gap:6px;max-width:220px;padding:3px;display:inline-flex}.composer .attachment-chip .attachment-thumb{object-fit:cover;border-radius:4px;flex:none;width:28px;height:28px}.composer .attachment-chip .attachment-name{min-width:0;color:var(--fg-strong);text-overflow:ellipsis;white-space:nowrap;font-size:.75rem;overflow:hidden}.composer .attachment-chip .attachment-remove{color:var(--muted);cursor:pointer;background:0 0;border:none;flex:none;padding:0;display:inline-flex}.composer .attachment-chip .attachment-remove .material-icons{width:16px;height:16px;font-size:16px}.composer .composer-input{resize:none;min-width:0;max-height:160px;font:inherit;color:var(--fg-strong);background:var(--input-bg);border:1px solid var(--border);box-shadow:var(--input-shadow);border-radius:8px;flex:auto;padding:8px 10px;font-size:.85rem;line-height:1.4;overflow-y:auto}.composer .composer-input::placeholder{color:var(--muted)}.composer .composer-input:focus{border-color:var(--accent);box-shadow:var(--input-shadow), 0 0 0 3px color-mix(in srgb, var(--accent) 15%, transparent);outline:none}.composer .composer-input:disabled{opacity:.6;cursor:not-allowed}.composer .composer-stop,.composer .composer-send{cursor:pointer;border:none;flex:none;justify-content:center;align-items:center;width:40px;height:40px;padding:0;display:inline-flex}.composer button.composer-send{color:#fff;background:var(--accent);border-radius:50%}.composer button.composer-send:hover:not(:disabled){background:var(--accent-light)}.composer button.composer-send:disabled{color:var(--muted);background:var(--hover);cursor:not-allowed}.composer button.composer-send:focus-visible{outline:2px solid var(--fg-strong);outline-offset:2px}.composer button.composer-stop{color:var(--bad);background:var(--hover);border-radius:50%}.composer button.composer-stop:hover{background:color-mix(in srgb, var(--bad) 16%, transparent)}.composer button.composer-stop:focus-visible{outline:2px solid var(--fg-strong);outline-offset:2px}.loading{text-align:center;color:var(--muted);margin:auto;padding:24px}.loading .material-icons{width:36px;height:36px;color:var(--accent);opacity:.5;font-size:36px;animation:1.4s linear infinite spin}.loading p{margin-top:8px;font-size:.9rem}.restore-snapshot-dialog .subject{overflow-wrap:anywhere;margin:0 0 12px;font-weight:600}.restore-snapshot-dialog .consequences{flex-direction:column;gap:8px;margin:0;padding:0;font-size:.88rem;list-style:none;display:flex}.restore-snapshot-dialog .consequences li{border-left:3px solid var(--border,#dce0e5);padding-left:10px}.restore-snapshot-dialog .consequences .warn{border-left-color:var(--bad,#dc2626)}.restore-snapshot-dialog .consequences .good{border-left-color:var(--pos)}.snapshot-preview{background:var(--bg,#f5f6f8);flex-direction:column;height:100%;min-height:0;display:flex}.snapshot-preview__banner{border-bottom:2px solid var(--warn,#d97706);background:color-mix(in srgb, var(--warn,#d97706) 12%, var(--surface,#fff));color:var(--fg);flex:none;align-items:center;gap:12px;padding:8px 16px;display:flex}.snapshot-preview__icon{color:var(--warn,#d97706);flex:none}.snapshot-preview__what{flex-direction:column;min-width:0;display:flex}.snapshot-preview__title{overflow-wrap:anywhere;font-size:.95rem;font-weight:700}.snapshot-preview__when{color:var(--muted-strong,#4d555f);font-size:.78rem}.snapshot-preview__note{color:var(--muted-strong,#4d555f);text-align:right;margin-left:auto;font-size:.78rem}.snapshot-preview__body{flex-direction:column;flex:auto;min-height:0;display:flex}.snapshot-preview__placeholder{text-align:center;color:var(--muted,#656d76);margin:auto;padding:0 24px;font-size:.9rem}.snapshot-preview__placeholder--error{color:var(--bad,#dc2626)}.snapshots-dialog .sr-only{clip-path:inset(50%);white-space:nowrap;border:0;width:1px;height:1px;margin:-1px;padding:0;position:absolute;overflow:hidden}.snapshots-dialog .note{color:var(--muted,#656d76);margin:0 0 14px;font-size:.8rem}.snapshots-dialog .controls{flex-wrap:wrap;gap:8px;margin-bottom:12px;display:flex}.snapshots-dialog .controls select{font:inherit;padding:6px 8px}.snapshots-dialog .search{box-sizing:border-box;min-width:0;font:inherit;flex:200px;padding:7px 10px}.snapshots-dialog .kind.filtering{border-color:var(--accent,#2c6bff);color:var(--accent,#2c6bff)}.snapshots-dialog .error{color:var(--bad,#dc2626);margin:0 0 10px;font-size:.85rem}.snapshots-dialog .table-scroll{height:420px;max-height:50vh;overflow:auto}.snapshots-dialog .placeholder{text-align:center;height:100%;color:var(--muted,#656d76);place-items:center;margin:0;padding:0 16px;font-size:.88rem;display:grid}.snapshots-dialog .snapshots-table{border-collapse:collapse;width:100%;font-size:.88rem}.snapshots-dialog .snapshots-table th{z-index:1;background:var(--surface,#fff);text-align:left;letter-spacing:.06em;text-transform:uppercase;color:var(--muted,#656d76);border-bottom:1px solid var(--border,#dce0e5);white-space:nowrap;padding:6px 10px 6px 0;font-size:.72rem;position:sticky;top:0}.snapshots-dialog .snapshots-table td{vertical-align:top;border-bottom:1px solid var(--border,#dce0e5);padding:8px 10px 8px 0}.snapshots-dialog .snapshots-table tr:last-child td{border-bottom:0}.snapshots-dialog .is-auto .headline{color:var(--muted-strong,#4d555f)}.snapshots-dialog .col-what{min-width:220px}.snapshots-dialog .headline{overflow-wrap:anywhere}.snapshots-dialog .why{color:var(--muted,#656d76);overflow-wrap:anywhere;margin-top:2px;font-size:.82rem;display:block}.snapshots-dialog .badge{text-transform:uppercase;letter-spacing:.04em;vertical-align:1px;border-radius:9px;margin-left:8px;padding:0 6px;font-size:.68rem;font-weight:600;display:inline-block}.snapshots-dialog .badge--named{background:var(--badge-green-bg,#dcfce7);color:var(--badge-green-fg,#15803d)}.snapshots-dialog .badge--auto{background:var(--badge-gray-bg,#eceff3);color:var(--badge-gray-fg,#656d76)}.snapshots-dialog .col-when,.snapshots-dialog .col-items{white-space:nowrap;color:var(--muted,#656d76);font-variant-numeric:tabular-nums}.snapshots-dialog .col-action{text-align:right;white-space:nowrap}.snapshots-dialog .pager-info{color:var(--muted,#656d76);font-variant-numeric:tabular-nums;margin:10px 0 0;font-size:.8rem}.take-snapshot-dialog .hint{opacity:.8;margin:0 0 14px;font-size:.85rem}.take-snapshot-dialog .field-label{margin:0 0 4px;font-size:.8rem;font-weight:600;display:block}.take-snapshot-dialog .text-input{box-sizing:border-box;width:100%;font:inherit;margin-bottom:12px;padding:8px 10px}.take-snapshot-dialog .note{color:var(--warn,#d97706);margin:2px 0 0;font-size:.8rem}.take-snapshot-dialog .error{color:var(--bad,#dc2626);margin:8px 0 0;font-size:.85rem}.bp-toolbar-host{width:100%;display:block;container-type:inline-size}.bp-toolbar{--bp-btn-font:clamp(.6875rem, .45rem + .8cqi, .8125rem);--bp-gap:clamp(.25rem, .8cqi, .5rem);align-items:center;gap:var(--bp-gap);background:var(--bg,#f5f6f8);border-bottom:1px solid var(--border,#dce0e5);flex-wrap:wrap;padding:clamp(.375rem,1.2cqi,.5rem) clamp(.5rem,1.6cqi,.75rem);display:flex}.bp-toolbar__group{border:0;flex-wrap:wrap;align-items:center;gap:.25rem;min-inline-size:0;margin:0;padding:0;display:inline-flex}.bp-toolbar__sep{background:var(--border,#dce0e5);align-self:stretch;width:1px;margin:.15rem 0}.bp-toolbar__btn{min-width:0;line-height:2.3;font-size:var(--bp-btn-font);white-space:nowrap}.bp-toolbar__btn--menu{align-items:center;display:inline-flex}.bp-toolbar__btn--icon{align-items:center;gap:.3em;display:inline-flex}.bp-toolbar__btn--icon .material-icons{width:1em;height:1em;font-size:1.25em}.bp-toolbar__popout{--mdc-outlined-button-container-shape:999px;border-color:var(--accent,#2c6bff);color:var(--accent,#2c6bff);border-radius:999px;align-items:center;gap:4px;margin-left:auto;display:inline-flex}.bp-toolbar__caret{width:1em;height:1em;margin-left:.15em;font-size:1.35em}.bp-toolbar__search{box-sizing:border-box;width:clamp(7.5rem,24cqi,11.25rem);height:2.7em;font:inherit;font-size:var(--bp-btn-font);color:var(--fg);background:var(--input-bg);border:1px solid var(--border);box-shadow:var(--input-shadow);border-radius:.5rem;padding:0 .9em}.bp-toolbar__search::placeholder{color:var(--muted)}.bp-toolbar__search:focus{border-color:var(--accent);outline:none}@container (width<=32rem){.bp-toolbar{--bp-gap:.25rem;padding:.375rem .5rem}.bp-toolbar__sep{display:none}}.blueprint-graph__canvas .bp-legend__trigger{z-index:5;border-color:var(--border,#dce0e5);min-width:0;color:var(--fg,#1f2328);background:var(--surface,#fff);font-size:13px;line-height:30px;position:absolute;bottom:8px;right:8px}.blueprint-graph__canvas .bp-legend__trigger--active{background:var(--hover,#edf0f5);border-color:var(--muted,#656d76);color:var(--fg,#1f2328)}.bp-legend{z-index:7;max-height:calc(100% - 60px);position:absolute;bottom:48px;left:auto;right:8px}.nd-host{z-index:7;background:var(--bg,#f5f6f8);width:clamp(320px,38cqw,460px);color:var(--fg,#1f2328);border-left:1px solid var(--border,#dce0e5);box-shadow:var(--shadow-md,-4px 0 16px #0000001f);flex-direction:column;font-family:-apple-system,BlinkMacSystemFont,Segoe UI,Roboto,sans-serif;animation:.22s both bp-detail-in;display:flex;position:absolute;inset:0 0 0 auto}@container (width<=760px){.nd-host{border-left:none;width:100%}}.nd__resize{z-index:8;cursor:ew-resize;background:0 0;border:0;width:8px;margin:0;transition:background .15s;position:absolute;top:0;bottom:0;left:-3px}.nd__resize:hover,.nd__resize:active{background:var(--accent,#2c6bff);opacity:.5}@keyframes bp-detail-in{0%{opacity:0;transform:translate(8px)}to{opacity:1;transform:translate(0)}}.nd{width:100%;max-width:none;height:100%;min-height:0;max-height:none;color:inherit;background:0 0;border:0;flex-direction:column;margin:0;padding:0;display:flex;position:static;inset:auto}.nd__head{border-bottom:1px solid var(--border,#dce0e5);flex:none;justify-content:space-between;align-items:flex-start;gap:.6rem;padding:.7rem .9rem;display:flex}.nd__id{overflow-wrap:break-word;margin:0;font-family:Monaco,Menlo,monospace;font-size:.95rem;font-weight:700}.nd__close{border:1px solid var(--border,#dce0e5);background:var(--surface);width:26px;height:26px;color:var(--muted,#656d76);cursor:pointer;border-radius:6px;flex:none;line-height:1}.nd__close:hover{background:var(--border,#dce0e5);color:var(--fg,#1f2328)}.nd__body{flex:auto;min-height:0;padding:.8rem .9rem 1.4rem;overflow-y:auto}.nd__kind{flex-wrap:wrap;align-items:center;gap:.4rem;margin:0 0 .5rem;display:flex}.nd__kind-label{color:var(--muted,#656d76);font-weight:600}.nd__kind-value{text-transform:capitalize;font-weight:600}.nd__action{border:1px solid var(--border,#dce0e5);background:var(--surface);color:var(--fg,#1f2328);cursor:pointer;border-radius:6px;margin:.7rem 0 .2rem;padding:.4rem .8rem;font-size:.85rem;display:inline-block}.nd__action:hover{border-color:var(--accent,#2c6bff);color:var(--accent,#2c6bff)}.nd__status{margin:1rem 0 .4rem}.nd__status-row{align-items:baseline;gap:.5rem;padding:.15rem 0;display:flex}.nd__status-row dt{color:var(--fg,#1f2328);font-weight:600}.nd__status-row dd{text-transform:capitalize;margin:0}.nd__state{font-weight:600}.nd__state--formalized{color:var(--state-formalized)}.nd__state--sketch{color:var(--state-sketch)}.nd__state--pending{color:var(--muted,#656d76)}.nd__state--axiom{color:var(--state-axiom)}.nd__section{text-transform:uppercase;letter-spacing:.06em;color:var(--muted,#656d76);margin:1.3rem 0 .4rem;font-size:.72rem;font-weight:700}.nd__prose{border:1px solid var(--border,#dce0e5);background:var(--surface);border-radius:6px;padding:.7rem .9rem;font-size:.95rem;line-height:1.7;overflow-x:auto}.nd__empty{color:var(--muted,#656d76);margin:.2rem 0}.nd__deps{flex-wrap:wrap;gap:.35rem;display:flex}.nd__dep{border:1px solid var(--border,#dce0e5);background:var(--surface);color:var(--accent,#2c6bff);cursor:pointer;border-radius:999px;padding:.15rem .5rem;font-family:Monaco,Menlo,monospace;font-size:.78rem}.nd__dep:hover{border-color:var(--accent,#2c6bff);background:var(--tint-info)}.nd__lean{border:1px solid var(--border,#dce0e5);background:var(--surface-2);border-radius:6px;margin:0;padding:.7rem .9rem;overflow-x:auto}.nd__lean code{white-space:pre;color:var(--fg,#1f2328);font-family:Monaco,Menlo,Consolas,monospace;font-size:.82rem;line-height:1.6}.nd__source{border:1px solid var(--border,#dce0e5);background:var(--surface);border-radius:6px;margin:.2rem 0;padding:.6rem .9rem;font-size:.88rem}.nd__source-row{justify-content:space-between;gap:1rem;padding:.2rem 0;display:flex}.nd__source-row dt{color:var(--muted,#656d76);font-weight:600}.nd__source-row dd{text-align:right;overflow-wrap:break-word;margin:0}.badge{border-radius:4px;margin-right:.3rem;padding:.1rem .4rem;font-size:.7rem;font-weight:600;line-height:1.4;display:inline-block}.lean-code{border:1px solid var(--border,#dce0e5);background:var(--surface-2,#fbfbfd);border-radius:6px;margin:0;padding:.7rem .9rem;overflow-x:auto}.lean-code code{white-space:pre;color:var(--fg,#1f2328);font-family:Monaco,Menlo,Consolas,monospace;font-size:.82rem;line-height:1.6}.lean-code--wrap code{white-space:pre-wrap;overflow-wrap:anywhere}.lean-reader__paper{background:var(--surface,#fff);width:min(92vw,max(35vw,20rem));max-height:calc(100% - 16px);color:var(--fg,#1f2328);margin:8px}.lean-reader__paper--wide{width:92vw}.lean-reader__head{border-bottom:1px solid var(--border,#dce0e5);justify-content:space-between;align-items:center;gap:12px;padding:10px 14px;display:flex}.lean-reader__title{align-items:baseline;gap:8px;min-width:0;display:flex}.lean-reader__kind{letter-spacing:.04em;color:var(--muted,#656d76);font-size:.68rem;font-weight:700}.lean-reader__id{overflow-wrap:anywhere;font-family:Monaco,Menlo,Consolas,monospace;font-size:.9rem;font-weight:600}.lean-reader__actions{flex:none;align-items:center;gap:6px;display:flex}.lean-reader__wide{color:var(--muted,#656d76);font:inherit;cursor:pointer;background:0 0;border:none;border-radius:999px;align-items:center;gap:8px;padding:3px 4px 3px 8px;display:flex}.lean-reader__wide:hover{color:var(--fg,#1f2328);background:var(--hover,#edf0f5)}.lean-reader__wide-label{letter-spacing:.02em;text-transform:uppercase;font-size:.7rem;font-weight:700}.lean-reader__switch{background:var(--border,#dce0e5);border-radius:999px;flex:none;width:34px;height:18px;transition:background .15s;position:relative}.lean-reader__switch--on{background:var(--accent,#2c6bff)}.lean-reader__knob{background:var(--surface,#fff);width:14px;height:14px;color:var(--accent,#2c6bff);border-radius:50%;justify-content:center;align-items:center;font-size:.6rem;line-height:1;transition:transform .15s;display:flex;position:absolute;top:2px;left:2px;box-shadow:0 1px 2px #0000004d}.lean-reader__switch--on .lean-reader__knob{transform:translate(16px)}.lean-reader__close{color:var(--muted,#656d76);cursor:pointer;background:0 0;border:none;border-radius:4px;padding:2px 6px;font-size:.9rem;line-height:1}.lean-reader__close:hover{color:var(--fg,#1f2328);background:var(--hover,#edf0f5)}.lean-reader__prose{border:1px solid var(--border,#dce0e5);border-radius:6px;margin-bottom:8px;padding:10px 12px;position:relative}.lean-reader__badge{color:#fff;border-radius:50%;flex:none;justify-content:center;align-self:center;align-items:center;width:16px;height:16px;font-size:.7rem;font-weight:700;line-height:1;display:inline-flex}.lean-reader__badge--flagged{background:var(--bad,#dc2626)}.lean-reader__badge--matched{background:var(--pos,#16a34a)}.lean-reader__prose-text{color:var(--fg,#1f2328);font-size:.85rem;line-height:1.5}.lean-reader__body{min-height:0;margin:10px 0 14px;padding:0 14px;overflow-y:auto}.lean-reader__block{border:1px solid var(--border,#dce0e5);border-radius:6px;position:relative;overflow:hidden}.lean-reader__block+.lean-reader__block{margin-top:8px}.lean-reader__label{margin:0}.lean-reader__disclosure{background:var(--section-head,#f3f5f8);width:100%;color:var(--muted-strong,#4d555f);font:inherit;letter-spacing:.06em;text-transform:uppercase;text-align:left;cursor:pointer;border:none;align-items:center;gap:8px;padding:9px 12px;font-size:.7rem;font-weight:700;transition:background .12s ease-out;display:flex}.lean-reader__disclosure:hover{background:color-mix(in srgb, var(--section-head,#f3f5f8) 92%, var(--fg,#1f2328));color:var(--fg,#1f2328)}.lean-reader__prose,.lean-reader__panel{background:var(--surface-2,#fbfbfd)}.lean-reader__panel{border-top:1px solid var(--border,#dce0e5)}.lean-reader__panel .lean-code{background:0 0;border:none;border-radius:0}.lean-reader__lang{border-bottom:1px solid var(--border,#dce0e5);color:var(--muted,#656d76);letter-spacing:.03em;margin:0;padding:8px 12px;font-size:.7rem;font-weight:700}.lean-reader__block-prose{color:var(--fg,#1f2328);padding:10px 12px 0;font-size:.85rem;line-height:1.5}.lean-reader__chevron{font-size:.8rem;line-height:1;transition:transform .15s ease-out;display:inline-block}[aria-expanded=true]>.lean-reader__chevron{transform:rotate(90deg)}.lean-reader__empty{color:var(--muted,#656d76);margin:0;font-size:.85rem;font-style:italic}.lean-reader__details{padding:10px 12px;font-size:.85rem;line-height:1.5}.lean-reader__detail-row{align-items:baseline;gap:8px;display:flex}.lean-reader__detail-row+.lean-reader__detail-row{margin-top:6px}.lean-reader__detail-label{min-width:8.5rem;color:var(--muted,#656d76);letter-spacing:.04em;text-transform:uppercase;flex:none;font-size:.7rem;font-weight:700}.lean-reader__state{font-weight:600}.lean-reader__state--formalized{color:var(--state-formalized,#16a34a)}.lean-reader__state--sketch{color:var(--state-sketch,#d97706)}.lean-reader__state--axiom{color:var(--state-axiom,#64748b)}.lean-reader__state--pending{color:var(--state-pending,#656d76)}.lean-reader__ids{flex-wrap:wrap;gap:4px;display:flex}.lean-reader__id-pill{border:1px solid var(--border,#dce0e5);background:var(--surface,#fff);color:var(--accent,#2c6bff);font:inherit;white-space:nowrap;border-radius:999px;padding:1px 8px;font-family:Monaco,Menlo,Consolas,monospace;font-size:.72rem}button.lean-reader__id-pill{cursor:pointer}button.lean-reader__id-pill:hover{border-color:var(--accent,#2c6bff);background:var(--tint-info,#2c6bff14)}@keyframes lean-reader-target-blink{0%,to{box-shadow:0 0 #0000}50%{box-shadow:0 0 0 3px color-mix(in srgb, var(--accent,#2c6bff) 40%, transparent)}}.lean-reader__targeted{border-color:var(--accent,#2c6bff);animation:.8s ease-in-out lean-reader-target-blink}.lean-reader__placeholder{color:var(--muted,#656d76);margin:0;padding:10px 12px;font-size:.85rem;font-style:italic}.lean-reader__copy{opacity:0;align-items:center;gap:6px;transition:opacity .12s ease-out;display:flex;position:absolute;bottom:8px;right:8px}.lean-reader__prose:hover .lean-reader__copy,.lean-reader__block:hover .lean-reader__copy,.lean-reader__copy:focus-within{opacity:1}.blueprint-graph-host{width:100%;height:100%;min-height:0;display:block;position:relative}.blueprint-graph{background:var(--bg,#f5f6f8);flex-direction:column;width:100%;height:100%;display:flex;overflow:hidden}.blueprint-graph__canvas{flex:auto;min-height:0;position:relative;overflow:hidden;container-type:inline-size}.blueprint-graph__canvas:focus{outline:1.5px solid #8aa4d6;outline:1.5px solid color-mix(in srgb, var(--accent,#2c6bff) 45%, transparent);outline-offset:-2px}.blueprint-graph__detail-backdrop{z-index:6;cursor:default;pointer-events:none;background:0 0;border:0;padding:0;position:absolute;inset:0}@container (width<=760px){.blueprint-graph__detail-backdrop{pointer-events:auto;background:#0f172a52}}.blueprint-graph__zoom{z-index:5;border:1px solid var(--border,#dce0e5);background:var(--bg,#f5f6f8);min-inline-size:0;box-shadow:var(--shadow-lg,0 8px 24px #0000002e);border-radius:8px;flex-direction:column;margin:0;padding:0;display:flex;position:absolute;bottom:8px;left:20px;overflow:hidden}.blueprint-graph__zoom-btn{width:clamp(1.75rem,1.5rem + 1cqi,2.125rem);height:clamp(1.75rem,1.5rem + 1cqi,2.125rem);color:var(--fg,#1f2328);cursor:pointer;background:0 0;border:none;justify-content:center;align-items:center;padding:0;font-size:clamp(1rem,.8rem + 1cqi,1.375rem);line-height:1;display:flex}.blueprint-graph__zoom-btn+.blueprint-graph__zoom-btn{border-top:1px solid var(--border,#dce0e5)}.blueprint-graph__zoom-btn:hover{background:var(--hover,#edf0f5)}.blueprint-graph__focus-banner{z-index:5;border:1px solid var(--border,#dce0e5);background:var(--bg,#f5f6f8);max-width:calc(100% - 16px);box-shadow:var(--shadow-md,0 2px 8px #0000001a);border-radius:999px;align-items:center;gap:8px;padding:4px 5px 4px 10px;font-size:12.5px;display:flex;position:absolute;top:8px;left:8px}.blueprint-graph__focus-text{white-space:nowrap;min-width:0}.blueprint-graph__focus-clear{background:var(--accent,#2c6bff);color:#fff;cursor:pointer;border:none;border-radius:999px;flex:none;padding:3px 10px}.blueprint-graph__svg{cursor:grab;width:100%;height:100%;display:block}.blueprint-graph__svg:active{cursor:grabbing}.blueprint-graph__placeholder{pointer-events:none;text-align:center;flex-direction:column;justify-content:center;align-items:center;gap:6px;padding:24px;animation:.4s both bp-ph-fade-in;display:flex;position:absolute;inset:0}.blueprint-graph .bp-ph-glyph{width:96px;height:74px;margin-bottom:10px}.blueprint-graph .bp-ph-edge{stroke:var(--border,#d0d7de);stroke-width:2.5px;stroke-linecap:round;animation:1.8s ease-in-out infinite bp-ph-edge-pulse}.blueprint-graph .bp-ph-edge--2{animation-delay:.2s}.blueprint-graph .bp-ph-edge--3{animation-delay:.4s}.blueprint-graph .bp-ph-dot{fill:var(--accent,#2c6bff);transform-box:fill-box;transform-origin:50%;animation:1.8s ease-in-out infinite bp-ph-dot-pulse}.blueprint-graph .bp-ph-dot--2{animation-delay:.2s}.blueprint-graph .bp-ph-dot--3{animation-delay:.4s}.blueprint-graph .bp-ph-title{color:var(--fg,#1f2328);margin:0;font-size:14px;font-weight:600}.blueprint-graph .bp-ph-sub{color:var(--muted,#656d76);margin:0;font-size:12.5px}.blueprint-graph__error{border-radius:var(--radius,10px);background:var(--bad,#dc2626);color:#fff;max-width:60%;box-shadow:var(--shadow-md,0 4px 12px #00000014);padding:8px 12px;font-size:13px;position:absolute;inset:auto 12px 12px auto}.node-group{cursor:pointer}.node-shape{filter:drop-shadow(-3px 3px 3px #0f172a59)}.node-group.expanded .node-shape{filter:drop-shadow(0 0 8px #0f172a6b)}.lean-block,.tab-box{color:#1f2328;background:#fff}.node-tab{color:var(--muted,#656d76);background:0 0;border-color:#0000}.node-tab:hover{color:var(--fg,#1f2328)}.node-tab--top.active{color:var(--fg,#1f2328);border-bottom-color:var(--accent,#2c6bff)}.node-tab--bottom.active{color:var(--fg,#1f2328);background:#fff;border-color:#8080804d}.lean-read{opacity:0;color:var(--muted,#656d76);background:var(--surface,#fff);border-color:var(--border,#dce0e5);transition:opacity .12s ease-out;top:4px;right:4px}.tab-box--vscroll>.lean-read{right:20px}.tab-box:hover .lean-read,.lean-read:focus-visible,.node-group:hover .statement-panel .lean-read{opacity:1}.lean-read:hover{color:var(--accent,#2c6bff);border-color:var(--accent,#2c6bff)}.node-chip{color:var(--accent,#2c6bff);background:var(--surface,#fff);border-color:var(--border,#dce0e5)}.node-chip:hover{border-color:var(--accent,#2c6bff);background:var(--tint-info,#2c6bff14)}.bp-node-menu{z-index:2147483000;border:1px solid var(--border,#dce0e5);background:var(--surface,#fff);min-width:150px;box-shadow:var(--shadow-lg,0 8px 24px #0000002e);border-radius:8px;padding:4px;font-family:-apple-system,BlinkMacSystemFont,Segoe UI,Roboto,sans-serif;font-size:13px;position:fixed}.bp-node-menu__title{border-bottom:1px solid var(--border,#dce0e5);color:var(--muted,#656d76);white-space:nowrap;cursor:default;margin-bottom:4px;padding:4px 10px 6px;font-size:11px;font-weight:700}.bp-node-menu__item{width:100%;color:var(--fg,#1f2328);text-align:left;white-space:nowrap;cursor:pointer;background:0 0;border:0;border-radius:5px;align-items:center;gap:8px;padding:6px 10px;display:flex}.bp-node-menu__item:hover{background:var(--hover,#edf0f5)}.bp-node-menu__item svg{opacity:.75;flex:none}.bp-node-menu__item--nav{border-bottom:1px solid var(--border,#dce0e5);border-radius:5px 5px 0 0;margin-bottom:4px;padding-bottom:8px}.node-group.dimmed{opacity:.12}.node-group.highlighted{opacity:1}.node-group.aux-dim{opacity:.18}.node-group.aux-hide,.node-group.focus-hidden{display:none}.node-label{pointer-events:none;text-anchor:middle;font-family:-apple-system,BlinkMacSystemFont,Segoe UI,Roboto,sans-serif;font-size:11px;font-weight:500}.node-content-fo{-webkit-user-select:none;user-select:none}.node-icon,.node-fail{text-anchor:middle;dominant-baseline:central;pointer-events:none;font-size:11px;font-weight:700}.link{stroke:var(--edge-stroke);stroke-opacity:.8;stroke-width:2px;fill:none}.large-graph .link{shape-rendering:optimizespeed}.link.dimmed{opacity:.06}.link.aux-dim{opacity:.1}.link.aux-hide,.link.focus-hidden{display:none}.link.ancestor-edge{stroke:var(--edge-ancestor);stroke-width:2.5px;opacity:1}.link.descendant-edge{stroke:var(--edge-descendant);stroke-width:2.5px;opacity:1}.search-highlight{animation:1s ease-in-out infinite bp-search-pulse}.status-changed{animation:.8s ease-out bp-status-glow}.node-group.last-touched .node-shape{animation:1.6s ease-in-out infinite bp-touch-pulse}@keyframes bp-ph-fade-in{0%{opacity:0}to{opacity:1}}@keyframes bp-ph-dot-pulse{0%,to{opacity:.55;transform:scale(.82)}50%{opacity:1;transform:scale(1)}}@keyframes bp-ph-edge-pulse{0%,to{opacity:.3}50%{opacity:.85}}@keyframes bp-search-pulse{0%,to{filter:drop-shadow(0 0 2px var(--accent,#2c6bff))}50%{filter:drop-shadow(0 0 8px var(--accent,#2c6bff))}}@keyframes bp-status-glow{0%{filter:drop-shadow(0 0 6px var(--accent-light,#5b8eff))}to{filter:drop-shadow(0 0 #0000)}}@keyframes bp-touch-pulse{0%,to{filter:drop-shadow(0 0 3px var(--node-touched-glow,#f59e0b))}50%{filter:drop-shadow(0 0 11px var(--node-touched-glow,#f59e0b))}}[data-theme=dark] .node-shape{filter:drop-shadow(-3px 3px 3px #000000bf)}[data-theme=dark] .node-group.expanded .node-shape{filter:drop-shadow(0 0 8px #000000d9)}[data-theme=dark] .lean-block,[data-theme=dark] .tab-box,[data-theme=dark] .node-tab--bottom.active{color:#e2e8f0;background:#0f1720}[data-theme=dark] .lean-read{background:#0f1720;border-color:#80808059}.rpt-host{background:var(--bg,#f5f6f8);height:100%;min-height:0;color:var(--fg,#1f2328);scrollbar-gutter:stable;flex-direction:column;font-family:-apple-system,BlinkMacSystemFont,Segoe UI,Roboto,sans-serif;display:flex}.rpt-header{border-bottom:1px solid var(--border,#dce0e5);flex:none;align-items:center;gap:.6rem;padding:.6rem .9rem;display:flex}.rpt-title{font-size:1rem;font-weight:700}.rpt-search{border:1px solid var(--border,#dce0e5);border-radius:var(--radius,10px);background:var(--input-bg);min-width:0;color:var(--fg,#1f2328);box-shadow:var(--input-shadow);flex:auto;padding:.35rem .6rem;font-size:.9rem}.rpt-search:focus{border-color:var(--accent,#2c6bff);outline:none}.rpt-body{scrollbar-gutter:stable;flex:auto;min-height:0;padding:0 .9rem 1.2rem;overflow-y:auto}.rpt-empty{color:var(--muted,#656d76);padding:1.2rem 0}.rpt-section{border-bottom:2px solid var(--border,#dce0e5);margin-top:1.6rem;padding-bottom:.3rem;font-size:1.05rem}.bp-meta,.progress-summary{background:var(--surface);border:1px solid var(--border,#dce0e5);border-radius:6px;margin:1rem 0 1.5rem;padding:.6rem .9rem;font-size:.88rem}.bp-meta-row,.prog-row{justify-content:space-between;gap:1rem;padding:.2rem 0;display:flex}.bp-meta-label,.prog-label{color:var(--muted,#656d76);font-weight:600}.bp-meta-value,.prog-value{color:var(--fg,#1f2328);text-align:right}.prog-flagged .prog-value{color:var(--bad,#dc2626)}.prog-tainted .prog-value{color:var(--badge-yellow-fg,#a16207)}.card{background:var(--surface);border:1px solid var(--border,#dce0e5);cursor:pointer;border-radius:6px;margin:1rem 0;padding:.9rem 1.1rem}.card:hover{border-color:var(--accent,#2c6bff)}.card:focus-visible{outline:2px solid var(--accent,#2c6bff);outline-offset:1px}.card.aux-dim{opacity:.55;transition:opacity .15s}.card.aux-dim:hover{opacity:1}.card.pending{background:var(--node-pending-fill)}.card.pending.orig{border-left:3px solid var(--node-pending-stroke)}.card.pending.aux{border-left:2px dashed var(--node-pending-stroke)}.card.def-done{background:var(--node-def-done-fill)}.card.def-done.orig{border-left:3px solid var(--node-def-done-stroke)}.card.def-done.aux{border-left:2px dashed var(--node-def-done-stroke)}.card.stmt-only{background:var(--node-stmt-only-fill)}.card.stmt-only.orig{border-left:3px solid var(--node-stmt-only-stroke)}.card.stmt-only.aux{border-left:2px dashed var(--node-stmt-only-stroke)}.card.proved{background:var(--node-proved-fill)}.card.proved.orig{border-left:3px solid var(--node-proved-stroke)}.card.proved.aux{border-left:2px dashed var(--node-proved-stroke)}.card.axiom{background:var(--node-axiom-fill)}.card.axiom.orig{border-left:3px solid var(--node-axiom-stroke)}.card.axiom.aux{border-left:2px dashed var(--node-axiom-stroke)}.card.flagged{background:var(--node-flagged-fill)}.card.flagged.orig{border-left:3px solid var(--node-flagged-stroke)}.card.flagged.aux{border-left:2px dashed var(--node-flagged-stroke)}.card.tainted{background:var(--node-tainted-fill)}.card.tainted.orig{border-left:3px solid var(--node-tainted-stroke)}.card.tainted.aux{border-left:2px dashed var(--node-tainted-stroke)}.card-header{flex-wrap:wrap;align-items:center;gap:.3rem;display:flex}.card-label{text-transform:uppercase;letter-spacing:.05em;color:var(--muted,#656d76);font-size:.8rem;font-weight:700}.card-id{color:var(--muted,#656d76);font-family:Monaco,Menlo,monospace;font-size:.8rem}.card-desc{margin:.5rem 0;font-size:.95rem;line-height:1.8;overflow-x:auto}.proof-deps{color:var(--muted,#656d76);overflow-wrap:break-word;margin-top:.5rem;font-size:.8rem}.badge{border-radius:4px;padding:.1rem .4rem;font-size:.7rem;font-weight:600;line-height:1.4;display:inline-block}.badge-gray{background:var(--badge-gray-bg);color:var(--badge-gray-fg)}.badge-blue{background:var(--badge-blue-bg);color:var(--badge-blue-fg)}.badge-red{background:var(--badge-red-bg);color:var(--badge-red-fg)}.badge-green{background:var(--badge-green-bg);color:var(--badge-green-fg)}.badge-yellow{background:var(--badge-yellow-bg);color:var(--badge-yellow-fg)}.bp-block-hover{flex-direction:column;gap:6px;max-width:42ch;display:flex}.bp-block-hover__lead{margin:0;font-size:12px;line-height:1.45}.bp-block-hover__failures{max-height:40vh;margin:0;padding-left:16px;font-size:12px;list-style:outside;overflow-y:auto}.bp-block-hover__item{font-family:monospace}.bp-block-hover__diagnostics{opacity:.85;margin:2px 0 6px;padding-left:12px;font-size:11px;list-style:none}.bp-block-hover__diagnostics li{white-space:pre-wrap;overflow-wrap:anywhere}.bp-block-hover__footer{justify-content:flex-end;align-items:center;gap:8px;padding-top:2px;display:flex}.bp-block-hover__sent{opacity:.75;font-size:11px}.bp-block-hover__send{color:inherit;font:inherit;cursor:pointer;opacity:.8;background:0 0;border:1px solid;border-radius:999px;padding:2px 8px;font-size:11px;font-weight:600}.bp-block-hover__send:hover,.bp-block-hover__send:focus-visible{opacity:1}.bp-switcher{border:0;flex-direction:column;min-inline-size:0;margin:0;padding:0;display:flex}.bp-switcher__item{border-bottom:1px solid var(--border,#d0d7de);flex-direction:column;display:flex}.bp-switcher__row{align-items:center;gap:8px;padding-left:12px;display:flex}.bp-switcher__select{min-width:0;color:var(--fg,#1f2328);font:inherit;text-align:left;cursor:pointer;background:0 0;border:none;flex:auto;grid-template-columns:1fr 1fr;align-items:center;gap:8px;padding:8px 12px 8px 0;font-size:14px;display:grid}.bp-switcher__actions{box-sizing:border-box;flex:none;justify-content:flex-end;align-items:center;gap:2px;width:128px;padding-right:8px;display:inline-flex}.bp-switcher__action{width:28px;height:28px;color:var(--muted,#656d76);cursor:pointer;background:0 0;border:none;border-radius:999px;justify-content:center;align-items:center;padding:0;display:inline-flex}.bp-switcher__action:hover:not(:disabled){background:color-mix(in srgb, var(--muted,#656d76) 24%, var(--surface,#fff));color:var(--fg,#1f2328)}.bp-switcher__action:disabled{opacity:.4;cursor:default}.bp-switcher__action-wrap{display:inline-flex}.bp-switcher__action .material-icons{width:18px;height:18px;font-size:18px}.bp-switcher__row>.bp-switcher__action{width:22px;height:22px}.bp-switcher__row>.bp-switcher__action .material-icons{width:15px;height:15px;font-size:15px}.bp-switcher__job{align-items:center;gap:8px;padding:0 12px 8px calc(1.5em + 70px);display:flex}.bp-switcher__job-label{color:var(--muted,#656d76);font-variant-numeric:tabular-nums;font-size:12px;font-style:italic}.bp-switcher__job-cancel{color:var(--accent,#2c6bff);font:inherit;cursor:pointer;background:0 0;border:none;padding:0;font-size:12px}.bp-switcher__job-cancel:hover{text-decoration:underline}.bp-switcher__confirm{align-items:center;gap:2px;display:inline-flex}.bp-switcher__confirm-yes,.bp-switcher__confirm-no{cursor:pointer;background:0 0;border:none;border-radius:999px;justify-content:center;align-items:center;width:28px;height:28px;padding:0;display:inline-flex}.bp-switcher__confirm-yes .material-icons,.bp-switcher__confirm-no .material-icons{width:18px;height:18px;font-size:18px}.bp-switcher__confirm-yes{color:var(--bad,#dc2626)}.bp-switcher__confirm-yes:hover:not(:disabled){background:color-mix(in srgb, var(--bad,#dc2626) 16%, var(--surface,#fff))}.bp-switcher__confirm-no{color:var(--muted,#656d76)}.bp-switcher__confirm-no:hover:not(:disabled){background:color-mix(in srgb, var(--muted,#656d76) 24%, var(--surface,#fff));color:var(--fg,#1f2328)}.bp-switcher__confirm-yes:disabled,.bp-switcher__confirm-no:disabled{opacity:.5;cursor:default}.bp-switcher__chain{width:12px;color:color-mix(in srgb, var(--muted,#656d76) 60%, var(--surface,#fff));flex:none;align-self:stretch;position:relative}.bp-switcher__chain-arrow{fill:none;stroke:currentColor;stroke-width:1.6px;stroke-linecap:round;stroke-linejoin:round;width:12px;height:27px;position:absolute;bottom:calc(50% + 3px);left:0;overflow:visible}.bp-switcher__num{min-width:1.5em;color:color-mix(in srgb, var(--muted,#656d76) 60%, var(--surface,#fff));font-variant-numeric:tabular-nums;text-align:left}.bp-switcher__name{text-overflow:ellipsis;white-space:nowrap;min-width:0;overflow:hidden}.bp-switcher__status{justify-self:start;align-items:center;gap:6px;display:inline-flex}.live-dot{background:var(--pos,#16a34a);border-radius:50%;flex:none;width:9px;height:9px;animation:1.6s ease-out infinite live-pulse;box-shadow:0 0 #16a34a80}.bp-switcher__warning{color:var(--warn,#d97706);opacity:.3;flex:none;font-size:16px;line-height:1}.bp-switcher__warning--blocked{color:var(--bad,#dc2626);opacity:1;cursor:help}.MuiTooltip-tooltip.bp-switcher__block-card{border:1px solid var(--border,#d0d7de);background:var(--surface,#fff);opacity:1;max-width:none;color:var(--fg,#1f2328);border-radius:6px;padding:10px 12px;font-size:12px;box-shadow:0 6px 20px #0000002e}.status-badge{white-space:nowrap;border-radius:999px;padding:3px 10px;font-size:12px;font-weight:600;display:inline-block}.status-badge[data-status=finalized]{color:#fff;background:#166534}.status-badge[data-status=complete]{background:color-mix(in srgb, var(--pos,#16a34a) 16%, var(--surface));color:var(--pos,#15803d)}.status-badge[data-status=in-progress]{background:color-mix(in srgb, var(--warn,#d97706) 18%, var(--surface));color:var(--warn,#b45309)}.status-badge[data-status=not-started]{background:var(--bg,#f5f6f8);color:var(--muted,#656d76)}.bp-switcher__item:hover:not(.bp-switcher__item--active){background:var(--hover,#edf0f5)}.bp-switcher__item--active{background:color-mix(in srgb, var(--accent,#2c6bff) 14%, var(--surface,#fff));font-weight:600}.bp-switcher__empty{color:var(--muted,#656d76);margin:0;padding:8px 12px;font-size:14px}.bp-switcher__item--pending{opacity:.75;cursor:default}.bp-switcher__select--pending{cursor:default;align-items:center;gap:8px;padding-left:calc(1.5em + 38px);display:flex}.bp-switcher__pending-spinner{color:var(--muted,#656d76);font-size:18px;animation:1.2s linear infinite bp-switcher-spin}.bp-switcher__pending-label{color:var(--muted,#656d76);font-size:12px;font-style:italic}@keyframes bp-switcher-spin{to{transform:rotate(360deg)}}.document-workspace{width:100%;height:100%;display:block}.document-workspace--admin{flex-direction:column;display:flex}.document-workspace--admin .split-host{flex:auto;height:auto;min-height:0}.admin-banner{color:#fff;background:#7b1fa2;flex:none;align-items:center;gap:.5rem;padding:.4rem .75rem;font-size:.85rem;line-height:1.2;display:flex}.admin-banner .material-icons{width:1.1rem;height:1.1rem;font-size:1.1rem}.admin-banner__text strong{font-weight:600}.split-host{--panel-tab-w:26px;--dock-tab-w:calc(var(--panel-tab-w) + 2px);width:100%;height:100%;display:flex;position:relative;overflow:hidden}.split-host.dragging{-webkit-user-select:none;user-select:none;cursor:col-resize}.split-host[data-selecting-section=list] .split-pane:not(.list),.split-host[data-selecting-section=viewer] .split-pane:not(.viewer),.split-host[data-selecting-section=report] .split-pane:not(.report),.split-host[data-selecting-section=chat] .split-pane:not(.chat){-webkit-user-select:none;user-select:none}.split-host.dragging--row,.split-host.dragging--row .drag-shield{cursor:row-resize}.drag-shield{z-index:1000;cursor:col-resize;background:0 0;position:absolute;inset:0}.split-pane{min-width:0;height:100%;overflow:hidden}.split-pane.viewer{flex-direction:column;flex:1 1 0;display:flex;position:relative}.viewer-group{display:contents}.viewer-group--detached{width:100%;height:100%;display:flex}.viewer-group--detached .split-pane.viewer{flex:1 1 0}.split-pane.list{flex-direction:column;display:flex;position:relative}.split-pane.list.list--drag .pdf-frame{pointer-events:none}.file-drop-overlay{z-index:30;text-align:center;color:var(--accent,#2c6bff);background:color-mix(in srgb, var(--accent,#2c6bff) 12%, var(--surface,#fff));border:2px dashed var(--accent,#2c6bff);border-radius:var(--radius,10px);flex-direction:column;justify-content:center;align-items:center;gap:10px;padding:16px;font-size:14px;font-weight:600;display:flex;position:absolute;inset:0}.file-drop-overlay .material-icons{width:34px;height:34px;font-size:34px}.file-pane__viewers{flex-direction:column;flex:1 1 0;min-height:0;display:flex}.file-pane__section{flex-direction:column;flex:1 1 0;min-height:0;display:flex;overflow:hidden}.file-pane__body{box-sizing:border-box;flex:1 1 0;min-height:0;padding-right:34px;display:block;overflow:auto}.blueprint-pane{border-top:1px solid var(--border,#d0d7de);flex-direction:column;min-height:0;display:flex;overflow:hidden}.blueprint-pane__header{border-bottom:1px solid var(--border,#d0d7de);background:color-mix(in srgb, var(--accent,#2c6bff) 6%, var(--surface,#fff));color:var(--fg,#1f2328);align-items:center;gap:5px;padding:4px 34px 4px 8px;font-size:16px;font-weight:600;display:flex}.blueprint-pane__header .material-icons{width:16px;height:16px;color:var(--accent,#2c6bff);font-size:16px}.blueprint-pane__title{margin-right:auto}.blueprint-pane__create-profile,.blueprint-pane__fix-all,.blueprint-pane__add{border:1px solid var(--border,#d0d7de);font:inherit;color:var(--fg,#1f2328);cursor:pointer;background:0 0;border-radius:999px;align-items:center;gap:4px;padding:3px 10px;font-size:12px;font-weight:600;display:inline-flex}.blueprint-pane__create-profile .material-icons,.blueprint-pane__fix-all .material-icons,.blueprint-pane__add .material-icons{width:15px;height:15px;font-size:15px}.blueprint-pane__create-profile:hover:not(:disabled),.blueprint-pane__fix-all:hover:not(:disabled),.blueprint-pane__add:hover:not(:disabled){border-color:var(--accent,#2c6bff);background:var(--hover,#edf0f5)}.blueprint-pane__create-profile:disabled,.blueprint-pane__fix-all:disabled,.blueprint-pane__add:disabled{opacity:.6;cursor:default}.blueprint-pane__add-host{display:inline-flex}.blueprint-pane__fix-all:not(:disabled){border-color:var(--warn,#d97706);color:var(--warn,#d97706)}.blueprint-pane__fix-all:not(:disabled) .material-icons{color:var(--warn,#d97706)}.blueprint-pane__list{flex:1 1 0;min-height:0;display:block;overflow:auto}.file-pane__empty{color:var(--muted,#656d76);text-align:center;flex-direction:column;flex:1 1 0;justify-content:center;align-items:center;gap:8px;padding:0 24px 0 8px;display:flex}.file-pane__empty .material-icons{width:34px;height:34px;font-size:34px}.split-pane.chat.chat--collapse-tab>.chat-pane{box-sizing:border-box;height:100%}.split-pane.chat.chat--collapse-tab>.chat-pane>*{padding-left:34px}.split-pane.chat.chat--collapse-tab>.chat-pane>.question-alert-live{padding-left:0}.split-pane.chat.chat--collapse-tab>.chat-pane>.question-alert-live>.question-alert{padding-left:34px}.work-region{flex-direction:column;flex:1 1 0;min-width:0;display:flex}.panel-rail{background:var(--bg,#f5f6f8);flex-direction:column;flex:none;justify-content:center;gap:6px;min-height:0;display:flex}.panel-rail .panel-tab{flex-shrink:1;min-height:0}.panel-rail .panel-tab__label{white-space:nowrap;text-overflow:ellipsis;overflow:hidden}.panel-rail--right{border-left:1px solid var(--border,#dce0e5)}.panel-rail--left{border-right:1px solid var(--border,#dce0e5)}.work-region--tabs-only{flex:none}.work-row{flex:auto;min-width:0;min-height:0;display:flex;position:relative}.split-pane.list,.split-pane.chat,.split-pane.report{flex:none;position:relative}.split-pane.list,.split-pane.chat{background:var(--bg,#f5f6f8)}.split-pane.chat.chat--full,.split-pane.list.list--full{flex:auto;width:auto}.split-pane.list.list--full .file-switcher__bar,.split-pane.list.list--full .file-pane__body,.split-pane.list.list--full .file-pane__empty,.split-pane.list.list--full .blueprint-pane__header{padding-right:8px}.panel-tab{background:var(--bg,#f5f6f8);border:1px solid var(--border,#dce0e5);cursor:pointer;justify-content:center;align-items:center;transition:background .15s,color .15s;display:inline-flex;box-shadow:0 1px 5px #0000001f}.panel-tab:hover{background:var(--hover,#edf0f5);color:var(--fg,#1f2328)}.panel-tab .material-icons{width:18px;height:18px;font-size:18px}.panel-tab{width:var(--panel-tab-w);color:var(--muted,#374151);border-radius:6px;flex-direction:column;flex:none;gap:4px;padding:14px 0}.panel-tab__label{letter-spacing:.3px;writing-mode:vertical-rl;font-size:12px;transform:rotate(180deg)}.panel-tab--left,.panel-tab--right{align-self:center}.panel-tab--graph-dock{z-index:7;margin-left:calc(-1 * var(--dock-tab-w));align-self:center;position:relative}.panel-tab--left,.panel-rail--left .panel-tab{border-left:none;border-radius:0 6px 6px 0}.panel-tab--right,.panel-rail--right .panel-tab{border-right:none;border-radius:6px 0 0 6px}.split-pane.list>.panel-tab--left-collapse,.split-pane.chat>.panel-tab--right-collapse{z-index:6;position:absolute;top:50%;transform:translateY(-50%)}.split-pane.list>.panel-tab--left-collapse{right:4px}.split-pane.chat>.panel-tab--right-collapse{left:4px}.graph-section{flex:auto;min-height:0;overflow:hidden}.graph-section .blueprint-graph-host{height:100%;display:block}.split-pane.report{background:var(--bg,#f5f6f8);border-left:1px solid var(--border,#dce0e5);flex-direction:column;display:flex}.split-pane.report .rpt-host{flex:auto;min-height:0;display:block;overflow:auto}.splitter{cursor:col-resize;background:var(--border);-webkit-user-select:none;user-select:none;flex:0 0 6px;transition:background .15s;position:relative}.splitter:after{content:"";background:var(--muted);opacity:.5;border-radius:1px;width:2px;height:32px;position:absolute;top:50%;left:50%;transform:translate(-50%,-50%)}.splitter:hover{background:var(--accent)}.splitter--dock{flex:0 0 var(--dock-tab-w);background:0 0}.splitter--dock:before{content:"";border-left:1px solid var(--border);border-right:1px solid var(--border);position:absolute;inset:0}.splitter--dock:after{background:var(--border);opacity:1;border-radius:0;width:6px;height:100%;top:0;left:50%;transform:translate(-50%)}.splitter--dock:hover{background:0 0}.splitter--dock:hover:after{background:var(--accent)}.splitter--row{cursor:row-resize;flex:0 0 6px;width:100%}.splitter--row:after{width:32px;height:2px}hr.splitter{border:none;margin:0}@font-face{font-display:block;font-family:KaTeX_AMS;font-style:normal;font-weight:400;src:url(/assets/KaTeX_AMS-Regular-BQhdFMY1.woff2)format("woff2"),url(/assets/KaTeX_AMS-Regular-DMm9YOAa.woff)format("woff"),url(/assets/KaTeX_AMS-Regular-DRggAlZN.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Caligraphic;font-style:normal;font-weight:700;src:url(/assets/KaTeX_Caligraphic-Bold-Dq_IR9rO.woff2)format("woff2"),url(/assets/KaTeX_Caligraphic-Bold-BEiXGLvX.woff)format("woff"),url(/assets/KaTeX_Caligraphic-Bold-ATXxdsX0.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Caligraphic;font-style:normal;font-weight:400;src:url(/assets/KaTeX_Caligraphic-Regular-Di6jR-x-.woff2)format("woff2"),url(/assets/KaTeX_Caligraphic-Regular-CTRA-rTL.woff)format("woff"),url(/assets/KaTeX_Caligraphic-Regular-wX97UBjC.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Fraktur;font-style:normal;font-weight:700;src:url(/assets/KaTeX_Fraktur-Bold-CL6g_b3V.woff2)format("woff2"),url(/assets/KaTeX_Fraktur-Bold-BsDP51OF.woff)format("woff"),url(/assets/KaTeX_Fraktur-Bold-BdnERNNW.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Fraktur;font-style:normal;font-weight:400;src:url(/assets/KaTeX_Fraktur-Regular-CTYiF6lA.woff2)format("woff2"),url(/assets/KaTeX_Fraktur-Regular-Dxdc4cR9.woff)format("woff"),url(/assets/KaTeX_Fraktur-Regular-CB_wures.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:normal;font-weight:700;src:url(/assets/KaTeX_Main-Bold-Cx986IdX.woff2)format("woff2"),url(/assets/KaTeX_Main-Bold-Jm3AIy58.woff)format("woff"),url(/assets/KaTeX_Main-Bold-waoOVXN0.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:italic;font-weight:700;src:url(/assets/KaTeX_Main-BoldItalic-DxDJ3AOS.woff2)format("woff2"),url(/assets/KaTeX_Main-BoldItalic-SpSLRI95.woff)format("woff"),url(/assets/KaTeX_Main-BoldItalic-DzxPMmG6.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:italic;font-weight:400;src:url(/assets/KaTeX_Main-Italic-NWA7e6Wa.woff2)format("woff2"),url(/assets/KaTeX_Main-Italic-BMLOBm91.woff)format("woff"),url(/assets/KaTeX_Main-Italic-3WenGoN9.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:normal;font-weight:400;src:url(/assets/KaTeX_Main-Regular-B22Nviop.woff2)format("woff2"),url(/assets/KaTeX_Main-Regular-Dr94JaBh.woff)format("woff"),url(/assets/KaTeX_Main-Regular-ypZvNtVU.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Math;font-style:italic;font-weight:700;src:url(/assets/KaTeX_Math-BoldItalic-CZnvNsCZ.woff2)format("woff2"),url(/assets/KaTeX_Math-BoldItalic-iY-2wyZ7.woff)format("woff"),url(/assets/KaTeX_Math-BoldItalic-B3XSjfu4.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Math;font-style:italic;font-weight:400;src:url(/assets/KaTeX_Math-Italic-t53AETM-.woff2)format("woff2"),url(/assets/KaTeX_Math-Italic-DA0__PXp.woff)format("woff"),url(/assets/KaTeX_Math-Italic-flOr_0UB.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_SansSerif;font-style:normal;font-weight:700;src:url(/assets/KaTeX_SansSerif-Bold-D1sUS0GD.woff2)format("woff2"),url(/assets/KaTeX_SansSerif-Bold-DbIhKOiC.woff)format("woff"),url(/assets/KaTeX_SansSerif-Bold-CFMepnvq.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_SansSerif;font-style:italic;font-weight:400;src:url(/assets/KaTeX_SansSerif-Italic-C3H0VqGB.woff2)format("woff2"),url(/assets/KaTeX_SansSerif-Italic-DN2j7dab.woff)format("woff"),url(/assets/KaTeX_SansSerif-Italic-YYjJ1zSn.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_SansSerif;font-style:normal;font-weight:400;src:url(/assets/KaTeX_SansSerif-Regular-DDBCnlJ7.woff2)format("woff2"),url(/assets/KaTeX_SansSerif-Regular-CS6fqUqJ.woff)format("woff"),url(/assets/KaTeX_SansSerif-Regular-BNo7hRIc.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Script;font-style:normal;font-weight:400;src:url(/assets/KaTeX_Script-Regular-D3wIWfF6.woff2)format("woff2"),url(/assets/KaTeX_Script-Regular-D5yQViql.woff)format("woff"),url(/assets/KaTeX_Script-Regular-C5JkGWo-.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size1;font-style:normal;font-weight:400;src:url(/assets/KaTeX_Size1-Regular-mCD8mA8B.woff2)format("woff2"),url(/assets/KaTeX_Size1-Regular-C195tn64.woff)format("woff"),url(/assets/KaTeX_Size1-Regular-Dbsnue_I.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size2;font-style:normal;font-weight:400;src:url(/assets/KaTeX_Size2-Regular-Dy4dx90m.woff2)format("woff2"),url(/assets/KaTeX_Size2-Regular-oD1tc_U0.woff)format("woff"),url(/assets/KaTeX_Size2-Regular-B7gKUWhC.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size3;font-style:normal;font-weight:400;src:url(data:font/woff2;base64,d09GMgABAAAAAA4oAA4AAAAAHbQAAA3TAAEAAAAAAAAAAAAAAAAAAAAAAAAAAAAABmAAgRQIDgmcDBEICo1oijYBNgIkA14LMgAEIAWJAAeBHAyBHBvbGiMRdnO0IkRRkiYDgr9KsJ1NUAf2kILNxgUmgqIgq1P89vcbIcmsQbRps3vCcXdYOKSWEPEKgZgQkprQQsxIXUgq0DqpGKmIvrgkeVGtEQD9DzAO29fM9jYhxZEsL2FeURH2JN4MIcTdO049NCVdxQ/w9NrSYFEBKTDKpLKfNkCGDc1RwjZLQcm3vqJ2UW9Xfa3tgAHz6ivp6vgC2yD4/6352ndnN0X0TL7seypkjZlMsjmZnf0Mm5Q+JykRWQBKCVCVPbARPXWyQtb5VgLB6Biq7/Uixcj2WGqdI8tGSgkuRG+t910GKP2D7AQH0DB9FMDW/obJZ8giFI3Wg8Cvevz0M+5m0rTh7XDBlvo9Y4vm13EXmfttwI4mBo1EG15fxJhUiCLbiiyCf/ZA6MFAhg3pGIZGdGIVjtPn6UcMk9A/UUr9PhoNsCENw1APAq0gpH73e+M+0ueyHbabc3vkbcdtzcf/fiy+NxQEjf9ud/ELBHAXJ0nk4z+MXH2Ev/kWyV4k7SkvpPc9Qr38F6RPWnM9cN6DJ0AdD1BhtgABtmoRoFCvPsBAumNm6soZG2Gk5GyVTo2sJncSyp0jQTYoR6WDvTwaaEcHsxHfvuWhHA3a6bN7twRKtcGok6NsCi7jYRrM2jExsUFMxMQYuJbMhuWNOumEJy9hi29Dmg5zMp/A5+hhPG19j1vBrq8JTLr8ki5VLPmG/PynJHVul440bxg5xuymHUFPBshC+nA9I1FmwbRBTNHAcik3Oae0cxKoI3MOriM42UrPe51nsaGxJ+WfXubAsP84aabUlQSJ1IiE0iPETLUU4CATgfXSCSpuRFRmCGbO+wSpAnzaeaCYW1VNEysRtuXCEL1kUFUbbtMv3Tilt/1c11jt3Q5bbMa84cpWipp8Elw3MZhOHsOlwwVUQM3lAR35JiFQbaYCRnMF2lxAWoOg2gyoIV4PouX8HytNIfLhqpJtXB4vjiViUI8IJ7bkC4ikkQvKksnOTKICwnqWSZ9YS5f0WCxmpgjbIq7EJcM4aI2nmhLNY2JIUgOjXZFWBHb+x5oh6cwb0Tv1ackHdKi0I9OO2wE9aogIOn540CCCziyhN+IaejtgAONKznHlHyutPrHGwCx9S6B8kfS4Mfi4Eyv7OU730bT1SCBjt834cXsf43zVjPUqqJjgrjeGnBxSG4aYAKFuVbeCfkDIjAqMb6yLNIbCuvXhMH2/+k2vkNpkORhR59N1CkzoOENvneIosjYmuTxlhUzaGEJQ/iWqx4dmwpmKjrwTiTGTCVozNAYqk/zXOndWxuWSmJkQpJw3pK5KX6QrLt5LATMqpmPAQhkhK6PUjzHUn7E0gHE0kPE0iKkolgkUx9SZmVAdDgpffdyJKg3k7VmzYGCwVXGz/tXmkOIp+vcWs+EMuhhvN0h9uhfzWJziBQmCREGSIFmQIkgVpAnSBRmC//6hkLZwaVhwxlrJSOdqlFtOYxlau9F2QN5Y98xmIAsiM1HVp2VFX+DHHGg6Ecjh3vmqtidX3qHI2qycTk/iwxSt5UzTmEP92ZBnEWTk4Mx8Mpl78ZDokxg/KWb+Q0QkvdKVmq3TMW+RXEgrsziSAfNXFMhDc60N5N9jQzjfO0kBKpUZl0ZmwJ41j/B9Hz6wmRaJB84niNmQrzp9eSlQCDDzazGDdVi3P36VZQ+Jy4f9UBNp+3zTjqI4abaFAm+GShVaXlsGdF3FYzZcDI6cori4kMxUECl9IjJZpzkvitAoxKue+90pDMvcKRxLl53TmOKCmV/xRolNKSqqUxc6LStOETmFOiLZZptlZepcKiAzteG8PEdpnQpbOMNcMsR4RR2Bs0cKFEvSmIjAFcnarqwUL4lDhHmnVkwu1IwshbiCcgvOheZuYyOteufZZwlcTlLgnZ3o/WcYdzZHW/WGaqaVfmTZ1aWCceJjkbZqsfbkOtcFlUZM/jy+hXHDbaUobWqqXaeWobbLO99yG5N3U4wxco0rQGGcOLASFMXeJoham8M+/x6O2WywK2l4HGbq1CoUyC/IZikQhdq3SiuNrvAEj0AVu9x2x3lp/xWzahaxidezFVtdcb5uEnzyl0ZmYiuKI0exvCd4Xc9CV1KB0db00z92wDPde0kukbvZIWN6jUWFTmPIC/Y4UPCm8UfDTFZpZNon1qLFTkBhxzB+FjQRA2Q/YRJT8pQigslMaUpFyAG8TMlXigiqmAZX4xgijKjRlGpLE0GdplRfCaJo0JQaSxNBk6ZmMzcya0FmrcisDdn0Q3HI2sWSppYigmlM1XT/kLQZSNpMJG0WkjYbSZuDpM1F0uYhFc1HxU4m1QJjDK6iL0S5uSj5rgXc3RejEigtcRBtqYPQsiTskmO5vosV+q4VGIKbOkDg0jtRrq+Em1YloaTFar3EGr1EUC8R0kus1Uus00usL97ABr2BjXoDm/QGNhuWtMVBKOwg/i78lT7hBsAvDmwHc/ao3vmUbBmhjeYySZNWvGkfZAgISDSaDo1SVpzGDsAEkF8B+gEapViUoZgUWXcRIGFZNm6gWbAKk0bp0k1MHG9fLYtV4iS2SmLEQFARzRcnf9PUS0LVn05/J9MiRRBU3v2IrvW974v4N00L7ZMk0wXP1409CHo/an8zTRHD3eSJ6m8D4YMkZNl3M79sqeuAsr/m3f+8/yl7A50aiAEJgeBeMWzu7ui9UfUBCe2TIqZIoOd/3/udRBOQidQZUERzb2/VwZN1H/Sju82ew2H2Wfr6qvfVf3hqwDvAIpkQVFy4B9Pe9e4/XvPeceu7h3dvO56iJPf0+A6cqA2ip18ER+iFgggiuOkvj24bby0N9j2UHIkgqIt+sVgfodC4YghLSMjSZbH0VR/6dMDrYJeKHilKTemt6v6kvzvn3/RrdWtr0GoN/xL+Sex/cPYLUpepx9cz/D46UPU5KXgAQa+NDps1v6J3xP1i2HtaDB0M9aX2deA7SYff//+gUCovMmIK/qfsFcOk+4Y5ZN97XlG6zebqtMbKgeRFi51vnxTQYBUik2rS/Cn6PC8ADR8FGxsRPB82dzfND90gIcshOcYUkfjherBz53odpm6TP8txlwOZ71xmfHHOvq053qFF/MRlS3jP0ELudrf2OeN8DHvp6ZceLe8qKYvWz/7yp0u4dKPfli3CYq0O13Ih71mylJ80tOi10On8wi+F4+LWgDPeJ30msSQt9/vkmHq9/Lvo2b461mP801v3W4xTcs6CbvF9UDdrSt+A8OUbpSh55qAUFXWznBBfdeJ8a4d7ugT5tvxUza3h9m4H7ptTqiG4z0g5dc0X29OcGlhpGFMpQo9ytTS+NViZpNdvU4kWx+LKxNY10kQ1yqGXrhe4/1nvP7E+nd5A92TtaRplbHSqoIdOqtRWti+fkB5/n1+/VvCmz12pG1kpQWsfi1ftlBobm0bpngs16CHkbIwdLnParxtTV3QYRlfJ0KFskH7pdN/YDn+yRuSd7sNH3aO0DYPggk6uWuXrfOc+fa3VTxFVvKaNxHsiHmsXyCLIE5yuOeN3/Jdf8HBL/5M6shjyhxHx9BjB1O0+4NLOnjLLSxwO7ukN4jMbOIcD879KLSi6Pk61Oqm2377n8079PXEEQ7cy7OKEC9nbpet118fxweTafpt69x/Bt8UqGzNQt7aelpc44dn5cqhwf71+qKp/Zf/+a0zcizOUWpl/iBcSXip0pplkatCchoH5c5aUM8I7/dWxAej8WicPL1URFZ9BDJelUwEwTkGqUhgSlydVes95YdXvhh9Gfz/aeFWvgVb4tuLbcv4+wLdutVZv/cUonwBD/6eDlE0aSiKK/uoH3+J1wDE/jMVqY2ysGufN84oIXB0sPzy8ollX/LegY74DgJXJR57sn+VGza0x3DnuIgABFM15LmajjjsNlYj+JEZGbuRYcAMOWxFkPN2w6Wd46xo4gVWQR/X4lyI/R6K/YK0110GzudPRW7Y+UOBGTfNNzHeYT0fiH0taunBpq9HEW8OKSaBGj21L0MqenEmNRWBAWDWAk4CpNoEZJ2tTaPFgbQYj8HxtFilErs3BTRwT8uO1NXQaWfIotchmPkAF5mMBAliEmZiOGVgCG9LgRzpscMAOOwowlT3JhusdazXGSC/hxR3UlmWVwWHpOIKheqONvjyhSiTHIkVUco5bnji8m//zL7PKaT1Vl5I6UE609f+gkr6MZKVyKc7zJRmCahLsdlyA5fdQkRSan9LgnnLEyGSkaKJCJog0wAgvepWBt80+1yKln1bMVtCljfNWDueKLsWwaEbBSfSPTEmVRsUcYYMnEjcjeyCZzBXK9E9BYBXLKjOSpUDR+nEV3TFSUdQaz+ot98QxgXwx0GQ+EEUAKB2qZPkQQ0GqFD8UPFMqyaCHM24BZmSGic9EYMagKizOw9Hz50DMrDLrqqLkTAhplMictiCAx5S3BIUQdeJeLnBy2CNtMfz6cV4u8XKoFZQesbf9YZiIERiHjaNodDW6LgcirX/mPnJIkBGDUpTBhSa0EIr38D5hCIszhCM8URGBqImoWjpvpt1ebu/v3Gl3qJfMnNM+9V+kiRFyROTPHQWOcs1dNW94/ukKMPZBvDi55i5CttdeJz84DLngLqjcdwEZ87bFFR8CIG35OAkDVN6VRDZ7aq67NteYqZ2lpT8oYB2CytoBd6VuAx4WgiAsnuj3WohG+LugzXiQRDeM3XYXlULv4dp5VFYC)format("woff2"),url(/assets/KaTeX_Size3-Regular-CTq5MqoE.woff)format("woff"),url(/assets/KaTeX_Size3-Regular-DgpXs0kz.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size4;font-style:normal;font-weight:400;src:url(/assets/KaTeX_Size4-Regular-Dl5lxZxV.woff2)format("woff2"),url(/assets/KaTeX_Size4-Regular-BF-4gkZK.woff)format("woff"),url(/assets/KaTeX_Size4-Regular-DWFBv043.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Typewriter;font-style:normal;font-weight:400;src:url(/assets/KaTeX_Typewriter-Regular-CO6r4hn1.woff2)format("woff2"),url(/assets/KaTeX_Typewriter-Regular-C0xS9mPB.woff)format("woff"),url(/assets/KaTeX_Typewriter-Regular-D3Ib7_Hf.ttf)format("truetype")}.katex{text-indent:0;text-rendering:auto;font:1.21em/1.2 KaTeX_Main,Times New Roman,serif;position:relative}.katex *{border-color:currentColor;-ms-high-contrast-adjust:none!important}.katex .katex-version:after{content:"0.18.4"}.katex .katex-mathml{clip-path:inset(50%);border:0;width:1px;height:1px;padding:0;position:absolute;overflow:hidden}.katex .katex-html>.katex-newline{display:block}.katex .katex-base{white-space:nowrap;width:min-content;position:relative}.katex .katex-base,.katex .katex-strut{display:inline-block}.katex .textbf{font-weight:700}.katex .textit{font-style:italic}.katex .textrm{font-family:KaTeX_Main}.katex .textsf{font-family:KaTeX_SansSerif}.katex .texttt{font-family:KaTeX_Typewriter}.katex .mathnormal{font-family:KaTeX_Math;font-style:italic}.katex .mathit{font-family:KaTeX_Main;font-style:italic}.katex .mathrm{font-style:normal}.katex .mathbf{font-family:KaTeX_Main;font-weight:700}.katex .boldsymbol{font-family:KaTeX_Math;font-style:italic;font-weight:700}.katex .amsrm,.katex .mathbb,.katex .textbb{font-family:KaTeX_AMS}.katex .mathcal{font-family:KaTeX_Caligraphic}.katex .mathfrak,.katex .textfrak{font-family:KaTeX_Fraktur}.katex .mathboldfrak,.katex .textboldfrak{font-family:KaTeX_Fraktur;font-weight:700}.katex .mathtt{font-family:KaTeX_Typewriter}.katex .mathscr,.katex .textscr{font-family:KaTeX_Script}.katex .mathsf,.katex .textsf{font-family:KaTeX_SansSerif}.katex .mathboldsf,.katex .textboldsf{font-family:KaTeX_SansSerif;font-weight:700}.katex .mathitsf,.katex .mathsfit,.katex .textitsf{font-family:KaTeX_SansSerif;font-style:italic}.katex .mainrm{font-family:KaTeX_Main;font-style:normal}.katex .vlist-t{border-collapse:collapse;table-layout:fixed;display:inline-table}.katex .vlist-r{display:table-row}.katex .vlist{vertical-align:bottom;display:table-cell;position:relative}.katex .vlist>span{height:0;display:block;position:relative}.katex .vlist>span>span{display:inline-block}.katex .vlist>span>.pstrut{width:0;overflow:hidden}.katex .vlist-t2{margin-right:-2px}.katex .vlist-s{vertical-align:bottom;width:2px;min-width:2px;font-size:1px;display:table-cell}.katex .katex-vbox{flex-direction:column;align-items:baseline;display:inline-flex}.katex .katex-thinbox{flex-direction:row;width:0;max-width:0;display:inline-flex}.katex .msupsub{text-align:left}.katex .mfrac>span>span{text-align:center}.katex .mfrac .frac-line{border-bottom-style:solid;width:100%;display:inline-block}.katex .katex-hdashline,.katex .katex-hline,.katex .katex-overline .overline-line,.katex .katex-rule,.katex .katex-underline .underline-line,.katex .mfrac .frac-line{min-height:1px}.katex .mspace{display:inline-block}.katex .katex-smash{line-height:0;display:inline}.katex .clap,.katex .llap,.katex .rlap{width:0;position:relative}.katex .clap>.katex-inner,.katex .llap>.katex-inner,.katex .rlap>.katex-inner{position:absolute}.katex .clap>.katex-fix,.katex .llap>.katex-fix,.katex .rlap>.katex-fix{display:inline-block}.katex .llap>.katex-inner{right:0}.katex .clap>.katex-inner,.katex .rlap>.katex-inner{left:0}.katex .clap>.katex-inner>span{margin-left:-50%;margin-right:50%}.katex .katex-rule{border:0 solid;display:inline-block;position:relative}.katex .katex-hline,.katex .katex-overline .overline-line,.katex .katex-underline .underline-line{border-bottom-style:solid;width:100%;display:inline-block}.katex .katex-hdashline{border-bottom-style:dashed;width:100%;display:inline-block}.katex .sqrt>.katex-root{margin-left:.277778em;margin-right:-.555556em}.katex .fontsize-ensurer.reset-size1.size1,.katex .katex-sizing.reset-size1.size1{font-size:1em}.katex .fontsize-ensurer.reset-size1.size2,.katex .katex-sizing.reset-size1.size2{font-size:1.2em}.katex .fontsize-ensurer.reset-size1.size3,.katex .katex-sizing.reset-size1.size3{font-size:1.4em}.katex .fontsize-ensurer.reset-size1.size4,.katex .katex-sizing.reset-size1.size4{font-size:1.6em}.katex .fontsize-ensurer.reset-size1.size5,.katex .katex-sizing.reset-size1.size5{font-size:1.8em}.katex .fontsize-ensurer.reset-size1.size6,.katex .katex-sizing.reset-size1.size6{font-size:2em}.katex .fontsize-ensurer.reset-size1.size7,.katex .katex-sizing.reset-size1.size7{font-size:2.4em}.katex .fontsize-ensurer.reset-size1.size8,.katex .katex-sizing.reset-size1.size8{font-size:2.88em}.katex .fontsize-ensurer.reset-size1.size9,.katex .katex-sizing.reset-size1.size9{font-size:3.456em}.katex .fontsize-ensurer.reset-size1.size10,.katex .katex-sizing.reset-size1.size10{font-size:4.148em}.katex .fontsize-ensurer.reset-size1.size11,.katex .katex-sizing.reset-size1.size11{font-size:4.976em}.katex .fontsize-ensurer.reset-size2.size1,.katex .katex-sizing.reset-size2.size1{font-size:.833333em}.katex .fontsize-ensurer.reset-size2.size2,.katex .katex-sizing.reset-size2.size2{font-size:1em}.katex .fontsize-ensurer.reset-size2.size3,.katex .katex-sizing.reset-size2.size3{font-size:1.16667em}.katex .fontsize-ensurer.reset-size2.size4,.katex .katex-sizing.reset-size2.size4{font-size:1.33333em}.katex .fontsize-ensurer.reset-size2.size5,.katex .katex-sizing.reset-size2.size5{font-size:1.5em}.katex .fontsize-ensurer.reset-size2.size6,.katex .katex-sizing.reset-size2.size6{font-size:1.66667em}.katex .fontsize-ensurer.reset-size2.size7,.katex .katex-sizing.reset-size2.size7{font-size:2em}.katex .fontsize-ensurer.reset-size2.size8,.katex .katex-sizing.reset-size2.size8{font-size:2.4em}.katex .fontsize-ensurer.reset-size2.size9,.katex .katex-sizing.reset-size2.size9{font-size:2.88em}.katex .fontsize-ensurer.reset-size2.size10,.katex .katex-sizing.reset-size2.size10{font-size:3.45667em}.katex .fontsize-ensurer.reset-size2.size11,.katex .katex-sizing.reset-size2.size11{font-size:4.14667em}.katex .fontsize-ensurer.reset-size3.size1,.katex .katex-sizing.reset-size3.size1{font-size:.714286em}.katex .fontsize-ensurer.reset-size3.size2,.katex .katex-sizing.reset-size3.size2{font-size:.857143em}.katex .fontsize-ensurer.reset-size3.size3,.katex .katex-sizing.reset-size3.size3{font-size:1em}.katex .fontsize-ensurer.reset-size3.size4,.katex .katex-sizing.reset-size3.size4{font-size:1.14286em}.katex .fontsize-ensurer.reset-size3.size5,.katex .katex-sizing.reset-size3.size5{font-size:1.28571em}.katex .fontsize-ensurer.reset-size3.size6,.katex .katex-sizing.reset-size3.size6{font-size:1.42857em}.katex .fontsize-ensurer.reset-size3.size7,.katex .katex-sizing.reset-size3.size7{font-size:1.71429em}.katex .fontsize-ensurer.reset-size3.size8,.katex .katex-sizing.reset-size3.size8{font-size:2.05714em}.katex .fontsize-ensurer.reset-size3.size9,.katex .katex-sizing.reset-size3.size9{font-size:2.46857em}.katex .fontsize-ensurer.reset-size3.size10,.katex .katex-sizing.reset-size3.size10{font-size:2.96286em}.katex .fontsize-ensurer.reset-size3.size11,.katex .katex-sizing.reset-size3.size11{font-size:3.55429em}.katex .fontsize-ensurer.reset-size4.size1,.katex .katex-sizing.reset-size4.size1{font-size:.625em}.katex .fontsize-ensurer.reset-size4.size2,.katex .katex-sizing.reset-size4.size2{font-size:.75em}.katex .fontsize-ensurer.reset-size4.size3,.katex .katex-sizing.reset-size4.size3{font-size:.875em}.katex .fontsize-ensurer.reset-size4.size4,.katex .katex-sizing.reset-size4.size4{font-size:1em}.katex .fontsize-ensurer.reset-size4.size5,.katex .katex-sizing.reset-size4.size5{font-size:1.125em}.katex .fontsize-ensurer.reset-size4.size6,.katex .katex-sizing.reset-size4.size6{font-size:1.25em}.katex .fontsize-ensurer.reset-size4.size7,.katex .katex-sizing.reset-size4.size7{font-size:1.5em}.katex .fontsize-ensurer.reset-size4.size8,.katex .katex-sizing.reset-size4.size8{font-size:1.8em}.katex .fontsize-ensurer.reset-size4.size9,.katex .katex-sizing.reset-size4.size9{font-size:2.16em}.katex .fontsize-ensurer.reset-size4.size10,.katex .katex-sizing.reset-size4.size10{font-size:2.5925em}.katex .fontsize-ensurer.reset-size4.size11,.katex .katex-sizing.reset-size4.size11{font-size:3.11em}.katex .fontsize-ensurer.reset-size5.size1,.katex .katex-sizing.reset-size5.size1{font-size:.555556em}.katex .fontsize-ensurer.reset-size5.size2,.katex .katex-sizing.reset-size5.size2{font-size:.666667em}.katex .fontsize-ensurer.reset-size5.size3,.katex .katex-sizing.reset-size5.size3{font-size:.777778em}.katex .fontsize-ensurer.reset-size5.size4,.katex .katex-sizing.reset-size5.size4{font-size:.888889em}.katex .fontsize-ensurer.reset-size5.size5,.katex .katex-sizing.reset-size5.size5{font-size:1em}.katex .fontsize-ensurer.reset-size5.size6,.katex .katex-sizing.reset-size5.size6{font-size:1.11111em}.katex .fontsize-ensurer.reset-size5.size7,.katex .katex-sizing.reset-size5.size7{font-size:1.33333em}.katex .fontsize-ensurer.reset-size5.size8,.katex .katex-sizing.reset-size5.size8{font-size:1.6em}.katex .fontsize-ensurer.reset-size5.size9,.katex .katex-sizing.reset-size5.size9{font-size:1.92em}.katex .fontsize-ensurer.reset-size5.size10,.katex .katex-sizing.reset-size5.size10{font-size:2.30444em}.katex .fontsize-ensurer.reset-size5.size11,.katex .katex-sizing.reset-size5.size11{font-size:2.76444em}.katex .fontsize-ensurer.reset-size6.size1,.katex .katex-sizing.reset-size6.size1{font-size:.5em}.katex .fontsize-ensurer.reset-size6.size2,.katex .katex-sizing.reset-size6.size2{font-size:.6em}.katex .fontsize-ensurer.reset-size6.size3,.katex .katex-sizing.reset-size6.size3{font-size:.7em}.katex .fontsize-ensurer.reset-size6.size4,.katex .katex-sizing.reset-size6.size4{font-size:.8em}.katex .fontsize-ensurer.reset-size6.size5,.katex .katex-sizing.reset-size6.size5{font-size:.9em}.katex .fontsize-ensurer.reset-size6.size6,.katex .katex-sizing.reset-size6.size6{font-size:1em}.katex .fontsize-ensurer.reset-size6.size7,.katex .katex-sizing.reset-size6.size7{font-size:1.2em}.katex .fontsize-ensurer.reset-size6.size8,.katex .katex-sizing.reset-size6.size8{font-size:1.44em}.katex .fontsize-ensurer.reset-size6.size9,.katex .katex-sizing.reset-size6.size9{font-size:1.728em}.katex .fontsize-ensurer.reset-size6.size10,.katex .katex-sizing.reset-size6.size10{font-size:2.074em}.katex .fontsize-ensurer.reset-size6.size11,.katex .katex-sizing.reset-size6.size11{font-size:2.488em}.katex .fontsize-ensurer.reset-size7.size1,.katex .katex-sizing.reset-size7.size1{font-size:.416667em}.katex .fontsize-ensurer.reset-size7.size2,.katex .katex-sizing.reset-size7.size2{font-size:.5em}.katex .fontsize-ensurer.reset-size7.size3,.katex .katex-sizing.reset-size7.size3{font-size:.583333em}.katex .fontsize-ensurer.reset-size7.size4,.katex .katex-sizing.reset-size7.size4{font-size:.666667em}.katex .fontsize-ensurer.reset-size7.size5,.katex .katex-sizing.reset-size7.size5{font-size:.75em}.katex .fontsize-ensurer.reset-size7.size6,.katex .katex-sizing.reset-size7.size6{font-size:.833333em}.katex .fontsize-ensurer.reset-size7.size7,.katex .katex-sizing.reset-size7.size7{font-size:1em}.katex .fontsize-ensurer.reset-size7.size8,.katex .katex-sizing.reset-size7.size8{font-size:1.2em}.katex .fontsize-ensurer.reset-size7.size9,.katex .katex-sizing.reset-size7.size9{font-size:1.44em}.katex .fontsize-ensurer.reset-size7.size10,.katex .katex-sizing.reset-size7.size10{font-size:1.72833em}.katex .fontsize-ensurer.reset-size7.size11,.katex .katex-sizing.reset-size7.size11{font-size:2.07333em}.katex .fontsize-ensurer.reset-size8.size1,.katex .katex-sizing.reset-size8.size1{font-size:.347222em}.katex .fontsize-ensurer.reset-size8.size2,.katex .katex-sizing.reset-size8.size2{font-size:.416667em}.katex .fontsize-ensurer.reset-size8.size3,.katex .katex-sizing.reset-size8.size3{font-size:.486111em}.katex .fontsize-ensurer.reset-size8.size4,.katex .katex-sizing.reset-size8.size4{font-size:.555556em}.katex .fontsize-ensurer.reset-size8.size5,.katex .katex-sizing.reset-size8.size5{font-size:.625em}.katex .fontsize-ensurer.reset-size8.size6,.katex .katex-sizing.reset-size8.size6{font-size:.694444em}.katex .fontsize-ensurer.reset-size8.size7,.katex .katex-sizing.reset-size8.size7{font-size:.833333em}.katex .fontsize-ensurer.reset-size8.size8,.katex .katex-sizing.reset-size8.size8{font-size:1em}.katex .fontsize-ensurer.reset-size8.size9,.katex .katex-sizing.reset-size8.size9{font-size:1.2em}.katex .fontsize-ensurer.reset-size8.size10,.katex .katex-sizing.reset-size8.size10{font-size:1.44028em}.katex .fontsize-ensurer.reset-size8.size11,.katex .katex-sizing.reset-size8.size11{font-size:1.72778em}.katex .fontsize-ensurer.reset-size9.size1,.katex .katex-sizing.reset-size9.size1{font-size:.289352em}.katex .fontsize-ensurer.reset-size9.size2,.katex .katex-sizing.reset-size9.size2{font-size:.347222em}.katex .fontsize-ensurer.reset-size9.size3,.katex .katex-sizing.reset-size9.size3{font-size:.405093em}.katex .fontsize-ensurer.reset-size9.size4,.katex .katex-sizing.reset-size9.size4{font-size:.462963em}.katex .fontsize-ensurer.reset-size9.size5,.katex .katex-sizing.reset-size9.size5{font-size:.520833em}.katex .fontsize-ensurer.reset-size9.size6,.katex .katex-sizing.reset-size9.size6{font-size:.578704em}.katex .fontsize-ensurer.reset-size9.size7,.katex .katex-sizing.reset-size9.size7{font-size:.694444em}.katex .fontsize-ensurer.reset-size9.size8,.katex .katex-sizing.reset-size9.size8{font-size:.833333em}.katex .fontsize-ensurer.reset-size9.size9,.katex .katex-sizing.reset-size9.size9{font-size:1em}.katex .fontsize-ensurer.reset-size9.size10,.katex .katex-sizing.reset-size9.size10{font-size:1.20023em}.katex .fontsize-ensurer.reset-size9.size11,.katex .katex-sizing.reset-size9.size11{font-size:1.43981em}.katex .fontsize-ensurer.reset-size10.size1,.katex .katex-sizing.reset-size10.size1{font-size:.24108em}.katex .fontsize-ensurer.reset-size10.size2,.katex .katex-sizing.reset-size10.size2{font-size:.289296em}.katex .fontsize-ensurer.reset-size10.size3,.katex .katex-sizing.reset-size10.size3{font-size:.337512em}.katex .fontsize-ensurer.reset-size10.size4,.katex .katex-sizing.reset-size10.size4{font-size:.385728em}.katex .fontsize-ensurer.reset-size10.size5,.katex .katex-sizing.reset-size10.size5{font-size:.433944em}.katex .fontsize-ensurer.reset-size10.size6,.katex .katex-sizing.reset-size10.size6{font-size:.48216em}.katex .fontsize-ensurer.reset-size10.size7,.katex .katex-sizing.reset-size10.size7{font-size:.578592em}.katex .fontsize-ensurer.reset-size10.size8,.katex .katex-sizing.reset-size10.size8{font-size:.694311em}.katex .fontsize-ensurer.reset-size10.size9,.katex .katex-sizing.reset-size10.size9{font-size:.833173em}.katex .fontsize-ensurer.reset-size10.size10,.katex .katex-sizing.reset-size10.size10{font-size:1em}.katex .fontsize-ensurer.reset-size10.size11,.katex .katex-sizing.reset-size10.size11{font-size:1.19961em}.katex .fontsize-ensurer.reset-size11.size1,.katex .katex-sizing.reset-size11.size1{font-size:.200965em}.katex .fontsize-ensurer.reset-size11.size2,.katex .katex-sizing.reset-size11.size2{font-size:.241158em}.katex .fontsize-ensurer.reset-size11.size3,.katex .katex-sizing.reset-size11.size3{font-size:.281351em}.katex .fontsize-ensurer.reset-size11.size4,.katex .katex-sizing.reset-size11.size4{font-size:.321543em}.katex .fontsize-ensurer.reset-size11.size5,.katex .katex-sizing.reset-size11.size5{font-size:.361736em}.katex .fontsize-ensurer.reset-size11.size6,.katex .katex-sizing.reset-size11.size6{font-size:.401929em}.katex .fontsize-ensurer.reset-size11.size7,.katex .katex-sizing.reset-size11.size7{font-size:.482315em}.katex .fontsize-ensurer.reset-size11.size8,.katex .katex-sizing.reset-size11.size8{font-size:.578778em}.katex .fontsize-ensurer.reset-size11.size9,.katex .katex-sizing.reset-size11.size9{font-size:.694534em}.katex .fontsize-ensurer.reset-size11.size10,.katex .katex-sizing.reset-size11.size10{font-size:.833601em}.katex .fontsize-ensurer.reset-size11.size11,.katex .katex-sizing.reset-size11.size11{font-size:1em}.katex .delimsizing.size1{font-family:KaTeX_Size1}.katex .delimsizing.size2{font-family:KaTeX_Size2}.katex .delimsizing.size3{font-family:KaTeX_Size3}.katex .delimsizing.size4{font-family:KaTeX_Size4}.katex .delimsizing.mult .delim-size1>span{font-family:KaTeX_Size1}.katex .delimsizing.mult .delim-size4>span{font-family:KaTeX_Size4}.katex .nulldelimiter{width:.12em;display:inline-block}.katex .delimcenter,.katex .op-symbol{position:relative}.katex .op-symbol.small-op{font-family:KaTeX_Size1}.katex .op-symbol.large-op{font-family:KaTeX_Size2}.katex .katex-accent>.vlist-t,.katex .op-limits>.vlist-t{text-align:center}.katex .katex-accent .accent-body{position:relative}.katex .katex-accent .accent-body:not(.accent-full){width:0}.katex .katex-overlay{display:block}.katex .mtable .vertical-separator{min-width:1px;display:inline-block}.katex .mtable .arraycolsep{display:inline-block}.katex .mtable .col-align-c>.vlist-t{text-align:center}.katex .mtable .col-align-l>.vlist-t{text-align:left}.katex .mtable .col-align-r>.vlist-t{text-align:right}.katex .svg-align{text-align:left}.katex svg{fill:currentColor;stroke:currentColor;height:inherit;width:100%;display:block;position:absolute}.katex svg path{stroke:none}.katex svg{fill-rule:nonzero;fill-opacity:1;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1}.katex img{border-style:none;min-width:0;max-width:none;min-height:0;max-height:none}.katex .katex-stretchy{width:100%;display:block;position:relative;overflow:hidden}.katex .katex-stretchy:after,.katex .katex-stretchy:before{content:""}.katex .hide-tail{width:100%;position:relative;overflow:hidden}.katex .halfarrow-left{width:50.2%;position:absolute;left:0;overflow:hidden}.katex .halfarrow-right{width:50.2%;position:absolute;right:0;overflow:hidden}.katex .brace-left{width:25.1%;position:absolute;left:0;overflow:hidden}.katex .brace-center{width:50%;position:absolute;left:25%;overflow:hidden}.katex .brace-right{width:25.1%;position:absolute;right:0;overflow:hidden}.katex .x-arrow-pad{padding:0 .5em}.katex .cd-arrow-pad{padding:0 .55556em 0 .27778em}.katex .mover,.katex .munder,.katex .x-arrow{text-align:center}.katex .boxpad{padding:0 .3em}.katex .fbox,.katex .fcolorbox{box-sizing:border-box;border:.04em solid}.katex .cancel-pad{padding:0 .2em}.katex .cancel-lap{margin-left:-.2em;margin-right:-.2em}.katex .katex-sout{border-bottom-style:solid;border-bottom-width:.08em}.katex .angl{box-sizing:border-box;border-top:.049em solid;border-right:.049em solid;margin-right:.03889em}.katex .anglpad{padding:0 .03889em}.katex .eqn-num:before{content:"(" counter(katexEqnNo) ")";counter-increment:katexEqnNo}.katex .mml-eqn-num:before{content:"(" counter(mmlEqnNo) ")";counter-increment:mmlEqnNo}.katex .mtr-glue{width:50%}.katex .cd-vert-arrow{display:inline-block;position:relative}.katex .cd-label-left{text-align:left;display:inline-block;position:absolute;right:calc(50% + .3em)}.katex .cd-label-right{text-align:right;display:inline-block;position:absolute;left:calc(50% + .3em)}.katex-display{text-align:center;margin:1em 0;display:block}.katex-display>.katex{text-align:center;white-space:nowrap;display:block}.katex-display>.katex>.katex-html{display:block;position:relative}.katex-display>.katex>.katex-html>.katex-tag{position:absolute;right:0}.katex-display.leqno>.katex>.katex-html>.katex-tag{left:0;right:auto}.katex-display.fleqn>.katex{text-align:left;padding-left:2em}body{counter-reset:katexEqnNo mmlEqnNo}:root{--navy:#0f1c3f;--accent:#2c6bff;--accent-light:#5b8eff;--bg:#f5f6f8;--fg:#1f2328;--fg-strong:#0f1c3f;--muted:#656d76;--muted-strong:#4d555f;--border:#dce0e5;--hover:#edf0f5;--pos:#16a34a;--warn:#d97706;--bad:#dc2626;--surface:#fff;--surface-2:#fbfbfd;--section-head:color-mix(in srgb, var(--surface-2) 92%, var(--fg));--input-bg:#fff;--input-shadow:0 0 #0000;--scrollbar-thumb:#c4ccd6;--scrollbar-thumb-hover:#aab3bf;--scrollbar-track:transparent;--tint-info:#f0f5ff;--badge-gray-bg:#eceff3;--badge-gray-fg:#656d76;--badge-blue-bg:#dbeafe;--badge-blue-fg:#1d4ed8;--badge-red-bg:#fee2e2;--badge-red-fg:#b91c1c;--badge-green-bg:#dcfce7;--badge-green-fg:#15803d;--badge-yellow-bg:#fef9c3;--badge-yellow-fg:#a16207;--node-pending-fill:#fff;--node-def-done-fill:#f0faf0;--node-stmt-only-fill:#f0f5ff;--node-proved-fill:#f5f0ff;--node-axiom-fill:#f8f9fa;--node-flagged-fill:#fef2f2;--node-tainted-fill:#fef3c7;--node-pending-stroke:#666;--node-def-done-stroke:#228b22;--node-stmt-only-stroke:#2563eb;--node-proved-stroke:#7c3aed;--node-axiom-stroke:#64748b;--node-flagged-stroke:#dc2626;--node-tainted-stroke:#d97706;--node-label:#1e293b;--node-label-muted:#475569;--node-badge-flag:#dc2626;--node-badge-tainted:#d97706;--node-badge-match:#16a34a;--edge-stroke:#dce0e5;--edge-ancestor:#d97706;--edge-descendant:#2c6bff;--node-touched-glow:#f59e0b;--bar-defs:var(--node-def-done-stroke);--bar-stated:var(--node-stmt-only-stroke);--bar-proved:var(--node-proved-stroke);--bar-flagged:var(--node-flagged-stroke);--state-formalized:#15803d;--state-sketch:#b45309;--state-axiom:#64748b;--state-pending:#94a3b8;--lean-keyword:#7c3aed;--lean-tactic:#2563eb;--lean-type:#0d9488;--lean-comment:#15803d;--lean-string:#dc2626;--lean-attr:#b45309;--hl-variable:#8a4b00;--file-pdf:#dc2626;--file-tex:#2c6bff;--file-lean:#7c3aed;--file-doc:#15803d;--file-other:#64748b;--banner-warn-bg:#fef3c7;--banner-warn-fg:#92400e;--banner-warn-border:#fcd34d;--pdf-bg:#525659;--pane-header-h:52px;--radius:10px;--radius-lg:14px;--shadow-md:0 4px 12px #00000014;--shadow-lg:0 8px 24px #0000001f}:root[data-theme=dark]{--accent:#4d82ff;--accent-light:#7aa2ff;--bg:#0e1217;--fg:#e3e8ee;--fg-strong:#f0f4fa;--muted:#97a2b0;--muted-strong:#c3ccd6;--border:#2a313b;--hover:#1c232c;--pos:#22c55e;--warn:#f59e0b;--bad:#ef4444;--surface:#1a2029;--surface-2:#151a21;--input-bg:#242c38;--input-shadow:inset 0 1px 2px #00000059;--scrollbar-thumb:#39424e;--scrollbar-thumb-hover:#4a5563;--scrollbar-track:transparent;--tint-info:#11203a;--badge-gray-bg:#2a313c;--badge-gray-fg:#c3cad4;--badge-blue-bg:#16294a;--badge-blue-fg:#93b8ff;--badge-red-bg:#3a1b1e;--badge-red-fg:#fca5a5;--badge-green-bg:#143524;--badge-green-fg:#6ee7a3;--badge-yellow-bg:#3a3212;--badge-yellow-fg:#fcd34d;--node-pending-fill:#1a2029;--node-def-done-fill:#122017;--node-stmt-only-fill:#11203a;--node-proved-fill:#1d1630;--node-axiom-fill:#181d25;--node-flagged-fill:#2a1517;--node-tainted-fill:#2a2411;--node-label:#e2e8f0;--node-label-muted:#cbd5e1;--edge-stroke:#8e96a1;--node-touched-glow:#fbbf24;--bar-defs:#4ade80;--bar-stated:#60a5fa;--bar-proved:#a78bfa;--state-formalized:#4ade80;--state-sketch:#fbbf24;--state-axiom:#94a3b8;--state-pending:#b6c2d1;--lean-keyword:#c4b5fd;--lean-tactic:#93b8ff;--lean-type:#5eead4;--lean-comment:#6ee7a3;--lean-string:#fca5a5;--lean-attr:#fbbf24;--hl-variable:#e0a060;--banner-warn-bg:#3a2e12;--banner-warn-fg:#fcd34d;--banner-warn-border:#5c4a1a;--pdf-bg:#1a1a1a;--shadow-md:0 4px 12px #00000073;--shadow-lg:0 8px 24px #0009}html,body{height:100%}html,body,#root{overflow:hidden}#root{height:100%}body{background:var(--bg);color:var(--fg);margin:0;font-family:-apple-system,BlinkMacSystemFont,Segoe UI,Roboto,sans-serif}html{scrollbar-width:thin;scrollbar-color:var(--scrollbar-thumb) var(--scrollbar-track)}::-webkit-scrollbar{width:10px;height:10px}::-webkit-scrollbar-track{background:var(--scrollbar-track)}::-webkit-scrollbar-thumb{background:var(--scrollbar-thumb);background-clip:padding-box;border:2px solid #0000;border-radius:8px}::-webkit-scrollbar-thumb:hover{background:var(--scrollbar-thumb-hover)}@keyframes spin{to{transform:rotate(360deg)}}.bp-legend{background:var(--surface,#fff);width:280px;max-height:70vh;color:var(--fg,#1f2328);border:1px solid var(--border,#dce0e5);border-radius:var(--radius,10px);box-shadow:var(--shadow-lg,0 8px 24px #0000001f);outline:none;margin:0;padding:0;font-size:12px;overflow-y:auto}.bp-legend__header{background:var(--surface-2,#f6f8fa);color:var(--fg,#1f2328);border-bottom:1px solid var(--border,#dce0e5);border-top-left-radius:calc(var(--radius,10px) - 1px);border-top-right-radius:calc(var(--radius,10px) - 1px);justify-content:space-between;align-items:center;padding:8px 12px;display:flex}.bp-legend__title{letter-spacing:.02em;font-size:13px;font-weight:700}.bp-legend__close{color:var(--muted,#656d76);cursor:pointer;background:0 0;border:none;padding:0 2px;font-size:18px;line-height:1}.bp-legend__body{padding:8px 12px 12px}.bp-legend__section+.bp-legend__section{border-top:1px solid var(--border,#dce0e5);margin-top:10px;padding-top:10px}.bp-legend__section-title{color:var(--muted,#656d76);margin-bottom:6px;font-weight:600}.bp-legend__row{align-items:center;gap:8px;padding:2px 0;line-height:1.3;display:flex}.bp-legend__swatch{box-sizing:border-box;border:2px solid;flex:none;width:22px;height:16px}.bp-legend__swatch--rect{border-radius:2px}.bp-legend__swatch--ellipse{border-radius:50%}.bp-legend__swatch--pending{background:var(--node-pending-fill);border-color:var(--node-pending-stroke)}.bp-legend__swatch--def-done{background:var(--node-def-done-fill);border-color:var(--node-def-done-stroke)}.bp-legend__swatch--stmt-only{background:var(--node-stmt-only-fill);border-color:var(--node-stmt-only-stroke)}.bp-legend__swatch--proved{background:var(--node-proved-fill);border-color:var(--node-proved-stroke)}.bp-legend__swatch--axiom{background:var(--node-axiom-fill);border-color:var(--node-axiom-stroke)}.bp-legend__swatch--flagged{background:var(--node-flagged-fill);border-color:var(--node-flagged-stroke)}.bp-legend__swatch--tainted{background:var(--node-tainted-fill);border-color:var(--node-tainted-stroke)}.bp-legend__swatch--touched{background:var(--node-pending-fill);border-color:var(--node-touched-glow);animation:1.6s ease-in-out infinite bp-legend-touch-pulse}.bp-legend__badge{border-radius:50%;flex:none;justify-content:center;align-items:center;width:18px;height:18px;font-size:11px;font-weight:700;display:inline-flex}.bp-legend__badge--flag{background:var(--node-badge-flag);color:#fff}.bp-legend__badge--tainted{background:var(--node-badge-tainted);color:#fff}.bp-legend__badge--match{background:var(--node-badge-match);color:#fff}.bp-legend__border-sample{box-sizing:border-box;flex:none;width:22px;height:16px}.bp-legend__border-sample--original{border:3px solid var(--node-pending-stroke)}.bp-legend__border-sample--aux{border:2px dashed var(--node-pending-stroke)}.bp-legend__edge{border-top:2px solid var(--edge-stroke);flex:none;width:24px;height:0}.bp-legend__edge--dashed{border-top-style:dashed}.bp-legend__edge--ancestor{border-top-width:2.5px;border-top-color:var(--edge-ancestor)}.bp-legend__edge--descendant{border-top-width:2.5px;border-top-color:var(--edge-descendant)}@keyframes bp-legend-touch-pulse{0%,to{box-shadow:0 0 2px var(--node-touched-glow)}50%{box-shadow:0 0 7px 1px var(--node-touched-glow)}}.md-badge{letter-spacing:.02em;border-radius:4px;padding:0 6px;font-size:.78em;font-weight:600;display:inline-block}.md-badge--ok{background:color-mix(in srgb, var(--pos) 16%, transparent);color:var(--pos)}.md-badge--danger{background:color-mix(in srgb, var(--bad) 16%, transparent);color:var(--bad)}.md-badge--neutral{background:var(--hover);color:var(--muted)}.md p,.reasoning-body p{margin:0 0 8px}.md>:first-child,.reasoning-body>:first-child{margin-top:0}.md>:last-child,.reasoning-body>:last-child{margin-bottom:0}.md h1,.md h2,.md h3,.md h4,.md h5,.md h6,.reasoning-body h1,.reasoning-body h2,.reasoning-body h3,.reasoning-body h4,.reasoning-body h5,.reasoning-body h6{margin:14px 0 6px;font-weight:600;line-height:1.3}.md h1,.reasoning-body h1{font-size:1.25rem}.md h2,.reasoning-body h2{font-size:1.12rem}.md h3,.reasoning-body h3{font-size:1rem}.md h4,.md h5,.md h6,.reasoning-body h4,.reasoning-body h5,.reasoning-body h6{font-size:.9rem}.md ul,.md ol,.reasoning-body ul,.reasoning-body ol{margin:6px 0 8px;padding-left:22px}.md li,.reasoning-body li,.md li>ul,.md li>ol,.reasoning-body li>ul,.reasoning-body li>ol{margin:2px 0}.md hr,.reasoning-body hr{border:none;border-top:1px solid var(--border);margin:14px 0}.md pre,.reasoning-body pre{background:var(--hover);border:1px solid var(--border);border-radius:6px;margin:8px 0;padding:10px 12px;font-size:.82rem;line-height:1.45;overflow-x:auto}.md code,.reasoning-body code{font-family:ui-monospace,SFMono-Regular,Menlo,Consolas,monospace;font-size:.82em}.md pre code,.reasoning-body pre code{white-space:pre;background:0 0;padding:0;display:block}.md :not(pre)>code,.reasoning-body :not(pre)>code{background:var(--hover);border:1px solid var(--border);white-space:break-spaces;border-radius:4px;padding:.5px 5px}.md table,.reasoning-body table{border-collapse:collapse;margin:8px 0;font-size:.82rem;display:block;overflow-x:auto}.md th,.md td,.reasoning-body th,.reasoning-body td{border:1px solid var(--border);text-align:left;padding:5px 9px}.md th,.reasoning-body th{background:var(--hover);font-weight:600}.md tbody tr:nth-child(2n),.reasoning-body tbody tr:nth-child(2n){background:color-mix(in srgb, var(--hover) 45%, transparent)}.md blockquote,.reasoning-body blockquote{border-left:3px solid var(--border);color:var(--muted);margin:8px 0;padding:2px 0 2px 12px}.md a,.reasoning-body a{color:var(--accent)}.md a:hover,.reasoning-body a:hover{text-decoration:underline}.md .ldc-math-display,.reasoning-body .ldc-math-display{margin:10px 0;display:block;overflow-x:auto}.reasoning-body .katex,.reasoning-body code{font-style:normal}.card-desc p,.nd__prose p{margin:.4rem 0}.card-desc p:first-child,.nd__prose p:first-child{margin-top:0}.card-desc p:last-child,.nd__prose p:last-child{margin-bottom:0}.card-desc ul,.card-desc ol,.nd__prose ul,.nd__prose ol{margin:.4rem 0;padding-left:1.4rem}.card-desc .katex-display,.nd__prose .katex-display{overflow:auto hidden}.card-desc pre,.nd__prose pre{margin:.4rem 0;overflow-x:auto}.lean-keyword{color:var(--lean-keyword);font-weight:600}.lean-tactic{color:var(--lean-tactic)}.lean-type{color:var(--lean-type)}.lean-comment{color:var(--lean-comment);font-style:italic}.lean-string{color:var(--lean-string)}.lean-number{color:var(--lean-comment)}.lean-attr{color:var(--lean-attr)}.lean-const{color:var(--lean-tactic)}.lean-var{color:var(--lean-type);font-style:italic}.lean-literal{color:var(--lean-string)}.lean-option{color:var(--lean-attr)}.lean-sort{color:var(--lean-keyword)}.lean-punct{color:var(--muted,#656d76)}.lean-hoverable{cursor:help}.lean-hover-active{background:#2563eb26;border-radius:3px;box-shadow:0 0 0 1px #2563eb73}:root[data-theme=dark] .lean-hover-active{background:#60a5fa38;box-shadow:0 0 0 1px #60a5fa8c}.lean-error{-webkit-text-decoration-skip-ink:none;text-decoration-skip-ink:none;-webkit-text-decoration:underline wavy #dc2626;text-decoration:underline wavy #dc2626;text-decoration-thickness:.5px}.lean-warning{-webkit-text-decoration-skip-ink:none;text-decoration-skip-ink:none;-webkit-text-decoration:underline wavy #d97706;text-decoration:underline wavy #d97706;text-decoration-thickness:.5px}:root[data-theme=dark] .lean-error{text-decoration-color:#f87171}:root[data-theme=dark] .lean-warning{text-decoration-color:#fbbf24}.lean-hover-card{z-index:1600;border:1px solid var(--border,#dce0e5);background:var(--surface-2);max-width:min(48rem,92vw);max-height:40vh;color:var(--fg,#1f2328);border-radius:6px;flex-direction:column;font-size:.8rem;display:flex;position:fixed;overflow:hidden;box-shadow:0 6px 20px #00000040}.lean-hover-card__body{white-space:normal;-webkit-user-select:text;user-select:text;padding:.5rem .7rem;overflow:auto}.lean-hover-card__footer{border-top:1px solid var(--border,#dce0e5);flex:none;justify-content:flex-end;align-items:center;gap:.3rem;padding:.15rem .35rem;display:flex}.lean-hover-card__copied{color:var(--muted,#656d76);font-size:.7rem}.lean-hover-card__hint{font:inherit;color:var(--muted,#656d76);cursor:pointer;background:0 0;border:none;margin-right:auto;padding:0;font-size:.7rem}.lean-hover-card__hint-close{border-radius:3px;padding:0 3px;transition:background .1s;display:inline-block}.lean-hover-card__hint-close:hover{background:#0000000f}.lean-hover-card__hint-close:active{background:#0000001f;transform:translateY(1px)}.lean-hover-card .lean-diag{white-space:pre-wrap;overflow-wrap:anywhere;border-left:3px solid #0000;border-radius:3px;margin:0 0 .4rem;padding:.2rem .45rem}.lean-hover-card .lean-diag__label{font-weight:700}.lean-hover-card .lean-diag--error{background:#dc262614;border-left-color:#dc2626}.lean-hover-card .lean-diag--error .lean-diag__label{color:#dc2626}.lean-hover-card .lean-diag--warning{background:#d977061a;border-left-color:#d97706}.lean-hover-card .lean-diag--warning .lean-diag__label{color:#d97706}.lean-hover-card__copy{color:var(--muted,#656d76);cursor:pointer;background:0 0;border:none;border-radius:4px;justify-content:center;align-items:center;padding:.15rem;display:inline-flex}.lean-hover-card__copy:hover{color:var(--fg,#1f2328);background:var(--surface,#fff)}.lean-hover-card .sig{white-space:pre-wrap;overflow-wrap:anywhere;color:var(--lean-tactic);margin:0 0 .3rem;font-family:Monaco,Menlo,Consolas,monospace}.lean-hover-card .doc{white-space:pre-wrap;overflow-wrap:anywhere;margin-bottom:.3rem}.lean-hover-card .mod{color:var(--muted,#656d76);margin-top:.2rem;font-style:italic}.lean-hover-card .sep{border:none;border-top:1px solid var(--border,#dce0e5);margin:.4rem 0}:root[data-theme=dark] .lean-hover-card .lean-hover-card__hint-close:hover{background:#ffffff1a}:root[data-theme=dark] .lean-hover-card .lean-hover-card__hint-close:active{background:#ffffff2e}:root[data-theme=dark] .lean-hover-card .lean-diag--error{background:#f8717121;border-left-color:#f87171}:root[data-theme=dark] .lean-hover-card .lean-diag--error .lean-diag__label{color:#f87171}:root[data-theme=dark] .lean-hover-card .lean-diag--warning{background:#fbbf2421;border-left-color:#fbbf24}:root[data-theme=dark] .lean-hover-card .lean-diag--warning .lean-diag__label{color:#fbbf24}