/*! tailwindcss v4.2.1 | MIT License | https://tailwindcss.com */
@layer theme{:root,:host{--font-sans:ui-sans-serif, system-ui, sans-serif, "Apple Color Emoji", "Segoe UI Emoji", "Segoe UI Symbol", "Noto Color Emoji";--font-mono:ui-monospace, SFMono-Regular, Menlo, Monaco, Consolas, "Liberation Mono", "Courier New", monospace;--spacing:.25rem;--default-transition-duration:.15s;--default-transition-timing-function:cubic-bezier(.4, 0, .2, 1);--default-font-family:var(--font-sans);--default-mono-font-family:var(--font-mono)}}@layer base{*,:after,:before,::backdrop{box-sizing:border-box;border:0 solid;margin:0;padding:0}::file-selector-button{box-sizing:border-box;border:0 solid;margin:0;padding:0}html,:host{-webkit-text-size-adjust:100%;tab-size:4;line-height:1.5;font-family:var(--default-font-family,ui-sans-serif, system-ui, sans-serif, "Apple Color Emoji", "Segoe UI Emoji", "Segoe UI Symbol", "Noto Color Emoji");font-feature-settings:var(--default-font-feature-settings,normal);font-variation-settings:var(--default-font-variation-settings,normal);-webkit-tap-highlight-color:transparent}hr{height:0;color:inherit;border-top-width:1px}abbr:where([title]){-webkit-text-decoration:underline dotted;text-decoration:underline dotted}h1,h2,h3,h4,h5,h6{font-size:inherit;font-weight:inherit}a{color:inherit;-webkit-text-decoration:inherit;-webkit-text-decoration:inherit;-webkit-text-decoration:inherit;-webkit-text-decoration:inherit;text-decoration:inherit}b,strong{font-weight:bolder}code,kbd,samp,pre{font-family:var(--default-mono-font-family,ui-monospace, SFMono-Regular, Menlo, Monaco, Consolas, "Liberation Mono", "Courier New", monospace);font-feature-settings:var(--default-mono-font-feature-settings,normal);font-variation-settings:var(--default-mono-font-variation-settings,normal);font-size:1em}small{font-size:80%}sub,sup{vertical-align:baseline;font-size:75%;line-height:0;position:relative}sub{bottom:-.25em}sup{top:-.5em}table{text-indent:0;border-color:inherit;border-collapse:collapse}:-moz-focusring{outline:auto}progress{vertical-align:baseline}summary{display:list-item}ol,ul,menu{list-style:none}img,svg,video,canvas,audio,iframe,embed,object{vertical-align:middle;display:block}img,video{max-width:100%;height:auto}button,input,select,optgroup,textarea{font:inherit;font-feature-settings:inherit;font-variation-settings:inherit;letter-spacing:inherit;color:inherit;opacity:1;background-color:#0000;border-radius:0}::file-selector-button{font:inherit;font-feature-settings:inherit;font-variation-settings:inherit;letter-spacing:inherit;color:inherit;opacity:1;background-color:#0000;border-radius:0}:where(select:is([multiple],[size])) optgroup{font-weight:bolder}:where(select:is([multiple],[size])) optgroup option{padding-inline-start:20px}::file-selector-button{margin-inline-end:4px}::placeholder{opacity:1}@supports (not ((-webkit-appearance:-apple-pay-button))) or (contain-intrinsic-size:1px){::placeholder{color:currentColor}@supports (color:color-mix(in lab, red, red)){::placeholder{color:color-mix(in oklab, currentcolor 50%, transparent)}}}textarea{resize:vertical}::-webkit-search-decoration{-webkit-appearance:none}::-webkit-date-and-time-value{min-height:1lh;text-align:inherit}::-webkit-datetime-edit{display:inline-flex}::-webkit-datetime-edit-fields-wrapper{padding:0}::-webkit-datetime-edit{padding-block:0}::-webkit-datetime-edit-year-field{padding-block:0}::-webkit-datetime-edit-month-field{padding-block:0}::-webkit-datetime-edit-day-field{padding-block:0}::-webkit-datetime-edit-hour-field{padding-block:0}::-webkit-datetime-edit-minute-field{padding-block:0}::-webkit-datetime-edit-second-field{padding-block:0}::-webkit-datetime-edit-millisecond-field{padding-block:0}::-webkit-datetime-edit-meridiem-field{padding-block:0}::-webkit-calendar-picker-indicator{line-height:1}:-moz-ui-invalid{box-shadow:none}button,input:where([type=button],[type=reset],[type=submit]){appearance:button}::file-selector-button{appearance:button}::-webkit-inner-spin-button{height:auto}::-webkit-outer-spin-button{height:auto}[hidden]:where(:not([hidden=until-found])){display:none!important}}@layer components;@layer utilities{.visible{visibility:visible}.absolute{position:absolute}.fixed{position:fixed}.start{inset-inline-start:var(--spacing)}.end{inset-inline-end:var(--spacing)}.hidden{display:none}.table{display:table}.grow{flex-grow:1}.overline{text-decoration-line:overline}.antialiased{-webkit-font-smoothing:antialiased;-moz-osx-font-smoothing:grayscale}.transition{transition-property:color,background-color,border-color,outline-color,text-decoration-color,fill,stroke,--tw-gradient-from,--tw-gradient-via,--tw-gradient-to,opacity,box-shadow,transform,translate,scale,rotate,filter,-webkit-backdrop-filter,backdrop-filter,display,content-visibility,overlay,pointer-events;transition-timing-function:var(--tw-ease,var(--default-transition-timing-function));transition-duration:var(--tw-duration,var(--default-transition-duration))}}:root{--paper:#f3f1ea;--paper-deep:#ebe8df;--ink:#171815;--muted:#6f716b;--line:#d7d4ca;--white:#fbfaf6;--blue:#3455f5;--blue-dark:#1f3dd0;--red:#d64135;--red-soft:#f4ded9;--amber:#9a6714;--amber-soft:#f0e4c8;--green:#28705a;--green-soft:#dce9e2}*{box-sizing:border-box}html{background:var(--paper)}body{background:var(--paper);color:var(--ink);-webkit-font-smoothing:antialiased;margin:0;font-family:Arial,Helvetica,sans-serif}button,textarea,input{font:inherit}button{color:inherit}button:focus-visible,textarea:focus-visible{outline-offset:2px;outline:3px solid #3455f554}.app-shell{flex-direction:column;min-height:100vh;display:flex}.topbar{border-bottom:1px solid var(--line);z-index:10;background:#f3f1eaeb;grid-template-columns:1fr auto 1fr;align-items:center;height:76px;padding:0 clamp(22px,4vw,64px);display:grid;position:relative}.logo-button{cursor:pointer;background:0 0;border:0;width:max-content;padding:0}.brand{letter-spacing:-.03em;align-items:center;gap:11px;font-size:18px;font-weight:700;display:flex}.brand-mark{background:#f4f0e5;place-items:center;width:32px;height:32px;display:grid;overflow:hidden}.brand-mark img{object-fit:cover;width:100%;height:100%}.top-status{color:var(--muted);text-transform:uppercase;letter-spacing:.12em;align-items:center;gap:8px;font-size:11px;display:flex}.status-light,.confirmed-dot,.pulse-dot{background:var(--green);border-radius:50%;width:7px;height:7px;display:inline-block}.top-divider{background:var(--line);width:1px;height:13px;margin:0 6px}.topbar>.quiet-button{justify-self:end}.ui-icon{stroke:currentColor;stroke-width:1.7px;stroke-linecap:round;stroke-linejoin:round;flex:none;display:block}.quiet-button,.primary-button{border:1px solid var(--line);cursor:pointer;letter-spacing:.015em;background:0 0;padding:10px 14px;font-size:12px;font-weight:700;transition:all .18s}.quiet-button:hover{border-color:var(--ink);background:var(--white)}.primary-button{background:var(--ink);color:var(--white);border-color:var(--ink);justify-content:center;align-items:center;gap:18px;display:inline-flex}.primary-button:hover{background:var(--blue);border-color:var(--blue)}.quiet-button:active,.primary-button:active{transform:translateY(1px)}button:focus-visible,textarea:focus-visible{outline:2px solid var(--blue);outline-offset:3px}.download-button{white-space:nowrap;justify-content:center;align-items:center;gap:9px;display:inline-flex}.home-layout{grid-template-columns:minmax(0,1.1fr) minmax(340px,.72fr);align-items:center;gap:clamp(54px,8vw,132px);width:min(1380px,100%);margin:auto;padding:clamp(40px,7vh,84px) clamp(22px,5vw,74px) 46px;display:grid}.intro-panel{max-width:760px}.overline{letter-spacing:.18em;color:var(--muted);margin:0 0 18px;font-size:10px;font-weight:800}.intro-panel h1,.result-heading h1{letter-spacing:-.052em;margin:0;font-family:Georgia,Times New Roman,serif;font-weight:400;line-height:.99}.intro-panel h1{max-width:760px;font-size:clamp(48px,6vw,84px)}.intro-panel h1 em{color:var(--blue);font-weight:400}.intro-copy{color:var(--muted);max-width:630px;margin:26px 0 31px;font-family:Georgia,serif;font-size:18px;line-height:1.55}.simple-steps{border-top:1px solid var(--ink);border-bottom:1px solid var(--line);grid-template-columns:repeat(3,1fr);margin:0 0 25px;display:grid}.simple-steps span{min-height:54px;color:var(--muted);align-items:center;gap:9px;padding:10px 12px 10px 0;font-size:11px;display:flex}.simple-steps span+span{border-left:1px solid var(--line);padding-left:13px}.simple-steps b{background:var(--ink);width:21px;height:21px;color:var(--paper);border-radius:50%;flex:none;place-items:center;font-size:9px;display:inline-grid}.mode-switch{border-bottom:1px solid var(--line);margin-bottom:0;display:flex}.mode-switch button{color:var(--muted);cursor:pointer;background:0 0;border:0;border-bottom:2px solid #0000;margin-bottom:-1px;margin-right:24px;padding:13px 17px 11px 0;font-size:12px;font-weight:700}.mode-switch button.active{color:var(--ink);border-color:var(--blue)}.source-box{background:var(--white);border:1px solid var(--line);margin-top:18px;box-shadow:5px 5px #1718150e}.source-box textarea{resize:none;width:100%;height:110px;color:var(--ink);background:0 0;border:0;outline:none;padding:18px 20px;line-height:1.5}.source-box textarea::placeholder{color:#9a9b95}.source-actions{border-top:1px solid var(--line);justify-content:space-between;align-items:center;min-height:52px;padding-left:18px;display:flex}.source-actions>span{color:var(--muted);font-size:11px}.source-actions b{color:var(--blue);vertical-align:middle;margin-right:5px;display:inline-grid}.source-actions button{border:0;border-left:1px solid var(--line);background:var(--ink);color:var(--white);cursor:pointer;align-self:stretch;align-items:center;gap:25px;padding:0 18px;font-size:11px;font-weight:700;display:flex}.source-actions button:not(:disabled):hover{background:var(--blue)}.source-actions button:disabled{cursor:not-allowed;background:#b5b4ae}.api-note{color:var(--muted);align-items:center;gap:8px;margin:13px 0 0;font-size:10px;display:flex}.api-note>span{border:1px solid var(--line);color:var(--ink);padding:3px 5px;font-weight:800}.extract-error{background:var(--red-soft);color:var(--red);margin-top:14px;padding:12px 14px;font-size:11px}.extraction-card{border:1px solid var(--line);background:var(--white);margin-top:16px;padding:17px;box-shadow:4px 4px #1718150d}.extraction-card>div:first-child{flex-direction:column;gap:6px;display:flex}.extraction-card>div:first-child span{color:var(--blue);letter-spacing:.12em;font-size:8px;font-weight:800}.extraction-card>div:first-child strong{font-family:Georgia,serif;font-size:19px;font-weight:500}.extraction-counts{border-top:1px solid var(--line);border-bottom:1px solid var(--line);grid-template-columns:repeat(3,1fr);margin-top:14px;display:grid}.extraction-counts span{color:var(--muted);padding:10px 8px 10px 0;font-size:9px}.extraction-counts span+span{border-left:1px solid var(--line);padding-left:10px}.extraction-counts b{color:var(--ink);margin-right:3px;font-size:14px}.extraction-card p{color:var(--muted);margin:12px 0 0;font-size:10px}.demo-panel{border-top:1px solid var(--ink);align-self:center}.panel-heading,.section-label{border-bottom:1px solid var(--line);text-transform:uppercase;letter-spacing:.14em;justify-content:space-between;align-items:center;height:44px;font-size:9px;font-weight:800;display:flex}.demo-row{border:0;border-bottom:1px solid var(--line);cursor:pointer;text-align:left;background:0 0;grid-template-columns:58px 1fr 24px;align-items:center;gap:15px;width:100%;padding:20px 4px;transition:all .18s;display:grid}.demo-row:hover{background:#fbfaf6bf;padding-left:10px;padding-right:10px}.demo-icon{background:#f4f0e5;width:56px;height:44px;display:block;overflow:hidden}.demo-icon img{object-fit:cover;width:100%;height:100%}.demo-text{flex-direction:column;min-width:0;display:flex}.demo-text small{letter-spacing:.14em;color:var(--blue);margin-bottom:5px;font-size:8px;font-weight:800}.demo-text strong{letter-spacing:-.02em;font-family:Georgia,serif;font-size:18px;font-weight:500}.demo-text>span{color:var(--muted);margin-top:5px;font-size:11px;line-height:1.35}.arrow{color:var(--muted);border:1px solid #0000;justify-self:end;place-items:center;width:30px;height:30px;transition:all .18s;display:grid}.demo-row:hover .arrow{color:var(--ink);border-color:var(--line);background:var(--white)}.scale-proof{border-left:2px solid var(--blue);margin-top:28px;padding-left:17px}.scale-number{letter-spacing:-.045em;font-family:Arial Narrow,Arial,sans-serif;font-size:clamp(27px,3vw,41px);font-weight:700}.scale-proof>div:last-child{color:var(--muted);align-items:center;gap:7px;margin-top:6px;font-size:10px;display:flex}.scale-proof b{color:var(--ink)}.pulse-dot{background:var(--blue);box-shadow:0 0 0 4px #3455f51f}.workspace-screen{flex:1;width:min(1380px,100%);margin:0 auto;padding:clamp(38px,6vw,70px) clamp(22px,5vw,74px)}.screen-heading,.result-heading{justify-content:space-between;align-items:flex-end;gap:30px;margin-bottom:38px;display:flex}.screen-heading h2{letter-spacing:-.045em;margin:0;font-family:Georgia,serif;font-size:clamp(34px,4vw,55px);font-weight:400;line-height:1.05}.review-grid{border:1px solid var(--line);background:var(--white);grid-template-columns:1fr 1fr;min-height:550px;display:grid;box-shadow:7px 7px #1718150b}.review-grid article+article{border-left:1px solid var(--line)}.document-heading{border-bottom:1px solid var(--line);justify-content:space-between;align-items:center;gap:20px;height:63px;padding:0 22px;display:flex}.document-heading>span{font-size:12px;font-weight:700}.document-heading small{color:var(--muted);white-space:nowrap;font-size:10px}.document-body{gap:12px;padding:28px;display:grid}.clause{border:1px solid var(--line);text-align:left;cursor:pointer;background:#f7f5ef;grid-template-columns:32px 1fr;width:100%;padding:16px;display:grid}.clause:hover{border-color:var(--blue);background:#3455f509}.clause>span{color:var(--blue);padding-top:3px;font-family:monospace;font-size:10px}.clause p{margin:0;font-family:Georgia,serif;font-size:15px;line-height:1.5}.document-foot{color:var(--muted);border-top:1px solid var(--line);margin-top:14px;padding:18px 28px;font-size:10px}.model-list{padding:16px 28px}.model-row{border-bottom:1px solid var(--line);justify-content:space-between;align-items:center;gap:20px;min-height:72px;display:flex}.model-row>div{flex-direction:column;gap:5px;display:flex}.model-row>div strong{color:var(--ink);font-family:Georgia,serif;font-size:15px;font-weight:500}.model-row>div span{color:var(--muted);font-size:10px}.model-row button{border:1px solid var(--line);cursor:pointer;background:0 0;justify-content:space-between;gap:16px;min-width:140px;padding:9px 11px;font-size:11px;display:flex}.model-row button:hover{border-color:var(--ink)}.confirmed-dot{margin-right:6px}.validation{background:var(--green-soft);color:var(--green);align-items:flex-start;gap:13px;margin:20px 28px;padding:17px;display:flex}.validation>span{border:1px solid;border-radius:50%;place-items:center;width:23px;height:23px;font-size:11px;display:grid}.validation strong{font-size:12px}.validation p{color:#537064;margin:4px 0 0;font-size:10px}.analysis-screen{text-align:center;flex-direction:column;flex:1;justify-content:center;align-items:center;width:min(750px,100%);margin:auto;padding:70px 24px;display:flex}.analysis-graphic{place-items:center;width:170px;height:170px;margin-bottom:35px;display:grid;position:relative}.checking-art{object-fit:cover;mix-blend-mode:multiply;width:160px;height:116px}.check-page{background:var(--white);border:1px solid var(--ink);width:112px;height:142px;box-shadow:9px 9px 0 var(--paper-deep);gap:12px;padding:26px 17px;display:grid;position:relative}.check-page i{background:var(--line);height:1px;display:block}.check-page i:nth-child(2){width:78%}.check-page i:nth-child(3){width:91%}.check-page i:nth-child(4){width:62%}.check-page b{background:var(--green);color:#fff;border:4px solid var(--paper);border-radius:50%;place-items:center;width:34px;height:34px;font-size:13px;display:grid;position:absolute;bottom:17px;right:-13px}.analysis-screen h2{letter-spacing:-.04em;margin:0 0 30px;font-family:Georgia,serif;font-size:clamp(30px,5vw,52px);font-weight:400}.progress-track{background:var(--line);width:min(480px,100%);height:2px}.progress-track span{background:var(--blue);height:100%;transition:width .3s;display:block}.analysis-numbers{flex-direction:column;gap:5px;margin-top:25px;display:flex}.analysis-numbers>span{letter-spacing:-.025em;font-size:21px;font-weight:700}.analysis-numbers small{color:var(--muted);text-transform:uppercase;letter-spacing:.12em;font-size:10px}.results-screen{padding-top:48px}.result-heading{align-items:flex-start;margin-bottom:33px}.result-heading>div{max-width:940px}.result-heading .overline{color:var(--red);align-items:center;gap:8px;margin-bottom:13px;display:flex}.critical-dot,.exact-dot{background:var(--red);border-radius:50%;width:7px;height:7px;display:inline-block}.exact-dot{background:var(--blue)}.result-heading h1{max-width:980px;font-size:clamp(42px,5.8vw,78px)}.result-heading>div>p:last-child{color:var(--muted);margin:18px 0 0;font-family:Georgia,serif;font-size:17px}.metric-strip{border-top:1px solid var(--ink);border-bottom:1px solid var(--line);grid-template-columns:repeat(4,1fr);margin-bottom:42px;display:grid}.metric{min-width:0;padding:17px 18px 18px 0}.metric+.metric{border-left:1px solid var(--line);padding-left:20px}.metric>span{color:var(--muted);text-transform:uppercase;letter-spacing:.12em;font-size:9px;display:block}.metric strong{letter-spacing:-.045em;white-space:nowrap;text-overflow:ellipsis;margin:8px 0 5px;font-size:clamp(22px,2.7vw,38px);display:block;overflow:hidden}.metric small{color:var(--muted);font-size:10px}.findings-grid{grid-template-columns:minmax(300px,.78fr) minmax(440px,1.22fr);align-items:start;gap:46px;display:grid}.finding-list{border-top:1px solid var(--ink)}.finding-row{border:0;border-bottom:1px solid var(--line);text-align:left;cursor:pointer;background:0 0;grid-template-columns:28px 1fr 20px;gap:12px;width:100%;padding:17px 8px;display:grid}.finding-row:hover,.finding-row.selected{background:var(--white)}.finding-row.selected{box-shadow:inset 3px 0 var(--blue);padding-left:14px}.finding-symbol{border-radius:50%;place-items:center;width:24px;height:24px;font-size:11px;font-weight:800;display:grid}.finding-symbol.critical{background:var(--red-soft);color:var(--red)}.finding-symbol.warning{background:var(--amber-soft);color:var(--amber)}.finding-row>span:nth-child(2){flex-direction:column;min-width:0;display:flex}.finding-row small{color:var(--muted);text-transform:uppercase;letter-spacing:.12em;margin-bottom:5px;font-size:8px}.finding-row strong{font-family:Georgia,serif;font-size:16px;font-weight:500}.finding-row p{color:var(--muted);margin:5px 0 0;font-size:10px;line-height:1.4}.row-arrow{color:var(--muted);border:1px solid #0000;align-self:center;place-items:center;width:28px;height:28px;transition:all .18s;display:grid}.finding-row:hover .row-arrow,.finding-row.selected .row-arrow{color:var(--ink);border-color:var(--line);background:var(--white)}.evidence-panel{background:var(--white);border:1px solid var(--line);padding:clamp(23px,4vw,42px);box-shadow:7px 7px #1718150d}.evidence-top{color:var(--muted);letter-spacing:.1em;justify-content:space-between;align-items:center;font-size:8px;display:flex}.proof-pill{background:var(--red-soft);color:var(--red);text-transform:uppercase;padding:6px 8px;font-weight:800}.proof-pill.warning{background:var(--amber-soft);color:var(--amber)}.evidence-panel h2{letter-spacing:-.04em;margin:25px 0 10px;font-family:Georgia,serif;font-size:34px;font-weight:400}.evidence-panel>p{color:var(--muted);margin:0 0 25px;font-family:Georgia,serif;line-height:1.5}.clause-pair{grid-template-columns:1fr 1fr;gap:10px;display:grid}.clause-pair blockquote{border-left:2px solid var(--line);background:#f5f3ed;margin:0;padding:14px;font-family:Georgia,serif;font-size:13px;line-height:1.45}.clause-pair small{letter-spacing:.13em;color:var(--muted);margin-bottom:7px;font-family:Arial,sans-serif;font-size:8px;display:block}.witness-heading{border-bottom:1px solid var(--ink);text-transform:uppercase;letter-spacing:.1em;justify-content:space-between;margin-top:26px;padding-bottom:9px;font-size:10px;font-weight:800;display:flex}.witness-heading span:last-child{color:var(--green)}.witness-table>div,.proof-row{border-bottom:1px solid var(--line);grid-template-columns:120px 1fr;gap:15px;padding:10px 0;font-size:11px;display:grid}.witness-table span,.proof-row span{color:var(--muted)}.witness-table strong,.proof-row strong{text-align:right;font-weight:700}.repair{border-left:2px solid var(--blue);background:#3455f50b;margin-top:18px;padding:13px 15px}.repair small,.fix-block small{color:var(--blue);letter-spacing:.12em;font-size:8px;font-weight:800}.repair p{margin:5px 0 0;font-size:11px}.proof-actions{flex-wrap:wrap;gap:9px;margin-top:20px;display:flex}.replay{background:var(--ink);color:var(--white);justify-content:space-between;align-items:center;margin-top:15px;padding:14px;font-size:10px;display:flex}.replay i{color:#7c91ff;place-items:center;font-style:normal;display:grid}.math-drawer{border-top:1px solid var(--ink);border-bottom:1px solid var(--line);margin-top:38px}.math-drawer>button{cursor:pointer;text-align:left;background:0 0;border:0;justify-content:space-between;width:100%;padding:17px 0;font-family:Georgia,serif;font-size:16px;display:flex}.math-content{grid-template-columns:minmax(200px,.7fr) minmax(200px,1fr);gap:15px 30px;padding:4px 0 25px;display:grid}.math-content code{background:var(--white);border:1px solid var(--line);padding:14px;font-size:14px;display:block}.math-content p{color:var(--muted);margin:0;font-family:Georgia,serif;line-height:1.5}.exactness-note{color:var(--green);letter-spacing:.11em;grid-column:1/-1;font-size:8px;font-weight:800}.benchmark-heading .overline{color:var(--blue)}.benchmark-metrics .metric strong{font-size:clamp(20px,2.4vw,31px)}.benchmark-proof{grid-template-columns:1.1fr .9fr;gap:48px;display:grid}.compression-visual{border-top:1px solid var(--ink);padding-top:15px}.visual-label{text-transform:uppercase;letter-spacing:.12em;justify-content:space-between;font-size:9px;display:flex}.funnel-lines{border-left:1px solid var(--line);border-right:1px solid var(--line);height:130px;margin:15px 0;position:relative;overflow:hidden}.funnel-lines i{--i:0;left:calc(var(--i) * 10%);background:var(--line);transform-origin:top;width:1px;height:180px;transform:rotate(calc(38deg - var(--i) * 7.6deg));position:absolute;top:0}.region-grid{grid-template-columns:repeat(12,1fr);gap:4px;display:grid}.region-grid span{aspect-ratio:1.35;background:#dedbd2}.region-grid span.affected{background:var(--blue)}.compression-visual>p{color:var(--muted);max-width:450px;font-size:10px;line-height:1.5}.proof-panel{background:var(--white);border:1px solid var(--line);padding:28px;box-shadow:7px 7px #1718150d}.proof-panel h3,.invariant-panel h3{letter-spacing:-.035em;margin:0 0 18px;font-family:Georgia,serif;font-size:28px;font-weight:400}.equation{background:var(--ink);color:var(--white);text-align:left;flex-direction:column;gap:6px;margin-top:19px;padding:16px;display:flex}.equation small{color:#b9b8b3;letter-spacing:.13em;font-size:8px}.equation strong{color:var(--white);letter-spacing:-.03em;font-size:24px}.repair-proof{border:1px solid var(--green);background:var(--green-soft);margin-top:14px;padding:15px}.repair-proof .overline{color:var(--green);margin-bottom:8px}.repair-proof>strong{font-family:Georgia,serif;font-size:16px;font-weight:500;display:block}.repair-change{align-items:center;gap:10px;display:flex!important}.repair-change .ui-icon{color:var(--green)}.repair-proof>div{color:#537064;justify-content:space-between;gap:10px;margin-top:11px;font-size:9px;display:flex}.repair-proof b{color:var(--green)}.behavior-layout{grid-template-columns:1fr 1fr;gap:48px;display:grid}.behavior-sequence{border-top:1px solid var(--ink)}.action-step{border-bottom:1px solid var(--line);grid-template-columns:35px 1fr auto;align-items:center;gap:14px;padding:18px 0;display:grid}.action-step>span{background:var(--ink);width:26px;height:26px;color:var(--paper);border-radius:50%;place-items:center;font-size:10px;display:grid}.action-step>div{flex-direction:column;gap:3px;display:flex}.action-step small{color:var(--muted);text-transform:uppercase;letter-spacing:.12em;font-size:8px}.action-step strong{font-family:Georgia,serif;font-size:18px;font-weight:500}.action-step code{background:var(--white);border:1px solid var(--line);padding:7px 9px;font-size:9px}.invariant-panel{background:var(--white);border:1px solid var(--line);padding:clamp(24px,4vw,40px);box-shadow:7px 7px #1718150d}.invariant-panel>p:not(.overline){color:var(--muted);font-family:Georgia,serif;line-height:1.5}.logic-expression{background:var(--ink);color:var(--white);margin:20px 0;padding:19px;line-height:1.9}.logic-expression span{color:#b9b8b3;min-width:88px;display:inline-block}.logic-expression strong{color:#ff9a8e;margin-top:5px;display:block}.fix-block{border-left:2px solid var(--blue);background:#3455f50b;flex-direction:column;gap:7px;padding:12px 14px;display:flex}footer{border-top:1px solid var(--line);min-height:52px;color:var(--muted);text-transform:uppercase;letter-spacing:.1em;justify-content:space-between;align-items:center;margin-top:auto;padding:0 clamp(22px,4vw,64px);font-size:9px;display:flex}@media (prefers-reduced-motion:reduce){*,:before,:after{scroll-behavior:auto!important;transition-duration:.01ms!important;animation-duration:.01ms!important;animation-iteration-count:1!important}}@media (width<=900px){.home-layout{grid-template-columns:1fr;align-items:start;gap:52px}.demo-panel{width:100%}.review-grid,.benchmark-proof,.behavior-layout{grid-template-columns:1fr}.review-grid article+article{border-left:0;border-top:1px solid var(--line)}.findings-grid{grid-template-columns:1fr}.metric-strip{grid-template-columns:1fr 1fr}.metric:nth-child(3){border-left:0}.metric:nth-child(n+3){border-top:1px solid var(--line)}}@media (width<=620px){.topbar{grid-template-columns:1fr auto;height:64px}.top-status{display:none}.brand{font-size:16px}.brand-mark{width:29px;height:29px}.home-layout{padding-top:42px}.intro-panel h1{font-size:47px}.intro-copy{font-size:16px}.simple-steps{grid-template-columns:1fr}.simple-steps span{min-height:42px}.simple-steps span+span{border-left:0;border-top:1px solid var(--line);padding-left:0}.mode-switch button{margin-right:14px;padding-right:5px;font-size:11px}.source-actions{flex-direction:column;align-items:stretch;padding:0}.source-actions>span{padding:13px 16px}.source-actions button{border-left:0;border-top:1px solid var(--line);justify-content:space-between;min-height:46px}.demo-row{grid-template-columns:56px 1fr 18px;gap:11px}.screen-heading,.result-heading{flex-direction:column;align-items:stretch}.screen-heading .primary-button,.result-heading .quiet-button{width:100%}.review-grid{min-height:0}.document-heading{flex-direction:column;align-items:flex-start;gap:5px;height:auto;padding-top:15px;padding-bottom:15px}.document-heading small{white-space:normal}.document-body,.model-list{padding:16px}.model-row{flex-direction:column;align-items:flex-start;gap:9px;padding:13px 0}.model-row button{width:100%}.validation{margin:16px}.result-heading h1{font-size:44px}.metric-strip{grid-template-columns:1fr 1fr}.metric strong{font-size:22px}.metric{padding:13px 10px 13px 0}.metric+.metric{padding-left:12px}.clause-pair{grid-template-columns:1fr}.evidence-panel{padding:20px}.evidence-panel h2{font-size:29px}.witness-table>div,.proof-row{grid-template-columns:100px 1fr}.math-content{grid-template-columns:1fr}.exactness-note{grid-column:auto}.benchmark-proof,.behavior-layout{gap:26px}.action-step{grid-template-columns:30px 1fr}.action-step code{grid-column:2;width:max-content;max-width:100%}footer{flex-direction:column;justify-content:center;align-items:flex-start;gap:5px}}