:root{color:#e9e7e5;font-synthesis:none;--lightningcss-light: ;--lightningcss-dark:initial;color-scheme:dark;background:#0c0c0e;font-family:Arial,Helvetica,sans-serif;font-size:14px}*{box-sizing:border-box}body{margin:0}button,input,textarea,select{font:inherit}button,a,input,textarea,select{-webkit-tap-highlight-color:transparent}button{cursor:pointer}button:disabled{cursor:default;opacity:.45}a{color:inherit}button:focus-visible,a:focus-visible,input:focus-visible,textarea:focus-visible,select:focus-visible{outline-offset:4px;outline:2px solid #ed8a9c}.shell{min-height:100vh;display:flex}.sidebar{z-index:2;background:#101012;border-right:1px solid #29292d;flex-direction:column;width:218px;padding:25px 16px;display:flex;position:fixed;inset:0 auto 0 0}.brand{letter-spacing:-1.8px;align-items:center;font-size:28px;font-weight:700;text-decoration:none;display:flex}.brand img{width:35px;margin-right:8px}.brand>span{align-self:flex-start;margin-top:4px;margin-left:4px;font-size:10px}.workspace{border-bottom:1px solid #29292d;align-items:center;gap:10px;padding:26px 0;font-size:12px;display:flex}.workspace small{color:#919198;margin-top:5px;display:block}.avatar{border:1px solid #44444c;place-items:center;width:29px;height:29px;display:grid}.nav-label{letter-spacing:2px;color:#81818b;margin:27px 10px 12px;font-size:9px}nav button{text-align:left;color:#a0a0a9;background:0 0;border:0;border-radius:4px;align-items:center;gap:12px;width:100%;padding:12px 10px;font-size:12px;display:flex}nav button.active{color:#f5e8eb;background:#262126}nav button span{width:19px;font-size:17px}nav small{margin-left:auto}.side-note{letter-spacing:1px;color:#c0a4ab;border-top:1px solid #29292d;margin-top:auto;padding:22px 4px 16px;font-size:9px}.side-note p{letter-spacing:0;color:#aaa8b0;font-size:12px;line-height:1.7}.side-note small{letter-spacing:0;color:#85838b;font-size:10px}.pulse{background:#d67d8f;border-radius:50%;width:5px;height:5px;margin-right:7px;display:inline-block}.studio-link{color:#929099;border-top:1px solid #29292d;padding-top:14px;font-size:10px;line-height:1.6;text-decoration:none}header{color:#a5a2ac;border-bottom:1px solid #29292d;justify-content:space-between;align-items:center;height:65px;padding:0 34px;font-size:11px;display:flex}header div span{color:#4e4b53;margin:0 14px}.outline-badge{letter-spacing:1px;white-space:nowrap;border:1px solid #444047;padding:5px 7px;font-size:9px}.preview-bar{color:#cdaab5;background:#21151b;border-bottom:1px solid #3f252f;padding:10px 34px;font-size:10px}.preview-bar>span{color:#dc8b9e;margin-right:8px}main{max-width:1800px;margin:auto;padding:36px 34px 12px}.hero{border-bottom:1px solid #323036;justify-content:space-between;min-height:242px;margin-bottom:25px;padding-bottom:28px;display:flex;overflow:hidden}.eyebrow{letter-spacing:2.2px;color:#c88a9c;margin-bottom:19px;font-size:9px}h1{letter-spacing:-3.1px;margin:0 0 20px;font-size:clamp(38px,4.1vw,66px);font-weight:500;line-height:1.03}h1 span{color:#a5a0aa}.hero p,.lede{color:#99959f;margin:0;font-size:13px;line-height:1.7}.hero-art{background:radial-gradient(#5b1d304f,#0000 65%);flex-shrink:0;width:340px;position:relative}.diamond{color:#d497a8;background:linear-gradient(145deg,#3f1725,#160f15);border:1px solid #cf6a88;place-items:center;width:96px;height:96px;font:22px Georgia,serif;display:grid;position:absolute;top:55px;left:122px;transform:rotate(45deg);box-shadow:0 0 75px #99254625}.orbit{border:1px solid #683348;width:190px;height:190px;position:absolute;top:8px;left:75px;transform:rotate(45deg)}.orbit.two{border-style:dashed;border-color:#39252e;width:260px;height:260px;top:-27px;left:40px}.art-label{letter-spacing:2px;color:#b58b99;background:#0c0c0e;padding:4px;font:8px monospace;position:absolute}.art-label.top{top:9px;left:3px}.art-label.bottom{bottom:15px;right:0}.section-heading{letter-spacing:1px;color:#aaa3af;justify-content:space-between;margin-bottom:13px;font:9px monospace;display:flex}.section-heading span:last-child{color:#77717e;letter-spacing:0}.templates{grid-template-columns:1fr 1fr;gap:12px;margin-bottom:24px;display:grid}.template{text-align:left;color:#e9e7e5;background:#121214;border:1px solid #333037;align-items:center;gap:15px;min-height:83px;padding:18px 20px;display:flex}.template.selected{background:#251820;border-color:#965065}.template-icon{color:#cc8197;font-size:27px}.template strong{font-size:14px;font-weight:500}.template small{color:#a69ba5;margin-top:7px;font-size:11px;display:block}.template-arrow{color:#c794a4;margin-left:auto;font-size:21px}.workbench{grid-template-columns:1fr 1fr 1.15fr;align-items:stretch;gap:12px;display:grid}.panel{background:#111113;border:1px solid #302d34;min-width:0}.panel-heading{letter-spacing:1px;color:#aea4b2;border-bottom:1px solid #302d34;justify-content:space-between;gap:8px;padding:13px 16px;font:8px monospace;display:flex}.panel-heading span:last-child{color:#8c828f}.panel-content{padding:21px 18px}h2{letter-spacing:-.7px;margin:0 0 23px;font-size:21px;font-weight:500}.field-label{color:#aaa2ae;margin-bottom:9px;font-size:11px;display:block}textarea{resize:vertical;color:#e3dce4;background:#171419;border:1px solid #3e3540;border-radius:2px;width:100%;min-height:112px;padding:12px;font-size:12px;line-height:1.65}.upload{color:#cfb2bd;cursor:pointer;margin:11px 0 14px;font-size:11px;display:inline-block}.upload input{color:#8f8694;max-width:100%;margin-top:8px;font-size:10px;display:block}.filename{overflow-wrap:anywhere;color:#c1a5b1;display:block}.criteria-title{color:#a399a9;letter-spacing:1px;margin:18px 0 12px;font:9px monospace}.criteria-title span{float:right}.criteria{margin:0 0 23px;padding:0;list-style:none}.criteria li{color:#c8c1cc;border-bottom:1px solid #29242d;gap:10px;padding:9px 0;font-size:11px;line-height:1.6;display:flex}.criteria li>span{color:#8a7787;padding-top:3px;font:10px monospace}select{background:#19151c;border:1px solid #3e3540;width:100%;padding:10px;font:10px monospace}.fine{color:#918795;font-size:10px;line-height:1.7}.primary,.secondary{text-align:left;justify-content:space-between;align-items:center;width:100%;padding:12px 14px;font-size:11px;display:flex}.primary{color:#24151d;background:#d9b5c1;border:1px solid #d9b5c1;font-weight:600}.secondary{color:#dfc8d4;background:#1b171e;border:1px solid #51404f}.execution-title{justify-content:space-between;align-items:start;gap:8px;display:flex}.execution-title h2{max-width:170px;font-size:19px}.execution-title .outline-badge{font-size:7px}.process{margin:3px 0 20px;padding:0;list-style:none}.process li{align-items:center;gap:12px;min-height:67px;display:flex;position:relative}.process li:not(:last-child):after{content:"";background:#3b303e;width:1px;height:39px;position:absolute;top:47px;left:13px}.step-node{color:#8d7e93;z-index:1;background:#111113;border:1px solid #463d4b;border-radius:50%;flex-shrink:0;place-items:center;width:27px;height:27px;font:10px monospace;display:grid}.process strong{color:#a89cae;font-size:12px;font-weight:400}.process small{color:#746779;margin-top:6px;font-size:9px;display:block}.process li>span:last-child{color:#746779;margin-left:auto;font:8px monospace}.current .step-node{color:#efbad0;border-color:#c77195;box-shadow:0 0 17px #b4487140}.current strong{color:#efdaea}.finished .step-node{color:#a1c8b5;border-color:#69897d}.finished strong{color:#d2d9d5}.empty{text-align:center;border:1px dashed #382d3e;padding:22px 12px}.empty>span{color:#9a6c8c;font-size:26px}.empty p{color:#c9b6c9;font-size:12px}.empty small{color:#968199;font-size:10px}.outcome{background:#15221d;border:1px solid #3c6855;margin-top:15px;padding:17px}.outcome>span{letter-spacing:1px;color:#a5bbae;font:8px monospace}.outcome h3{color:#bedac7;margin:10px 0;font-size:19px}.outcome p{color:#a7b2ab;margin:0;font-size:11px;line-height:1.6}.outcome.contradicted{background:#291b22;border-color:#784359}.outcome.contradicted h3{color:#e3a7b9}.outcome.undetermined{background:#29241b;border-color:#786447}.outcome.undetermined h3{color:#dcccab}.tabs{border-bottom:1px solid #302d34;display:flex}.tabs button{text-transform:capitalize;color:#9b8fa2;background:0 0;border:0;border-bottom:2px solid #0000;padding:14px 15px;font-size:11px}.data-table{margin:18px 0;overflow:auto}table{border-collapse:collapse;text-align:left;width:100%;font-size:10px}th{color:#95859f;background:#1a151f;padding:10px 8px;font-weight:400}td{color:#c2b5cb;border-bottom:1px solid #2c2333;padding:13px 8px;line-height:1.6}td:first-child{color:#e0d3e8;font-family:monospace}td:last-child{color:#9e8eac;font-size:9px}.storage{background:#1c1523;border:1px solid #3c2e46;align-items:center;gap:12px;margin-top:24px;padding:15px 12px;font-size:11px;display:flex}.storage>span{color:#b593ca;font-size:24px}.storage small{color:#9e8aaa;margin-top:7px;font-size:10px;line-height:1.7;display:block}.boundary{border-top:1px solid #342c3c;margin-top:25px;padding-top:17px}.boundary>span{letter-spacing:1px;color:#b6a4c0;font:8px monospace}.boundary p{color:#95839f;font-size:10px;line-height:1.8}.inspector .secondary{margin-top:20px}.evidence-list{padding:0;list-style:none}.evidence-list li{border-bottom:1px solid #302536;padding:14px 0}.evidence-list p{font-size:12px;line-height:1.7}.mono{color:#9b80ad;font:10px monospace}pre{white-space:pre-wrap;overflow-wrap:anywhere;color:#bba5c8;font-size:11px;line-height:1.8}.notice{color:#9e899d;min-height:35px;margin-top:18px;font-size:10px;line-height:1.7}footer{color:#6f6678;letter-spacing:1px;border-top:1px solid #302d34;justify-content:space-between;margin:15px 34px 0;padding:20px 0;font:8px monospace;display:flex}.ledger-warning{color:#c4ad94;background:#231c16;border:1px solid #4b392b;margin:30px 0;padding:18px;font-size:11px;line-height:1.8}.ledger-entry{margin-bottom:20px}.ledger-entry h2{padding:22px 22px 0;line-height:1.5}.ledger-events{color:#a99bb3;grid-template-columns:1fr 1fr;gap:15px;padding:0 22px 22px;font:11px monospace;display:grid}.ledger-entry .secondary{width:auto;margin:0 22px 22px}.ledger-empty{padding:70px 20px}.ledger-empty .primary{width:200px;margin:25px auto}.guide-grid{grid-template-columns:repeat(4,1fr);gap:15px;margin-top:35px;display:grid}.guide{padding:25px}.guide>span{color:#ba819a;font:20px monospace}.guide h2{margin:25px 0 12px}.guide p{color:#aa9bae;font-size:12px;line-height:1.8}@media (width>=1600px){.workbench{grid-template-columns:1fr 1fr 1.2fr}.panel-content{padding:25px}.hero{min-height:280px}.hero-art{margin-right:90px}}@media (width<=1150px){.sidebar{width:180px}.body{width:calc(100% - 180px);margin-left:180px}main{padding:28px 22px}.workbench{grid-template-columns:1fr 1fr}.inspector{grid-column:1/-1}.hero-art{transform-origin:50%;width:240px;transform:scale(.8)}.guide-grid{grid-template-columns:1fr 1fr}}@media (width<=700px){.shell{display:block}.sidebar{border-bottom:1px solid #29292d;width:100%;padding:12px 16px;position:static}.brand{font-size:23px}.brand img{width:29px}.workspace,.nav-label,.side-note,.studio-link{display:none}nav{margin-top:12px;display:flex}nav button{justify-content:center;padding:9px;font-size:10px}nav button span{display:none}.body{width:100%;margin:0}header{height:46px;padding:0 18px}.preview-bar{padding:10px 18px;line-height:1.6}main{padding:27px 18px 10px}.hero-art{display:none}.hero{min-height:0}.hero h1{letter-spacing:-2px;font-size:43px}.templates,.workbench{grid-template-columns:1fr}.template{padding:15px}.inspector{grid-column:auto}.section-heading span:last-child{display:none}.guide-grid,.ledger-events{grid-template-columns:1fr}footer{margin:0 18px;line-height:1.8}footer span:last-child{display:none}}:root{--record:#7cc4ff;--vendor:#f2b84b;--proof:#d5f786;color:#efedf0;background:#171820;font-family:Inter,ui-sans-serif,system-ui,-apple-system,Segoe UI,sans-serif}body,.shell{background:#171820}.sidebar{background:#20212a;border-color:#403c4b;width:244px;padding:18px 14px}.brand{letter-spacing:-1.4px;font-size:24px}.brand img{filter:brightness(1.1);width:29px}.workspace{padding:17px 0}.nav-label{margin:16px 6px 10px}nav button{font-family:ui-monospace,monospace;font-size:11px}nav button.active{color:#ede9f5;background:#35323f;border-left:2px solid #d6f78b}.file-explorer{color:#a9a4b5;border-top:1px solid #46414c;margin:22px -3px 0;padding-top:14px;font:11px ui-monospace,monospace}.explorer-label{color:#a8a2b7;letter-spacing:1.5px;justify-content:space-between;padding:0 6px 13px;font-size:9px;display:flex}.explorer-root{color:#dfdbe5;border-top:1px solid #363340;padding:8px 3px;font-weight:700}.explorer-root small{float:right;color:#a2a0ac;font-size:8px}.file-explorer button{color:#bdb7cb;text-align:left;background:0 0;border:0;align-items:center;gap:8px;width:100%;padding:9px 5px;font:11px ui-monospace,monospace;display:flex}.file-explorer button:hover{color:#fff;background:#343241}.file-explorer button small{color:#d6f78b;margin-left:auto}.file-explorer button span{color:#cdb6fa;min-width:17px}.file-explorer .file-agent{color:#f9abc7}.file-explorer .file-json{color:#e4c879}.file-explorer .file-evidence{color:#93d5d1}.file-explorer .file-record{color:#d5f786}.side-note{color:#d6f78b;font-family:ui-monospace,monospace}.studio-link{font-family:ui-monospace,monospace}.body{width:calc(100% - 244px);margin-left:244px}header{background:#25252f;border-color:#45414e;gap:15px;height:49px;padding:0 19px;font:11px ui-monospace,monospace}.window-lights{gap:6px;display:flex}.window-lights i{background:#ed8798;border-radius:50%;width:9px;height:9px}.window-lights i:nth-child(2){background:#e7c477}.window-lights i:nth-child(3){background:#b7d98e}.breadcrumb{flex:1}.command-trigger{color:#9c95ab;background:#292935;border:1px solid #52505c;justify-content:space-between;gap:18px;min-width:190px;padding:6px 9px;font:10px ui-monospace,monospace;display:flex}.command-trigger kbd{border:1px solid #5c5563;padding:1px 5px;font:9px ui-monospace,monospace}.ide-tabbar{scrollbar-width:thin;background:#1d1e27;border-bottom:1px solid #4b4654;display:flex;overflow-x:auto}.ide-tabbar button{color:#b4aeba;white-space:nowrap;background:#22232b;border:0;border-right:1px solid #3d3946;padding:12px 18px;font:11px ui-monospace,monospace}.ide-tabbar button.active{color:#f3eaf9;background:#171820;border-top:2px solid #d5f786;padding-top:10px}.ide-tabbar button span:first-child{color:#d5f786}.ide-tabbar small{color:#edba7e;padding-left:7px}.preview-bar{color:#e5b8ce;background:#35263a;border-color:#61445d;padding:10px 22px;font:10px ui-monospace,monospace}main{padding:26px 26px 12px}.hero{border-color:#46424e;align-items:center;min-height:250px}.eyebrow{color:#d6f786;letter-spacing:1.4px;font:10px ui-monospace,monospace}h1{letter-spacing:-4px;font-size:clamp(42px,4.9vw,77px);font-weight:790;line-height:.97}h1 span{color:#f5b0ca;letter-spacing:-3px;font-family:Georgia,serif;font-style:italic;font-weight:400}.hero p{color:#aea8b8;max-width:450px}.hero-art{background:0 0;justify-content:center;align-items:center;width:300px;min-height:230px;display:flex;overflow:visible}.receipt-paper{color:#242027;background:#f6f0e7;width:188px;padding:15px 17px 18px;position:relative;transform:rotate(7deg);box-shadow:10px 10px #655479}.receipt-top{border-bottom:1px dashed #8f8292;justify-content:space-between;padding-bottom:10px;font:8px ui-monospace,monospace;display:flex}.receipt-paper strong{letter-spacing:-1px;margin:18px 0;font-size:21px;line-height:1.05;display:block}.receipt-line{border-bottom:1px dashed #bdb2bc;justify-content:space-between;gap:8px;padding:7px 0;font:8px ui-monospace,monospace;display:flex}.receipt-stamp{color:#b44b75;border:2px solid #b44b75;margin-top:17px;padding:4px;font-size:11px;font-weight:850;display:inline-block;transform:rotate(-8deg)}.hero-art .art-label{color:#d5f786;background:#171820}.hero-art .art-label.top{left:0}.hero-art .art-label.bottom{bottom:7px}.section-heading{color:#d6f786}.template{background:#24242e;border-color:#4c4557}.template.selected{color:#241d2b;background:#cbb7fd;border-color:#cbb7fd}.template.selected small,.template.selected .template-icon,.template.selected .template-arrow{color:#413550}.template strong{font-weight:720}.template:hover:not(:disabled){border-color:#d4f78a}.workbench{grid-template-columns:1fr 1fr}.workbench .inspector{grid-column:1/-1}.panel{background:#23232d;border:1px solid #4a4554}.panel-heading{color:#dbd3e2;letter-spacing:.7px;background:#2b2936;border-color:#51475d;font-size:9px}h2{letter-spacing:-.9px;font-weight:700}textarea{background:#191b24;border-color:#585066;font-family:ui-monospace,monospace}.criteria li{border-color:#3d3945}.criteria-title{color:#d3b9f6}.criteria li>span{color:#d5f786}.primary{color:#252b1b;background:#d6f786;border-color:#d6f786}.primary:hover:not(:disabled){background:#e8ffa8}.secondary{color:#e7d6f4;background:#363141;border-color:#635770}.process li:not(:last-child):after{background:#5b5266}.process .current .step-node{color:#1f2220;box-shadow:none;background:#f7b8d1;border-color:#f7b8d1}.process .finished .step-node{color:#292a1f;background:#d6f786;border-color:#d6f786}.tabs button[aria-selected=true]{color:#f4f8e6;border-bottom-color:#d5f786}.outcome.supported{background:#243324;border-color:#72945a}.outcome.supported h3{color:#d5f786}.boundary{border-color:#594e65}.boundary>span{color:#e9b9c9}.terminal-panel{background:#15171e;border:1px solid #44404b;margin-top:15px;font:11px ui-monospace,SFMono-Regular,monospace}.terminal-heading{color:#9e98ab;border-bottom:1px solid #3f3b48;gap:25px;padding:12px 15px;font-size:10px;display:flex}.terminal-heading .terminal-active{color:#d6f786;border-bottom:1px solid #d6f786;padding-bottom:5px}.terminal-heading button{color:#b3aab9;background:0 0;border:0;margin-left:auto;font-size:18px;line-height:10px}.terminal-heading small{color:#b0a8b7}.terminal-lines{color:#dfdce6;max-height:240px;padding:15px 19px;line-height:2;overflow:auto}.prompt-name,.terminal-lime{color:#d5f786}.prompt-path,.terminal-muted{color:#928b9c}.terminal-pink{color:#f7adcb}.terminal-cursor{color:#d5f786;animation:1.2s step-end infinite blink}@keyframes blink{50%{opacity:0}}.palette-backdrop{z-index:20;background:#0009;justify-content:center;align-items:flex-start;padding:18vh 15px 0;display:flex;position:fixed;inset:0}.palette{background:#24242f;border:1px solid #827a96;width:min(500px,100%);padding:8px;box-shadow:0 24px 80px #0008}.palette-title{color:#d5f786;border-bottom:1px solid #4b4655;justify-content:space-between;padding:13px;font:11px ui-monospace,monospace;display:flex}.palette-title button{color:#c4b5cf;background:0 0;border:0}.palette>button{text-align:left;color:#dfd9e7;background:0 0;border:0;width:100%;padding:13px;font:12px ui-monospace,monospace;display:block}.palette>button:hover,.palette>button:focus-visible{color:#fff;background:#514360}footer{color:#a39bad;border-color:#4c4755}@media (width<=1150px){.sidebar{width:204px}.body{width:calc(100% - 204px);margin-left:204px}.workbench{grid-template-columns:1fr 1fr}.inspector{grid-column:1/-1}.command-trigger{min-width:130px}.hero-art{transform:scale(.84)}}@media (width<=700px){.sidebar{width:100%;padding:12px 15px}.file-explorer,.sidebar-toggle,.window-lights,.command-trigger{display:none}.body{width:100%;margin:0}.ide-tabbar button{padding:10px 12px;font-size:10px}header{padding:0 15px}.hero-art{display:none}.hero h1{letter-spacing:-2px;font-size:47px}.workbench{grid-template-columns:1fr}.inspector{grid-column:auto}.terminal-lines{padding:12px;font-size:10px}}@media (prefers-reduced-motion:reduce){.terminal-cursor{animation:none}}.file-explorer button.unavailable{opacity:.45}.outcomes{gap:6px;margin:14px 0;font-size:13px;display:grid}.outcomes div{border-bottom:1px dashed #403c4b;justify-content:space-between;gap:12px;padding-bottom:4px;display:flex}.outcomes dt{color:#aaa4b6}.outcomes dd{text-align:right;overflow-wrap:anywhere;margin:0}.outcomes .muted{color:#77728a;font-style:italic}.login{text-align:center;place-content:center;gap:14px;min-height:100vh;padding:24px 16px;display:grid}.login img{width:48px;margin:0 auto}.login p{color:#aaa4b6;max-width:520px}.boundary ul{margin:8px 0 0;padding-left:18px;font-size:13px}.inspector pre{max-height:420px;overflow:auto}.downloads{flex-wrap:wrap;gap:8px;margin:12px 0;display:flex}.inspector pre.command{white-space:pre-wrap;overflow-wrap:anywhere}.evidence-list pre{max-height:220px;font-size:12px;overflow:auto}.page-title{margin-bottom:18px}.page-title h1{letter-spacing:-1.5px;margin:6px 0;font-size:clamp(28px,3.2vw,42px)}.page-title p{color:#aaa4b6;margin:0;font-size:13px}.settings{position:relative}.settings-trigger{color:#d6d0de;background:#292935;border:1px solid #52505c;width:30px;height:28px;font-size:15px;line-height:1}.settings-menu{z-index:20;color:#efedf0;background:#25252f;border:1px solid #52505c;width:min(300px,100vw - 32px);padding:12px;font:13px Inter,ui-sans-serif,system-ui,sans-serif;position:absolute;top:36px;right:0;box-shadow:0 12px 30px #0008}.settings-menu label{cursor:pointer;align-items:flex-start;gap:10px;display:flex}.settings-menu small{color:#9c95ab;margin-top:3px;font-size:11px;display:block}.lane{letter-spacing:.4px;text-transform:uppercase;color:var(--layer,#d5f786);justify-content:space-between;align-items:baseline;margin:18px 0 4px;font-size:12px;display:flex}.lane small{text-transform:none;color:#8d8799;letter-spacing:0;font-weight:400}.lane.platform{border-top:1px solid #403c4b;padding-top:14px}.process.compact{margin-bottom:6px}.process.compact li{min-height:40px}.process.compact li:not(:last-child):after{height:13px;top:33px}.process.compact .step-node{width:22px;height:22px}.process.compact small{margin-top:2px}.checks .finished .step-node{color:#2a1f25;background:#f5b0ca;border-color:#f5b0ca}.checks .failed .step-node{color:#ed8798;border-color:#ed8798}.checks li>button.link{margin-left:auto}button.link{color:#d3b9f6;background:0 0;border:0;padding:4px;font-size:12px;text-decoration:underline}.claim-line{color:#aaa4b6;margin:0 0 4px 34px;font-size:12px}.claim-line em{color:#8d8799}.decision{border:1px solid #4a4554;margin-bottom:6px;padding:12px 14px}.decision small{color:#aaa4b6;font-size:11px;display:block}.decision strong{letter-spacing:-.5px;overflow-wrap:anywhere;font-size:22px}.decision.supported{background:#243324;border-color:#72945a}.decision.supported strong{color:#d5f786}.decision.contradicted,.decision.failed{background:#33222a;border-color:#8a4a5a}.decision.contradicted strong,.decision.failed strong{color:#f5a0b4}.decision.failed strong{font-size:14px}.decision.undetermined{background:#302b20;border-color:#8a7a4a}.decision.undetermined strong{color:#e7c477}.criteria li.holds>span:first-child{color:#d5f786;font-size:12px}.condition-note{color:#c8c1cc;border-left:2px solid #594e65;padding:8px 10px;font-size:12px}.condition-note.supported{border-color:#d5f786}.condition-note.contradicted{border-color:#f5a0b4}.condition-note.undetermined{border-color:#e7c477}.secondary.wide{margin-top:10px}.agent-steps>summary{cursor:pointer;color:#c8c1cc;padding:6px 0;font-size:12px}.agent-steps[open]>summary{color:#8d8799}.inspector-tabs{flex-wrap:wrap;align-items:center;gap:2px;display:flex}.inspector-tabs button{color:#aaa4b6;cursor:pointer;background:0 0;border:0;border-bottom:2px solid #0000;padding:4px 8px;font:11px ui-monospace,SFMono-Regular,monospace}.inspector-tabs button[aria-selected=true]{color:#efedf0;border-bottom-color:#d5f786}.inspector-tabs>span{margin-left:auto}.bench{grid-template-columns:minmax(0,1.1fr) minmax(0,1fr);gap:14px;display:grid}@media (width<=900px){.bench{grid-template-columns:1fr}}.bench-title{letter-spacing:.08em;color:#aaa4b6;margin:0 0 8px;font:10px ui-monospace,SFMono-Regular,monospace}.bench-title span{color:#d3b9f6;letter-spacing:0;margin-left:6px}.pdf-view{background:#15171e;border:1px solid #4a4554}.pdf-toolbar{color:#dbd3e2;border-bottom:1px solid #4a4554;align-items:center;gap:6px;padding:6px 8px;font:11px ui-monospace,SFMono-Regular,monospace;display:flex}.pdf-toolbar button{color:#efedf0;cursor:pointer;background:#2b2936;border:1px solid #51475d;min-width:26px;padding:2px 6px}.pdf-toolbar button:disabled{opacity:.4;cursor:default}.pdf-toolbar button[aria-pressed=true]{border-color:#d5f786}.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:#dbd3e2;padding:16px}.erased{border:1px dashed #8a7a4a}table.fields{border-collapse:collapse;width:100%;font-size:12px}table.fields th,table.fields td{text-align:left;overflow-wrap:anywhere;border-bottom:1px solid #3b3946;padding:6px}table.fields th{color:#aaa4b6;font:10px ui-monospace,SFMono-Regular,monospace}table.fields tr.selected td{background:#2f2c3c}table.fields td.same{color:#d5f786}table.fields td.differs{color:#f5a0b4}.provenance,.trail,.observation{border:1px solid #4a4554;margin-top:16px;padding:10px 12px}.provenance ol,.trail ol{margin:0;padding:0;list-style:none}.provenance>ol>li,.trail li{border-left:3px solid #51475d;margin-bottom:6px;padding:4px 0 6px 10px}.provenance small{color:#aaa4b6;font:10px ui-monospace,SFMono-Regular,monospace}.provenance p{margin:2px 0}.trail p{overflow-wrap:anywhere;margin:2px 0;font-size:11px}.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;color:#efedf0;cursor:pointer;background:#1d1e26;border:1px solid #4a4554;width:100%;height:100%;padding:8px}.chain small{color:#aaa4b6;margin-bottom:4px;font:9px ui-monospace,SFMono-Regular,monospace;display:block}.chain span{overflow-wrap:anywhere;font-size:12px}.chain li.ok button{border-color:#72945a}.chain li.differs button,.chain li.missing button{border-color:#8a4a5a}button.id{color:#d3b9f6;cursor:copy;font-size:inherit;background:0 0;border:0;padding:0}[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);vertical-align:middle;border-radius:50%;width:8px;height:8px;margin-right:6px;display:inline-block}.layers{flex-wrap:wrap;gap:8px;margin:12px 0 0;padding:0;list-style:none;display:flex}.layers li{border:1px solid var(--layer);background:color-mix(in srgb, var(--layer) 9%, transparent);border-left-width:4px;padding:5px 10px;font-size:12px}.layers strong{color:var(--layer)}.layers span{color:#cfc8d8}.layers.detailed{grid-template-columns:repeat(auto-fit,minmax(220px,1fr));margin:18px 0;display:grid}.layers small{color:#aaa4b6;margin-top:4px;font-size:11px;display:block}.panel[data-layer]{border-top:3px solid var(--layer)}.inspector-tabs button[data-layer][aria-selected=true]{border-bottom-color:var(--layer)}.file-explorer button[data-layer]>span:first-child{color:var(--layer)}.provenance li[data-layer],.trail li[data-layer],.trail[data-layer] li{border-left-color:var(--layer)}.provenance li[data-layer]>small{color:var(--layer)}.bench section[data-layer],.trail[data-layer],.observation[data-layer]{border-color:color-mix(in srgb, var(--layer) 45%, #4a4554)}.bench section[data-layer]{border:1px solid color-mix(in srgb, var(--layer) 45%, #4a4554);padding:8px}table.fields th[data-layer]{color:var(--layer)}.chain li[data-layer] button{border-top:3px solid var(--layer)}.chain li[data-layer] small,.terminal-layer{color:var(--layer)}.lane.layer-dot{justify-content:flex-start}.lane.layer-dot small{margin-left:auto}.ide-tabbar button.active[data-layer]{border-top-color:var(--layer)}table.compare,table.requirements{border-collapse:collapse;width:100%;margin:12px 0 20px;font-size:13px}table.compare th,table.compare td,table.requirements th,table.requirements td{text-align:left;vertical-align:top;overflow-wrap:anywhere;border-bottom:1px solid #3b3946;padding:8px}table.compare thead th{color:var(--layer);font-size:13px}table.compare thead small{color:#aaa4b6;font-weight:400;display:block}table.compare tbody tr[data-layer]>th{border-left:3px solid var(--layer);color:#dbd3e2;font-weight:500}table.compare td.verdict.supported strong{color:#d5f786}table.compare td.verdict.contradicted strong{color:#f5a0b4}table.compare td.verdict.diverged strong{color:#f5a0b4;border:1px dashed #8a4a5a;padding:2px 4px}table.compare td.verdict.undetermined strong{color:#e7c477}table.requirements th small{color:#aaa4b6;font-weight:400;display:block}button.value{color:#efedf0;cursor:pointer;background:#1d1e26;border:1px solid #4a4554;padding:3px 8px;font:11px ui-monospace,SFMono-Regular,monospace}button.value.true{color:#d5f786;border-color:#72945a}button.value.false{color:#f5a0b4;border-color:#8a4a5a}button.value.unknown{color:#e7c477;border-color:#8a7a4a}button.value[aria-pressed=true]{outline:2px solid var(--proof)}ul.cases{margin:6px 0;padding:0;list-style:none}ul.cases li{padding:4px 0;font-size:12px}ul.cases li.failed strong,ul.cases li.error strong{color:#f5a0b4}.counterexample{border-left:3px solid #8a4a5a;margin:4px 0;padding:4px 10px}.counterexample p{margin:2px 0;font-size:11px}table.compare td:last-child,table.requirements td:last-child{font-size:inherit;color:inherit;text-align:left}table.compare td.mono:last-child{color:#9b80ad;font:10px monospace}table.compare,table.requirements{display:block;overflow-x:auto}.local-verify{border:1px solid color-mix(in srgb, var(--proof) 45%, #4a4554);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{color:#aaa4b6;margin-bottom:4px;font:10px ui-monospace,SFMono-Regular,monospace}.verify-actions{gap:8px;margin:8px 0;display:flex}.replay-log{white-space:pre-wrap;background:#15171e;border:1px solid #44404b;padding:8px 10px;font:11px ui-monospace,SFMono-Regular,monospace}.verdict-line.complete{color:#d5f786}.verdict-line.incomplete{color:#e7c477}.verdict-line.refused{color:#f5a0b4}td.established{color:#d5f786}td.not_established{color:#f5a0b4}.sidebar-toggle{color:#aaa4b6;background:0 0;border:1px solid #403c4b;border-radius:4px;margin-top:12px;padding:6px 0;font:11px ui-monospace,monospace}.sidebar-toggle:hover{color:#ede9f5}@media (width>=701px){.shell.collapsed .sidebar{align-items:center;width:60px;padding:18px 10px}.shell.collapsed .body{width:calc(100% - 60px);margin-left:60px}.shell.collapsed .brand{font-size:0}.shell.collapsed .brand img{margin:0}.shell.collapsed .brand>span,.shell.collapsed .workspace>span:last-child,.shell.collapsed .nav-label,.shell.collapsed nav small,.shell.collapsed .file-explorer,.shell.collapsed .side-note{display:none}.shell.collapsed .workspace{justify-content:center;width:100%}.shell.collapsed nav{width:100%;margin-top:16px}.shell.collapsed nav button{justify-content:center;padding:10px 0;font-size:0}.shell.collapsed .sidebar-toggle{width:100%;margin-top:auto}}
