.task-form fieldset{border:1px solid var(--line);background:var(--bg-1);border-radius:6px;gap:10px;min-width:0;max-width:820px;margin:0 0 12px;padding:12px 14px 14px;display:grid}.task-form fieldset:disabled{opacity:.6}.task-form legend{font:500 11px var(--sans);letter-spacing:.5px;text-transform:uppercase;color:var(--text-2);padding:0 6px}.task-form legend b{font:500 11px var(--mono);color:var(--text-3);margin-right:6px}.task-form input:not([type=checkbox]):not([type=radio]){border:1px solid var(--line-2);background:var(--bg);width:100%;min-width:0;color:var(--text);border-radius:5px;padding:5px 8px;font-size:12.5px}.task-form input.invalid{border-color:var(--bad)}.mono-input{font-family:var(--mono)!important;font-size:11.5px!important}.mono-input.short{max-width:96px}.task-row{flex-wrap:wrap;align-items:center;gap:8px;display:flex}.task-row>input{flex:200px}.task-form .task-row>input{width:auto}.task-row>button{flex:none;width:auto}.task-facts{grid-template-columns:90px minmax(0,1fr);gap:6px 12px;margin:4px 0 0;font-size:12.5px;display:grid}.task-facts dt{color:var(--text-3);padding-top:6px;font-size:11.5px}.task-facts dd{min-width:0;color:var(--text-2);gap:4px;margin:0;display:grid}.task-facts dd.task-row{display:flex}.task-form small,.task-hint{color:var(--text-3);margin:2px 0 0;font-size:11.5px;line-height:1.55;display:block}.task-error{color:var(--bad);margin:0;font-size:12px}.task-check{color:var(--text);align-items:flex-start;gap:10px;font-size:12.5px;line-height:1.5;display:flex}.task-check input{accent-color:var(--text-2);margin-top:3px}.task-sub{font:500 11px var(--sans);letter-spacing:.5px;text-transform:uppercase;color:var(--text-3);margin-top:6px}.experimental{font:10px var(--sans);letter-spacing:0;text-transform:none;color:var(--warn);border:1px solid;border-radius:999px;margin-left:6px;padding:0 6px}.chips{flex-wrap:wrap;align-items:center;gap:6px;display:flex}.task-form .chip{border:1px solid var(--line-2);background:var(--bg-2);color:var(--text);border-radius:999px;align-items:center;gap:4px;padding:1px 4px 1px 9px;font-size:11.5px;display:inline-flex}.task-form .chip code{font:11px var(--mono)}.chip button{color:var(--text-3);background:0 0;border:0;padding:0 4px}.chip button:hover{color:var(--text)}.chip-input{flex:180px;width:auto!important}.criteria-table{width:100%;font-size:12px}.criteria-table th{text-align:left;font:500 11px var(--sans);color:var(--text-3);padding:0 6px 6px 0}.criteria-table td{color:var(--text-2);padding:3px 6px 3px 0}.criteria-table td:first-child{width:34%}.row-remove{color:var(--text-3);background:0 0;border:0;padding:0 4px;font-size:14px}.row-remove:hover{color:var(--bad)}.tests-toggle{font:11px var(--mono);color:var(--text-2);white-space:nowrap;background:0 0;border:0;padding:4px 2px}.tests-toggle.none{color:var(--warn)}.tests-count{font:11px var(--mono);color:var(--text-2)}.cases-row td{padding:0 0 10px}.cases{border-left:1px solid var(--line-2);gap:6px;padding:8px 0 2px 12px;display:grid}.case{grid-template-columns:minmax(70px,.6fr) minmax(0,1.4fr) auto minmax(0,1fr) auto;align-items:center;gap:6px;display:grid}.case code{text-overflow:ellipsis;white-space:nowrap;font:10.5px var(--mono);color:var(--text-3);overflow:hidden}.case-arrow{color:var(--text-3);font-size:11px}.task-form .case input{width:100%}.segmented{border:1px solid var(--line-2);border-radius:5px;display:inline-flex;overflow:hidden}.segmented button{color:var(--text-3);background:0 0;border:0;padding:3px 10px;font-size:12px}.segmented button+button{border-left:1px solid var(--line-2)}.segmented button.on{background:var(--bg-3);color:var(--text)}.task-form textarea.probe{resize:vertical;width:100%;min-height:240px;font:11.5px/1.55 var(--mono);tab-size:4;padding:8px 10px}.suite-line{font:10.5px var(--mono);color:var(--text-3);margin:0}.suite-line code{color:var(--text-2)}.task-contract{min-height:100%;font:11.5px var(--mono);flex-direction:column;display:flex}.task-contract .subtabs{z-index:1;background:var(--bg-1);position:sticky;top:0}.task-view{border-bottom:1px solid var(--line);padding:12px 14px}.task-view pre{font:11px/1.6 var(--mono);color:var(--text-2);white-space:pre;overflow-wrap:normal;margin:0;overflow-x:auto}.task-words{font-family:var(--sans);gap:10px;margin:0;padding:0;font-size:12.5px;list-style:none;display:grid}.task-words li{color:var(--text-2);gap:2px;line-height:1.5;display:grid}.task-words code{font:10.5px var(--mono);color:var(--text-3)}.task-fingerprint{border-bottom:1px solid var(--line);gap:6px;padding:10px 14px;line-height:1.6;display:grid}.task-fingerprint .digest code{color:var(--text);overflow-wrap:anywhere}.task-freeze{font-family:var(--sans);gap:10px;padding:12px 14px 16px;display:grid}.task-freeze p{color:var(--text-2);overflow-wrap:anywhere;margin:0}.task-gaps{color:var(--warn);margin:0;padding-left:16px;line-height:1.7}.task-empty{padding:24px 14px;line-height:1.7}.task-empty p{margin:0 0 6px}.live .state{font:10.5px var(--sans);color:var(--text-3);border:1px solid;border-radius:999px;padding:0 6px}.live .state.active{color:var(--ok)}table.attempts{margin:4px 0 16px}table.attempts td.verdict{font:500 11px var(--mono);text-align:right;color:var(--text-3)}table.attempts td.verdict.supported{color:var(--ok)}table.attempts td.verdict.contradicted,table.attempts td.verdict.diverged{color:var(--bad)}table.attempts td code{font:11px var(--mono);color:var(--text-3)}.live-requirements{gap:6px;max-width:820px;margin:6px 0 0;padding:0;font-size:12.5px;line-height:1.5;list-style:none;display:grid}.live-requirements li{color:var(--text-2);grid-template-columns:18px minmax(0,1fr) auto;align-items:baseline;gap:8px;display:grid}.live-requirements code{font:10.5px var(--mono);color:var(--text-3);margin-right:4px}.live-requirements .mark{font:12px var(--mono);text-align:center;color:var(--text-3)}.live-requirements .mark.true{color:var(--ok)}.live-requirements .mark.false{color:var(--bad)}.live-requirements .mark.unknown{color:var(--warn)}.live-cases{border-left:1px solid var(--line-2);gap:8px;max-width:820px;margin-top:10px;padding-left:12px;display:grid}.live-case{grid-template-columns:minmax(0,1fr) auto;gap:2px 10px;font-size:11.5px;display:grid}.live-case>div{overflow-wrap:anywhere;grid-column:1/-1}.live-case small{width:62px;font:10.5px var(--mono);color:var(--text-3);display:inline-block}.live-case>span{font:10.5px var(--mono);color:var(--ok)}.live-case.failed>span,.live-case.error>span{color:var(--bad)}.passed-cases{flex-wrap:wrap;align-items:baseline;gap:4px 10px;display:flex}.passed-cases .link{font:10.5px var(--mono)}.live-terminal{min-height:0;font:11.5px/1.6 var(--mono);flex-direction:column;flex:1;display:flex}.live-terminal-head{border-bottom:1px solid var(--line);align-items:center;gap:16px;padding:8px 14px;display:flex}.live-terminal-head>div:last-child{gap:1px;display:grid}.live-terminal-head strong{color:var(--text);font-size:12.5px}.live-terminal-head span{color:var(--text-2)}.live-terminal-head small{color:var(--text-3)}.ascii-mark{white-space:pre;color:var(--text-3);font-size:7px;line-height:1.05}.ascii-mark .burgundy{color:var(--text-2)}.live-lines{flex:1;align-content:start;gap:3px;min-height:0;padding:10px 14px 14px;display:grid;overflow:auto}.live-line{color:var(--text-2);grid-template-columns:64px 92px minmax(0,1fr);gap:8px;transition:opacity .2s;display:grid}.live-line .t,.live-line .who{color:var(--text-3)}.live-line .who.verified,.live-line .who.observer{color:var(--proof)}.live-line.good .x{color:var(--ok)}.live-line.bad .x{color:var(--bad)}.live-line.muted .x{color:var(--text-3)}.live-line.dim{opacity:.4}.live-line.fresh{animation:.6s ease-out arrive}@keyframes arrive{0%{opacity:0;background:var(--bg-3);transform:translateY(4px)}to{opacity:1;background:0 0;transform:none}}@media (prefers-reduced-motion:reduce){.live-line.fresh{animation:none}}.merge-guard{gap:8px;display:grid}.merge-guard .task-sub{margin-top:0}.guard-agents{gap:6px;margin:0;padding:0;font-size:12px;list-style:none;display:grid}.guard-agents li{align-items:center;gap:10px;display:flex}.guard-agents strong{min-width:70px;font-weight:500}.guard-agents .state.revoked{color:var(--bad)}button.revoke{border:1px solid var(--line-2);color:var(--bad);background:0 0;border-radius:5px;margin-left:auto;padding:2px 10px;font-size:11.5px}button.revoke:hover{background:var(--bg-3)}.merge-guard select{width:auto;padding:3px 6px;font-size:11.5px}.guard-outcome{color:var(--bad);margin:0;font-size:12px;line-height:1.6}.guard-outcome.merged{color:var(--ok)}.guard-outcome strong{font:500 11px var(--mono);margin-right:6px}@media (width<=800px){.live-line{grid-template-columns:56px minmax(0,1fr)}.live-line .x{grid-column:1/-1}.task-facts{grid-template-columns:1fr}.task-facts dt{padding-top:0}}.task-form fieldset>button.link{justify-self:start}:root{font-synthesis:none;--lightningcss-light: ;--lightningcss-dark:initial;color-scheme:dark}*{box-sizing:border-box}body{background:var(--bg);color:var(--text);margin:0}button,input,textarea,select{font:inherit;color:inherit}button,a,input,textarea,select{-webkit-tap-highlight-color:transparent}button{cursor:pointer}button:disabled{cursor:default;opacity:.45}a{color:inherit}h1,h2,h3{letter-spacing:-.2px;color:var(--text);margin:0 0 8px;font-weight:600}h1{font-size:22px}h2{font-size:15px}h3{font-size:13px}.shell{background:var(--bg);min-height:100vh;display:flex}.sidebar{z-index:2;background:var(--bg-1);border-right:1px solid var(--line);flex-direction:column;width:208px;padding:12px 8px;display:flex;position:fixed;inset:0 auto 0 0}.brand{letter-spacing:-.4px;color:var(--text);align-items:center;gap:8px;padding:2px 8px;font-size:16px;font-weight:600;text-decoration:none;display:flex}.brand img{width:18px}.brand>span{color:var(--text-3);align-self:flex-start;font-size:9px}.workspace{border-bottom:1px solid var(--line);align-items:center;gap:8px;padding:12px 8px;font-size:12px;display:flex}.workspace small{color:var(--text-3);margin-top:2px;font-size:11px;display:block}.avatar{background:var(--bg-3);border-radius:5px;flex:none;place-items:center;width:22px;height:22px;font-size:11px;display:grid}.nav-label{font:500 11px var(--sans);color:var(--text-3);margin:14px 8px 4px}nav button{text-align:left;width:100%;color:var(--text-2);font:12.5px var(--sans);background:0 0;border:0;border-radius:5px;align-items:center;gap:10px;padding:5px 8px;display:flex}nav button span{width:16px;color:var(--text-3);font-size:13px}nav button:hover{background:var(--bg-2);color:var(--text)}nav button.active{background:var(--bg-3);color:var(--text)}nav button.active span{color:var(--text)}nav small{color:var(--text-3);font:10.5px var(--mono);margin-left:auto}.side-note{border-top:1px solid var(--line);color:var(--text-3);margin-top:auto;padding:14px 8px 8px;font-size:11px}.side-note p{color:var(--text-2);font-size:11.5px;line-height:1.6}.side-note small{font-size:11px}.pulse{background:var(--ok);border-radius:50%;width:6px;height:6px;margin-right:6px;display:inline-block}.sidebar-toggle{border:1px solid var(--line);color:var(--text-3);font:11px var(--mono);background:0 0;border-radius:5px;margin-top:8px;padding:4px 0}.sidebar-toggle:hover{color:var(--text)}.body{width:calc(100% - 208px);margin-left:208px}header{height:var(--header);background:var(--bg);border-bottom:1px solid var(--line);font:12px var(--sans);color:var(--text-2);align-items:center;gap:12px;padding:0 14px;display:flex}.breadcrumb{white-space:nowrap;text-overflow:ellipsis;flex:1;min-width:0;overflow:hidden}.breadcrumb span{color:var(--text-3);margin:0 6px}.command-trigger,.settings-trigger{background:var(--bg-1);border:1px solid var(--line-2);color:var(--text-3);font:12px var(--sans);border-radius:5px}.command-trigger{justify-content:space-between;gap:18px;min-width:190px;padding:3px 8px;display:flex}.command-trigger kbd{border:1px solid var(--line-2);font:10.5px var(--mono);border-radius:4px;padding:0 5px}.outline-badge{border:1px solid var(--line-2);font:10.5px var(--mono);color:var(--text-3);white-space:nowrap;border-radius:4px;padding:2px 6px}.settings{position:relative}.settings-trigger{width:28px;height:26px;font-size:14px;line-height:1}.settings-menu{z-index:20;background:var(--bg-2);border:1px solid var(--line-2);width:min(300px,100vw - 32px);color:var(--text);border-radius:6px;padding:12px;position:absolute;top:34px;right:0;box-shadow:0 12px 32px #0009}.settings-menu label{cursor:pointer;align-items:flex-start;gap:10px;display:flex}.settings-menu small{color:var(--text-3);margin-top:3px;font-size:11px;display:block}main{padding:24px 28px 12px}footer{border-top:1px solid var(--line);color:var(--text-3);font:10.5px var(--mono);justify-content:space-between;margin:0 28px;padding:14px 0;display:flex}.primary,.secondary{border-radius:5px;justify-content:center;align-items:center;gap:6px;padding:5px 12px;font-size:12px;line-height:18px;display:inline-flex}.primary{background:var(--text);color:var(--bg);border:1px solid var(--text);font-weight:500}.primary:hover:not(:disabled){background:#fff}.secondary{background:var(--bg-2);color:var(--text);border:1px solid var(--line-2)}.secondary:hover:not(:disabled){background:var(--bg-3)}button.link{color:var(--text-2);text-decoration:underline;-webkit-text-decoration-color:var(--line-2);text-decoration-color:var(--line-2);text-underline-offset:2px;background:0 0;border:0;padding:2px 4px;font-size:12px}button.link:hover{color:var(--text);-webkit-text-decoration-color:var(--text-3);text-decoration-color:var(--text-3)}textarea,input[type=text],input[type=search],input:not([type]),select{background:var(--bg);border:1px solid var(--line-2);color:var(--text);font:12.5px var(--sans);border-radius:5px}textarea{resize:vertical;width:100%;min-height:96px;padding:8px 10px;line-height:1.55}select{width:100%;padding:5px 8px}textarea::placeholder,input::placeholder{color:var(--text-3)}textarea:disabled,select:disabled{color:var(--text-2);background:var(--bg-1);opacity:1}pre{white-space:pre-wrap;overflow-wrap:anywhere;font:11.5px/1.6 var(--mono);color:var(--text-2)}table{border-collapse:collapse;text-align:left}.login{text-align:center;place-content:center;gap:12px;min-height:100vh;padding:24px 16px;display:grid}.login img{width:36px;margin:0 auto}.login h1{font-size:20px}.login p{max-width:480px;color:var(--text-2);line-height:1.6}.login .primary{justify-self:center;min-width:140px}.palette-backdrop{z-index:20;background:#0009;justify-content:center;align-items:flex-start;padding:16vh 16px 0;display:flex;position:fixed;inset:0}.palette{background:var(--bg-2);border:1px solid var(--line-2);border-radius:6px;width:min(500px,100%);padding:6px;box-shadow:0 24px 64px #000a}.palette-title{border-bottom:1px solid var(--line);font:11px var(--mono);color:var(--text-3);justify-content:space-between;padding:8px 10px;display:flex}.palette-title button{color:var(--text-3);font:11px var(--mono);background:0 0;border:0}.palette>button{text-align:left;width:100%;color:var(--text-2);font:12.5px var(--sans);background:0 0;border:0;border-radius:4px;padding:8px 10px;display:block}.palette>button:hover,.palette>button:focus-visible{background:var(--bg-3);color:var(--text)}@media (width>=701px){.shell.collapsed .sidebar{align-items:center;width:52px;padding:12px 6px}.shell.collapsed .body{width:calc(100% - 52px);margin-left:52px}.shell.collapsed .brand{padding:2px 0;font-size:0}.shell.collapsed .brand>span,.shell.collapsed .workspace>span:last-child,.shell.collapsed .nav-label,.shell.collapsed nav small,.shell.collapsed .side-note{display:none}.shell.collapsed .workspace{justify-content:center;width:100%}.shell.collapsed nav{width:100%;margin-top:12px}.shell.collapsed nav button{justify-content:center;padding:8px 0;font-size:0}.shell.collapsed .sidebar-toggle{width:100%;margin-top:auto}}@media (width<=1150px){.command-trigger{min-width:0}.command-trigger span{display:none}}@media (width<=700px){.shell{display:block}.sidebar{border-right:0;border-bottom:1px solid var(--line);width:100%;padding:8px 12px;position:static}.workspace,.nav-label,.side-note,.sidebar-toggle,.command-trigger{display:none}nav{flex-wrap:wrap;gap:2px;margin-top:6px;display:flex}nav button{flex:auto;justify-content:center;width:auto;padding:5px 8px;font-size:11.5px}nav button span{display:none}nav small{margin-left:4px}.body{width:100%;margin:0}header{padding:0 12px}main{padding:16px}footer{margin:0 16px}}.cp-inspector.wide{width:360px}.cp-doc{flex:1;min-height:0;padding:16px 20px 28px;overflow:auto}.cp-doc>:first-child{margin-top:0}.doc-intro{max-width:760px;margin-bottom:16px}.doc-intro h2{font-size:16px}.doc-intro p{margin:0;font-size:12.5px;line-height:1.6}.cp-panel.tall{flex:0 0 46%}.tree-name{text-overflow:ellipsis;white-space:nowrap;min-width:0;overflow:hidden}.tree-root small{font:10.5px var(--mono);margin-left:auto}div.tree-root{cursor:default}.tree-row{align-items:center;display:flex}.tree-row .tree-item{flex:1;min-width:0}.tree-row .ghost{flex:none;font-size:11px}.tree-item.back{color:var(--text-3);padding-left:8px}.tree-item.unavailable{opacity:.45}.tree-item[data-layer] .ico,.etab[data-layer] .ico{color:var(--layer)}.tree-item .dot+.mono,.tree-item .dot+.tree-name{margin-left:0}.tree-label .mono{color:var(--text-3);margin-left:4px;font-size:10.5px}.explorer-note .layers{margin-top:8px}.statusbar>.sb-msg{text-overflow:ellipsis;min-width:0;color:var(--text-2);flex:0 auto;display:block;overflow:hidden}.statusbar .verdict,.insp-head .verdict{font:500 11px var(--mono)}.verdict.supported{color:var(--ok)}.verdict.contradicted,.verdict.diverged{color:var(--bad)}.verdict.undetermined{color:var(--warn)}.insp-text{color:var(--text);margin:0;font-size:12.5px;line-height:1.55}.insp-section>.btn+.muted,.insp-section>.btn{margin-top:8px}.cp-inspector .insp-section p{line-height:1.55}td.clip{text-overflow:ellipsis;max-width:360px;overflow:hidden}.terminal-lines{min-height:0;font:11.5px/1.8 var(--mono);color:var(--text-2);flex:1;padding:10px 14px;overflow:auto}.prompt-name{color:var(--text)}.prompt-path,.terminal-muted{color:var(--text-3)}.terminal-lime{color:var(--ok)}.terminal-pink{color:var(--bad)}.terminal-layer{color:var(--layer,var(--text-3))}.terminal-cursor{color:var(--text-2);animation:1.2s step-end infinite blink}@keyframes blink{50%{opacity:0}}@media (prefers-reduced-motion:reduce){.terminal-cursor{animation:none}}[data-layer=record]{--layer:var(--record)}[data-layer=vendor]{--layer:var(--vendor)}[data-layer=proof]{--layer:var(--proof)}.layer-dot:before{content:"";background:var(--layer,var(--text-3));vertical-align:middle;border-radius:50%;flex:none;width:7px;height:7px;margin-right:7px;display:inline-block}.layers{flex-wrap:wrap;gap:4px 12px;margin:0;padding:0;font-size:11.5px;list-style:none;display:flex}.layers li:before{content:"";background:var(--layer);vertical-align:middle;border-radius:50%;width:7px;height:7px;margin-right:6px;display:inline-block}.layers strong{color:var(--text-2);font-weight:500}.layers span{color:var(--text-3)}.layers.detailed{gap:12px;display:grid}.layers small{color:var(--text-2);margin:4px 0 0 13px;font-size:12px;line-height:1.55;display:block}.lane{font:500 11px var(--sans);letter-spacing:.5px;text-transform:uppercase;color:var(--text-3);align-items:baseline;gap:0;margin:0 0 8px;display:flex}.lane small{text-transform:none;letter-spacing:0;color:var(--text-3);margin-left:auto;font-weight:400}.cp-doc .lane{margin:20px 0 8px}.decision{border-bottom:1px solid var(--line);padding:10px 14px}.decision small{color:var(--text-3);font-size:11px;display:block}.decision strong{font:600 16px var(--mono);letter-spacing:.2px;overflow-wrap:anywhere;margin-top:2px;display:block}.decision.supported strong{color:var(--ok)}.decision.contradicted strong,.decision.failed strong{color:var(--bad)}.decision.failed strong{font:500 12.5px var(--sans)}.decision.undetermined strong{color:var(--warn)}.agent-steps>summary{cursor:pointer;color:var(--text-2);padding:2px 0 6px;font-size:12px}.agent-steps[open]>summary{color:var(--text-3)}.process{margin:0 0 8px;padding:0;list-style:none}.process li{align-items:center;gap:10px;min-height:34px;display:flex;position:relative}.process li:not(:last-child):after{content:"";background:var(--line-2);width:1px;height:11px;position:absolute;top:27px;left:9px}.step-node{border:1px solid var(--line-2);background:var(--bg-1);width:19px;height:19px;font:10px var(--mono);color:var(--text-3);border-radius:50%;flex:none;place-items:center;display:grid}.process strong{color:var(--text-2);font-size:12.5px;font-weight:400}.process small{color:var(--text-3);margin-top:1px;font-size:11px;display:block}.process .current .step-node{border-color:var(--info);color:var(--info)}.process .current strong{color:var(--text)}.process .finished .step-node{border-color:var(--ok);color:var(--ok)}.process .finished strong{color:var(--text)}.checks .failed .step-node{border-color:var(--bad);color:var(--bad)}.checks li>button.link{margin-left:auto}.claim-line{color:var(--text-2);margin:0 0 2px 29px;font-size:12px}.claim-line em{color:var(--text-3)}.secondary.wide{width:100%;margin-top:6px}.contract-form .field-label{color:var(--text-3);margin:12px 0 5px;font-size:11.5px;display:block}.upload{color:var(--text);cursor:pointer;margin:8px 0 4px;font-size:12px;display:block}.upload input{max-width:100%;color:var(--text-3);margin-top:6px;font-size:11px;display:block}.contract-form .btn{margin-top:12px}.criteria-title{font:500 11px var(--sans);letter-spacing:.5px;color:var(--text-3);justify-content:space-between;margin:14px 0 4px;display:flex}.criteria{margin:0;padding:0;list-style:none}.criteria li{border-bottom:1px solid var(--line);color:var(--text-2);gap:10px;padding:6px 0;font-size:12px;line-height:1.5;display:flex}.criteria li>span:first-child{font:10.5px var(--mono);color:var(--text-3);flex:none;padding-top:1px}.criteria li.holds>span:first-child{color:var(--ok)}.condition-note{border-left:2px solid var(--line-2);color:var(--text-2);margin:10px 0 0;padding:6px 10px;font-size:12px;line-height:1.5}.condition-note.supported{border-color:var(--ok)}.condition-note.contradicted{border-color:var(--bad)}.condition-note.undetermined{border-color:var(--warn)}.cp-doc h2{font-size:15px}.cp-doc>p,.cp-doc>.fine{max-width:760px;line-height:1.6}.cp-doc p{color:var(--text-2)}.evidence-list{margin:8px 0;padding:0;list-style:none}.evidence-list li{border-bottom:1px solid var(--line);padding:8px 0}.evidence-list li>.mono:first-child{color:var(--text)}.evidence-list p{margin:3px 0 0;font-size:12.5px;line-height:1.55}.evidence-list pre{max-height:220px;overflow:auto}.outcomes{gap:0;max-width:760px;margin:12px 0;font-size:12.5px;display:grid}.outcomes div{border-bottom:1px solid var(--line);justify-content:space-between;gap:12px;padding:5px 0;display:flex}.outcomes dt{color:var(--text-3)}.outcomes dd{text-align:right;overflow-wrap:anywhere;color:var(--text-2);margin:0}.boundary{border:1px solid var(--line);border-left:2px solid var(--line-2);background:var(--bg-1);border-radius:4px;max-width:760px;margin-top:20px;padding:10px 12px}.boundary>span{font:500 11px var(--sans);letter-spacing:.5px;color:var(--text-3)}.boundary p,.boundary ul{color:var(--text-2);margin:6px 0 0;font-size:12px;line-height:1.6}.boundary ul{padding-left:18px}.downloads{flex-wrap:wrap;gap:8px;margin:12px 0;display:flex}.cp-doc pre{background:var(--bg-1);border:1px solid var(--line);border-radius:4px;max-height:420px;padding:8px 10px;overflow:auto}.cp-doc pre.command{-webkit-user-select:all;user-select:all;max-height:none}.data-table{margin:12px 0;overflow:auto}.data-table table,table.fields{width:100%;font-size:12.5px}.data-table th,table.fields th{text-align:left;border-bottom:1px solid var(--line);font:500 11px var(--sans);color:var(--text-3);padding:6px 8px}.data-table td,table.fields td{border-bottom:1px solid var(--line);color:var(--text-2);overflow-wrap:anywhere;vertical-align:top;padding:6px 8px}.data-table td:first-child,table.fields td:first-child{color:var(--text)}table.fields th[data-layer]{color:var(--layer)}table.fields tr.selected td{background:var(--bg-3)}table.fields td.same{color:var(--ok)}table.fields td.differs{color:var(--bad)}.bench{grid-template-columns:minmax(0,1.1fr) minmax(0,1fr);gap:16px;display:grid}.bench>section{min-width:0}.bench-title{font:500 11px var(--sans);letter-spacing:.5px;color:var(--text-3);flex-wrap:wrap;align-items:center;gap:0 6px;margin:0 0 8px;display:flex}.bench-title span{letter-spacing:0;color:var(--text-2);font-weight:400}.pdf-view{border:1px solid var(--line);background:var(--bg-1);border-radius:4px;overflow:hidden}.pdf-toolbar{border-bottom:1px solid var(--line);font:11px var(--mono);color:var(--text-2);align-items:center;gap:6px;padding:5px 8px;display:flex}.pdf-toolbar button{background:var(--bg-2);border:1px solid var(--line-2);min-width:24px;color:var(--text);border-radius:4px;padding:1px 6px}.pdf-toolbar button[aria-pressed=true]{border-color:var(--text-3);background:var(--bg-3)}.pdf-spacer{flex:1}.pdf-page{max-height:72vh;padding:1px;overflow:auto}.pdf-page canvas{background:#fff;margin:0 auto;display:block}.pdf-page p,.erased{color:var(--text-2);padding:14px}.erased{border:1px dashed var(--line-2);border-radius:4px}.provenance,.trail,.observation{border:1px solid var(--line);background:var(--bg-1);border-radius:4px;margin-top:16px;padding:10px 12px}.cp-inspector>.provenance{background:0 0;border:0;border-radius:0;margin:0;padding:12px 14px}.provenance ol,.trail ol{margin:0;padding:0;list-style:none}.provenance>ol>li,.trail li{border-left:2px solid var(--line-2);margin-bottom:6px;padding:3px 0 5px 10px}.provenance li[data-layer],.trail li[data-layer],.trail[data-layer] li{border-left-color:var(--layer)}.provenance small{font:500 10.5px var(--sans);letter-spacing:.4px;color:var(--text-3)}.provenance li[data-layer]>small{color:var(--layer)}.provenance p{color:var(--text-2);overflow-wrap:anywhere;margin:2px 0;font-size:12px;line-height:1.55}.provenance ul{color:var(--text-2);margin:4px 0 0;padding-left:16px;font-size:12px}.trail p{overflow-wrap:anywhere;margin:2px 0;font-size:11.5px}.chain{grid-template-columns:repeat(auto-fit,minmax(130px,1fr));gap:6px;margin:16px 0 0;padding:0;list-style:none;display:grid}.chain button{text-align:left;background:var(--bg-1);border:1px solid var(--line);width:100%;height:100%;color:var(--text);border-radius:4px;padding:8px}.chain button:hover{background:var(--bg-2)}.chain small{font:500 10px var(--sans);letter-spacing:.3px;color:var(--text-3);margin-bottom:4px;display:block}.chain li[data-layer] small:before{content:"";background:var(--layer);vertical-align:middle;border-radius:50%;width:6px;height:6px;margin-right:5px;display:inline-block}.chain span{overflow-wrap:anywhere;font-size:12px}.chain li.ok span{color:var(--ok)}.chain li.differs span,.chain li.missing span{color:var(--bad)}button.id{color:var(--text-2);cursor:copy;font-size:inherit;-webkit-text-decoration:underline dotted var(--line-2);text-decoration:underline dotted var(--line-2);background:0 0;border:0;padding:0}button.id:hover{color:var(--text)}table.compare,table.requirements{width:100%;margin:8px 0 16px;font-size:12.5px;display:block;overflow-x:auto}table.compare th,table.compare td,table.requirements th,table.requirements td{border-bottom:1px solid var(--line);text-align:left;vertical-align:top;overflow-wrap:anywhere;color:var(--text-2);padding:7px 10px}table.compare thead th{font:500 12px var(--sans);color:var(--text)}table.compare thead th[data-layer]:before,table.compare tbody tr[data-layer]>th:before{content:"";background:var(--layer);vertical-align:middle;border-radius:50%;width:6px;height:6px;margin-right:7px;display:inline-block}table.compare thead small,table.requirements th small{color:var(--text-3);font-size:11px;font-weight:400;display:block}table.compare tbody th,table.requirements tbody th{color:var(--text-3);white-space:nowrap;font-weight:400}table.requirements tbody th{white-space:normal;max-width:420px}table.requirements th .mono{color:var(--text)}table.compare td.verdict strong{font:500 11.5px var(--mono)}table.compare td.verdict.supported strong{color:var(--ok)}table.compare td.verdict.contradicted strong,table.compare td.verdict.diverged strong{color:var(--bad)}table.compare td.verdict.undetermined strong{color:var(--warn)}button.value{font:500 11px var(--mono);color:var(--text-3);background:0 0;border:1px solid;border-radius:999px;padding:1px 8px}button.value.true{color:var(--ok)}button.value.false{color:var(--bad)}button.value.unknown{color:var(--warn)}button.value[aria-pressed=true]{background:var(--bg-3);outline:1px solid var(--text-2);outline-offset:1px}.provenance ul.cases{border:0;margin:6px 0;padding:0;list-style:none;display:block}ul.cases li{padding:3px 0;font-size:12px}ul.cases li.failed strong,ul.cases li.error strong{color:var(--bad)}.counterexample{border-left:2px solid var(--bad);margin:4px 0;padding:3px 10px}.counterexample p{margin:2px 0;font-size:11px}.local-verify{border:1px solid var(--line);background:var(--bg-1);border-radius:4px;margin:14px 0;padding:10px 12px}.trust-mode{border:0;flex-wrap:wrap;gap:4px 16px;margin:6px 0;padding:0;font-size:12px;display:flex}.trust-mode legend{font:500 11px var(--sans);color:var(--text-3);margin-bottom:4px}.verify-actions{gap:8px;margin:8px 0;display:flex}.replay-log{background:var(--bg);border:1px solid var(--line);font:11px var(--mono);white-space:pre-wrap;border-radius:4px;padding:8px 10px}.verdict-line.complete,td.established{color:var(--ok)}.verdict-line.incomplete{color:var(--warn)}.verdict-line.refused,td.not_established{color:var(--bad)}.guide-steps{max-width:720px;margin:16px 0 0;padding:0;list-style:none}.guide-steps li{border-bottom:1px solid var(--line);gap:14px;padding:12px 0;display:flex}.guide-steps li.on .mono{color:var(--text)}.guide-steps h3{align-items:center;margin:0 0 4px;display:flex}.guide-steps p{margin:0;font-size:12.5px;line-height:1.6}.layer-ico{font-size:8px;color:var(--layer)!important}@media (width<=1100px){.cp-inspector.wide{width:300px}.bench{grid-template-columns:1fr}}@media (width<=800px){.cp-inspector.wide{width:auto}.cp-doc{padding:14px 16px 20px}.cp-panel.tall{flex:none;max-height:60dvh}.statusbar>.sb-msg{white-space:normal}}.bench-tree{flex-direction:column;flex:1;display:flex}.bench-tree>*{flex:none}.bench-tree>.explorer-note{margin:auto 8px 8px}.bench-tree .tree-item>.dot:first-child{margin-left:0}.upload input::file-selector-button{border:1px solid var(--line-2);background:var(--bg-2);color:var(--text);font:11.5px var(--sans);cursor:pointer;border-radius:4px;margin-right:8px;padding:2px 8px}table.compare thead th:not(:first-child),table.compare td{overflow-wrap:normal;min-width:170px}button.value{white-space:nowrap}table.requirements td{overflow-wrap:normal}:root{--bg:#0a0a0b;--bg-1:#0f0f11;--bg-2:#151518;--bg-3:#1c1c20;--line:#1f1f23;--line-2:#2a2a30;--text:#e6e6e9;--text-2:#a1a1aa;--text-3:#6c6c75;--ok:#4ade80;--bad:#f87171;--warn:#fbbf24;--info:#60a5fa;--record:#7cb8f0;--vendor:#e5b45a;--proof:#8fd694;--sans:Inter, ui-sans-serif, -apple-system, BlinkMacSystemFont, "Segoe UI", sans-serif;--mono:"JetBrains Mono", "SF Mono", ui-monospace, Menlo, Consolas, monospace;--header:40px;font-family:var(--sans);color:var(--text);background:var(--bg);font-size:13px}body,.shell{background:var(--bg)}::selection{background:#3b82f640}button:focus-visible,a:focus-visible,input:focus-visible,textarea:focus-visible,select:focus-visible,[tabindex]:focus-visible{outline:1px solid var(--info);outline-offset:1px}*{scrollbar-color:var(--line-2) transparent;scrollbar-width:thin}.mono{font-family:var(--mono);color:var(--text-2);font-size:11.5px}.spacer{flex:1}.muted{color:var(--text-3)}.fine{font-size:11.5px;line-height:1.55}.strong{color:var(--text);font-weight:500}.err{color:var(--bad)}.warn{color:var(--warn)}.bad{color:var(--bad)}.btn{background:var(--bg-2);border:1px solid var(--line-2);color:var(--text);white-space:nowrap;border-radius:6px;padding:4px 10px;font-size:12px;line-height:18px}.btn:hover:not(:disabled){background:var(--bg-3)}.btn.primary{background:var(--text);color:#0a0a0b;border-color:var(--text);width:auto}.btn.primary:hover:not(:disabled){background:#fff}.ghost{color:var(--text-3);background:0 0;border:0;border-radius:4px;padding:2px 6px;font-size:12px;text-decoration:none}.ghost:hover{color:var(--text);background:var(--bg-2)}.seg{border:1px solid var(--line-2);border-radius:6px;display:inline-flex;overflow:hidden}.seg button{border:0;border-right:1px solid var(--line-2);color:var(--text-3);background:0 0;padding:3px 9px;font-size:12px}.seg button:last-child{border-right:0}.seg button[aria-pressed=true]{background:var(--bg-3);color:var(--text)}.seg small{color:var(--text-3);font-family:var(--mono);margin-left:6px;font-size:10.5px}.cp .chips{flex-wrap:wrap;gap:6px;display:flex}.cp .chip{border:1px solid var(--line-2);background:var(--bg-2);color:var(--text);border-radius:999px;padding:2px 10px;font-size:12px}.cp .chip:not(.static):hover:not(:disabled){border-color:var(--text-3)}.cp .chip.static{color:var(--text-2);background:0 0}.pill{white-space:nowrap;border:1px solid;border-radius:999px;padding:1px 8px;font-size:11px}.pill.ready_for_review{color:var(--ok)}.pill.needs_answers{color:var(--warn)}.pill.blocked,.pill.refused{color:var(--bad)}.dot{background:var(--text-3);border-radius:50%;flex:none;width:7px;height:7px;display:inline-block}.dot.supported,.dot.ready_for_review,.dot.live{background:var(--ok)}.dot.contradicted,.dot.blocked,.dot.refused{background:var(--bad)}.dot.undetermined,.dot.needs_answers{background:var(--warn)}.cp .verdict{font:500 11px var(--mono);letter-spacing:.2px}.cp .verdict.supported{color:var(--ok)}.cp .verdict.contradicted{color:var(--bad)}.cp .verdict.undetermined,.flag{color:var(--warn)}.pane-head{border-bottom:1px solid var(--line);min-height:34px;color:var(--text-2);flex:none;align-items:center;gap:10px;padding:0 12px;font-size:12px;display:flex}.pane-head>span:first-child:not(.mono){color:var(--text-2);text-transform:uppercase;letter-spacing:.5px;font-size:11px;font-weight:500}.blank{place-items:center;height:100%;padding:48px 16px;display:grid}.blank-card{max-width:460px}.blank-card h2{margin:0 0 8px}.blank-card p{color:var(--text-2);line-height:1.6}table.grid{border-collapse:collapse;width:100%;font-size:12.5px}table.grid th{z-index:1;text-align:left;font:500 11px var(--sans);color:var(--text-3);background:var(--bg);border-bottom:1px solid var(--line);padding:7px 12px;position:sticky;top:0}table.grid td{border-bottom:1px solid var(--line);color:var(--text-2);font-family:var(--sans);vertical-align:top;padding:8px 12px;font-size:12.5px;line-height:1.45}table.grid td:first-child{color:var(--text)}table.grid td.mono{font-family:var(--mono);font-size:11.5px}table.grid .num{text-align:right}table.grid.dense td{white-space:nowrap;vertical-align:middle;padding:5px 12px}table.grid.dense td:first-child,table.grid.dense th:first-child{width:18px;padding-right:0}table.grid.dense tbody tr{cursor:pointer}table.grid.dense tbody tr:hover td{background:var(--bg-1)}table.grid.dense tbody tr.selected td{background:var(--bg-3)}table.grid.dense tbody tr.selected td:first-child{box-shadow:inset 2px 0 var(--text)}.code{flex-direction:column;height:100%;min-height:0;display:flex}.code-bar{border-bottom:1px solid var(--line);flex:none;align-items:center;gap:8px;padding:6px 12px;display:flex}.code-name{font:12px var(--mono);color:var(--text)}.code-body{font:12px/1.65 var(--mono);color:var(--text-2);white-space:pre;overflow-wrap:normal;flex:1;margin:0;padding:8px 0 24px;overflow:auto}.code-body.wrap .ln-text{white-space:pre-wrap;overflow-wrap:anywhere}.ln{display:flex}.ln:hover{background:var(--bg-1)}.ln.marked{background:#60a5fa1a}.ln-no{text-align:right;color:#3f3f46;-webkit-user-select:none;user-select:none;flex:none;width:48px;padding-right:16px}.ln-text{flex:1;padding-right:16px}.tk-key{color:#93c5fd}.tk-str{color:#bef264}.tk-lit{color:#f0abfc}.tk-num{color:#fdba74}.body:has(>main.cp){flex-direction:column;height:100dvh;display:flex}main.cp{flex:1;grid-template:"explorer editor"minmax(0,1fr)"status status"/236px minmax(0,1fr);width:100%;max-width:none;min-height:0;margin:0;padding:0;display:grid}main.cp>.blank{grid-column:1/-1}.cp-explorer{background:var(--bg-1);border-right:1px solid var(--line);flex-direction:column;grid-area:explorer;display:flex;overflow-y:auto}.tree{padding:4px 6px}.tree-root,.tree-item{width:100%;color:var(--text-2);text-align:left;background:0 0;border:0;border-radius:5px;align-items:center;gap:7px;min-height:26px;padding:4px 8px;font-size:12.5px;display:flex}.tree-root{color:var(--text);font-weight:500}.tree-item{padding-left:24px}button.tree-root:hover,button.tree-item:hover{background:var(--bg-2);color:var(--text)}.tree-item.on{background:var(--bg-3);color:var(--text)}.tree-item small{color:var(--text-3);font:10.5px var(--mono);margin-left:auto}.tree-item .dot{margin-left:auto}.tree-item.static{cursor:default}.tree-item.sub{padding-left:40px}.tree-form{flex-direction:column;align-items:stretch;gap:3px}.tree-form input{width:100%;font:12px var(--mono);border:1px solid var(--line);background:var(--bg-2);color:var(--text);border-radius:4px;padding:3px 6px}.tree-label{color:var(--text-3);padding:12px 8px 4px 24px;font-size:11px}.caret{width:10px;color:var(--text-3);font-size:10px}.ico{text-align:center;width:14px;color:var(--text-3);flex:none;font-size:11px}.ico.ok{color:var(--ok)}.ico.warn{color:var(--warn)}.explorer-note{margin:auto 14px 14px;padding-top:16px}.cp-editor{flex-direction:column;grid-area:editor;min-width:0;min-height:0;display:flex}.tabs-bar{background:var(--bg-1);border-bottom:1px solid var(--line);flex:none;align-items:stretch;min-height:36px;display:flex;overflow-x:auto}.tabs-bar>.ghost{white-space:nowrap;align-self:center;margin-right:8px}.etab{border-right:1px solid var(--line);color:var(--text-3);align-items:center;display:flex}.etab button{color:inherit;height:100%;font:12px var(--mono);white-space:nowrap;background:0 0;border:0;align-items:center;gap:7px;padding:0 12px;display:flex}.etab small{color:var(--text-3);font-size:10.5px}.etab .x{padding:0 10px 0 0;font-size:14px}.etab .x:hover{color:var(--text)}.etab.on{background:var(--bg);color:var(--text);box-shadow:inset 0 1px var(--text-2);margin-bottom:-1px}.etab:not(.on):hover{color:var(--text-2)}.ico.t-records{color:var(--info)}.ico.t-contract{color:var(--ok)}.ico.t-draft{color:var(--warn)}.cp-main{flex:1;grid-template-columns:minmax(0,1fr) auto;min-height:0;display:grid}.cp-center{flex-direction:column;min-width:0;min-height:0;display:flex}.cp-view{flex-direction:column;flex:1;min-height:0;display:flex}.cp-view[hidden]{display:none}.cp-view>*{flex:1;min-height:0}.records{flex-direction:column;display:flex}.toolbar{border-bottom:1px solid var(--line);flex-wrap:wrap;flex:none;align-items:center;gap:10px;padding:7px 12px;font-size:12px;display:flex}.search{width:220px;padding:4px 9px;font-size:12px}.table-scroll{flex:1;min-height:0;overflow:auto}.table-scroll:focus-visible{outline-offset:-1px}.cp-inspector{border-left:1px solid var(--line);background:var(--bg-1);width:300px;overflow-y:auto}.cp-inspector pre.command{margin:0 var(--pad,12px) 12px;background:var(--bg-2,#7f7f7f14);border:1px solid var(--line,#7f7f7f40);white-space:pre-wrap;overflow-wrap:anywhere;-webkit-user-select:all;user-select:all;border-radius:4px;padding:8px 10px;font-size:11px}.insp-head{border-bottom:1px solid var(--line);justify-content:space-between;align-items:center;gap:8px;padding:12px 14px;text-decoration:none;display:flex}.insp-head a{text-decoration:none}.insp-head a:hover{text-decoration:underline}.insp-section{border-bottom:1px solid var(--line);padding:10px 14px 12px}.insp-section h4{color:var(--text-3);text-transform:uppercase;letter-spacing:.5px;margin:0 0 8px;font-size:11px;font-weight:500}.insp-section .btn,.insp-section .btn.primary{width:100%;padding:6px 10px}.insp-pad{padding:14px}.kv,.req{color:var(--text-2);justify-content:space-between;gap:12px;padding:3px 0;font-size:12px;display:flex}.kv>span:first-child{color:var(--text-3);flex:none}.kv>span:last-child{text-align:right;overflow-wrap:anywhere}.req .val{font:500 10.5px var(--mono)}.val.true{color:var(--ok)}.val.false{color:var(--bad)}.val.unknown{color:var(--warn)}button.file{width:calc(100% + 12px);color:var(--text-2);font:12px var(--mono);text-align:left;background:0 0;border:0;border-radius:5px;justify-content:space-between;gap:8px;margin:0 -6px;padding:4px 6px;display:flex}button.file:hover{background:var(--bg-3);color:var(--text)}.cp-panel{border-top:1px solid var(--line-2);background:var(--bg);flex-direction:column;flex:0 0 42%;min-height:160px;display:flex}.cp-panel-body{flex:1;padding:12px 14px;overflow:auto}.cp-panel-body .local-verify{background:0 0;border:0;margin:0;padding:0}.statusbar{border-top:1px solid var(--line);background:var(--bg-1);height:26px;font:11.5px var(--sans);color:var(--text-3);white-space:nowrap;grid-area:status;align-items:center;gap:14px;margin:0;padding:0 12px;display:flex;overflow:hidden}.statusbar>span{align-items:center;gap:6px;display:inline-flex}.statusbar .mono{color:var(--text-3);font-size:11px}.sb-link{color:inherit;font:inherit;background:0 0;border:0;padding:0}.sb-link:hover{color:var(--text)}.draft{grid-template-columns:minmax(300px,380px) minmax(0,1fr);height:100%;min-height:0;display:grid}.draft-chat{border-right:1px solid var(--line);background:var(--bg-1);flex-direction:column;min-height:0;display:flex}.chat-log{flex-direction:column;flex:1;gap:10px;padding:12px;display:flex;overflow-y:auto}.chat-hint{font-size:12px;line-height:1.6}.msg{border:1px solid var(--line);background:var(--bg);border-radius:8px;padding:8px 10px}.msg p{white-space:pre-wrap;margin:4px 0 0;font-size:12.5px;line-height:1.55}.msg .who{font:10.5px var(--mono);color:var(--text-3)}.msg.you{background:var(--bg-2)}.msg-status{color:var(--text);align-items:center;gap:7px;display:flex}.msg.ready_for_review .msg-status .dot{background:var(--ok)}.msg.needs_answers .msg-status .dot{background:var(--warn)}.msg.blocked .msg-status .dot,.msg.refused .msg-status .dot{background:var(--bad)}.msg-line.warn{color:var(--warn)}.msg-question{margin-top:8px}.msg-question .chips{margin-top:6px}.composer{border-top:1px solid var(--line);flex:none;padding:10px 12px}.composer textarea{resize:vertical;width:100%;min-height:64px;padding:8px 10px;font-size:12.5px;line-height:1.5}.composer-foot{justify-content:space-between;align-items:center;margin-top:6px;font-size:11px;display:flex}.draft-doc{flex-direction:column;min-width:0;min-height:0;display:flex}.subtabs{border-bottom:1px solid var(--line);flex:none;gap:2px;padding:0 8px;display:flex}.subtabs button{color:var(--text-3);background:0 0;border:0;border-bottom:1px solid #0000;margin-bottom:-1px;padding:8px;font-size:12px}.subtabs button[aria-selected=true]{color:var(--text);border-bottom-color:var(--text)}.subtabs small{font:10.5px var(--mono);color:var(--text-3);margin-left:5px}.doc-body{flex-direction:column;flex:1;min-height:0;display:flex;overflow:auto}.doc-body>.code{flex:1}.doc-pad{padding:14px 16px}.doc-pad h4{color:var(--text-3);text-transform:uppercase;letter-spacing:.5px;margin:18px 0 6px;font-size:11px;font-weight:500}.doc-pad .grid td{padding-left:0}ul.plain{color:var(--text);margin:12px 0 0;padding-left:18px;line-height:1.6}ul.plain li{margin:3px 0}@media (width<=1100px){.cp-inspector{width:260px}.draft{grid-template-rows:minmax(260px,45%) minmax(0,1fr);grid-template-columns:1fr}.draft-chat{border-right:0;border-bottom:1px solid var(--line)}}@media (width<=800px){.body:has(>main.cp){height:auto}main.cp{grid-template-columns:1fr;grid-template-areas:"explorer""editor""status"}.cp-explorer{border-right:0;border-bottom:1px solid var(--line);max-height:220px}.explorer-note{display:none}.cp-main{grid-template-columns:1fr}.cp-view{min-height:60dvh}.cp-inspector{border-left:0;border-top:1px solid var(--line);width:auto}.statusbar{white-space:normal;flex-wrap:wrap;height:auto;padding:6px 12px}}.flag-dot{background:var(--warn);vertical-align:middle;border-radius:50%;width:5px;height:5px;margin-left:6px;display:inline-block}.body:has(>main.cp)>footer{display:none}.blank-card .btn{width:auto;margin-top:6px}.crosscheck-line{color:var(--text-2);align-items:center;gap:8px;margin-top:14px;display:flex}.relation{color:var(--text);margin:0 0 4px;font-weight:500}.relation:before{content:"";vertical-align:middle;background:var(--text-3);border-radius:50%;width:7px;height:7px;margin-right:8px;display:inline-block}.relation.stricter:before{background:var(--info)}.relation.looser:before,.relation.incomparable:before{background:var(--warn)}.relation.same:before{background:var(--ok)}