@font-face{font-family:Geist;src:url(assets/sans.woff2) format('woff2');font-weight:400;font-display:swap}
@font-face{font-family:Geist;src:url(assets/sans-semibold.woff2) format('woff2');font-weight:600 900;font-display:swap}
@font-face{font-family:GeistMono;src:url(assets/mono.woff2) format('woff2');font-weight:400;font-display:swap}
@font-face{font-family:Baskerville;src:url(assets/serif.woff2) format('woff2');font-weight:700;font-display:swap}
@font-face{font-family:Baskerville;src:url(assets/serif-italic.woff2) format('woff2');font-weight:700;font-style:italic;font-display:swap}
:root{--bg:#11100e;--panel:#191714;--terminal:#0c0b0a;--fg:#f0ebe5;--muted:#aca397;--dim:#71695f;--line:#302c26;--orange:#f7931a;--green:#8cac7d;--red:#e58e7f;--mono:GeistMono,monospace;--serif:Baskerville,Georgia,serif}
*{box-sizing:border-box}html{scroll-behavior:smooth;scroll-padding-top:82px}body{margin:0;background:var(--bg);color:var(--fg);font:14px/1.65 Geist,Arial,sans-serif;-webkit-font-smoothing:antialiased}body:before{content:'';position:fixed;inset:0;pointer-events:none;z-index:10;opacity:.035;background-image:url("data:image/svg+xml,%3Csvg viewBox='0 0 180 180' xmlns='http://www.w3.org/2000/svg'%3E%3Cfilter id='n'%3E%3CfeTurbulence type='fractalNoise' baseFrequency='.95' numOctaves='3' stitchTiles='stitch'/%3E%3C/filter%3E%3Crect width='100%25' height='100%25' opacity='.5' filter='url(%23n)'/%3E%3C/svg%3E")}
button,input{font:inherit}button,a,input{ -webkit-tap-highlight-color:transparent}button{cursor:pointer}button:disabled{cursor:wait;opacity:.45}a{color:inherit;text-decoration:none}button{color:inherit}input{min-width:0}button:focus-visible,a:focus-visible,input:focus-visible{outline:2px solid var(--orange);outline-offset:4px}::selection{background:#f7931a55;color:white}p,h1,h2,h3,h4,dl,dd{margin:0}code,pre{font-family:var(--mono)}[hidden]{display:none!important}.shell{width:min(1180px,calc(100% - 64px));margin-inline:auto}.orange{color:var(--orange)}.dim{color:var(--dim)}.sr-only{position:absolute;width:1px;height:1px;overflow:hidden;clip:rect(0,0,0,0);white-space:nowrap}.skip-link{position:fixed;left:12px;top:-100px;background:var(--fg);color:var(--bg);padding:10px;z-index:50}.skip-link:focus{top:10px}
.site-header{border-bottom:1px solid var(--line)}.header-row{height:74px;display:flex;align-items:center;justify-content:space-between;gap:24px}.brand{display:flex;align-items:center;gap:10px;flex-shrink:0;font:600 19px/1.05 Geist,sans-serif;letter-spacing:-.5px}.brand img{object-fit:contain}.brand-slash{font-weight:400;color:var(--orange);margin:0 3px}.brand small{display:block;font:8px/1.8 var(--mono);letter-spacing:1.6px;color:var(--dim);margin-top:4px}.header-row nav{display:flex;align-items:center;gap:28px;font-size:12px;color:var(--muted)}.header-row nav a:hover,.nav-link:hover{color:var(--fg)}.nav-link{background:none;border:0;padding:0;font:inherit;color:inherit}.nav-link span{color:var(--dim)}.header-action{font-size:11px;background:var(--fg);color:var(--bg);padding:9px 14px;display:flex;gap:16px;align-items:center;border-radius:3px;font-weight:600}
.hero{display:grid;grid-template-columns:1fr 500px;gap:75px;padding:46px 0 48px;align-items:center}.eyebrow{border:1px solid var(--line);background:var(--panel);border-radius:3px;padding:5px 10px;display:inline-flex;align-items:center;gap:9px;color:var(--muted);font:10px var(--mono)}.eyebrow>span:last-child{margin-left:5px}.status-dot{width:5px;height:5px;background:var(--orange);display:inline-block;border-radius:50%;flex-shrink:0}.hero h1{font:700 57px/1.18 var(--serif);letter-spacing:-2px;margin:22px 0 18px}.hero h1 em,.closing h2 em{color:var(--orange)}.hero-copy>p{font-size:14px;line-height:1.8;color:var(--muted);max-width:430px}.hero-actions{display:flex;gap:8px;margin:28px 0 30px}.button{display:inline-flex;align-items:center;justify-content:center;gap:18px;border:1px solid var(--line);border-radius:3px;font-size:11px;font-weight:600;padding:10px 16px;white-space:nowrap;min-height:39px}.button.primary{background:var(--fg);color:#18140f;border-color:var(--fg)}.button.primary:hover{background:var(--orange);border-color:var(--orange)}.button.secondary{background:var(--panel);color:var(--fg)}.button.secondary:hover{border-color:var(--dim)}.hero-spec{display:flex;gap:26px;font:10px/1.7 var(--mono)}.hero-spec dt{color:var(--dim);margin-bottom:3px}.hero-spec dd{color:var(--fg);font-size:10px}.terminal{border:1px solid #3d362e;background:var(--terminal);min-width:0}.terminal-title{display:flex;align-items:center;justify-content:space-between;gap:10px;padding:7px 12px;border-bottom:1px solid #3d362e;background:var(--panel);font:9px/1.6 var(--mono);color:var(--dim)}.terminal-body{padding:17px 16px 15px;font:10px/1.8 var(--mono)}.terminal-command{color:var(--muted);margin-bottom:12px}.cursor{display:inline-block;width:5px;height:10px;vertical-align:-1px;background:var(--muted);margin-left:5px;animation:blink 1.5s steps(1) infinite}.formula-list{margin-bottom:20px}.formula-list>div{display:grid;grid-template-columns:8px 64px 1fr;gap:5px;line-height:1.8;color:#62584a;transition:color .15s}.formula-list code{font:inherit;white-space:nowrap;overflow:hidden;text-overflow:ellipsis}.formula-list i{font-style:normal;visibility:hidden;color:var(--orange)}.formula-list>div.active{color:var(--fg)}.formula-list>div.active i{visibility:visible}.hash-chains{min-height:110px}.hash-row{display:flex;align-items:center;gap:12px;height:22px;white-space:nowrap}.hash-label{width:52px;color:var(--dim);flex-shrink:0}.hash-bars{display:flex;gap:3px;height:8px;align-items:stretch}.hash-bars i{width:6px;display:block;background:#29251f}.hash-bars i.filled{background:#d1c7b9}.hash-bars i.hot{background:var(--orange)}.hash-bars i.done{background:#b87421}.hash-row code{color:var(--dim);font-size:9px;margin-left:auto}.hash-row.is-complete code{color:var(--orange)}.terminal-more{color:var(--dim);font-size:9px;margin-top:4px}.terminal-digests{border-top:1px dashed #3a332a;padding-top:12px;margin-top:16px}.terminal-digests>div{display:flex;gap:12px;line-height:2}.terminal-digests>div>span{width:28px;color:var(--dim);flex-shrink:0}.terminal-digests code{font:inherit;overflow:hidden;white-space:nowrap;text-overflow:ellipsis;max-width:360px}.terminal-result{font-size:10px;margin-top:12px;min-height:18px;line-height:1.6}.terminal-result.failed{color:var(--red)}.terminal-result.success{color:var(--orange)}.terminal-controls{border-top:1px solid var(--line);padding:7px 12px;display:flex;justify-content:space-between;align-items:center;gap:10px;color:var(--dim);font:8px/1.5 var(--mono)}.terminal-controls>div{display:flex;gap:12px}.terminal-controls button{padding:0;border:0;background:transparent;color:var(--muted);font:inherit}.terminal-controls button:hover{color:var(--fg)}
.network-strip{border-top:1px solid var(--line);border-bottom:1px solid var(--line);display:grid;grid-template-columns:1.3fr 1fr 1fr 1fr 1.1fr;gap:28px;padding:16px 0;align-items:center;font:10px/1.8 var(--mono)}.network-heading{display:flex;gap:7px;align-items:center;flex-wrap:wrap}.network-heading>span:nth-child(2){color:var(--orange);font-size:9px}.network-heading small{font-size:8px;flex-basis:100%;color:var(--dim);letter-spacing:1px;margin-left:12px}.network-strip>div:not(:first-child){border-left:1px solid var(--line);padding-left:20px}.metric-label{display:block;color:var(--dim);font-size:9px}.network-strip b{font-weight:400}.network-strip a{color:var(--muted)}
.workspace{padding-top:42px;scroll-margin-top:25px}.workspace-heading{display:flex;align-items:center;justify-content:space-between;border-bottom:1px solid var(--line);margin-bottom:23px;gap:14px}.tabs{display:flex;gap:28px}.tabs button{background:transparent;border:0;padding:0 0 12px;font:700 21px/1.5 var(--serif);color:var(--dim);position:relative;white-space:nowrap}.tabs button[aria-selected=true]{color:var(--fg)}.tabs button[aria-selected=true]:after{content:'';position:absolute;left:0;right:0;bottom:-1px;height:2px;background:var(--orange)}.workspace-number{font:8px var(--mono);color:var(--dim);letter-spacing:1px;padding-bottom:12px}.scanner-layout{display:grid;grid-template-columns:minmax(0,1fr) 303px;gap:34px}.scanner-terminal .terminal-title{padding-block:9px}.scan-body{padding:22px}.section-index{font:9px/1.6 var(--mono);color:var(--dim);letter-spacing:1.1px}.scan-intro h3,.watch-heading h3{font-size:21px;line-height:1.4;letter-spacing:-.65px;font-weight:600;margin:7px 0 5px}.scan-intro p,.watch-heading p{color:var(--muted);font-size:12px}.scan-intro{margin-bottom:24px}.input-label{display:block;font:10px var(--mono);color:var(--muted);margin-bottom:10px}.command-input{border:1px solid #4c4030;background:#12100d;padding:6px;display:flex;gap:10px;align-items:center}.command-input>span{color:var(--orange);font:13px var(--mono);padding-left:8px}.command-input input{flex:1;min-width:0;border:0;background:none;color:var(--fg);font:11px/1.6 var(--mono);padding:7px 0;outline-offset:0}.command-input input::placeholder{color:var(--dim)}.command-input .button{border-radius:1px;min-height:34px;padding:7px 12px;font-size:10px}.input-bottom{display:flex;justify-content:space-between;gap:16px;font:8px/1.5 var(--mono);color:var(--dim);margin:8px 0 15px}.keyboard-hint{white-space:nowrap}.examples{display:flex;gap:14px;align-items:center;flex-wrap:wrap;font:9px/1.5 var(--mono);margin-bottom:22px}.examples>span{color:var(--dim);margin-right:5px}.examples button,.examples a{border:0;background:transparent;color:var(--muted);font:inherit;padding:0}.examples button:hover,.examples a:hover{color:var(--orange)}.scan-status{font:10px/1.8 var(--mono);color:var(--orange);overflow-wrap:anywhere}.scan-status:not(:empty){margin:15px 0}.scan-status.error{color:var(--red)}.scan-empty{border-top:1px dashed var(--line);padding-top:16px;margin-top:25px;font:9px/1.8 var(--mono)}.scan-empty-top{display:flex;justify-content:space-between;gap:10px;font-size:8px}.scan-empty-top>.orange{letter-spacing:1px}.scan-empty pre{color:var(--muted);margin:15px 0 24px;font-size:11px;line-height:2}.scan-empty-bottom{color:var(--dim);display:flex;align-items:center;gap:10px;font-size:9px}.crosshair{color:var(--orange);font-size:17px}.anatomy-panel{padding:15px 0 5px}.anatomy-panel h3{font:700 23px/1.4 var(--serif);letter-spacing:-.5px;margin-top:9px}.script-map{border:1px solid var(--line);padding:13px 14px;margin:20px 0 21px;font:8px/1.8 var(--mono);background:radial-gradient(#45403644 .5px,transparent .5px) 0 0/6px 6px}.map-top{display:flex;gap:10px;color:var(--muted);margin-bottom:14px}.map-top span{color:var(--orange)}.map-node{display:flex;align-items:center;gap:8px}.map-prefix{border:1px solid #4a3e2c;padding:2px 5px;color:var(--orange)}.bit-strip{display:flex;gap:2px;flex:1;height:14px}.bit-strip i{display:block;flex:1;background:#5e4927}.bit-strip i:nth-child(3n){background:var(--orange)}.bit-strip i:nth-child(5n){background:#b7a991}.map-end{color:var(--dim)}.map-connector{margin-top:7px;color:var(--dim);line-height:1.65}.field-notes>div{margin-bottom:19px}.field-notes dt{font-size:11px;color:var(--fg);display:flex;align-items:center;gap:8px;margin-bottom:5px}.note-marker{font:8px var(--mono);color:var(--orange)}.field-notes dd{font-size:11px;line-height:1.65;color:var(--muted);padding-left:22px}.text-link{border:0;background:none;font:10px/1.5 var(--mono);color:var(--muted);padding:0;text-align:left}.text-link:hover{color:var(--orange)}.anatomy-panel>.text-link{font-size:9px}
.result-heading{display:flex;align-items:flex-end;justify-content:space-between;margin:25px 0 16px;gap:15px}.result-heading h3{font-size:17px;margin-top:4px}.result-heading a{font-size:9px;white-space:nowrap}.result-metrics{display:grid;grid-template-columns:1.3fr 1fr 1fr;gap:18px;border-block:1px solid var(--line);padding:15px 0;margin:15px 0;font:10px/1.6 var(--mono)}.result-metrics dt{color:var(--dim);font-size:9px;margin-bottom:5px}.result-metrics dd{font-size:13px;color:var(--fg)}.finding{padding:12px;border:1px solid #594122;background:#f7931a07;font-size:11px;line-height:1.8;margin-bottom:16px}.finding b{color:var(--orange);display:block;font:11px/1.7 var(--mono);margin-bottom:5px}.finding p{color:var(--muted)}.output-row{border-top:1px solid var(--line);display:grid;grid-template-columns:1fr auto;gap:4px 15px;padding:9px 0;font:9px/1.7 var(--mono)}.output-row>code{overflow:hidden;text-overflow:ellipsis;white-space:nowrap;color:var(--muted)}.output-row>span{font-size:9px;color:var(--fg)}.output-row>small{color:var(--dim);font-size:8px}.output-row a{color:var(--orange);font-size:8px;text-align:right}.scope-note{color:var(--dim);font:9px/1.8 var(--mono);margin:18px 0;overflow-wrap:anywhere}
.proof-workspace-body{padding:24px;max-width:940px;margin:auto}.proof-workspace .scan-intro{margin-bottom:22px}.proof-workspace .examples{margin-top:14px}.proof-summary{display:flex;justify-content:space-between;gap:15px;font:11px var(--mono);padding:17px 0;border-bottom:1px solid var(--line);color:var(--orange)}.proof-summary.failed{color:var(--red)}.trace-head,.trace-row{display:grid;grid-template-columns:60px minmax(0,1fr) 50px;gap:12px;font:9px/1.7 var(--mono);padding:6px 0;border-bottom:1px solid #29251f}.trace-head{color:var(--dim);padding-top:14px}.trace-row code{overflow:hidden;text-overflow:ellipsis;white-space:nowrap;color:var(--muted)}.trace-row>span:first-child{color:var(--orange)}.trace-row>span:last-child{color:var(--dim)}.proof-root-report{display:grid;gap:6px;margin-top:18px;font:9px/1.8 var(--mono)}.proof-root-report>span{color:var(--dim)}.proof-root-report code{overflow-wrap:anywhere;color:var(--orange);font-size:10px}.watch-heading{display:flex;justify-content:space-between;gap:20px;margin:8px 0 25px;align-items:end}.review-date{font:8px var(--mono);color:var(--dim)}.research-table{border:1px solid var(--line)}.research-row{display:grid;grid-template-columns:56px minmax(0,1fr) 140px 14px;gap:24px;align-items:center;padding:23px;background:var(--terminal);border-bottom:1px solid var(--line)}.research-row:last-child{border-bottom:0}.research-row:hover{background:var(--panel)}.research-symbol{font:15px var(--mono);color:var(--orange);border:1px solid #51402b;width:53px;height:53px;display:grid;place-items:center;background:#f7931a05}.research-row h4{font-size:16px;letter-spacing:-.4px;font-weight:600}.research-row p{font-size:12px;color:var(--muted);margin:5px 0}.research-row small{font:8px var(--mono);color:var(--dim)}.tag{font:8px var(--mono);border:1px solid var(--line);padding:5px 8px;text-align:center;justify-self:end;white-space:nowrap;color:var(--muted)}.tag.orange{border-color:#594122;color:var(--orange)}.research-row>span:last-child{color:var(--dim)}.watch-footnote{display:flex;gap:15px;font:10px/1.8 var(--mono);color:var(--muted);padding:20px 0}.watch-footnote>span{white-space:nowrap}
.chain-section{padding-top:42px}.section-top{display:flex;align-items:center;justify-content:space-between;margin-bottom:16px;gap:20px}.section-top h2{font-size:16px;font-weight:600;letter-spacing:-.4px;display:flex;align-items:center;gap:9px}.section-top>div{display:flex;gap:15px;align-items:center}.section-top>div>span{font:8px var(--mono);color:var(--dim)}.section-top .text-link{font-size:9px}.block-list{display:grid;grid-template-columns:repeat(6,minmax(0,1fr));gap:12px}.block-card{padding:14px;background:var(--panel);border:1px solid var(--line);min-width:0;position:relative}.block-card:before,.block-card:after{content:'';position:absolute;pointer-events:none;left:-1px;top:-1px;width:8px;height:8px;border-left:1px solid #736044;border-top:1px solid #736044}.block-card:after{left:auto;top:auto;right:-1px;bottom:-1px;border:0;border-right:1px solid #736044;border-bottom:1px solid #736044}.block-card:hover{border-color:#736044}.block-top{display:flex;align-items:center;justify-content:space-between;font:8px var(--mono);color:var(--dim)}.block-card h3{font:14px var(--mono);margin:8px 0 14px}.block-matrix{display:grid;grid-template-columns:repeat(16,1fr);gap:2px;height:28px;margin-bottom:14px}.block-matrix i{background:#352b1e}.block-matrix i.on{background:#875719}.block-matrix i.bright{background:var(--orange)}.block-bottom{display:flex;justify-content:space-between;gap:5px;font:8px var(--mono);color:var(--dim)}.block-bottom b{font-weight:400;color:var(--muted)}.block-placeholder{grid-column:1/-1;padding:30px;border:1px dashed var(--line);font:10px var(--mono);color:var(--dim)}.chain-source{font:8px/1.8 var(--mono);color:var(--dim);margin-top:12px}.chain-source a{color:var(--muted)}
.closing{border-top:1px solid var(--line);border-bottom:1px solid var(--line);margin-top:55px;padding:34px 0 40px;display:grid;grid-template-columns:1.2fr 1fr;position:relative;overflow:hidden;gap:20px}.closing>.section-index{grid-column:1/-1}.closing h2{font:700 34px/1.35 var(--serif);letter-spacing:-1px;z-index:1}.closing>div{align-self:center;z-index:1}.closing p{font-size:12px;color:var(--muted);line-height:1.8;margin-bottom:14px}.closing .text-link{color:var(--fg);font-size:10px}.closing .text-link span{color:var(--orange);margin-left:12px}.closing-glyph{position:absolute;right:15px;bottom:-60px;font:230px/1 Geist,sans-serif;color:#f7931a05;transform:rotate(12deg);pointer-events:none}footer{padding:26px 0 35px;display:flex;align-items:center;gap:26px;font:8px var(--mono);color:var(--dim)}footer .brand{font-size:13px;color:var(--fg)}footer .brand img{width:23px;height:23px}footer>a:not(.brand){color:var(--muted)}.footer-build{margin-left:auto;font-size:8px;letter-spacing:1px}
dialog{background:var(--bg);color:var(--fg);border:1px solid #59452a;width:min(700px,calc(100% - 32px));max-height:85vh;padding:0}dialog::backdrop{background:#000b;backdrop-filter:blur(4px)}.dialog-top{display:flex;align-items:center;justify-content:space-between;gap:16px;padding:12px 20px;border-bottom:1px solid var(--line);background:var(--panel);font:9px var(--mono);color:var(--dim);position:sticky;top:0}.dialog-top button{font-size:10px}dialog article{padding:28px}dialog h2{font:700 31px/1.3 var(--serif);margin:10px 0 20px;letter-spacing:-1px}dialog p{color:var(--muted);font-size:13px;line-height:1.8;margin-bottom:17px}dialog h3{font-size:15px;margin:20px 0 7px}dialog .scope-note{font-size:10px;color:var(--dim)}.source-links{display:flex;flex-wrap:wrap;gap:16px;font:10px var(--mono);color:var(--orange);margin-top:25px}.noscript-message{padding:18px;color:var(--orange);font:12px var(--mono);border-top:1px solid var(--line)}
@keyframes blink{50%{opacity:0}}@keyframes enter{from{opacity:0;transform:translateY(8px)}to{opacity:1;transform:translateY(0)}}.hero-copy{animation:enter .65s both}.hero-terminal{animation:enter .8s .12s both}.network-strip{animation:enter .8s .22s both}
@media(max-width:1160px){.hero{gap:35px;grid-template-columns:1fr 46%}.hero h1{font-size:50px}.scanner-layout{grid-template-columns:minmax(0,1fr) 270px;gap:25px}.hero-spec{gap:16px}.block-list{gap:8px}.block-card{padding:12px}.header-row nav{gap:20px}.research-row{gap:18px}}
@media(max-width:900px){.shell{width:calc(100% - 40px)}.hero{gap:25px}.hero h1{font-size:43px;letter-spacing:-1.4px}.hero-copy>p{font-size:12px}.hero-spec{gap:11px;font-size:9px;flex-wrap:wrap}.hero-spec dd{font-size:9px}.hero-actions{gap:7px}.hero-actions .button{padding-inline:12px;font-size:10px;gap:8px}.terminal-body{font-size:9px;padding:14px 12px}.hash-row{gap:8px}.hash-label{width:44px}.hash-bars{gap:2px}.hash-bars i{width:5px}.terminal-result{font-size:9px}.header-row nav{gap:14px}.header-action{font-size:10px;padding:9px 12px}.brand{font-size:17px}.scanner-layout{grid-template-columns:1fr}.anatomy-panel{display:grid;grid-template-columns:1fr 1fr;gap:0 28px;padding:5px 0}.anatomy-panel>.section-index{grid-column:1}.anatomy-panel h3{grid-column:1;grid-row:2}.anatomy-panel .script-map{grid-column:1;grid-row:3}.anatomy-panel .field-notes{grid-column:2;grid-row:1/5}.anatomy-panel>.text-link{grid-column:1}.block-list{grid-template-columns:repeat(3,1fr)}.network-strip{gap:14px}.network-strip>div:not(:first-child){padding-left:12px}.network-heading small{font-size:7px}.network-strip{font-size:9px}.network-strip a{font-size:8px}.closing h2{font-size:31px}.review-date{white-space:nowrap}}
@media(max-width:680px){.header-row{height:66px;gap:12px}.header-row nav{display:none}.brand{font-size:16px}.brand img{width:29px;height:29px}.brand small{font-size:7px}.header-action{padding:8px 10px;font-size:9px;gap:10px}.hero{grid-template-columns:1fr;padding:30px 0 28px;gap:27px}.hero h1{font-size:49px;line-height:1.15;letter-spacing:-1.8px;margin:19px 0 16px}.hero-copy>p{font-size:13px;line-height:1.8}.hero-actions{margin:23px 0 24px}.hero-actions .button{font-size:11px;padding:10px 14px}.hero-spec{gap:24px}.hero-spec dd{font-size:9px}.hero-terminal{width:100%}.terminal-body{padding:17px 15px;font-size:10px}.formula-list>div{grid-template-columns:8px 64px 1fr}.hash-row{gap:10px}.hash-label{width:47px}.hash-bars{gap:3px}.hash-bars i{width:5px}.terminal-result{font-size:10px}.terminal-title{font-size:8px}.terminal-controls{font-size:8px}.network-strip{grid-template-columns:1fr 1fr 1fr;padding:13px 0;gap:12px 15px}.network-heading{grid-column:1/-1}.network-heading small{flex-basis:auto;margin-left:auto;font-size:8px}.network-strip>div:nth-child(2){border-left:0;padding-left:0}.network-strip>div:last-child{display:none}.network-strip{font-size:10px}.metric-label{font-size:8px}.workspace{padding-top:29px}.workspace-heading{margin-bottom:17px}.workspace-number{display:none}.tabs{width:100%;justify-content:space-between;gap:14px}.tabs button{font-size:17px;letter-spacing:-.35px;padding-bottom:11px}.scan-body{padding:16px}.scan-intro h3,.watch-heading h3{font-size:19px}.scan-intro p{font-size:11px}.scan-intro{margin-bottom:22px}.command-input{gap:7px}.command-input>span{font-size:11px;padding-left:3px}.command-input input{font-size:10px;padding:7px 0}.command-input .button{font-size:9px;gap:5px;padding:7px 9px;min-height:32px}.input-bottom{font-size:7px;gap:8px}.examples{gap:11px;font-size:8px;margin-bottom:18px}.examples>span{flex-basis:100%}.scan-empty{margin-top:22px}.scan-empty pre{font-size:9px;margin:16px 0 20px}.scan-empty-top{font-size:7px}.scan-empty-top>.orange{letter-spacing:0}.scan-empty-bottom{font-size:8px}.anatomy-panel{display:block;padding:8px 0 0}.anatomy-panel h3{font-size:23px}.script-map{max-width:340px;margin:16px 0}.field-notes>div{margin-bottom:16px}.field-notes dd{font-size:11px}.result-heading{align-items:flex-start}.result-heading h3{font-size:15px}.result-heading a{font-size:8px}.result-metrics{gap:12px}.result-metrics dt{font-size:7px}.result-metrics dd{font-size:11px}.finding b{font-size:10px}.finding p{font-size:10px}.scope-note{font-size:8px}.output-row{font-size:8px}.output-row>span{font-size:8px}.proof-workspace-body{padding:17px}.proof-workspace .command-input{flex-wrap:wrap}.proof-workspace .command-input input{flex-basis:calc(100% - 34px)}.proof-workspace .command-input .button{width:100%;margin-top:4px}.proof-summary{font-size:9px;line-height:1.8}.proof-summary .text-link{font-size:8px;flex-shrink:0}.trace-row,.trace-head{grid-template-columns:38px minmax(0,1fr) 35px;gap:8px;font-size:8px}.proof-root-report{font-size:8px}.proof-root-report code{font-size:8px}.watch-heading{display:block;margin-bottom:20px}.review-date{display:block;margin-top:15px}.research-row{grid-template-columns:40px minmax(0,1fr) 12px;padding:16px 13px;gap:13px}.research-symbol{width:39px;height:39px;font-size:12px;grid-row:1/3;align-self:start;margin-top:5px}.research-row>div{grid-column:2;grid-row:1}.research-row>.tag{grid-column:2;grid-row:2;justify-self:start;margin-top:4px;font-size:7px}.research-row>span:last-child{grid-column:3;grid-row:1}.research-row h4{font-size:14px}.research-row p{font-size:11px}.research-row small{font-size:7px}.watch-footnote{font-size:9px;gap:10px}.chain-section{padding-top:30px}.section-top{align-items:start;margin-bottom:15px}.section-top h2{font-size:14px}.section-top>div{flex-direction:column;align-items:end;gap:4px}.section-top>div>span{font-size:7px}.block-list{grid-template-columns:repeat(2,minmax(0,1fr));gap:10px}.block-card h3{font-size:14px}.block-card{padding:13px}.block-bottom{font-size:8px}.chain-source{font-size:8px}.closing{margin-top:35px;padding:25px 0 30px;display:block}.closing h2{font-size:30px;margin:17px 0 20px}.closing>div{position:relative}.closing p{font-size:12px}.closing-glyph{font-size:190px;bottom:-60px;right:-15px}footer{flex-wrap:wrap;gap:15px 20px;padding:22px 0 30px}footer .brand{flex-basis:100%;font-size:14px}footer .footer-build{margin-left:0;font-size:7px}dialog article{padding:22px}dialog h2{font-size:27px}dialog p{font-size:12px}}
@media(max-width:370px){.shell{width:calc(100% - 28px)}.brand{font-size:14px}.header-action{font-size:8px}.hero h1{font-size:45px}.hero-spec{gap:15px}.tabs{gap:10px}.tabs button{font-size:16px}.hash-bars{gap:2px}.hash-bars i{width:5px}.hash-row{gap:8px}.terminal-body{padding-inline:12px}.hash-row code{font-size:8px}.scan-body{padding:13px}.terminal-title{font-size:7px}.scan-empty pre{font-size:8px}}
@media(max-width:340px){.tabs{gap:7px}.tabs button{font-size:13px;letter-spacing:-.2px}}
@media(prefers-reduced-motion:reduce){html{scroll-behavior:auto}*,*:before,*:after{animation:none!important;transition:none!important}.cursor{opacity:1}}