@font-face{font-family:Manrope;src:url(/fonts/manrope.woff2)format("woff2");font-display:swap}@font-face{font-family:Azeret Mono;src:url(/fonts/azeret-mono.woff2)format("woff2");font-display:swap}:root{--steel:#dfe6ed;--paper:#f7f8f6;--ink:#0d1014;--muted:#68717c;--line:#9aa5b1;--orange:#ff5a2f;--blue:#2448ff;--green:#00c805;--yellow:#ffd900;--danger:#d43128;--mono:"Azeret Mono",ui-monospace,monospace;--sans:Manrope,Arial,sans-serif}*{box-sizing:border-box}html{scroll-behavior:smooth;background:var(--ink)}body{background:var(--steel);color:var(--ink);font-family:var(--sans);margin:0;font-size:14px}button,input{font:inherit}button,a{color:inherit}button{cursor:pointer}a{text-decoration:none}.app-shell{min-height:100vh}.site-rail{z-index:20;background:var(--ink);width:218px;color:var(--paper);border-right:5px solid var(--orange);flex-direction:column;display:flex;position:fixed;inset:0 auto 0 0}.brand{border-bottom:1px solid #39404a;grid-template-rows:24px 18px;grid-template-columns:44px 1fr;align-items:center;gap:0 11px;padding:20px 17px 18px;display:grid}.brand img{object-fit:contain;background:var(--paper);grid-row:1/3;width:44px;height:44px}.brand span{font:800 19px/1 var(--sans);letter-spacing:.08em}.brand small{font:500 8px/1 var(--mono);color:#8994a1;letter-spacing:.05em}.site-rail nav{margin-top:18px;display:grid}.site-rail nav a{color:#aeb7c1;min-height:50px;font:500 10px var(--mono);text-transform:uppercase;border-top:1px solid #0000;border-bottom:1px solid #0000;grid-template-columns:27px 1fr 14px;align-items:center;gap:8px;padding:0 16px;display:grid;position:relative}.site-rail nav a span{color:#626d79;font-size:8px}.site-rail nav a b{font-weight:500}.site-rail nav a i{opacity:0;font-style:normal}.site-rail nav a:hover{color:var(--paper);background:#171c22}.site-rail nav a.active{background:var(--orange);color:var(--ink);border-color:var(--orange)}.site-rail nav a.active span{color:var(--ink)}.site-rail nav a.active i{opacity:1}.rail-foot{font:500 8px/1.8 var(--mono);color:#97a2ae;border-top:1px solid #39404a;margin-top:auto;padding:17px}.rail-foot>div:first-child{color:var(--paper);align-items:center;gap:7px;display:flex}.rail-foot p{margin:15px 0}.signal{background:var(--green);border:1px solid var(--ink);width:8px;height:8px;display:inline-block;box-shadow:0 0 0 2px #fff}.rail-links{border:1px solid #424b56;grid-template-columns:1fr 1fr 1.4fr;display:grid}.rail-links>*{text-align:center;border-right:1px solid #424b56;padding:8px}.rail-links>:last-child{background:var(--green);color:var(--ink);border:0}.app-frame{min-width:0;margin-left:218px}main{min-height:80vh}.route-screen{max-width:1540px;margin:auto;padding:28px 30px 80px}.kicker{color:var(--blue);font:700 9px var(--mono);letter-spacing:.08em;text-transform:uppercase;margin:0 0 8px}.page-head{border-bottom:5px solid var(--ink);grid-template-columns:94px minmax(320px,1.1fr) minmax(260px,.8fr) auto;align-items:end;gap:24px;padding:0 0 26px;display:grid}.page-index{background:var(--orange);font:800 34px var(--mono);clip-path:polygon(0 0,calc(100% - 13px) 0,100% 13px,100% 100%,0 100%);align-self:stretch;place-items:center;display:grid}.page-head h1{font:800 clamp(34px,4.2vw,68px)/.94 var(--sans);letter-spacing:-.055em;text-transform:uppercase;margin:0}.page-head>p{color:#3f4852;margin:0 0 2px;font-size:13px;line-height:1.6}.page-state{background:var(--paper);border:1px solid var(--ink);font:700 8px var(--mono);white-space:nowrap;align-self:start;align-items:center;gap:8px;padding:9px 11px;display:flex}.panel-head{background:var(--ink);height:35px;color:var(--paper);font:600 9px var(--mono);letter-spacing:.04em;grid-template-columns:42px 1fr auto;align-items:center;display:grid}.panel-head span{background:var(--orange);color:var(--ink);align-self:stretch;place-items:center;font-weight:800;display:grid}.panel-head b{padding:0 12px;font-weight:600}.panel-head i{color:var(--green);padding:0 12px;font-size:8px;font-style:normal}.source{overflow-wrap:anywhere;align-items:flex-start;gap:6px;display:flex;color:var(--muted)!important;font:500 7px/1.5 var(--mono)!important;margin:8px 0 0!important}.source i{background:var(--green);flex:none;width:5px;height:5px;margin-top:3px}.primary,.link-button{background:var(--orange);border:2px solid var(--ink);min-height:42px;color:var(--ink);font:800 9px var(--mono);letter-spacing:.04em;text-transform:uppercase;box-shadow:4px 4px 0 var(--ink);justify-content:center;align-items:center;padding:10px 16px;display:inline-flex}.primary:hover,.link-button:hover{background:var(--yellow);box-shadow:2px 2px 0 var(--ink);transform:translate(2px,2px)}.primary:disabled{background:var(--line);cursor:wait}.copy-button{background:var(--paper);border:1px solid var(--ink);font:700 8px var(--mono);text-transform:uppercase;padding:9px 12px}.copy-button:hover{background:var(--yellow)}.hero-console{background:var(--steel);border-bottom:1px solid var(--ink);grid-template-rows:auto 1fr;grid-template-columns:repeat(12,minmax(0,1fr));gap:14px;min-height:790px;padding:30px;display:grid}.hero-intro{border-top:12px solid var(--blue);grid-column:1/8;padding:18px 20px 20px 0}.hero-intro h1{max-width:780px;font:800 clamp(52px,6.3vw,102px)/.84 var(--sans);letter-spacing:-.075em;text-transform:uppercase;margin:0}.hero-intro h1 em{color:var(--blue);font-style:normal}.hero-intro>p:not(.kicker){color:#343c45;max-width:690px;margin:20px 0 17px;font-size:16px;line-height:1.55}.hero-tags{flex-wrap:wrap;gap:6px;display:flex}.hero-tags span{background:var(--paper);border:1px solid var(--ink);font:700 8px var(--mono);padding:7px 9px}.hero-tags span:nth-child(2){background:var(--green)}.hero-query{grid-column:1/8;align-self:start}.hero-machine{background:var(--blue);border:1px solid var(--ink);clip-path:polygon(0 0,calc(100% - 28px) 0,100% 28px,100% 100%,0 100%);grid-area:1/8/auto/13;place-items:center;min-height:365px;margin:0;display:grid;position:relative;overflow:hidden}.hero-machine img{object-fit:cover;object-position:69% 50%;filter:grayscale()contrast(1.18);mix-blend-mode:screen;width:112%;height:365px}.machine-label{z-index:2;background:var(--paper);border:1px solid var(--ink);font:700 8px var(--mono);gap:3px;padding:8px 10px;display:grid;position:absolute;top:13px;left:13px}.machine-label i{color:var(--blue);font-size:7px;font-style:normal}.machine-signal{background:var(--ink);color:var(--paper);font:600 7px var(--mono);align-items:center;gap:7px;padding:8px 10px;display:flex;position:absolute;bottom:13px;right:13px}.proof-module{background:var(--paper);border:1px solid var(--ink);clip-path:polygon(0 0,100% 0,100% calc(100% - 18px),calc(100% - 18px) 100%,0 100%);grid-column:8/13;align-self:start}.proof-number{font:800 74px/.9 var(--mono);letter-spacing:-.08em;color:var(--blue);padding:15px 16px 0}.proof-module>p{font:600 10px var(--mono);text-transform:uppercase;margin:3px 17px 14px}.proof-grid{border-top:1px solid var(--line);grid-template-columns:repeat(2,1fr);display:grid}.proof-grid span{color:var(--muted);border-right:1px solid var(--line);border-bottom:1px solid var(--line);font:600 7px var(--mono);padding:10px 14px}.proof-grid span:nth-child(2n){border-right:0}.proof-grid b{color:var(--ink);margin-top:5px;font-size:10px;display:block}.proof-module>code{color:var(--blue);font:500 8px/1.55 var(--mono);overflow-wrap:anywhere;padding:11px 15px;display:block}.proof-module>.source{padding:0 15px 14px}.query{background:var(--paper);border:1px solid var(--ink);min-width:0}.query form{background:var(--paper)}.query label{border-bottom:1px solid var(--line);grid-template-columns:90px minmax(0,1fr) 105px;align-items:center;gap:12px;min-height:45px;padding:7px 13px;display:grid}.query label>span{color:var(--blue);font:700 8px var(--mono);text-transform:uppercase}.query label>i{font:500 7px var(--mono);color:var(--muted);text-align:right;text-transform:uppercase;font-style:normal}.query input{width:100%;min-width:0;color:var(--ink);font:500 11px var(--mono);background:0 0;border:0;outline:0;padding:5px 0}.query label:focus-within{box-shadow:inset 5px 0 var(--blue);background:#edf0ff}.query-actions{align-items:center;gap:16px;padding:12px 13px;display:flex}.query-actions>span{font:600 7px var(--mono);color:var(--muted);text-transform:uppercase}.command{background:var(--ink);color:var(--paper);grid-template-columns:1fr auto;align-items:center;gap:5px 12px;padding:11px 12px;display:grid}.command>span{color:var(--orange);font:700 7px var(--mono);grid-column:1}.command code{white-space:nowrap;font:500 8px var(--mono);scrollbar-width:thin;grid-column:1;overflow:auto}.command .copy-button{grid-area:1/2/3;align-self:stretch;min-width:68px}.result-console{background:var(--paper);border:2px solid var(--ink);box-shadow:5px 5px 0 var(--blue);margin:13px}.result-console dl,.coverage-readout dl,.schema-panel dl,.byte-map dl,.channel-board dl,.coordinates dl,.api-reference dl{margin:0}.result-console dl>div{border-bottom:1px solid var(--line);grid-template-columns:105px 1fr;gap:10px;padding:9px 12px;display:grid}dt{color:var(--muted);font:700 7px var(--mono);text-transform:uppercase}dd{font:500 9px var(--mono);overflow-wrap:anywhere;margin:0}.result-console>.source{padding:0 12px}.result-actions{gap:8px;padding:12px;display:flex}.result-actions button,.result-actions a{background:var(--paper);border:1px solid var(--ink);font:700 8px var(--mono);text-transform:uppercase;padding:9px 11px}.result-console>small{border-top:1px solid var(--ink);font:600 7px var(--mono);text-align:right;padding:8px 12px;display:block}.telemetry-bar{background:var(--ink);color:var(--paper);border-bottom:5px solid var(--orange);grid-template-columns:repeat(4,1fr);display:grid}.metric{border-right:1px solid #424a54;min-width:0;padding:17px 18px}.metric:last-child{border:0}.metric>span{color:var(--orange);font:700 7px var(--mono);text-transform:uppercase}.metric>b{font:700 clamp(17px,2vw,29px)/1 var(--mono);letter-spacing:-.05em;overflow-wrap:anywhere;margin:8px 0 3px;display:block}.metric>small{color:#96a1ad;font:500 7px/1.5 var(--mono);display:block}.metric .source{color:#96a1ad!important}.operations-board{background:var(--paper);border-bottom:1px solid var(--ink);grid-template-columns:1.15fr .85fr;gap:18px;padding:46px 30px;display:grid}.operation-copy{min-width:0}.operation-copy h2{max-width:760px;font:800 clamp(36px,4vw,66px)/.93 var(--sans);letter-spacing:-.06em;text-transform:uppercase;margin:30px 0 10px}.operation-copy>p{max-width:700px;color:var(--muted);line-height:1.6}.stage-rail{grid-template-columns:repeat(4,1fr);gap:5px;margin:28px 0;padding:0;list-style:none;display:grid}.stage-rail li{background:var(--steel);border-top:6px solid var(--line);font-family:var(--mono);gap:6px;padding:12px;display:grid}.stage-rail li.done{border-color:var(--blue)}.stage-rail li:last-child.done{border-color:var(--green)}.stage-rail span{color:var(--muted);font-size:7px}.stage-rail b{text-transform:uppercase;font-size:8px}.stage-rail i{color:var(--blue);font-size:7px;font-style:normal}.trace-list{border:1px solid var(--ink);background:var(--paper)}.trace-list article{border-bottom:1px solid var(--line);grid-template-columns:36px 1fr auto;align-items:center;gap:12px;padding:11px 13px;display:grid}.trace-list article:last-child{border:0}.trace-list>article>span{font:800 9px var(--mono);color:var(--blue)}.trace-list b{font:700 9px var(--mono);text-transform:uppercase}.trace-list p{color:var(--muted);margin:3px 0 0;font-size:10px;line-height:1.45}.trace-list>article>i{font:700 7px var(--mono);color:var(--green);font-style:normal}.instrument-art{background:var(--steel);border:1px solid var(--ink);clip-path:polygon(0 0,calc(100% - 16px) 0,100% 16px,100% 100%,0 100%);min-width:0;margin:0}.instrument-top{background:var(--blue);height:33px;color:var(--paper);font:600 7px var(--mono);justify-content:space-between;align-items:center;padding:0 11px;display:flex}.instrument-top i{color:#b9c3ff;font-style:normal}.instrument-art img{object-fit:contain;filter:grayscale()contrast(1.22);mix-blend-mode:multiply;width:100%;max-height:540px;padding:20px;display:block}.instrument-art figcaption{background:var(--ink);color:#9ea9b5;font:500 7px/1.4 var(--mono);padding:9px 11px}.system-index{background:var(--steel);padding:42px 30px 55px}.index-columns{border:1px solid var(--ink);background:var(--paper);grid-template-columns:1fr 1fr 1fr;display:grid}.index-columns article{border-right:1px solid var(--ink);padding:20px}.index-columns article:last-child{border:0}.index-columns h3{color:var(--blue);font:800 10px var(--mono);text-transform:uppercase;margin:0 0 16px}.index-columns a{border-top:1px solid var(--line);gap:4px;padding:11px 0;display:grid}.index-columns a:last-child{border-bottom:1px solid var(--line)}.index-columns a b{font:700 12px var(--mono)}.index-columns a span{color:var(--muted);font:500 8px var(--mono)}.index-columns ul{margin:0;padding:0;list-style:none}.index-columns li{border-bottom:1px solid var(--line);font:500 9px var(--mono);padding:8px 0}.workbench-grid{grid-template-columns:1.1fr .9fr;align-items:stretch;gap:16px;margin-top:20px;display:grid}.workbench-grid>.query,.query-stack,.route-diagnostic,.verified-run{height:100%}.workbench-grid>.query{flex-direction:column;display:flex}.query-stack{grid-template-rows:auto 1fr;gap:16px;display:grid}.operator-note{background:var(--paper);border:1px solid var(--ink);grid-template-rows:auto 1fr;display:grid}.operator-note dl{grid-template-rows:repeat(4,1fr);margin:0;display:grid}.operator-note dl>div{border-bottom:1px solid var(--line);grid-template-columns:120px 1fr;gap:12px;padding:13px;display:grid}.operator-note dl>div:last-child{border:0}.route-diagnostic,.verified-run,.snapshot-side,.window-map{min-width:0}.route-diagnostic{grid-template-rows:1fr auto;display:grid}.route-diagnostic>.instrument-art{height:100%}.mini-metrics{background:var(--ink);color:var(--paper);grid-template-columns:repeat(3,1fr);display:grid}.mini-metrics .metric{padding:12px}.mini-metrics .metric>b{color:var(--paper);font-size:12px}.data-section{background:var(--paper);border:1px solid var(--ink);min-width:0;margin-top:18px}.data-section>.trace-list{border:0}.table-wrap{overflow-x:auto}table{border-collapse:collapse;background:var(--paper);width:100%;min-width:720px;font:500 9px var(--mono)}th,td{text-align:left;border-right:1px solid var(--line);border-bottom:1px solid var(--line);padding:12px 14px}th:last-child,td:last-child{border-right:0}tbody tr:last-child td{border-bottom:0}th{background:var(--blue);color:var(--paper);text-transform:uppercase;font-size:8px}tbody tr:nth-child(2n){background:#edf0f2}.outcome-grid{grid-template-columns:repeat(4,1fr);display:grid}.outcome-grid article{border-right:1px solid var(--ink);min-height:160px;padding:17px}.outcome-grid article:last-child{border:0}.outcome-grid span,.notice-grid span{color:var(--blue);font:800 8px var(--mono)}.outcome-grid b{font:800 13px/1.25 var(--sans);text-transform:uppercase;margin:22px 0 8px;display:block}.outcome-grid p{color:var(--muted);margin:0;font-size:10px;line-height:1.55}.run-metrics{background:var(--ink);color:var(--paper);grid-template-columns:repeat(3,1fr);display:grid}.run-metrics .metric{min-height:95px}.run-metrics .metric:nth-child(3n){border-right:0}.run-metrics .metric:nth-child(-n+3){border-bottom:1px solid #424a54}.verified-run{grid-template-rows:auto auto auto 1fr;display:grid}.verified-run>.source{background:var(--paper);padding:8px 13px;margin:0!important}.verified-run .instrument-art{height:100%;margin-top:12px}.dual-panel{grid-template-columns:1fr 1fr;display:grid}.dual-panel>div{border-right:1px solid var(--ink);min-width:0}.dual-panel>div:last-child{border:0}.schema-panel dl>div,.byte-map dl>div{border-bottom:1px solid var(--line);grid-template-columns:120px 1fr;gap:12px;padding:12px;display:grid}.schema-panel dl>div:last-child,.byte-map dl>div:last-child{border:0}.verification-grid{grid-template-columns:1.05fr .95fr;align-items:start;gap:16px;margin-top:20px;display:grid}.hash-console{background:var(--paper);border:1px solid var(--ink)}.hash-row{border-bottom:1px solid var(--line);padding:17px}.hash-row span{color:var(--blue);font:700 8px var(--mono);margin-bottom:8px;display:block}.hash-row code{font:500 10px/1.7 var(--mono);overflow-wrap:anywhere}.hash-console .primary{margin:17px}.hash-console>strong{border:1px solid var(--ink);font:800 8px var(--mono);margin:0 17px 17px;padding:12px;display:block}.hash-console>.match{background:var(--green)}.hash-console>.mismatch{color:var(--danger);background:#f5d4d1}.hash-console>.source{padding:0 17px 17px}.recipe pre,.request-deck pre,.api-reference pre{background:var(--ink);color:var(--paper);font:500 9px/1.8 var(--mono);margin:0;padding:18px;position:relative;overflow:auto}.recipe pre .copy-button,.request-deck pre .copy-button{position:absolute;top:10px;right:10px}.invariant-strip{grid-template-columns:repeat(6,1fr);display:grid}.invariant-strip span{border-right:1px solid var(--ink);min-height:100px;font:600 8px/1.4 var(--mono);text-transform:uppercase;gap:20px;padding:13px;display:grid}.invariant-strip span:last-child{border:0}.invariant-strip i{color:var(--orange);font-style:normal}.coverage-console{grid-template-columns:1.1fr .9fr;align-items:stretch;gap:16px;margin-top:20px;display:grid}.window-map{background:var(--paper);border:1px solid var(--ink);grid-template-rows:auto auto auto 1fr;height:100%;display:grid}.window-ruler{grid-template-columns:repeat(24,1fr);gap:3px;height:92px;padding:26px 18px 12px;display:grid}.window-ruler i{background:var(--blue);border-top:10px solid var(--ink);display:block}.window-ruler i:nth-child(4n){background:var(--orange)}.window-ruler .head-tick{background:var(--green);transform-origin:bottom;transform:scaleY(1.25)}.window-labels{font:600 7px/1.7 var(--mono);justify-content:space-between;padding:0 18px 18px;display:flex}.window-labels b{font-size:12px}.window-map .instrument-art{border-inline:0;clip-path:none;border-bottom:0;height:100%}.coverage-readout{background:var(--paper);border:1px solid var(--ink);grid-template-rows:auto 1fr auto auto;height:100%;display:grid}.coverage-readout dl{grid-template-rows:repeat(8,1fr);display:grid}.coverage-readout dl>div{border-bottom:1px solid var(--line);grid-template-columns:125px 1fr;gap:10px;padding:11px 13px;display:grid}.coverage-readout>button{background:var(--yellow);border:1px solid var(--ink);font:700 8px var(--mono);margin:13px;padding:9px 12px}.coverage-readout>.source{padding:0 13px 13px}.api-console{grid-template-columns:1.15fr .85fr;align-items:stretch;gap:16px;margin-top:20px;display:grid}.api-console>.instrument-art{height:100%}.endpoint-rack{background:var(--paper);border:1px solid var(--ink);grid-template-rows:auto repeat(3,1fr);height:100%;display:grid}.endpoint-rack article{border-bottom:1px solid var(--line);min-height:65px;font-family:var(--mono);grid-template-columns:34px 43px minmax(120px,1fr) minmax(120px,.8fr) minmax(180px,1fr);align-items:center;gap:10px;padding:9px 12px;display:grid}.endpoint-rack article:last-child{border:0}.endpoint-rack article>span{color:var(--muted);font-size:8px}.endpoint-rack article>b{background:var(--blue);color:var(--paper);text-align:center;padding:6px;font-size:8px}.endpoint-rack article>code{font-size:10px}.endpoint-rack article>small{color:var(--muted);font-size:7px}.endpoint-rack article>i{overflow-wrap:anywhere;font-size:7px;font-style:normal}.request-deck{background:0 0;border:0;grid-template-columns:1fr 1fr;gap:16px;display:grid}.request-deck article{border:1px solid var(--ink);min-width:0}.request-deck code{white-space:nowrap;padding-right:80px;display:block}.api-reference{grid-template-columns:1fr 1fr;display:grid}.api-reference>div:first-child{border-right:1px solid var(--ink)}.api-reference dl>div{border-bottom:1px solid var(--line);grid-template-columns:190px 1fr;gap:12px;padding:9px 12px;display:grid}.api-reference dl>div:last-child{border:0}.phase-two{background:var(--ink);color:var(--paper);border-left:9px solid var(--orange);gap:10px;margin-top:18px;padding:19px;display:grid}.phase-two span{color:var(--orange);font:700 8px var(--mono)}.phase-two code{white-space:nowrap;font:500 8px var(--mono);overflow:auto}.rules-console{grid-template-columns:1.1fr .9fr;align-items:stretch;gap:16px;margin-top:20px;display:grid}.rules-console>.instrument-art{height:100%}.limit-grid{border:1px solid var(--ink);background:var(--paper);grid-template-rows:1fr 1fr;grid-template-columns:1fr 1fr;height:100%;display:grid}.limit-grid article{border-right:1px solid var(--ink);border-bottom:1px solid var(--ink);min-height:220px;padding:18px;position:relative}.limit-grid article:nth-child(2n){border-right:0}.limit-grid article:nth-last-child(-n+2){border-bottom:0}.limit-grid article>span{color:var(--orange);font:800 32px var(--mono);display:block}.limit-grid article>i{font:600 7px var(--mono);color:var(--blue);font-style:normal;position:absolute;top:13px;right:13px}.limit-grid h2{font:800 22px/1 var(--sans);text-transform:uppercase;margin:38px 0 8px}.limit-grid p{color:var(--muted);margin:0;font-size:11px;line-height:1.55}.coordinates dl{grid-template-columns:1fr 1fr;display:grid}.coordinates dl>div{border-right:1px solid var(--line);border-bottom:1px solid var(--line);grid-template-columns:125px 1fr;gap:10px;padding:12px;display:grid}.coordinates dl>div:nth-child(2n){border-right:0}.coordinates dl>div:nth-last-child(-n+2){border-bottom:0}.join-console{grid-template-columns:.9fr 1.1fr .72fr;align-items:stretch;gap:16px;margin-top:20px;display:grid}.join-console form,.channel-board{background:var(--paper);border:1px solid var(--ink);height:100%}.join-console form{flex-direction:column;display:flex}.join-console form>p{margin-top:auto}.channel-board{grid-template-rows:auto 1fr;display:grid}.channel-board dl{grid-template-rows:repeat(5,1fr);display:grid}.join-console form label{padding:18px;display:block}.join-console form label span{color:var(--blue);font:700 8px var(--mono);text-transform:uppercase;margin-bottom:9px;display:block}.join-console form input{background:var(--steel);border:1px solid var(--ink);width:100%;font:500 10px var(--mono);padding:12px}.join-console form>.primary{margin:0 18px}.join-console form>p{color:var(--muted);margin:auto 18px 15px;font-size:10px;line-height:1.55}.join-console form>strong{background:var(--green);font:700 8px/1.5 var(--mono);margin:15px 18px;padding:10px;display:block}.channel-board dl>div{border-bottom:1px solid var(--line);grid-template-columns:120px 1fr auto;align-items:center;gap:10px;padding:12px;display:grid}.channel-board dl>div:last-child{border:0}.channel-board dl i{color:var(--blue);font:700 7px var(--mono);font-style:normal}.join-console>.instrument-art{height:100%}.join-console>.instrument-art img{max-height:370px}.notice-grid{grid-template-columns:repeat(3,1fr);display:grid}.notice-grid article{border-right:1px solid var(--ink);padding:18px}.notice-grid article:last-child{border:0}.notice-grid ul{margin:15px 0 0;padding:0;list-style:none}.notice-grid li{border-bottom:1px solid var(--line);font:500 8px var(--mono);padding:7px 0}.error-receipt{border:2px solid var(--danger);color:var(--danger);background:#f5d4d1;margin-top:16px;padding:16px}.error-receipt b{font:800 9px var(--mono)}.error-receipt p{margin:7px 0 0;font-size:10px}.site-footer{background:var(--ink);color:#aab4bf;border-top:8px solid var(--blue);grid-template-columns:180px 1.35fr .7fr .8fr;gap:30px;padding:30px;font-size:8px;line-height:1.6;display:grid}.footer-stamp{color:var(--paper);font:700 10px var(--mono);grid-template-columns:38px 1fr;align-items:center;gap:2px 10px;display:grid}.footer-stamp img{background:var(--paper);grid-row:1/3;width:38px}.footer-stamp span{color:#8c97a3;font-size:7px}.site-footer a{color:var(--paper)}.footer-community>b,.footer-nav>b{color:var(--orange);font:700 8px var(--mono);margin-bottom:10px;display:block}.footer-community p{max-width:390px;color:var(--paper);margin:0 0 11px;font-size:9px}.footer-community>div{font:500 7px var(--mono);flex-wrap:wrap;gap:6px 14px;display:flex}.footer-nav{font:500 8px var(--mono);align-content:start;gap:7px;display:grid}.footer-nav a{border-bottom:1px solid #343c45;padding-bottom:5px}@media (max-width:1180px){.site-rail{width:184px}.app-frame{margin-left:184px}.site-rail nav a{padding-inline:12px}.hero-console{grid-template-rows:auto auto auto}.hero-intro{grid-column:1/13}.hero-query{grid-column:1/8}.hero-machine{grid-area:2/8/auto/13}.proof-module{grid-area:3/8/auto/13}.operations-board,.workbench-grid,.verification-grid,.coverage-console,.api-console,.rules-console{grid-template-columns:1fr}.join-console{grid-template-columns:1fr 1fr}.join-console>.instrument-art{grid-column:1/-1}.site-footer{grid-template-columns:160px 1.3fr 1fr}.site-footer>.footer-nav:last-child{grid-column:3}.outcome-grid{grid-template-columns:1fr 1fr}.outcome-grid article:nth-child(2){border-right:0}.outcome-grid article:nth-child(-n+2){border-bottom:1px solid var(--ink)}}@media (max-width:760px){body{font-size:13px}.site-rail{border-right:0;border-bottom:5px solid var(--orange);width:100%;height:auto;position:relative}.brand{grid-template-rows:20px 15px;grid-template-columns:36px 1fr;padding:11px 12px}.brand img{width:36px;height:36px}.brand span{font-size:16px}.site-rail nav{border-top:1px solid #39404a;margin:0;display:flex;overflow-x:auto}.site-rail nav a{flex:none;grid-template-columns:20px auto;min-height:43px;padding:0 11px}.site-rail nav a i,.rail-foot{display:none}.app-frame{margin-left:0}.route-screen{padding:16px 12px 55px}.page-head{grid-template-columns:62px 1fr;gap:12px;padding-bottom:16px}.page-index{grid-row:1/3;min-height:75px;font-size:22px}.page-head h1{font-size:34px}.page-head>p{grid-column:1/-1;font-size:11px}.page-state{font-size:6px;position:absolute;top:14px;right:12px}.hero-console{flex-direction:column;min-height:0;padding:14px 12px 22px;display:flex}.hero-intro{order:1;padding-top:12px}.hero-intro h1{font-size:49px}.hero-intro>p:not(.kicker){margin:14px 0;font-size:13px}.hero-query{order:2}.proof-module{order:3}.hero-machine{order:4;min-height:270px}.hero-machine img{height:270px}.proof-number{font-size:58px}.telemetry-bar{grid-template-columns:1fr 1fr}.metric:nth-child(2n){border-right:0}.metric:nth-child(-n+2){border-bottom:1px solid #424a54}.metric>b{font-size:16px}.operations-board,.system-index{padding:30px 12px}.operation-copy h2{font-size:38px}.stage-rail{grid-template-columns:1fr 1fr}.instrument-art img{padding:12px}.index-columns,.dual-panel,.request-deck,.api-reference,.notice-grid{grid-template-columns:1fr}.index-columns article,.dual-panel>div,.notice-grid article,.api-reference>div:first-child{border-right:0;border-bottom:1px solid var(--ink)}.index-columns article:last-child,.dual-panel>div:last-child,.notice-grid article:last-child{border-bottom:0}.query label{grid-template-columns:62px minmax(0,1fr);gap:8px;padding-inline:10px}.query label>i{text-align:left;grid-column:2}.query input{font-size:8px}.query-actions{gap:8px}.query-actions>span,.command code{font-size:6px}.panel-head{grid-template-columns:35px 1fr auto}.panel-head b{padding-inline:8px;font-size:7px}.panel-head i{padding-inline:7px;font-size:6px}.trace-list article{grid-template-columns:28px 1fr}.trace-list>article>i{grid-column:2}.outcome-grid,.limit-grid,.coordinates dl{grid-template-columns:1fr}.outcome-grid article,.limit-grid article,.coordinates dl>div{border-right:0!important;border-bottom:1px solid var(--ink)!important}.outcome-grid article:last-child,.limit-grid article:last-child,.coordinates dl>div:last-child{border-bottom:0!important}.limit-grid article{min-height:175px}.invariant-strip{grid-template-columns:1fr 1fr}.invariant-strip span:nth-child(2n){border-right:0}.invariant-strip span:nth-child(-n+4){border-bottom:1px solid var(--ink)}.endpoint-rack article{grid-template-columns:28px 38px 1fr}.endpoint-rack article>small,.endpoint-rack article>i{grid-column:3}.request-deck code{font-size:7px}.api-reference dl>div,.join-console{grid-template-columns:1fr}.channel-board dl>div{grid-template-columns:95px 1fr auto}.site-footer{grid-template-columns:1fr;padding:24px 14px}.site-footer>div:last-child{grid-column:auto}.source{font-size:6px!important}}@media (prefers-reduced-motion:reduce){html{scroll-behavior:auto}*,:before,:after{transition-duration:.001ms!important;animation-duration:.001ms!important;animation-iteration-count:1!important}}