:root{--purple:#6943e8;--ink:#0b0b20;--body:#53546c;--line:#e4e3ee;--lavender:#f1edff;--gutter:clamp(22px,5.65vw,88px)}*{box-sizing:border-box}html{scroll-behavior:smooth;scroll-padding-top:100px}body{margin:0;background:#fff;color:var(--ink);font-family:Arial,Helvetica,sans-serif;font-size:17px;line-height:1.55}a{color:var(--purple);text-underline-offset:5px}a:hover{color:#492ac7}button,input,select{font:inherit}button,a,input,select{touch-action:manipulation}button{cursor:pointer}img{max-width:100%;display:block}svg{width:22px;height:22px;fill:none;stroke:currentColor;stroke-width:1.7;stroke-linecap:round;stroke-linejoin:round;flex-shrink:0}h1,h2,h3,p,figure{margin:0}h1,h2,h3{line-height:1.1;letter-spacing:-.035em}h2{font-size:30px}h3{font-size:23px}p{color:var(--body)}:focus-visible{outline:3px solid #9175f4;outline-offset:5px}.wrap{width:100%;max-width:1600px;margin:0 auto;padding-left:var(--gutter);padding-right:var(--gutter)}.mono{font-family:Consolas,'Courier New',monospace;letter-spacing:.025em;font-size:13px}.skip{position:fixed;left:20px;top:-80px;background:#fff;z-index:9;padding:12px}.skip:focus{top:10px}.header{height:78px;padding:0 var(--gutter);display:flex;align-items:center;gap:58px;border-bottom:1px solid var(--line);max-width:1600px;margin:auto}.brand{font-weight:750;font-size:25px;letter-spacing:-.05em;text-decoration:none;color:var(--ink);white-space:nowrap}.brand span{color:var(--purple)}.header nav{display:flex;gap:30px}.header nav a{color:#292b45;text-decoration:none;font-size:16px}.header nav a:hover{text-decoration:underline}.languages{display:flex;gap:10px;align-items:center;margin-left:auto;font-size:15px;white-space:nowrap}.languages a{text-decoration:none;color:var(--body)}.languages a[aria-current]{color:var(--purple);font-weight:600}.languages span{color:#9693aa}.hero{display:grid;grid-template-columns:44% 56%;align-items:center;min-height:465px;position:relative;padding-top:36px;padding-bottom:38px}.hero-copy{z-index:1}.hero h1{font-size:clamp(52px,5.9vw,91px);font-weight:800;line-height:.98;letter-spacing:-.055em}.hero h1 span{color:var(--purple)}.hero-copy>p{font-size:21px;line-height:1.4;margin-top:27px}.hero-actions{display:flex;align-items:center;gap:30px;margin-top:27px}.button{background:var(--purple);color:#fff;border-radius:8px;padding:14px 24px;text-decoration:none;display:inline-flex;gap:17px;align-items:center;font-weight:600;font-size:17px;box-shadow:0 5px 14px #6943e81a}.button:hover{background:#5632d5;color:#fff}.text-link{display:inline-flex;align-items:center;gap:16px;white-space:nowrap;text-decoration:none;border-bottom:1px solid #c9bdf1;padding:3px 0}.topology{position:relative;width:112%;margin-left:-5%;perspective:1000px}.topology img{width:100%;height:auto;transition:transform .25s ease;transform:rotateY(var(--tilt,0deg));transform-origin:center}.topology figcaption{font-family:Consolas,'Courier New',monospace;font-size:10px;letter-spacing:.04em;color:#8d87a2;text-align:right;margin-top:-6px;margin-right:5%}.reports{padding-top:25px;padding-bottom:30px;border-top:1px solid var(--line)}.section-line{display:flex;align-items:center;justify-content:space-between;gap:28px;margin-bottom:15px}.search-label{display:flex;align-items:center;gap:12px;font-size:12px;color:var(--body)}.search-label input{border:0;border-bottom:1px solid var(--line);padding:8px 4px;width:220px;font-size:14px;color:var(--ink);border-radius:0;background:white}.case-row{display:grid;grid-template-columns:59px 1fr auto;gap:24px;align-items:center;border-top:1px solid var(--line);padding:16px 0;min-height:84px}.case-row[hidden]{display:none}.case-number{height:48px;border-right:1px solid #d9d3ed;display:flex;align-items:center;font-size:20px}.case-row h3{font-size:21px;letter-spacing:-.025em;line-height:1.2}.case-row h3 a{color:var(--ink);text-decoration:none}.case-row h3 a:hover{color:var(--purple)}.case-row p{margin-top:5px}.case-row>.text-link{font-size:16px}.evidence-band{background:var(--lavender);padding:31px 0}.evidence-band>.wrap{display:flex;align-items:center;justify-content:space-between;gap:25px}.evidence-band p{font-size:19px;margin-top:8px}.support{max-width:1600px;margin:0 auto;padding:23px var(--gutter);border-top:1px solid var(--line)}.support h2{font-size:17px;letter-spacing:-.01em;line-height:1.4}.support p{font-size:13px;line-height:1.5;max-width:850px;margin-top:5px}.support:has(iframe){min-height:150px}footer{padding:24px var(--gutter);border-top:1px solid var(--line);display:flex;align-items:center;gap:26px;max-width:1600px;margin:auto;font-size:12px;color:var(--body)}footer .small{font-size:16px}footer>span{margin-left:auto}footer nav{display:flex;gap:30px;border-left:1px solid var(--line);padding-left:25px}footer nav a{color:var(--body);text-decoration:none}.article-shell{display:grid;grid-template-columns:185px minmax(0,1fr);gap:64px;padding-top:44px;padding-bottom:70px}.chapter-rail{align-self:start;position:sticky;top:25px;font-size:14px;border-right:1px solid var(--line);padding-right:22px}.chapter-rail nav{display:flex;flex-direction:column;gap:17px;margin-bottom:30px}.chapter-rail nav a{text-decoration:none;color:#31324a;padding-left:16px;border-left:2px solid transparent}.chapter-rail nav a:first-child{border-color:var(--purple);color:var(--purple)}.chapter-rail>a{display:block;font-size:13px;margin-top:18px}.chapter-rail .download{border-top:1px solid var(--line);padding-top:20px;text-decoration:none}.report{max-width:1050px}.report-heading h1{font-size:clamp(39px,4.4vw,64px);font-weight:800;max-width:1050px;letter-spacing:-.045em}.report-heading .mono{margin-top:20px;color:#272640}.summary{font-size:23px;line-height:1.5;font-weight:400;margin-top:23px}.report-image,.comparison-figure,.journal,.ladder{margin-top:30px;margin-bottom:36px}.report-image img{border:1px solid var(--line);border-radius:6px}.report figcaption{font-size:13px;line-height:1.55;margin-top:13px;color:#76718a}.image-compare{position:relative;aspect-ratio:1265/712;border:1px solid var(--line);border-radius:6px;overflow:hidden;background:white}.image-compare img{position:absolute;inset:0;width:100%;height:100%;object-fit:contain}.image-compare .before{clip-path:inset(0 calc(100% - var(--compare)) 0 0)}.compare-line{position:absolute;top:0;bottom:0;left:var(--compare);width:2px;background:#b39bf4;box-shadow:0 0 0 1px #fff}.image-label{position:absolute;bottom:12px;font-size:11px;line-height:1;padding:7px;background:#fff;color:var(--ink);border-radius:2px;box-shadow:0 1px 8px #0002}.initial{left:12px}.corrected{right:12px}.range-label{font-size:14px;display:block;margin-top:13px}.range-label input{display:block;width:100%;accent-color:var(--purple);margin-top:10px}.report section{margin-top:35px;scroll-margin-top:25px}.report section h2{font-size:27px;margin-bottom:17px}.report section p{font-size:18px;line-height:1.8;margin-top:16px;max-width:890px}.reuse{padding-bottom:18px;border-bottom:1px solid var(--line)}.reuse ol{counter-reset:reuse;list-style:none;padding:0;display:grid;gap:16px}.reuse li{position:relative;padding-left:48px;color:#35364d;font-size:17px;line-height:1.6;counter-increment:reuse}.reuse li:before{content:counter(reuse);position:absolute;left:0;top:0;width:30px;height:30px;display:grid;place-items:center;border-radius:50%;background:var(--purple);color:#fff;font-size:14px}.limit-note{background:#f7f4ff;border-left:3px solid var(--purple);padding:25px 28px}.limit-note p{margin-top:0!important}.conflict{margin-top:40px;padding-top:18px;border-top:1px solid var(--line);font-size:12px!important;line-height:1.65!important}.source{border-bottom:1px solid var(--line);padding:15px 0;font-size:15px}.source summary{cursor:pointer;line-height:1.6;color:#3b345d}.source summary .mono{color:var(--purple);margin-right:8px}.source p{font-size:13px!important;line-height:1.4!important}.hash{overflow-wrap:anywhere;font-family:Consolas,'Courier New',monospace}pre{white-space:pre-wrap;overflow-wrap:anywhere;font-family:Consolas,'Courier New',monospace;font-size:12px;line-height:1.6;color:#484356;background:#f6f5f9;padding:20px;max-height:440px;overflow:auto}.report-actions{display:flex;align-items:center;gap:28px;margin-top:25px}.journal{padding:25px 30px;background:#f6f3ff;border:1px solid #ded5f8;border-radius:7px}.journal h3{font-size:23px}.journal>.mono{margin-top:11px}.bar-row{margin-top:22px}.bar-row>div:first-child{display:flex;justify-content:space-between;gap:20px;font-size:14px}.bar-row strong{font-family:Consolas,'Courier New',monospace;font-size:13px}.bar{height:9px;background:#e0d9f1;margin-top:8px;border-radius:10px;overflow:hidden}.bar span{display:block;height:100%;background:var(--purple)}.fill-23{width:17.557%}.fill-0{width:0}.fill-1{width:.763%}.ladder{border-top:1px solid var(--line);border-bottom:1px solid var(--line);padding:24px 0;display:grid;grid-template-columns:repeat(4,1fr);gap:10px}.ladder>div{display:flex;flex-direction:column;gap:10px;padding-left:20px;border-left:1px solid var(--line);font-size:14px}.ladder strong{font-size:16px}.ladder .mono{color:var(--purple)}.ladder figcaption{grid-column:1/-1}.viewer{padding-top:42px;padding-bottom:60px}.viewer h1{font-size:clamp(40px,4.8vw,72px);font-weight:800;letter-spacing:-.045em}.viewer>.summary{font-size:26px;margin-top:15px}.compare-controls{display:grid;grid-template-columns:1fr 1fr .85fr;gap:16px;margin:28px 0 23px}.compare-controls label{font-size:12px;color:#6b6680;display:flex;flex-direction:column;gap:6px}.compare-controls select{width:100%;background:#fff;border:1px solid #ccc6de;border-radius:5px;padding:13px 35px 13px 13px;font-size:16px;color:var(--ink);min-height:50px;overflow:hidden;text-overflow:ellipsis}.table-scroll{overflow:auto;border:1px solid var(--line);border-radius:6px}table{width:100%;border-collapse:collapse;font-size:16px;text-align:left;table-layout:fixed}caption{text-align:left;padding:15px 18px;color:var(--body);font-size:12px;caption-side:bottom}th,td{padding:16px 18px;border-right:1px solid var(--line);border-bottom:1px solid var(--line);vertical-align:top}th:last-child,td:last-child{border-right:0}thead th{background:#f8f7fb;font-size:15px;font-weight:600}tbody th{font-size:16px;font-weight:500;width:30%}td>.mono{display:block;font-size:11px;margin-top:8px;text-decoration:none;color:#726786}.state{display:inline-block;padding:4px 8px;border-radius:4px;font-size:14px;line-height:1.3}.state.observed{background:#e5f8ef;color:#146649}.state.failed{background:#ffe9e9;color:#a53737}.state.unknown{background:#efedf5;color:#5d566b}.state.not-applicable{background:#f4f3f5;color:#726b7a}#comparison-result{font-size:11px;color:#777183;margin:12px 0 18px;line-height:1.6}.observation{background:var(--lavender);border-radius:5px;padding:22px;display:flex;justify-content:space-between;align-items:center;gap:25px}.observation h2{font-size:22px;line-height:1.3;color:var(--purple)}.observation p{font-size:15px;margin-top:5px}.observation a{font-size:14px}.viewer-bottom{display:grid;grid-template-columns:1fr 1fr;gap:20px;margin-top:20px}.viewer-bottom>section{border:1px solid var(--line);border-radius:5px;padding:22px}.viewer-bottom h2{font-size:22px}.viewer-bottom p{font-size:13px;margin:12px 0}.viewer-bottom ul{list-style:none;padding:0;margin:15px 0 0}.viewer-bottom li{padding:9px 0;border-bottom:1px solid var(--line);font-size:13px}.viewer-bottom li a{text-decoration:none}.viewer-bottom li .mono{font-size:11px;margin-right:8px}.outline{background:#fff;color:var(--purple);border:1px solid #a58cea;border-radius:5px;padding:11px 16px;text-decoration:none;display:block;text-align:center;font-weight:600;width:100%;margin-top:12px;font-size:15px}.outline:hover{background:#f6f2ff}.prose{max-width:1080px;padding-top:55px;padding-bottom:70px}.prose h1{font-size:clamp(40px,4.5vw,65px);line-height:1.08}.prose h2{font-size:27px;margin-top:40px;margin-bottom:16px}.prose p,.prose li{font-size:18px;line-height:1.8;margin-top:15px}.prose ol{padding-left:23px;color:var(--body)}.prose address{font-style:normal;font-size:20px;line-height:1.6;margin-top:25px}.prose .button{margin-top:25px}.legal{max-width:960px}.viewer #data-error{color:#a53737;margin-top:20px}button:disabled{opacity:.6;cursor:not-allowed}@media(min-width:1600px){.header{gap:60px}.hero{min-height:485px}}@media(max-width:1120px){.header{gap:30px}.header nav{gap:18px}.brand{font-size:21px}.hero-actions{gap:20px;flex-wrap:wrap}.hero-copy>p{font-size:19px}.case-row>.text-link{font-size:14px}.article-shell{gap:35px;grid-template-columns:155px minmax(0,1fr)}.section-line{align-items:flex-start}.search-label{display:block}.search-label span{display:block}.observation{align-items:flex-start;flex-direction:column;gap:12px}}@media(max-width:800px){body{font-size:16px}.header{height:auto;min-height:82px;display:grid;grid-template-columns:1fr auto;gap:13px 10px;padding-top:17px;padding-bottom:15px}.header nav{grid-row:2;grid-column:1/-1;gap:26px;font-size:14px}.header nav a{font-size:14px}.languages{font-size:13px}.brand{font-size:21px}.hero{grid-template-columns:1fr;min-height:0;padding-top:35px;padding-bottom:20px}.hero h1{font-size:clamp(48px,9vw,72px)}.hero-copy>p{font-size:19px;margin-top:22px}.hero-actions{gap:22px;margin-top:22px}.button{font-size:15px;padding:13px 17px}.text-link{font-size:15px}.topology{width:100%;margin:17px 0 0}.topology img{max-height:300px;object-fit:contain}.topology figcaption{margin-top:0;font-size:9px}.section-line{display:block}.reports{padding-top:23px}.reports h2{font-size:26px}.search-label{display:flex;margin-top:17px;gap:14px}.search-label input{width:auto;min-width:0;flex:1}.case-row{grid-template-columns:37px 1fr;gap:14px;padding:18px 0}.case-row h3{font-size:20px}.case-number{height:45px;font-size:17px}.case-row>.text-link{grid-column:2;justify-self:start;font-size:13px;margin-top:-4px}.case-row .mono{font-size:11px}.evidence-band>.wrap{display:block}.evidence-band h2{font-size:26px}.evidence-band p{font-size:17px}.evidence-band .text-link{margin-top:17px}.support{padding-top:20px;padding-bottom:20px}footer{flex-wrap:wrap;gap:13px}footer .small{font-size:16px}footer>span{margin-left:0;width:100%}footer nav{padding:0;border:0;gap:25px}.article-shell{display:block;padding-top:30px;padding-bottom:40px}.chapter-rail{position:static;border:0;padding:0;margin-bottom:25px}.chapter-rail nav{flex-direction:row;gap:16px;overflow:auto;margin:0;padding-bottom:8px}.chapter-rail nav a{padding-left:0;border:0;white-space:nowrap;font-size:12px}.chapter-rail>a{display:inline-block;font-size:12px;margin:10px 17px 0 0}.chapter-rail .download{border:0;padding:0}.report-heading h1{font-size:39px}.report-heading .mono{font-size:11px;margin-top:17px}.summary{font-size:20px;margin-top:18px}.report-image,.comparison-figure,.journal,.ladder{margin-top:25px;margin-bottom:28px}.report section h2{font-size:25px}.report section p{font-size:17px;line-height:1.8}.report section{margin-top:30px}.report figcaption{font-size:12px}.image-label{font-size:9px;padding:5px;bottom:8px}.image-label.initial{left:8px}.image-label.corrected{right:8px}.range-label{font-size:13px}.reuse li{font-size:16px;padding-left:42px}.journal{padding:22px 18px}.journal h3{font-size:21px}.bar-row>div:first-child{font-size:12px}.bar-row strong{font-size:12px;white-space:nowrap}.ladder{grid-template-columns:repeat(2,1fr);gap:23px 10px}.limit-note{padding:20px}.report-actions{gap:17px;flex-wrap:wrap}.report-actions>a:not(.button){font-size:14px}.viewer{padding-top:32px}.viewer h1{font-size:43px}.viewer>.summary{font-size:21px}.compare-controls{grid-template-columns:1fr;gap:13px;margin-top:25px}.compare-controls select{font-size:16px}.table-scroll table{font-size:12px}th,td{padding:12px 9px}thead th{font-size:12px;line-height:1.5;overflow-wrap:anywhere}tbody th{font-size:12px;line-height:1.5;overflow-wrap:anywhere}.state{font-size:11px;padding:4px 5px}.table-scroll{border-radius:4px}td>.mono{font-size:10px}.observation{padding:20px}.observation h2{font-size:21px}.observation .text-link{white-space:normal;font-size:13px}.viewer-bottom{grid-template-columns:1fr}.viewer-bottom>section{padding:20px}.prose{padding-top:35px}.prose h1{font-size:42px}.prose h2{font-size:25px}.prose p,.prose li{font-size:17px}.conflict{font-size:11px!important}pre{padding:13px;font-size:11px}.source summary{font-size:13px}.source summary .mono{font-size:11px}}@media(max-width:360px){.brand{font-size:18px}.languages{font-size:12px;gap:6px}.header nav{gap:23px}.hero h1{font-size:44px}.hero-actions{gap:15px}.hero-actions>.text-link{font-size:13px}.search-label{display:block}.search-label input{width:100%;margin-top:5px}.reports h2{font-size:24px}.case-row h3{font-size:18px}.viewer h1{font-size:38px}.report-heading h1{font-size:35px}.table-scroll th,.table-scroll td{padding-left:7px;padding-right:7px}.state{font-size:10px}.article-shell{padding-left:19px;padding-right:19px}}@media(prefers-reduced-motion:reduce){html{scroll-behavior:auto}.topology img{transition:none;transform:none!important}}