:root{color-scheme:light;font-family:GitLab Sans,Inter,ui-sans-serif,-apple-system,BlinkMacSystemFont,Segoe UI,sans-serif;color:#333238;background:#fbfafd;font-synthesis:none;--bg: #fbfafd;--surface: #ffffff;--surface-subtle: #f6f6f8;--surface-hover: #ececef;--line: #dcdcde;--line-soft: #ececef;--line-strong: #bfbfc3;--ink: #333238;--ink-strong: #1f1e24;--muted: #626168;--faint: #89888d;--purple: #6e49cb;--purple-strong: #5943b6;--purple-soft: #f4f0ff;--purple-line: #e1d8f9;--orange: #fc6d26;--orange-deep: #e24329;--blue: #1f75cb;--blue-strong: #1068bf;--blue-soft: #e9f3fc;--focus: #428fdc;--red: #dd2b0e;--red-text: #c91c00;--red-soft: #fcf1ef;--red-line: #fdd4cd;--green: #108548;--green-text: #24663b;--green-soft: #ecf4ee;--green-line: #c3e6cd;--amber: #c17d10;--amber-text: #8f4700;--amber-soft: #fdf1dd;--amber-line: #f5d9a8;--shadow-sm: 0 1px 2px rgba(5, 5, 6, .06), 0 0 1px rgba(5, 5, 6, .08);--shadow-lg: 0 12px 32px rgba(5, 5, 6, .12), 0 0 1px rgba(5, 5, 6, .16);--mono: "GitLab Mono", ui-monospace, SFMono-Regular, Menlo, monospace;--sidebar: 228px;--topbar: 52px}*{box-sizing:border-box}.auth-shell{min-height:100vh;display:grid;place-items:center;padding:32px 20px;background:radial-gradient(circle at 15% 10%,#f4f0ff,transparent 32rem),var(--bg)}.auth-card{width:min(460px,100%);padding:38px;border:1px solid var(--line);border-radius:12px;color:var(--ink);background:var(--surface);box-shadow:var(--shadow-lg)}.auth-card>.brand{display:block;margin-bottom:40px;font-size:1.7rem}.auth-card h1{margin:7px 0 9px;color:var(--ink-strong);font-size:clamp(2rem,6vw,2.6rem);letter-spacing:-.04em}.auth-card>p{margin:0 0 28px;color:var(--muted);line-height:1.55}.auth-card form{display:grid;gap:16px}.auth-card label{display:grid;gap:7px;font-size:.8rem;font-weight:600}.auth-card input{width:100%;min-height:44px;padding:0 12px;border:1px solid var(--line-strong);border-radius:4px;color:var(--ink);background:var(--surface);font:inherit}.auth-card form>button{min-height:44px;margin-top:4px;border:0;border-radius:4px;color:#fff;background:var(--blue);font-weight:600;cursor:pointer}.auth-card form>button:hover{background:var(--blue-strong)}.auth-switch{width:100%;margin-top:22px;border:0;background:none;color:var(--blue);font-weight:600;cursor:pointer}.template-list button.is-suggested{outline:2px solid var(--purple);outline-offset:2px}html{background:var(--bg);scroll-behavior:smooth}body{margin:0;min-width:320px;min-height:100vh;background:var(--bg)}button,input,textarea{font:inherit}button{color:inherit}button:focus-visible,input:focus-visible,textarea:focus-visible,summary:focus-visible,a:focus-visible{outline:2px solid var(--focus);outline-offset:2px}button:disabled{cursor:not-allowed;opacity:.5}a{color:var(--blue)}.sr-only{position:absolute;width:1px;height:1px;overflow:hidden;clip:rect(0 0 0 0);white-space:nowrap}.skip-link{position:fixed;z-index:1000;top:8px;left:8px;padding:10px 14px;color:#fff;background:var(--blue);transform:translateY(-150%)}.skip-link:focus{transform:translateY(0)}.app-shell{min-height:100vh;display:grid;grid-template-columns:var(--sidebar) minmax(0,1fr);grid-template-rows:var(--topbar) minmax(calc(100vh - var(--topbar)),auto)}.sidebar{position:fixed;z-index:30;inset:0 auto 0 0;width:var(--sidebar);display:flex;flex-direction:column;border-right:1px solid var(--line);background:var(--surface-subtle)}.brand{color:var(--ink-strong);font-size:26px;font-weight:600;letter-spacing:-.05em}.brand-dot{color:var(--orange)}.brand-button{height:var(--topbar);padding:0 25px;border:0;border-bottom:1px solid var(--line);background:transparent;text-align:left;cursor:pointer}.sidebar nav{padding:20px 12px;display:grid;gap:2px}.nav-item{position:relative;width:100%;height:40px;padding:0 12px;display:grid;grid-template-columns:20px 1fr auto;align-items:center;gap:10px;border:0;border-radius:6px;color:var(--ink);background:transparent;font-size:14px;text-align:left;cursor:pointer}.nav-item svg{width:18px;height:18px;color:var(--muted)}.nav-item:hover{background:var(--surface-hover)}.nav-item.is-active{background:var(--surface-hover);font-weight:600}.nav-item.is-active:before{content:"";position:absolute;left:0;top:9px;bottom:9px;width:3px;border-radius:0 3px 3px 0;background:var(--purple)}.nav-item.is-active svg{color:var(--purple)}.nav-count{min-width:22px;height:20px;padding:0 6px;display:grid;place-items:center;border-radius:10px;color:#fff;background:var(--red);font-size:11px;font-weight:700}.sidebar-foot{margin-top:auto;padding:18px 22px 22px;display:grid;gap:6px;border-top:1px solid var(--line);color:var(--muted);font-size:12px}.connection-summary{color:var(--ink);font-weight:500}.live-dot{display:inline-block;width:8px;height:8px;margin-right:8px;border-radius:50%;background:var(--faint)}.live-dot--on{background:var(--green);box-shadow:0 0 0 3px var(--green-soft)}.topbar{position:fixed;z-index:25;top:0;left:var(--sidebar);right:0;height:var(--topbar);display:flex;align-items:center;justify-content:center;border-bottom:1px solid var(--line);background:#fffffff0;-webkit-backdrop-filter:blur(12px);backdrop-filter:blur(12px)}.global-search{width:min(440px,48vw);height:34px;display:flex;align-items:center;gap:10px;padding:0 12px;border:1px solid var(--line-strong);border-radius:4px;background:var(--surface);color:var(--muted)}.global-search:focus-within{border-color:var(--focus);box-shadow:0 0 0 1px var(--focus)}.global-search svg{width:16px;flex:0 0 auto}.global-search input{min-width:0;flex:1;border:0;outline:0;color:var(--ink);background:transparent;font-size:14px}.global-search input::placeholder{color:var(--faint)}.global-search kbd{padding:2px 6px;border:1px solid var(--line);border-radius:4px;color:var(--muted);background:var(--surface-subtle);font:10px var(--mono)}.top-actions{position:absolute;right:20px;display:flex;align-items:center;gap:9px}.icon-button,.avatar{border:1px solid transparent;background:transparent;cursor:pointer}.icon-button{width:32px;height:32px;padding:7px;display:grid;place-items:center;border-radius:4px;color:var(--muted)}.icon-button:hover{background:var(--surface-hover);color:var(--ink)}.icon-button svg{width:18px;height:18px}.avatar{width:30px;height:30px;border-radius:50%;color:#fff;background:var(--purple);font-size:13px;font-weight:600}.avatar:hover{background:var(--purple-strong)}.source-ring{width:18px;height:18px;display:grid;place-items:center;border:2px solid currentColor;border-radius:50%}.source-ring span{width:4px;height:4px;border-radius:50%;background:currentColor}.workspace{grid-column:2;grid-row:2;min-width:0;display:flex;align-items:stretch}.board,.page{min-width:0;flex:1;padding:30px 38px 80px}.board-heading{display:flex;align-items:flex-end;justify-content:space-between;gap:20px;margin:0 auto 16px;max-width:1020px}.eyebrow{display:block;margin-bottom:10px;color:var(--muted);font-size:11px;line-height:1;font-weight:600;letter-spacing:.08em;text-transform:uppercase}h1,h2,h3,p{margin-top:0}.board-heading h1,.page-heading h1{margin:0;color:var(--ink-strong);font-size:clamp(26px,2.2vw,32px);line-height:1.05;font-weight:600;letter-spacing:-.03em}.board-heading .eyebrow,.page-heading .eyebrow{margin-bottom:6px}.board-heading>div:first-child>p,.page-heading>p{margin:6px 0 0;color:var(--muted);font-size:15px;line-height:1.45}.composer{max-width:1020px;margin:0 auto 16px}.composer>label{display:none}.composer>div{height:48px;display:flex;align-items:center;border:1px solid var(--line-strong);border-radius:6px;background:var(--surface);box-shadow:var(--shadow-sm)}.composer>div:focus-within{border-color:var(--focus);box-shadow:0 0 0 1px var(--focus)}.composer input{min-width:0;height:100%;flex:1;padding:0 16px;border:0;outline:0;color:var(--ink);background:transparent;font-size:16px}.composer input::placeholder{color:var(--faint)}.composer button{width:52px;align-self:stretch;display:grid;place-items:center;border:0;border-left:1px solid var(--line);border-radius:0 6px 6px 0;color:var(--blue);background:transparent;cursor:pointer}.composer button:hover:not(:disabled){background:var(--blue-soft)}.composer button svg{width:20px}.composer>span{display:block;margin:8px 2px 0;color:var(--muted);font-size:12px}.composer .composer-suggestions{height:auto;margin-top:10px;display:flex;flex-wrap:wrap;gap:8px;border:0;background:transparent;box-shadow:none}.composer .composer-suggestions button{width:auto;min-height:30px;padding:5px 12px;border:1px solid var(--line);border-radius:999px;color:var(--ink);background:var(--surface);font-size:13px}.composer .composer-suggestions button:hover{border-color:var(--purple-line);color:var(--purple-strong);background:var(--purple-soft)}.board-tools{max-width:1020px;margin:0 auto 18px;display:flex;justify-content:space-between;border-bottom:1px solid var(--line)}.filters{display:flex;gap:24px}.filters button{position:relative;padding:12px 0 13px;border:0;color:var(--muted);background:transparent;font-size:14px;cursor:pointer}.filters button:hover{color:var(--ink)}.filters button.is-active{color:var(--ink-strong);font-weight:600}.filters button.is-active:after{content:"";position:absolute;left:0;right:0;bottom:-1px;height:2px;background:var(--purple)}.view-tools{display:flex;align-items:center;gap:5px;color:var(--muted)}.view-tools>button:first-child{padding:7px 9px;border:0;color:var(--muted);background:transparent;font-size:14px;cursor:pointer;text-transform:capitalize}.view-tools>button:first-child span{margin-left:6px}.card-grid{max-width:1020px;margin:0 auto;column-count:3;column-gap:16px}.assertion-card{position:relative;z-index:1;margin:0 0 16px;break-inside:avoid;border:1px solid var(--line);border-radius:8px;color:var(--ink);background:var(--surface);box-shadow:var(--shadow-sm);transition:box-shadow .15s,border-color .15s}.assertion-card:hover{border-color:var(--line-strong);box-shadow:var(--shadow-lg)}.assertion-card:focus-within{z-index:8}.assertion-card--violated{border-color:var(--red-line)}.assertion-card--violated:hover{border-color:#f5b5a9}.card-hit{width:100%;display:block;color:inherit;text-align:left;cursor:pointer}.card-header{min-height:44px;padding:8px 8px 8px 12px;display:flex;align-items:center;gap:10px;border-bottom:1px solid var(--line-soft);border-radius:8px 8px 0 0;background:var(--surface-subtle)}.assertion-card--violated .card-header{border-bottom-color:var(--red-line);background:var(--red-soft)}.card-meta{min-width:0;overflow:hidden;color:var(--muted);font-size:13px;text-overflow:ellipsis;white-space:nowrap}.card-open{width:28px;height:28px;margin-left:auto;flex:0 0 auto;display:grid;place-items:center;border:0;border-radius:4px;color:var(--muted);background:transparent;cursor:pointer}.card-open svg{width:16px}.card-open:hover{color:var(--ink);background:#0505060f}.card-body{padding:14px 16px 16px}.assertion-card h3{margin:0 0 6px;color:var(--ink-strong);font-size:16px;line-height:1.3;font-weight:600}.assertion-card--paused .card-body,.assertion-card--unavailable .card-body{opacity:.72}.card-footer{min-height:40px;padding:7px 12px;display:flex;align-items:center;justify-content:space-between;gap:10px;border-top:1px solid var(--line-soft);border-radius:0 0 8px 8px;background:var(--surface-subtle)}.pill{width:fit-content;height:24px;padding:0 9px 0 3px;display:inline-flex;flex:0 0 auto;align-items:center;gap:5px;border:1px solid currentColor;border-radius:999px;background:var(--surface);font-size:12px;line-height:1;font-weight:600;white-space:nowrap}.pill:not(:has(.status-icon)){padding-left:9px}.status-icon{width:16px;height:16px;flex:0 0 auto}.pill--violated{color:var(--red-text)}.pill--monitoring{color:var(--green)}.pill--paused,.pill--unavailable{color:var(--muted)}.pill--pending,.pill--needs-review{color:var(--amber-text)}.pill--demo,.pill--fixture{color:var(--purple-strong)}.tab-count{min-width:22px;height:18px;margin-left:7px;padding:0 6px;display:inline-grid;place-items:center;border-radius:999px;color:var(--muted);background:var(--surface-hover);font-size:12px;font-weight:500}.filters button.is-active .tab-count{color:var(--ink-strong)}.meaning-sentence{margin:0;color:inherit;font-size:15px;line-height:1.7}.assertion-card .meaning-sentence{font-size:14px;line-height:1.6}.meaning-sentence--plain{color:var(--muted)}.meaning-chip-wrap{position:relative;display:inline}.chip-glue{white-space:nowrap}.meaning-chip{margin:0;padding:0 2px;border:0;border-bottom:1px solid var(--purple);border-radius:2px 2px 0 0;color:var(--purple-strong);background:var(--purple-soft);cursor:pointer;font-weight:600;line-height:inherit}.meaning-chip:hover:not(:disabled),.meaning-chip.is-linked{color:#fff;background:var(--purple)}.meaning-popover{position:absolute;z-index:80;top:calc(100% + 8px);left:0;width:min(260px,75vw);padding:4px;display:grid;gap:2px;border:1px solid var(--line);border-radius:6px;color:var(--ink);background:var(--surface);box-shadow:var(--shadow-lg)}.meaning-popover>button{width:100%;padding:8px 10px;display:grid;gap:2px;border:0;border-radius:4px;color:inherit;background:transparent;text-align:left;cursor:pointer}.meaning-popover>button:hover{background:var(--surface-hover)}.meaning-popover>button[aria-selected=true]{color:var(--purple-strong);background:var(--purple-soft)}.meaning-popover span{font-size:14px}.meaning-popover small{color:var(--muted);font-size:12px}.compact-meaning{color:var(--muted)}.choice-chip:disabled{cursor:default}.choice-chip.is-empty{border-bottom-style:dashed;color:var(--amber-text);border-color:var(--amber);background:var(--amber-soft)}.choice-popover{position:fixed;z-index:300;width:min(300px,80vw);max-height:min(360px,60vh);overflow-y:auto;line-height:1.4}.choice-note{padding:6px 10px;color:var(--muted);font-size:12px}.choice-free{display:flex;gap:6px;padding:6px 4px 3px;border-top:1px solid var(--line-soft)}.choice-free input{flex:1;min-width:0;padding:6px 8px;border:1px solid var(--line-strong);border-radius:4px;color:var(--ink);background:var(--surface);font-size:13px}.choice-free button,.choice-apply{padding:6px 10px;border:0;border-radius:4px;color:#fff;background:var(--blue);font-size:13px;cursor:pointer}.choice-free button:hover,.choice-apply:hover:not(:disabled){background:var(--blue-strong)}.choice-apply:disabled{opacity:.45;cursor:not-allowed}.rule-value{font-weight:600}.rule-duration{padding:0 3px;border-radius:3px;color:var(--purple-strong);background:var(--purple-soft);font-weight:600}.rule-bound{font-style:italic}.reading-heading{display:flex;align-items:baseline;justify-content:space-between;gap:12px}.reading-toggle{padding:0;border:0;color:var(--blue);background:transparent;font-size:13px;cursor:pointer}.reading-toggle:hover{text-decoration:underline}.rule-source{margin-top:12px}.rule-source>summary{color:var(--blue);font-size:13px;cursor:pointer}.rule-source pre{margin:8px 0 0;padding:12px;overflow-x:auto;border:1px solid var(--line);border-radius:4px;color:var(--ink);background:var(--surface-subtle);font:12px/1.55 var(--mono);white-space:pre}.trace-captured{color:var(--muted);font-size:11px}.review-note{min-height:0!important;margin:8px 0!important;padding:8px 10px;border:1px solid var(--amber-line);border-radius:4px;color:var(--amber-text)!important;background:var(--amber-soft);font-size:12px!important}.provider-list{display:flex;flex-wrap:wrap;gap:4px 12px}.provider-badge{display:inline-flex;align-items:center;gap:5px;color:var(--muted);font-size:12px;font-weight:500}.provider-badge>span{font-size:11px}.provider-badge--gitlab>span{color:var(--orange-deep)}.provider-badge--sentry>span{color:#6c5fc7}.provider-badge--stripe>span{color:#635bff}.provider-badge--linear>span{color:#5e6ad2}.provider-badge--launchdarkly>span{color:#405bff}.provider-badge--posthog>span{color:var(--amber)}.provider-badge--intercom>span{color:#1f8ded}.detail .provider-list{gap:6px}.detail .provider-badge{padding:3px 9px;border:1px solid var(--line);border-radius:999px;background:var(--surface)}.custom-label{padding:1px 7px;border-radius:999px;color:var(--purple-strong);background:var(--purple-soft);font-size:12px;font-weight:500}.assertion-card.is-compact .card-body{padding:10px 12px 12px}.assertion-card.is-compact h3{font-size:15px}.assertion-card.is-compact p{min-height:0;margin-bottom:0}.card-grid.is-compact{column-count:4}.detail-drawer{position:fixed;z-index:20;top:var(--topbar);right:0;bottom:0;width:min(500px,39vw);box-shadow:-12px 0 40px #0505061a;animation:detail-in .28s cubic-bezier(.2,.8,.2,1) both}.detail-drawer.is-closing{pointer-events:none;animation:detail-out .22s cubic-bezier(.4,0,1,1) both}@keyframes detail-in{0%{transform:translate(100%)}to{transform:none}}@keyframes detail-out{0%{transform:none}to{transform:translate(100%)}}.detail{height:100%;display:flex;flex-direction:column;border-left:1px solid var(--line);background:var(--surface)}.detail-scroll{min-height:0;flex:1;overflow-y:auto}.detail-header{padding:24px 28px 20px;display:grid;grid-template-columns:auto minmax(0,1fr) auto;gap:14px 12px;border-bottom:1px solid var(--line)}.detail-back{align-self:start;margin-left:-9px}.detail-title h2{margin:0;color:var(--ink-strong);font-size:22px;line-height:1.25;font-weight:600;letter-spacing:-.02em}.detail-title .eyebrow{margin-bottom:8px}.detail-header>.pill{align-self:start;margin-top:0}.detail-actions{grid-column:2 / -1;display:flex;gap:8px}.detail-actions button,.detail-footer button,.settings-panel button{min-height:32px;padding:0 12px;display:inline-flex;align-items:center;gap:6px;border:1px solid var(--line-strong);border-radius:4px;color:var(--ink);background:var(--surface);font-size:14px;cursor:pointer}.detail-actions svg,.detail-footer svg{width:15px}.detail-actions button:hover,.detail-footer button:hover,.settings-panel button:hover:not(:disabled){background:var(--surface-hover)}.detail-meta{padding:16px 28px;display:grid;grid-template-columns:repeat(3,1fr);gap:15px;border-bottom:1px solid var(--line);background:var(--surface-subtle)}.detail-meta span{color:var(--ink);font-size:14px}.detail-meta small{margin-bottom:4px;display:block;color:var(--muted);font-size:12px}.detail-tabs{padding:0 28px;display:flex;gap:22px;overflow-x:auto;border-bottom:1px solid var(--line);scrollbar-width:none}.detail-tabs button{position:relative;flex:0 0 auto;padding:14px 0 12px;white-space:nowrap;border:0;color:var(--muted);background:transparent;font-size:14px;cursor:pointer}.detail-tabs button:hover{color:var(--ink)}.detail-tabs button.is-active{color:var(--ink-strong);font-weight:600}.detail-tabs button.is-active:after{content:"";position:absolute;left:0;right:0;bottom:-1px;height:2px;background:var(--purple)}.detail-content{padding:8px 28px 60px}.detail-section{padding:22px 0;display:grid;grid-template-columns:28px minmax(0,1fr);gap:10px;border-bottom:1px solid var(--line-soft)}.section-index{padding-top:3px;color:var(--faint);font:11px var(--mono)}.detail-section h3,.counterexample h3{margin:0 0 10px;color:var(--ink-strong);font-size:16px;font-weight:600}.detail-section p{color:var(--muted);font-size:14px;line-height:1.55}.detail-section .meaning-sentence{color:var(--ink)}.formula-block{padding:14px;display:block;overflow-x:auto;border:1px solid var(--line);border-radius:4px;color:var(--ink);background:var(--surface-subtle);font:12px/1.5 var(--mono);white-space:pre-wrap}.scope-grid{display:grid;grid-template-columns:1fr 1fr;gap:8px}.scope-grid span{padding:10px;border:1px solid var(--line);border-radius:4px;color:var(--ink);background:var(--surface-subtle);font:12px var(--mono)}.scope-grid small{margin-bottom:5px;display:block;color:var(--muted);font:11px ui-sans-serif,sans-serif}.quiet-panel{margin:22px 0;padding:14px 16px;display:flex;gap:12px;border:1px solid var(--green-line);border-radius:6px;background:var(--green-soft)}.quiet-panel svg{width:20px;flex:0 0 auto;color:var(--green)}.quiet-panel h3{margin-bottom:4px;color:var(--green-text);font-size:14px}.quiet-panel p{margin:0;color:var(--ink);font-size:13px;line-height:1.5}.review-panel{margin:22px 0;padding:14px 16px;display:flex;gap:12px;border:1px solid var(--amber-line);border-radius:6px;background:var(--amber-soft)}.review-panel svg{width:20px;flex:0 0 auto;color:var(--amber)}.review-panel h3{margin-bottom:4px;color:var(--amber-text);font-size:14px}.review-panel p{margin:0;color:var(--ink);font-size:13px;line-height:1.5}.detail-footer{flex:0 0 auto;min-height:64px;padding:10px 24px 10px 28px;display:flex;align-items:center;gap:24px;border-top:1px solid var(--line);background:var(--surface-subtle)}.detail-footer>div{display:grid;gap:2px}.detail-footer span{color:var(--muted);font-size:12px}.detail-footer strong{color:var(--ink);font-size:14px;font-weight:600}.detail-footer button{margin-left:auto;white-space:nowrap}.rule-overview{padding:20px 0 8px;display:grid;gap:14px}.rule-overview .reading-heading h3{margin:0;color:var(--ink-strong);font-size:14px;font-weight:600}.rule-overview .meaning-sentence{color:var(--ink-strong);font-size:17px;line-height:1.65}.reading-hint{margin:-6px 0 0;color:var(--muted);font-size:13px}.detail-request{margin:0;padding:10px 12px;display:grid;gap:3px;border-left:3px solid var(--line-strong);border-radius:0 4px 4px 0;color:var(--ink);background:var(--surface-subtle);font-size:14px;line-height:1.5}.detail-request span{color:var(--muted);font-size:12px;font-weight:600}.detail-request q{font-style:normal}.rule-overview .review-panel,.rule-overview .rule-source{margin:0}.break-list{padding:16px 0;display:grid;gap:8px}.counterexample{border:1px solid var(--line);border-radius:6px;background:var(--surface)}.counterexample[open]{border-color:var(--red-line);box-shadow:var(--shadow-sm)}.counterexample>summary{padding:11px 12px;display:grid;grid-template-columns:16px minmax(0,1fr) 16px;align-items:start;gap:10px;list-style:none;cursor:pointer}.counterexample>summary::-webkit-details-marker{display:none}.counterexample>summary:hover{background:var(--surface-subtle)}.counterexample[open]>summary{border-bottom:1px solid var(--line-soft);border-radius:6px 6px 0 0;background:var(--red-soft)}.counterexample>summary .status-icon{margin-top:2px;color:var(--red)}.break-title{min-width:0;display:grid;gap:2px}.break-title{gap:5px}.break-title h3{margin:0;display:flex;justify-content:space-between;gap:10px;color:var(--ink-strong);font-size:14px;font-weight:600;line-height:1.4}.break-title h3 span{color:var(--muted);font-size:12px;font-weight:400;white-space:nowrap}.break-title .activity-tags{margin:0}.break-title>span{color:var(--muted);font-size:12px}.break-chevron{width:16px;margin-top:2px;color:var(--muted);transition:transform .15s}.counterexample[open] .break-chevron{transform:rotate(90deg)}.break-body{padding:14px 14px 10px}.trace-timeline,.activity-feed ol{margin:0;padding:0;list-style:none}.trace-timeline li,.activity-feed li{position:relative;padding:0 0 16px 36px}.trace-timeline li:not(:last-child):before,.activity-feed li:not(:last-child):before{content:"";position:absolute;left:12px;top:26px;bottom:2px;width:1px;background:var(--line)}.timeline-mark{position:absolute;left:0;top:0;z-index:1;width:25px;height:25px;display:grid;place-items:center;border:1px solid var(--line);border-radius:50%;color:var(--muted);background:var(--surface);font-size:11px}.timeline-mark svg{width:14px}.timeline-mark.provider-icon--gitlab{color:var(--orange-deep)}.timeline-mark.provider-icon--sentry{color:#6c5fc7}.timeline-mark.provider-icon--stripe{color:#635bff}.timeline-mark.provider-icon--linear{color:#5e6ad2}.timeline-mark.provider-icon--launchdarkly{color:#405bff}.timeline-mark.provider-icon--posthog{color:var(--amber)}.timeline-mark.provider-icon--intercom{color:#1f8ded}.trace-timeline li.is-breaking .timeline-mark{border-color:var(--red);box-shadow:0 0 0 3px var(--red-soft)}.trace-line{min-height:25px;display:flex;align-items:baseline;justify-content:space-between;gap:12px;padding-top:3px}.trace-line p{min-width:0;margin:0;color:var(--ink);font-size:14px;line-height:1.45}.trace-line strong{color:var(--ink-strong);font-weight:600}.trace-kind{color:var(--muted);font:12px var(--mono)}.trace-subject{color:var(--ink)}.trace-line time{flex:0 0 auto;color:var(--muted);font-size:12px;white-space:nowrap}.trace-links{margin-top:6px;display:flex;flex-wrap:wrap;align-items:baseline;gap:6px 12px}.trace-captured{height:22px;padding:0 7px;display:inline-flex;align-items:center;border-radius:4px;color:var(--ink);background:var(--surface-hover);font:12px/1 var(--mono)}.trace-links a{color:var(--blue);font-size:12px;text-decoration:none}.trace-links a:hover{text-decoration:underline}.trace-verdict{margin:8px 0 0;display:inline-flex;align-items:center;gap:6px;color:var(--red-text);font-size:13px;font-weight:600}.trace-verdict .status-icon{width:14px;height:14px;color:var(--red)}.valuation{margin-top:8px;display:flex;flex-wrap:wrap;gap:4px}.valuation span{padding:2px 6px;border-radius:3px;font:11px var(--mono)}.valuation .is-true{color:var(--green-text);background:var(--green-soft)}.valuation .is-false{color:var(--muted);background:var(--surface-hover)}.advanced-evidence{color:var(--muted);font-size:12px}.advanced-evidence summary{cursor:pointer}.advanced-evidence summary:hover{color:var(--ink)}.trace-links .advanced-evidence{flex-basis:100%}.predicate-explanations p{margin:5px 0;padding:6px 8px;border-radius:4px;color:var(--ink);background:var(--surface-subtle);font:11px/1.45 var(--mono);overflow-wrap:anywhere}.counterexample-engine-details{margin:4px 0 0;padding:10px 0 2px;border-top:1px solid var(--line-soft)}.counterexample-engine-details dl{margin:9px 0 0;display:grid;gap:7px}.counterexample-engine-details dl>div{display:grid;grid-template-columns:110px minmax(0,1fr);gap:8px}.counterexample-engine-details dt{color:var(--muted)}.counterexample-engine-details dd{margin:0;color:var(--ink);overflow-wrap:anywhere}.counterexample-engine-details code{font-family:var(--mono)}.evidence-note{margin:10px 0 0;color:var(--muted);font-size:12px;line-height:1.5}.activity-feed{padding:8px 0 16px}.activity-intro{margin:12px 0 0;color:var(--muted);font-size:13px}.activity-feed li.is-other>div{opacity:.55}.activity-feed li.is-other .timeline-mark{color:var(--faint)}.activity-other{height:18px;margin-left:8px;padding:0 7px;display:inline-flex;align-items:center;vertical-align:2px;border:1px solid var(--line);border-radius:999px;color:var(--muted);font-size:11px;line-height:1;white-space:nowrap}.activity-feed h4{margin:16px 0 12px;color:var(--muted);font-size:12px;font-weight:600;letter-spacing:.04em;text-transform:uppercase}.activity-tags{margin-top:6px;display:flex;flex-wrap:wrap;gap:4px}.activity-tags code{height:22px;padding:0 7px;display:inline-flex;align-items:center;gap:5px;border:1px solid var(--line);border-radius:4px;color:var(--ink-strong);background:var(--surface);font:500 12px/1 GitLab Sans,Inter,ui-sans-serif,-apple-system,sans-serif}.activity-tags code span{color:var(--muted);font-weight:400}.investigation-panel{padding:20px 0}.investigation-card{padding:16px;display:grid;gap:8px;justify-items:start;border:1px solid var(--line);border-radius:6px;background:var(--surface);box-shadow:var(--shadow-sm)}.investigation-card h3{margin:4px 0 0;color:var(--ink-strong);font-size:16px;font-weight:600}.investigation-card p{margin:0;color:var(--muted);font-size:14px;line-height:1.5}.simulated-mark{height:22px;padding:0 9px;display:inline-flex;align-items:center;border:1px solid currentColor;border-radius:999px;color:var(--purple-strong);font-size:12px;font-weight:600;line-height:1;text-transform:capitalize}.investigation-actions{margin-top:6px;display:flex;align-items:center;gap:12px}.investigation-actions button{min-height:32px;padding:0 12px;border:0;border-radius:4px;color:#fff;background:var(--blue);font-size:14px;cursor:pointer}.investigation-actions button:hover:not(:disabled){background:var(--blue-strong)}.investigation-actions a{font-size:14px;text-decoration:none}.page{max-width:1240px;margin:0 auto}.page-heading{margin-bottom:24px}.page-heading>p{max-width:660px}.page-summary{margin-bottom:18px;display:grid;grid-template-columns:repeat(4,1fr);border:1px solid var(--line);border-radius:8px;background:var(--surface)}.page-summary>div{padding:16px;display:grid;gap:6px;border-right:1px solid var(--line)}.page-summary>div:last-child{border-right:0}.page-summary span{color:var(--muted);font-size:12px}.page-summary strong{color:var(--ink-strong);font-size:20px;font-weight:600;text-transform:capitalize}.page-panel{border:1px solid var(--line);border-radius:8px;background:var(--surface)}.panel-heading{padding:18px 20px;display:flex;align-items:flex-start;justify-content:space-between;border-bottom:1px solid var(--line)}.panel-heading h2{margin:0 0 4px;color:var(--ink-strong);font-size:17px;font-weight:600}.panel-heading p{margin:0;color:var(--muted);font-size:13px}.event-table article{min-height:64px;padding:12px 18px;display:grid;grid-template-columns:38px 1fr auto;align-items:center;gap:13px;border-bottom:1px solid var(--line-soft)}.event-table article:hover{background:var(--surface-subtle)}.event-table article:last-child{border-bottom:0}.provider-icon{width:34px;height:34px;display:grid;place-items:center;border:1px solid var(--line);border-radius:50%;color:var(--muted);background:var(--surface-subtle)}.provider-icon--gitlab{color:var(--orange-deep)}.provider-icon--linear{color:#5e6ad2}.provider-icon--sentry{color:#6c5fc7}.provider-icon--launchdarkly{color:#405bff}.provider-icon--posthog{color:#c17d10}.provider-icon--intercom{color:#1f8ded}.provider-icon--stripe{color:#635bff}.event-table strong{color:var(--ink-strong);font-size:14px}.event-table p{margin:3px 0;color:var(--muted);font:12px var(--mono)}.event-table div>span{color:var(--muted);font-size:12px}.event-table time{color:var(--muted);font-size:12px}.notice{margin-bottom:20px;padding:14px 16px;display:flex;gap:12px;border:1px solid var(--blue-soft);border-radius:6px;background:var(--blue-soft)}.notice svg{width:20px;flex:0 0 auto;color:var(--blue)}.notice strong{color:var(--ink-strong);font-size:14px}.notice p{margin:4px 0 0;color:var(--ink);font-size:13px;line-height:1.45}.connection-grid{display:grid;grid-template-columns:repeat(3,1fr);gap:12px}.connection-grid article{min-height:120px;padding:18px;display:grid;grid-template-columns:44px 1fr auto;align-items:start;align-content:start;gap:12px;border:1px solid var(--line);border-radius:8px;background:var(--surface);box-shadow:var(--shadow-sm)}.connection-grid h2{margin:3px 0 4px;color:var(--ink-strong);font-size:16px;font-weight:600}.connection-grid p{margin:0;color:var(--muted);font-size:13px}.connection-grid dl{grid-column:1 / -1;margin:auto 0 0;border-top:1px solid var(--line-soft)}.connection-grid dl>div{padding-top:8px;display:flex;justify-content:space-between;color:var(--muted);font-size:12px}.connection-grid dt,.connection-grid dd{margin:0}.connect-button{padding:6px 12px;border:0;border-radius:4px;color:#fff;background:var(--blue);font-size:13px;font-weight:600;cursor:pointer;white-space:nowrap}.connect-button:hover{background:var(--blue-strong)}.connection-routes{grid-column:1 / -1;margin:4px 0 0;padding:10px 0 0;display:grid;gap:10px;list-style:none;border-top:1px solid var(--line-soft)}.connection-routes li{display:grid;grid-template-columns:10px minmax(0,1fr);gap:4px 10px;align-items:start}.connection-routes strong{display:block;font-size:13px;font-weight:600;line-height:1.4}.connection-routes small{display:block;margin-top:3px;color:var(--muted);font-size:12px;overflow-wrap:anywhere}.connection-actions{grid-column:2;display:flex;gap:6px}.connection-actions button{padding:4px 10px;border:1px solid var(--line-strong);border-radius:4px;color:var(--ink);background:var(--surface);font-size:12px;cursor:pointer}.connection-actions button:hover{background:var(--surface-hover)}.connect-dot{width:8px;height:8px;margin-top:5px;border-radius:50%;background:var(--faint)}.connect-dot--ok{background:var(--green);box-shadow:0 0 0 3px var(--green-soft)}.connect-dot--warning{background:var(--amber)}.connect-dot--error{background:var(--red)}.connect-modal{width:min(680px,100%)}.connect-status{margin:18px 24px 0;padding:10px 12px;display:flex;gap:10px;align-items:center;border:1px solid var(--line);border-radius:6px;font-size:14px}.connect-status--ok{border-color:var(--green-line);background:var(--green-soft);color:var(--green-text)}.connect-status--warning{border-color:var(--amber-line);background:var(--amber-soft);color:var(--amber-text)}.connect-status--error{border-color:var(--red-line);background:var(--red-soft);color:var(--red-text)}.connect-status--waiting{color:var(--muted)}.connect-status--ok .live-dot{background:var(--green)}.connect-status--error .live-dot{background:var(--red)}.connect-status--waiting .live-dot{animation:connect-pulse 1.4s ease-in-out infinite}@keyframes connect-pulse{50%{opacity:.3}}.connect-body{padding:16px 24px 24px;display:grid;gap:16px}.copy-field>span{display:block;margin-bottom:6px;color:var(--ink);font-size:13px;font-weight:600}.copy-field>div{display:flex;gap:8px;align-items:stretch}.copy-field code,.copy-field pre{flex:1;min-width:0;margin:0;padding:9px 12px;overflow-x:auto;border:1px solid var(--line);border-radius:4px;color:var(--ink);background:var(--surface-subtle);font:12px/1.5 var(--mono);white-space:pre}.copy-field button,.connect-secret label button{padding:0 12px;border:1px solid var(--line-strong);border-radius:4px;color:var(--ink);background:var(--surface);font-size:13px;cursor:pointer}.copy-field button:hover,.connect-secret label button:hover{background:var(--surface-hover)}.connect-warning{margin:0;padding:10px 12px;display:flex;gap:10px;border:1px solid var(--amber-line);border-radius:6px;color:var(--ink);background:var(--amber-soft);font-size:13px;line-height:1.5}.connect-warning svg{width:18px;flex:0 0 auto;color:var(--amber)}.connect-warning code{color:var(--amber-text);font:12px var(--mono)}.connect-steps{margin:0;padding-left:20px;display:grid;gap:7px;color:var(--ink);font-size:14px;line-height:1.5}.connect-secret{display:grid;gap:12px;padding-top:14px;border-top:1px solid var(--line-soft)}.connect-secret>label{display:grid;gap:7px;color:var(--ink);font-size:13px;font-weight:600}.connect-secret>label>div{display:flex;gap:8px}.connect-secret input[type=password]{flex:1;min-width:0;padding:9px 12px;border:1px solid var(--line-strong);border-radius:4px;outline:0;color:var(--ink);background:var(--surface);font:13px var(--mono)}.connect-secret input[type=password]:focus{border-color:var(--focus);box-shadow:0 0 0 1px var(--focus)}.connect-secret .primary-button{justify-self:start;min-height:36px;padding:0 16px;border:0;border-radius:4px;color:#fff;background:var(--blue);font-weight:600;cursor:pointer}.connect-secret .primary-button:hover:not(:disabled){background:var(--blue-strong)}.connect-secret .primary-button:disabled{opacity:.45;cursor:not-allowed}.connect-modes{display:grid;grid-template-columns:repeat(auto-fit,minmax(220px,1fr));gap:8px}.connect-modes label{padding:10px 12px;display:grid;grid-template-columns:auto 1fr;gap:3px 8px;border:1px solid var(--line);border-radius:6px;cursor:pointer}.connect-modes label.is-active{border-color:var(--purple);background:var(--purple-soft)}.connect-modes input{grid-row:span 2;margin-top:3px;accent-color:var(--purple)}.connect-modes strong{font-size:14px}.connect-modes span{color:var(--muted);font-size:12px;line-height:1.4}.connect-test{margin:0;color:var(--muted);font-size:13px;line-height:1.5}.connect-test strong{color:var(--ink)}.settings-panel{padding:20px;display:flex;align-items:center;justify-content:space-between;gap:30px;border-top:1px solid var(--line)}.settings-panel:last-child{border-bottom:1px solid var(--line)}.settings-panel h2{margin:0 0 6px;color:var(--ink-strong);font-size:16px;font-weight:600}.settings-panel p{max-width:640px;margin:0;color:var(--muted);font-size:14px;line-height:1.5}.settings-panel button{flex:0 0 auto}.settings-panel .danger-button{color:#fff;border-color:var(--red);background:var(--red)}.settings-panel .danger-button:hover:not(:disabled){background:var(--red-text)}.settings-panel.is-muted{opacity:.65}.empty-state{min-height:240px;padding:60px 20px;display:grid;justify-items:center;text-align:center}.empty-orbit{width:54px;height:54px;margin-bottom:18px;display:grid;place-items:center;border:1px solid var(--line);border-radius:50%;background:var(--surface)}.empty-orbit span{width:8px;height:8px;border-radius:50%;background:var(--purple)}.empty-state h3{margin:0 0 6px;color:var(--ink-strong);font-size:16px}.empty-state p{max-width:380px;margin:0;color:var(--muted);font-size:14px}.modal-layer{position:fixed;z-index:100;inset:0;padding:30px;display:grid;place-items:center;overflow-y:auto;background:#1f1e2473}.modal{width:min(720px,100%);max-height:calc(100vh - 60px);overflow-y:auto;border:1px solid var(--line);border-radius:8px;color:var(--ink);background:var(--surface);box-shadow:var(--shadow-lg)}.modal>header{padding:20px 24px;display:flex;align-items:flex-start;justify-content:space-between;gap:20px;border-bottom:1px solid var(--line)}.modal h2{margin:0;color:var(--ink-strong);font-size:22px;font-weight:600;letter-spacing:-.02em}.honesty-note{margin:20px 24px 12px;padding:12px 14px;display:flex;gap:11px;border:1px solid var(--blue-soft);border-radius:6px;background:var(--blue-soft)}.honesty-note svg{width:20px;flex:0 0 auto;color:var(--blue)}.honesty-note p{margin:0;color:var(--ink);font-size:13px;line-height:1.45}.honesty-note strong{display:block;margin-bottom:3px;color:var(--ink-strong)}.authoring-modal blockquote{margin:12px 24px 18px;padding:14px 16px;border-left:3px solid var(--purple);border-radius:0 4px 4px 0;color:var(--ink);background:var(--surface-subtle);font-size:16px;line-height:1.45}.template-list{padding:0 24px 24px;display:grid;gap:8px}.template-list>button{width:100%;padding:14px;display:grid;grid-template-columns:30px 1fr 20px;gap:11px;border:1px solid var(--line);border-radius:6px;color:inherit;background:var(--surface);text-align:left;cursor:pointer}.template-list>button:hover{border-color:var(--purple-line);background:var(--purple-soft)}.template-index{color:var(--faint);font:11px var(--mono)}.template-list strong{color:var(--ink-strong);font-size:15px}.template-list p{margin:4px 0 8px;color:var(--muted);font-size:13px;line-height:1.45}.template-list div>span{color:var(--purple-strong);font-size:12px}.template-list svg{width:18px;color:var(--muted)}.edit-modal{width:min(820px,100%)}.edit-modal>label{margin:18px 24px;display:grid;gap:8px;color:var(--ink);font-size:14px;font-weight:600}.edit-modal label>span{color:var(--muted);font-size:12px;font-weight:400}.edit-modal textarea{width:100%;resize:vertical;padding:10px 12px;border:1px solid var(--line-strong);border-radius:4px;outline:0;color:var(--ink);background:var(--surface);line-height:1.45}.edit-modal textarea:focus,.edit-modal input:focus,.rule-input:focus{border-color:var(--focus);box-shadow:0 0 0 1px var(--focus)}.edit-modal .code-input{font:12px/1.5 var(--mono)}.edit-modal .json-input{min-height:180px}.advanced-editor{margin:14px 24px 20px;padding:12px 14px;border:1px solid var(--line);border-radius:6px;background:var(--surface-subtle)}.advanced-editor>summary{color:var(--ink);font-size:14px;font-weight:600;cursor:pointer}.advanced-editor>p{margin:12px 0;color:var(--muted);font-size:13px;line-height:1.55}.advanced-editor>label{margin:12px 0 0;display:grid;gap:8px;color:var(--ink);font-size:13px}.rule-editor{margin:0 24px 6px;display:grid;gap:12px}.rule-preview{padding:14px 16px;display:grid;gap:6px;border:1px solid var(--purple-line);border-radius:6px;background:var(--purple-soft)}.rule-preview .meaning-sentence{margin-top:6px;color:var(--ink);font-size:15px}.rule-preview .meaning-chip{background:var(--surface)}.choice-missing{margin:6px 0 0;color:var(--amber-text);font-size:13px}.rule-errors{margin:0;padding:10px 12px 10px 28px;border:1px solid var(--red-line);border-radius:6px;color:var(--red-text);background:var(--red-soft);font-size:13px;line-height:1.5}.rule-errors code{margin-right:8px;font:12px var(--mono)}.rule-editor .advanced-editor{margin:0}.rule-editor .advanced-editor code{color:var(--purple-strong);font:12px var(--mono)}.rule-input{width:100%;min-height:200px;resize:vertical;padding:10px 12px;border:1px solid var(--line-strong);border-radius:4px;outline:0;color:var(--ink);background:var(--surface);font:12px/1.55 var(--mono)}.example-heading{padding:14px 24px 8px}.authoring-footer{position:sticky;bottom:0;background:var(--surface)}.edit-modal input{width:100%;padding:8px 12px;border:1px solid var(--line-strong);border-radius:4px;outline:0;color:var(--ink);background:var(--surface);font:inherit;font-size:14px}.edit-legacy{margin:0 24px 12px;color:var(--amber-text);font-size:13px}.unsupported-copy{padding:22px 24px 10px}.unsupported-copy blockquote{margin:0 0 18px;padding:12px 14px;border-left:3px solid var(--red);color:var(--ink);background:var(--red-soft)}.unsupported-copy h3{margin-bottom:8px;color:var(--ink-strong);font-size:16px;font-weight:600}.unsupported-copy p,.alternative-card p{color:var(--muted);font-size:13px;line-height:1.5}.alternative-card{margin:0 24px 24px;padding:14px;display:grid;gap:5px;border:1px solid var(--purple-line);border-radius:6px;background:var(--purple-soft)}.alternative-card>span{color:var(--purple-strong);font-size:12px;font-weight:600}.alternative-card strong{font-size:15px}.alternative-card p{margin:0}.form-error{margin:0 24px;padding:10px 12px;border:1px solid var(--red-line);border-radius:4px;color:var(--red-text);background:var(--red-soft);font-size:13px}.modal>footer{padding:14px 24px;display:flex;justify-content:flex-end;gap:8px;border-top:1px solid var(--line);background:var(--surface-subtle)}.modal>footer button{min-height:36px;padding:0 14px;border:1px solid var(--line-strong);border-radius:4px;color:var(--ink);background:var(--surface);font-size:14px;cursor:pointer}.modal>footer button:hover:not(:disabled){background:var(--surface-hover)}.modal>footer .primary-button{color:#fff;border-color:var(--blue);background:var(--blue);font-weight:600}.modal>footer .primary-button:hover:not(:disabled){background:var(--blue-strong)}.replaying{position:fixed;z-index:90;top:70px;left:50%;padding:8px 12px;display:flex;align-items:center;gap:8px;border:1px solid var(--line);border-radius:6px;color:var(--ink);background:var(--surface);box-shadow:var(--shadow-lg);font-size:13px}.replaying span{width:10px;height:10px;border:2px solid var(--purple);border-top-color:transparent;border-radius:50%;animation:spin .7s linear infinite}.toast{position:fixed;z-index:120;left:calc(var(--sidebar) + 24px);bottom:24px;padding:10px 14px;border-radius:6px;color:#fff;background:var(--ink-strong);box-shadow:var(--shadow-lg);font-size:14px}.error-banner{position:fixed;z-index:121;right:20px;bottom:20px;max-width:420px;padding:12px 42px 12px 14px;display:grid;gap:4px;border:1px solid var(--red-line);border-radius:6px;color:var(--ink);background:var(--red-soft);box-shadow:var(--shadow-lg);font-size:13px}.error-banner strong{color:var(--red-text)}.error-banner button{position:absolute;top:6px;right:6px;width:28px;height:28px;border:0;background:transparent;cursor:pointer}.error-banner svg{width:16px}.boot-screen{min-height:100vh;display:grid;place-content:center;justify-items:center;background:var(--bg)}.boot-screen .brand{font-size:48px}.boot-line{width:120px;height:2px;margin:22px 0 12px;overflow:hidden;border-radius:2px;background:var(--line)}.boot-line:after{content:"";width:40%;height:100%;display:block;background:var(--purple);animation:loading 1.1s ease-in-out infinite}.boot-screen p{color:var(--muted);font-size:13px}@keyframes spin{to{transform:rotate(360deg)}}@keyframes loading{0%{transform:translate(-110%)}to{transform:translate(260%)}}::view-transition-old(root){display:none}::view-transition-new(root){animation:none}.assertion-card.is-selected{border-color:var(--purple);box-shadow:0 0 0 1px var(--purple),var(--shadow-lg)}@media(min-width:1760px){.board.has-detail{max-width:calc(100% - 500px)}}@media(max-width:1180px){:root{--sidebar: 194px}.board,.page{padding-left:26px;padding-right:26px}.detail-drawer{width:min(460px,44vw)}.card-grid{column-count:2}.connection-grid{grid-template-columns:repeat(2,1fr)}.detail-header,.detail-meta,.detail-tabs,.detail-content{padding-left:22px;padding-right:22px}}@media(max-width:800px){:root{--sidebar: 0px;--topbar: 50px}.app-shell{display:block;padding:var(--topbar) 0 66px}.sidebar{z-index:60;top:auto;right:0;bottom:0;width:100%;height:64px;border:0;border-top:1px solid var(--line);background:var(--surface)}.brand-button,.sidebar-foot{display:none}.sidebar nav{height:100%;padding:6px 8px 5px;display:grid;grid-template-columns:repeat(4,1fr);gap:2px}.nav-item{height:52px;padding:4px;display:flex;flex-direction:column;justify-content:center;gap:3px;border-radius:6px;font-size:11px;text-align:center}.nav-item.is-active:before{inset:0 30% auto;width:auto;height:3px;border-radius:0 0 3px 3px}.nav-count{position:absolute;margin:-23px 0 0 24px;min-width:17px;height:17px;font-size:10px}.topbar{left:0;height:var(--topbar);padding:0 12px;justify-content:flex-start}.global-search{width:calc(100% - 86px);height:38px}.global-search kbd{display:none}.top-actions{right:10px}.source-button{display:none}.workspace{display:block}.board,.page{width:100%;padding:28px 16px 50px}.board.has-detail{display:none}.board-heading{align-items:flex-start}.board-heading h1,.page-heading h1{font-size:26px}.board-heading>div:first-child>p,.page-heading>p{margin-top:6px;font-size:14px}.composer>div{height:46px}.composer input{font-size:15px}.composer>span{line-height:1.4}.board-tools{align-items:flex-end;overflow-x:auto}.filters{gap:20px}.filters button{font-size:13px;white-space:nowrap}.view-tools>button:first-child{display:none}.card-grid,.card-grid.is-compact{column-count:1}.detail-drawer{z-index:50;width:100%}.detail{border-left:0}.detail-header{padding-top:20px;grid-template-columns:auto minmax(0,1fr)}.detail-header>.pill{grid-column:2;margin-top:0}.detail-actions{grid-column:2;flex-wrap:wrap}.detail-tabs{gap:20px;overflow-x:auto}.detail-tabs button{white-space:nowrap;font-size:13px}.detail-content{padding-bottom:40px}.detail-footer{min-height:60px;padding-left:18px;gap:16px}.detail-footer>div:nth-child(2){display:none}.detail-footer button{font-size:0}.detail-footer button svg{width:18px}.counterexample{padding:13px}.counterexample>header{display:grid}.page-summary{grid-template-columns:1fr 1fr}.page-summary>div:nth-child(2){border-right:0}.page-summary>div:nth-child(-n+2){border-bottom:1px solid var(--line)}.connection-grid{grid-template-columns:1fr}.event-table article{grid-template-columns:34px 1fr}.event-table time{grid-column:2}.settings-panel{align-items:flex-start;flex-direction:column;gap:15px}.modal-layer{padding:12px;align-items:end}.modal{max-height:calc(100vh - 24px);border-radius:10px 10px 0 0}.authoring-modal blockquote{font-size:14px}.template-list>button{grid-template-columns:25px 1fr 18px}.toast{left:12px;right:12px;bottom:78px;text-align:center}.replaying{top:60px;left:50%;transform:translate(-50%);white-space:nowrap}}@media(max-width:420px){.detail-meta{grid-template-columns:1fr 1fr}.detail-meta span:last-child{display:none}.scope-grid{grid-template-columns:1fr}.page-summary strong{font-size:16px}.connection-grid article{grid-template-columns:38px 1fr}.connection-grid article>.pill{grid-column:2}}@media(prefers-reduced-motion:reduce){*,*:before,*:after{scroll-behavior:auto!important;animation-duration:.001ms!important;animation-iteration-count:1!important;transition-duration:.001ms!important}::view-transition-old(root),::view-transition-new(root){animation:none!important}}.flow-panel{margin-bottom:16px;padding:18px;display:grid;grid-template-columns:44px 1fr auto;gap:12px;align-items:start;border:1px solid var(--purple);border-radius:8px;background:linear-gradient(0deg,var(--purple-soft),var(--purple-soft)),var(--surface);box-shadow:var(--shadow-sm)}.flow-panel h2{margin:2px 0 4px;color:var(--ink-strong);font-size:16px;font-weight:600}.flow-panel p{margin:0;color:var(--muted);font-size:13px;line-height:1.5}.flow-panel p strong{color:var(--ink);font-weight:600}.flow-panel .connection-actions{grid-column:3;display:flex;gap:8px}.flow-panel .connection-actions .connect-button{padding:6px 12px;border:0;color:#fff;background:var(--blue);font-size:13px;font-weight:600}.flow-panel .connection-actions .connect-button:hover{background:var(--blue-strong)}.flow-form input[type=text]{flex:1;min-width:0;padding:9px 12px;border:1px solid var(--line-strong);border-radius:4px;outline:0;color:var(--ink);background:var(--surface);font:13px var(--mono)}.flow-form input[type=text]:focus,.flow-form textarea:focus{border-color:var(--focus);box-shadow:0 0 0 1px var(--focus)}.flow-form textarea{padding:9px 12px;border:1px solid var(--line-strong);border-radius:4px;outline:0;resize:vertical;color:var(--ink);background:var(--surface);font-size:13px;font-weight:400;line-height:1.5}.flow-form label button:disabled{opacity:.45;cursor:not-allowed}.flow-found{margin:-4px 0 0;color:var(--muted);font-size:13px}.flow-found strong{color:var(--ink)}.flow-toggle{display:flex!important;gap:10px;align-items:flex-start;font-weight:400!important;cursor:pointer}.flow-toggle input{margin-top:3px;accent-color:var(--purple)}.flow-toggle span{display:grid;gap:2px}.flow-toggle strong{font-size:14px;font-weight:600}.flow-toggle small{color:var(--muted);font-size:13px}@media(max-width:720px){.flow-panel{grid-template-columns:44px 1fr}.flow-panel .connection-actions{grid-column:1 / -1}}.investigation-result{white-space:pre-wrap;max-height:24rem;overflow-y:auto}