@font-face{font-family:DM Sans Variable;font-style:normal;font-display:swap;font-weight:100 1000;src:url(./dm-sans-latin-ext-wght-normal-BOFOeGcA.woff2) format("woff2-variations");unicode-range:U+0100-02BA,U+02BD-02C5,U+02C7-02CC,U+02CE-02D7,U+02DD-02FF,U+0304,U+0308,U+0329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF}@font-face{font-family:DM Sans Variable;font-style:normal;font-display:swap;font-weight:100 1000;src:url(./dm-sans-latin-wght-normal-Xz1IZZA0.woff2) format("woff2-variations");unicode-range:U+0000-00FF,U+0131,U+0152-0153,U+02BB-02BC,U+02C6,U+02DA,U+02DC,U+0304,U+0308,U+0329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}@font-face{font-family:IBM Plex Mono;font-style:normal;font-display:swap;font-weight:400;src:url(./ibm-plex-mono-latin-400-normal-DMJ8VG8y.woff2) format("woff2"),url(./ibm-plex-mono-latin-400-normal-CvHOgSBP.woff) format("woff")}@font-face{font-family:IBM Plex Mono;font-style:normal;font-display:swap;font-weight:500;src:url(./ibm-plex-mono-latin-500-normal-DSY6xOcd.woff2) format("woff2"),url(./ibm-plex-mono-latin-500-normal-CB9ihrfo.woff) format("woff")}:root{font-family:DM Sans Variable,Segoe UI,sans-serif;color:#182e29;background:#f8f9f6;font-synthesis:none;font-weight:400;--ink: #182e29;--green: #27745d;--mint: #bce9d3;--paper: #f8f9f6;--muted: #5b6c65;--line: #dce2da;--mono: "IBM Plex Mono", Consolas, monospace;--serif: Georgia, "Times New Roman", serif}*{box-sizing:border-box}html{scroll-behavior:smooth;scroll-padding-top:100px}body{margin:0}button,input,select{font:inherit}button,a,select,input{touch-action:manipulation}button,a{-webkit-tap-highlight-color:transparent}button{cursor:pointer}a{color:inherit;text-decoration:none}a:hover{color:var(--green)}p{line-height:1.75;margin:0 0 20px}strong{font-weight:600}h1,h2,h3{margin:0;font-weight:500}h2{font-size:60px;letter-spacing:-2.6px;line-height:1.08}h2 em{font-family:var(--serif);font-weight:400;color:var(--green)}h3{font-size:28px;line-height:1.22;letter-spacing:-.75px}button,select{color:inherit}button:focus-visible,a:focus-visible,input:focus-visible,select:focus-visible,summary:focus-visible{outline:3px solid #4e9e87;outline-offset:5px}button{background:none;border:0}select{background:transparent;border:0;border-bottom:1px solid var(--line);padding:9px 26px 9px 0;max-width:100%;cursor:pointer}input[type=range]{accent-color:var(--green);cursor:pointer;width:100%;height:20px}sup{font-size:.6em;vertical-align:super}code{font-family:var(--mono);font-size:.84em}p code,dd code{overflow-wrap:anywhere}pre{margin:0;overflow-x:auto}section{scroll-margin-top:85px}::selection{background:#bce9d3;color:#182e29}.container{max-width:1240px;margin:0 auto;padding:0 38px}.section{padding:112px 0}.section-label{display:flex;align-items:center;gap:14px;letter-spacing:1.8px;font-family:var(--mono);font-size:15px;margin-bottom:36px;font-weight:500}.section-label>span{border:1px solid #bdc9bf;font-size:15px;display:grid;place-content:center;width:31px;height:28px;border-radius:4px;letter-spacing:0}.section-heading{display:flex;align-items:flex-end;justify-content:space-between;gap:60px;margin-bottom:48px}.section-heading>p{max-width:370px;color:var(--muted);font-size:19px;margin:0 0 5px}.mini-label,.eyebrow,.data-badge{font-family:var(--mono);font-size:14px;letter-spacing:1.2px;font-weight:500}.mini-label{display:block;margin-bottom:20px;color:var(--muted)}.data-badge{display:inline-flex;align-items:center;border:1px solid #c5d5ca;border-radius:4px;background:#edf2ea;color:#3e6350;padding:7px 9px;letter-spacing:.6px}.small-note{font-size:16px;line-height:1.65;color:var(--muted)}.sr-only{position:absolute;width:1px;height:1px;margin:-1px;clip:rect(0,0,0,0);overflow:hidden}.skip-link{position:fixed;top:-90px;left:20px;padding:14px;background:#fff;z-index:100}.skip-link:focus{top:10px}.site-header{position:sticky;top:0;z-index:20;border-bottom:1px solid var(--line);background:#f8f9f6f5;backdrop-filter:blur(18px)}.nav-container{max-width:1440px;margin:auto;min-height:75px;padding:0 38px;display:flex;align-items:center;gap:32px}.logo{display:flex;align-items:center;gap:10px;font-size:23px;font-weight:650;letter-spacing:-1.2px}.logo svg{width:32px;height:32px}.logo-period{color:var(--green);margin-left:-10px}.nav-container nav{display:flex;gap:22px;margin:auto;font-size:16px;color:#53635c}.nav-container nav a{padding:27px 0 25px;border-bottom:2px solid transparent;transition:color .2s}.nav-container nav a[aria-current]{color:var(--green);border-bottom-color:var(--green)}.nav-paper{font-size:16px;border:1px solid #aebeb1;border-radius:5px;padding:10px 14px;white-space:nowrap;display:flex;gap:18px}.mobile-menu{display:none}.hero{padding:66px 0 0;background:radial-gradient(ellipse at 85% 20%,#e9efe7 0,transparent 50%)}.hero-body{display:grid;grid-template-columns:1.1fr 1fr;gap:70px;align-items:center;padding-bottom:58px}.eyebrow{display:flex;align-items:center;gap:10px;font-size:14px;letter-spacing:1.15px;margin-bottom:25px}.eyebrow>span:not(.status-dot){color:#9ba69d;margin:0 3px}.status-dot{width:7px;height:7px;border-radius:50%;background:var(--green);box-shadow:0 0 0 4px #dceadd}.hero h1{font-size:85px;letter-spacing:-5.4px;line-height:.99;max-width:620px;margin-bottom:25px}.hero h1 em{font-family:var(--serif);font-weight:400;color:var(--green);letter-spacing:-4px}.hero-description{font-size:19px;line-height:1.75;max-width:430px;color:#54665d;margin-bottom:26px}.hero-actions{display:flex;gap:12px;align-items:center}.button{display:inline-flex;align-items:center;justify-content:center;gap:22px;padding:14px 20px;border-radius:5px;font-size:17px;font-weight:500;transition:transform .2s,background .2s}.button:hover{transform:translateY(-2px)}.button.primary{background:var(--ink);color:#f7f9f6}.button.primary:hover{background:#285446}.button.secondary{border:1px solid #cbd5cb;gap:8px}.button.secondary svg{width:18px;height:18px}.authors{display:flex;gap:21px;flex-wrap:wrap;font-size:17px;margin-top:28px}.authors small{flex-basis:100%;color:var(--muted);font-size:15px;margin-top:-13px}.hero-art{border:1px solid #cbd8ce;background:#fff;border-radius:12px;box-shadow:0 15px 80px -30px #3f635a44;position:relative;margin-top:4px;transform:rotate(-1.5deg)}.art-top{padding:17px 18px;border-bottom:1px solid #e5ebe4;display:flex;justify-content:space-between;font-family:var(--mono);font-size:13px;letter-spacing:.75px;color:#63766a}.art-top>span:first-child{display:flex;align-items:center;gap:7px}.art-top i{background:#7bcda5;width:5px;height:5px;border-radius:50%}.hero-plot{padding:20px;display:grid;grid-template-columns:1fr 1fr;gap:24px}.hero-method-title{font-size:15px;display:flex;align-items:center;gap:6px;margin-bottom:20px;font-weight:500}.hero-method-title i{width:6px;height:6px;border-radius:50%;background:#98a8a3}.hero-method-title>span{margin-left:auto;font-family:var(--mono);font-size:13px;color:#87948c}.hero-method.adaptive .hero-method-title i{background:#3e9271}.hero-trajectory{display:flex;gap:3px;align-items:center;margin:8px 0;height:15px}.hero-trajectory small{font-size:13px;color:#7f8c81;font-family:var(--mono);margin-right:4px}.hero-trajectory>span{flex:1;height:15px;min-width:0;background:#f0f2ee;border-radius:2px;display:grid;place-content:center;font-size:13px;color:#fff}.hero-trajectory .filled{background:#c4cec8}.hero-trajectory .spark{background:#6e8980}.hero-method.adaptive .filled{background:#a5d7bd}.hero-method.adaptive .spark{background:#297e5c}.art-axis{font-family:var(--mono);font-size:13px;letter-spacing:.3px;color:#5e7368;display:flex;justify-content:space-between;margin-top:18px}.art-bottom{background:#f4f7f1;border-top:1px solid #e1e9df;border-radius:0 0 12px 12px;padding:20px;display:flex;align-items:center;justify-content:space-between}.art-loop{display:flex;align-items:center;gap:15px;color:#3c795e;font-size:26px}.art-loop>span{font-size:16px;line-height:1.65;color:#657d69}.art-loop strong{color:#315e48;font-weight:500}.art-bottom svg{width:65px;color:#92b7a1}.floating-note{background:#e2eeda;display:flex;flex-direction:column;padding:15px 36px 15px 18px;position:absolute;right:-18px;bottom:-29px;border:1px solid #c7dbc1;border-radius:5px;transform:rotate(3deg);box-shadow:0 5px 30px -10px #536c5333}.floating-note>span:first-child{font-size:13px;letter-spacing:1.1px;font-family:var(--mono);margin-bottom:4px}.floating-note strong{font-size:16px;font-weight:500}.note-plus{position:absolute;right:14px;top:17px;font-size:20px;color:#62855b}.paper-strip{padding:21px 0;border-top:1px solid var(--line);border-bottom:1px solid var(--line);display:flex;align-items:center;gap:23px}.paper-strip>span{font:13px var(--mono);letter-spacing:1px;color:#6d7c71;white-space:nowrap}.paper-strip>a{font-size:16px;line-height:1.55}.paper-strip>a>span{margin-left:8px}.paper-strip>small{margin-left:auto;font:13px var(--mono);color:#6d7c71;white-space:nowrap}.benefit-strip{display:grid;grid-template-columns:1fr 1fr 1fr 52px;gap:25px;padding:33px 0 35px;align-items:center}.benefit-strip>div>span{font:13px var(--mono);letter-spacing:1px;color:var(--muted)}.benefit-strip p{font-size:18px;line-height:1.65;margin:12px 0 0;color:#5d6d62}.benefit-strip strong{color:var(--ink);font-weight:500}.scroll-cue{display:grid;place-content:center;border:1px solid #c6d2c7;border-radius:50%;width:48px;height:48px;font-size:23px}.setup-section{background:#fff}.setup-grid{display:grid;grid-template-columns:.8fr 1.2fr;gap:85px;align-items:start}.setup-explanation{padding-top:12px}.setup-explanation h3{font-size:30px;margin-bottom:23px}.setup-explanation p{font-size:18px;color:var(--muted)}.definition-note{display:flex;gap:17px;border-top:1px solid var(--line);padding-top:20px;margin-top:25px}.definition-note>span{color:#a47a4b;font-size:30px}.definition-note p{font-size:16px;margin:0}.definition-note strong{color:var(--ink)}.setup-visual{background:#f6f8f4;border:1px solid var(--line);border-radius:9px;padding:25px}.visual-heading{display:flex;justify-content:space-between;font:13px var(--mono);letter-spacing:.6px;color:#566c5c;gap:10px}.visual-heading>span:last-child{color:#7a8a7f}.setup-control{margin-top:27px;display:flex;align-items:center;justify-content:space-between;font-size:17px}.setup-control strong{font:22px var(--mono)}.setup-visual input{margin:12px 0 25px}.setup-trajectories{display:grid;gap:12px}.setup-row{display:grid;grid-template-columns:80px 1fr 49px;gap:10px;align-items:center}.setup-row>span{font:13px var(--mono);letter-spacing:.2px;color:#687c70}.setup-row>div{display:grid;grid-template-columns:repeat(12,1fr);gap:4px}.cell{background:#e8ede6;height:21px;border-radius:3px;display:grid;place-content:center;font-size:16px;min-width:0;transition:background .25s}.cell.acquired{background:#afd5bd}.cell.event{background:#2b775d;color:#fff}.cell.censored{border:1px dashed #9b754d;color:#926737;background:#f1e6d6}.setup-row small{font:13px var(--mono);color:#617a68}.setup-budget{margin-top:27px}.setup-budget>span{font:13px var(--mono);letter-spacing:.7px;display:flex;justify-content:space-between;align-items:center}.setup-budget strong{font-size:20px;font-weight:500}.setup-budget small{font-size:14px;color:#6a806f}.meter{height:4px;background:#dce5da;border-radius:4px;overflow:hidden;margin-top:13px}.meter>span{display:block;height:100%;background:var(--green);border-radius:4px;transition:width .3s}.legend{display:flex;gap:12px;flex-wrap:wrap;font-size:13px;line-height:1.4;color:#63756a;margin:22px 0 0}.legend>span{display:flex;gap:5px;align-items:center}.legend-cell{display:inline-grid;place-content:center;width:9px;height:9px;border:1px solid #d1dbd0;border-radius:2px;background:#e8ede6;font-size:13px;font-style:normal}.legend-cell.acquired{background:#afd5bd;border-color:#afd5bd}.legend-cell.event{background:#2b775d;color:#fff;border-color:#2b775d}.legend-cell.censored{border:1px dashed #9b754d;color:#926737;background:#f1e6d6}.setup-visual>.small-note{font-size:14px;margin:15px 0 0}.bridge{display:flex;align-items:center;gap:35px;border-top:1px solid var(--line);margin-top:55px;padding-top:30px}.bridge>span{font:13px var(--mono);color:#6a806f;letter-spacing:1px}.bridge p{font-size:23px;line-height:1.5;margin:0;letter-spacing:-.5px}.bridge em{font-family:var(--serif);color:var(--green)}.bridge>a{margin-left:auto;font-size:35px}.application-section{background:#f1f4ee}.application-layout{display:grid;grid-template-columns:.8fr 1.2fr;gap:25px}.application-tabs{display:flex;flex-direction:column;gap:8px}.application-tabs button{display:flex;align-items:center;text-align:left;padding:23px 20px;border:1px solid transparent;border-radius:5px;font-size:18px;gap:16px;color:#5b6d60}.application-tabs button>span{font-size:23px;font-weight:400;width:27px}.application-tabs button>b{margin-left:auto;font-size:19px;font-weight:400}.application-tabs button[aria-selected=true]{background:#fff;border-color:#d6dfd3;color:#20583f;box-shadow:0 6px 20px -15px #3e614c55}.application-tabs button:hover{background:#e9eee5}.application-detail{border:1px solid #d1ddcd;border-radius:8px;background:#fff;padding:34px 38px;min-height:445px}.application-detail-top{display:flex;align-items:center;justify-content:space-between;margin-bottom:25px}.application-symbol{font-size:34px;color:#5c8e70}.application-detail .mini-label{font-size:13px;margin-bottom:10px}.application-detail h3{font-size:31px;max-width:420px;margin-bottom:17px}.application-detail>p{font-size:18px;color:var(--muted)}.application-estimate{display:grid;grid-template-columns:105px 1fr;gap:20px;border-top:1px solid var(--line);padding-top:16px;margin-top:14px}.application-estimate>span{font:13px var(--mono);letter-spacing:1px;padding-top:6px;color:#648068}.application-estimate p{font-size:17px;margin:0}.application-detail>a{display:block;margin-top:25px;font-size:15px;color:#357050}.method-section{background:#fff}.method-diagram{border:1px solid var(--line);border-radius:8px;overflow:hidden}.method-nodes{display:grid;grid-template-columns:repeat(5,1fr);background:#f5f7f2;padding:25px 20px}.method-nodes>button{text-align:left;position:relative;padding:20px 15px 14px;border-radius:5px;display:flex;flex-direction:column;gap:13px;min-width:0}.method-nodes>button[aria-selected=true]{background:#e4efdf;box-shadow:inset 0 0 0 1px #c6dac1}.node-num{font:14px var(--mono);color:#728b72}.method-nodes strong{font-size:20px;white-space:nowrap;font-weight:500}.method-nodes small{font-size:14px;color:#61755f;min-height:26px}.flow-arrow{position:absolute;right:-9px;top:50%;font-size:20px;color:#80997b;z-index:1}.method-nodes>button:last-child .flow-arrow{display:none}.method-explanation{display:grid;grid-template-columns:150px 1fr;gap:25px;padding:34px 35px;min-height:210px}.method-explanation .mini-label{margin:3px 0 12px;font-size:13px}.method-explanation h3{font-size:23px}.method-explanation>p{font-size:18px;color:var(--muted);margin:0}.prefix-flow{grid-column:2;display:flex;align-items:center;justify-content:space-between;gap:12px;font:13px var(--mono);position:relative;max-width:500px;margin-top:5px}.prefix-flow>span{padding:8px 14px;border:1px solid #d7e1d2;border-radius:4px;background:#f4f8f1;z-index:1;white-space:nowrap}.prefix-flow>i{font-size:19px;font-style:normal;color:#83a582}.flow-particle{position:absolute;top:13px;width:6px;height:6px;background:#3f8860;border-radius:50%;animation:flow 5s infinite linear}@keyframes flow{0%{left:5%}to{left:95%}}.method-footnotes{display:grid;grid-template-columns:1fr 1fr;gap:45px;margin-top:25px}.method-footnotes p{font-size:15px;line-height:1.75;color:#6c7a6a;margin:0}.method-footnotes strong{color:#304a37}.method-footnotes a{color:#33714c;text-decoration:underline;text-underline-offset:3px}.replay-section{background:#152c2a;color:#eef5ed;padding:110px 0 80px}.replay-section .section-label{color:#b1c6b7}.replay-section .section-label>span{border-color:#526b5b}.replay-section h2{color:#eff6ed}.replay-section h2 em{color:#b1d9bb}.replay-section .section-heading>p{color:#b1c2b4;font-size:18px}.replay-console{background:#1c3531;border:1px solid #476052;border-radius:9px;overflow:hidden}.console-top{padding:17px 23px;border-bottom:1px solid #3d5549;display:flex;justify-content:space-between;align-items:center;font:13px var(--mono);letter-spacing:1px;color:#adbfad}.live-tag{display:flex;align-items:center;gap:8px;color:#bfe3c5}.live-tag i{width:5px;height:5px;border-radius:50%;background:#aee2b2}.replay-filters{padding:22px;display:flex;gap:28px;align-items:center}.replay-filters label{display:flex;flex-direction:column;gap:5px;color:#b4c7b5;font-size:13px}.replay-filters select{color:#ecf4e9;border-color:#526a58;padding:8px 20px 8px 0;font-size:15px}.replay-filters select option,.speed select option{color:var(--ink);background:#f7f9f2}.target-box{margin-left:auto;display:flex;flex-direction:column;gap:9px;text-align:right}.target-box>span{font:13px var(--mono);letter-spacing:.7px;color:#b0c8b2}.target-box strong{font:23px var(--mono);font-weight:400}.target-box small{font:13px var(--mono);color:#c3d8c2}.replay-panels{display:grid;grid-template-columns:repeat(3,1fr);border-top:1px solid #3d5549;border-bottom:1px solid #3d5549}.replay-panel{padding:24px 22px 22px;border-right:1px solid #3d5549;min-width:0}.replay-panel:last-child{border:0}.replay-panel.adaptive{background:#224438}.panel-heading{display:flex;align-items:center;gap:7px;min-height:21px}.panel-heading h3{font-size:20px;letter-spacing:-.3px}.method-dot{width:6px;height:6px;background:#a1b1af;border-radius:50%}.replay-panel.static .method-dot{background:#b0b7a0}.replay-panel.adaptive .method-dot{background:#b1d39b}.pill{font:13px var(--mono);border:1px solid #6d996e;background:#365a40;color:#d4edc0;border-radius:3px;margin-left:auto;padding:4px;letter-spacing:.2px}.panel-description{font-size:14px;line-height:1.6;color:#b3c7b7;min-height:32px;margin:11px 0 22px}.turn-axis{display:grid;grid-template-columns:18px 1fr 10px;gap:7px;font:13px var(--mono);color:#acbfae;margin-bottom:9px}.turn-axis>div{display:grid;grid-template-columns:repeat(12,1fr);gap:4px;text-align:center}.trajectory-row{display:grid;grid-template-columns:18px 1fr 10px;gap:7px;align-items:center;margin:7px 0}.row-number{font:13px var(--mono);color:#a9bda9}.trajectory-cells{display:grid;grid-template-columns:repeat(12,1fr);gap:4px}.replay-panel .cell{height:19px;background:#2f473d;border:1px solid #3f5648;border-radius:2px;font-size:13px}.replay-panel .cell.acquired{background:#8a9c94;border-color:#8a9c94}.replay-panel.static .cell.acquired{background:#adb29a;border-color:#adb29a}.replay-panel.adaptive .cell.acquired{background:#98c394;border-color:#98c394}.replay-panel .cell.event{background:#eef2d3;color:#244a34;border-color:#e5edca}.replay-panel .cell.active{outline:1px solid #e0e7cc;outline-offset:2px}.row-outcome{font-size:15px;color:#b5d0ab}.row-outcome.censor-mark{color:#d5b285;font-weight:700}.run-stats{display:grid;grid-template-columns:1fr 1fr 1fr;gap:6px;margin-top:24px}.run-stats>div{display:flex;flex-direction:column;gap:5px}.run-stats strong{font:25px var(--mono);font-weight:400;letter-spacing:-1px;color:#e3efdb}.run-stats span{font-size:13px;color:#b6cbb5;white-space:nowrap}.replay-panel .meter{background:#3a5545;height:3px;margin-top:22px}.replay-panel .meter>span{background:#94b5a3}.replay-panel.adaptive .meter>span{background:#b1d195}.meter-label{display:flex;justify-content:space-between;font:13px var(--mono);margin-top:9px;color:#a7bfa8}.meter-label b{font-weight:400;color:#d4e5c8}.playback{display:flex;align-items:center;padding:20px 22px;gap:18px}.play-button{border-radius:4px;background:#cce1b9;color:#183228;display:flex;align-items:center;gap:9px;padding:11px 15px;font-size:15px;font-weight:500;min-width:88px;justify-content:center}.play-button>span{font-size:14px}.restart{font-size:20px;display:flex;gap:5px;align-items:center;color:#c5d6c1;padding:9px 5px}.restart span{font-size:14px}.scrubber{display:flex;align-items:center;gap:17px;flex:1}.scrubber input{accent-color:#b6d69e;min-width:45px}.scrubber output{font:13px var(--mono);color:#c1d3bb;white-space:nowrap}.speed select{border:1px solid #526950;border-radius:4px;font:13px var(--mono);padding:8px;color:#c1d3bb}.replay-console>.legend{border-top:1px solid #3d5549;margin:0;padding:16px 22px;justify-content:center;gap:25px;color:#b1c7b3;font-size:13px}.replay-console .legend-cell{background:#2f473d;border-color:#496349}.replay-console .legend-cell.acquired{background:#98c394}.replay-console .legend-cell.event{background:#eef2d3;color:#244a34}.replay-console .legend-cell.censored{border-color:#c7a67d;color:#d5b285}.simulation-note{display:grid;grid-template-columns:125px 1fr;gap:18px 25px;margin-top:25px;color:#a9c0ac}.simulation-note>span{font:13px var(--mono);letter-spacing:1px;padding-top:5px;line-height:1.7}.simulation-note>p{font-size:15px;line-height:1.8;margin:0}.simulation-note>a{grid-column:2;font-size:15px;color:#c8dfbf}.replay-panels.single .trajectory-chart{max-width:650px;margin:0 auto}.replay-panels.single .run-stats{max-width:650px;margin:24px auto 0}.replay-panels.single .cell{height:27px}.guarantees-section{background:#fbfbf7}.guarantee-grid{display:grid;grid-template-columns:1.55fr 1fr;border:1px solid #d7dfd1;border-radius:8px;overflow:hidden}.coverage-card{padding:38px;background:#fff;min-width:0}.coverage-card h3{font-size:32px;margin-bottom:20px}.coverage-card>p{font-size:18px;color:var(--muted)}.main-equation{background:#f1f6ed;padding:25px 20px;margin:25px 0;border-radius:4px}.math-block{display:block;overflow-x:auto;overflow-y:hidden;max-width:100%;padding:4px 0}.katex-display{margin:.4em 0}.katex{font-size:1em}.main-equation>span:last-child{display:block;font-size:14px;color:#5b715c;margin-top:14px;text-align:center;line-height:1.6}.coverage-card details{border-top:1px solid var(--line);border-bottom:1px solid var(--line);margin:25px 0;padding:0}.coverage-card summary{font-size:16px;padding:17px 0}.coverage-card details>div>p{font-size:15px;line-height:1.8;color:var(--muted)}.coverage-card details .math-block{font-size:16px;padding:10px 0}.coverage-card>a{font-size:15px;color:#36714f}.slack-card{background:#e8efdf;padding:38px;min-width:0}.slack-card h3{font-size:30px;margin-bottom:20px}.slack-card>p{font-size:16px;color:#5d7058}.slack-card>label{font-size:15px;display:block;margin:27px 0;color:#3a5135}.slack-card>label>strong{float:right;font:16px var(--mono)}.slack-card input{margin:12px 0 0}.coverage-floor{border-top:1px solid #c7d5bc;border-bottom:1px solid #c7d5bc;padding:22px 0;margin:20px 0;display:flex;flex-direction:column;gap:13px}.coverage-floor>span{font:13px var(--mono);letter-spacing:.5px;color:#526a47}.coverage-floor>strong{font:56px var(--serif);letter-spacing:-3px;color:#244e32}.coverage-floor small{font-size:30px;margin-left:4px}.slack-card .small-note{font-size:14px;line-height:1.8}.secondary-guarantees{display:grid;grid-template-columns:1fr 1fr;gap:80px;padding-top:55px}.secondary-guarantees h3{font-size:30px;margin-bottom:20px}.secondary-guarantees p{font-size:17px;color:var(--muted)}.secondary-guarantees a{font-size:15px;color:#35714e}.variance-illustration{margin:20px 0}.variance-illustration svg{width:100%;height:120px}.variance-illustration svg text{font:13px var(--mono);fill:#637a61}.variance-illustration>div{display:flex;justify-content:center;gap:20px;font-size:13px;color:#5b7059}.variance-illustration>div>span:last-child{color:var(--green)}.weight-comparison{background:#edf2e7;padding:22px;display:flex;gap:17px;align-items:center;border-radius:5px;margin:25px 0}.weight-comparison>span:not(.math-inline){font:13px var(--mono);line-height:1.8;color:#607652}.weight-comparison>.math-inline{font-size:27px}.weight-comparison>i{font-size:20px;font-style:normal;color:#739164}.results-section{background:#fff}.result-filters{display:flex;align-items:center;gap:35px;border-top:1px solid var(--line);border-bottom:1px solid var(--line);padding:19px 0;margin-bottom:28px}.result-filters>.data-badge{margin-right:auto;font-size:13px;white-space:nowrap}.result-filters>label{display:flex;align-items:center;gap:15px;font-size:14px;color:var(--muted)}.result-filters select{font-size:16px;color:var(--ink);border:0}.result-charts{display:grid;grid-template-columns:1.6fr 1fr;gap:30px;margin-bottom:25px}.result-chart{border:1px solid var(--line);border-radius:7px;padding:25px;min-width:0}.chart-title{display:flex;justify-content:space-between;align-items:center;gap:15px}.chart-title h3{font-size:21px}.chart-title select{font-size:14px;padding:5px 25px 5px 0}.result-chart>p{font-size:14px;color:var(--muted);margin:14px 0 0}.result-chart svg{width:100%;height:auto;display:block}.grid-line{stroke:#e6ebe2;stroke-width:1}.axis-text{fill:#526951;font:15px var(--mono)}.reference-line{stroke:#99ae83;stroke-width:1;stroke-dasharray:4 4}.ref-label{font:13px var(--mono);fill:#517440;letter-spacing:.5px}.method-label{font:16px DM Sans Variable,Segoe UI,sans-serif;fill:#3f583e}.variance-chart{padding:28px;border:1px solid #d7e0d0;background:#f2f5ec;border-radius:7px;min-width:0}.variance-chart h3{font-size:27px;margin-bottom:16px}.variance-chart>p{font-size:15px;color:#5f7559;line-height:1.7}.variance-chart .mini-label{font-size:13px}.variance-row{margin:21px 0}.variance-row>div:first-child{display:flex;justify-content:space-between;font-size:15px;gap:15px}.variance-row strong{font:16px var(--mono)}.variance-track{height:8px;background:#e3e9dc;margin-top:9px;border-radius:2px;overflow:hidden}.variance-track>span{display:block;height:100%;transition:width .3s;border-radius:2px;min-width:2px}.variance-chart .chart-foot{font-size:14px;border-top:1px solid #d5dfc9;padding-top:17px;margin:24px 0 0}.table-wrap{overflow-x:auto;border:1px solid var(--line);border-radius:6px}table{width:100%;border-collapse:collapse;text-align:left;white-space:nowrap;font-size:15px}thead{background:#f6f8f2;font-size:13px;color:#60745a}th,td{padding:17px 20px;border-bottom:1px solid #e5eadf;font-weight:400}tbody tr:last-child th,tbody tr:last-child td{border:0}tbody th{font-weight:500}tbody th>i{display:inline-block;width:6px;height:6px;margin-right:9px;border-radius:50%}tbody td{font-family:var(--mono);font-size:14px}.result-caveat{font-size:15px;color:var(--muted);margin:20px 0;line-height:1.75}.provenance{border-top:1px solid var(--line);border-bottom:1px solid var(--line);padding:0}.provenance summary{font-size:16px;padding:20px 0}.provenance>div{font-size:15px;padding-bottom:25px}.provenance dl{display:grid;grid-template-columns:150px 1fr;gap:15px;margin:20px 0}.provenance dt{color:#66795e}.provenance dd{margin:0;min-width:0;overflow-wrap:anywhere}.provenance a{display:inline-block;margin:5px 25px 0 0;color:var(--green)}details>summary{list-style:none;display:flex;align-items:center;justify-content:space-between;gap:25px;cursor:pointer}details>summary::-webkit-details-marker{display:none}details>summary>span:last-child{font-size:20px;font-weight:400}details[open]>summary>span:last-child{transform:rotate(45deg)}.use-section{background:#f1f4ee}.usage-tabs{display:flex;gap:10px;border-bottom:1px solid #cdd8c7;margin-bottom:35px}.usage-tabs button{padding:18px 24px;display:flex;align-items:center;gap:13px;color:#688061;font:14px var(--mono);border-bottom:2px solid transparent}.usage-tabs button>span{font:18px DM Sans Variable,Segoe UI,sans-serif}.usage-tabs button>small{font:13px var(--mono);color:#698563}.usage-tabs button[aria-selected=true]{color:#275c36;border-bottom-color:#39744a}.quick-grid{display:grid;grid-template-columns:.85fr 1.15fr;gap:60px;align-items:start}.quick-grid h3{font-size:32px;margin:24px 0 18px}.quick-grid p{font-size:17px;color:var(--muted)}.quick-grid a{font-size:15px;color:#2e6b43}.quick-grid>.code-block{margin-top:3px}.quick-terminal{min-width:0}.shell-select{display:flex;align-items:center;justify-content:flex-end;gap:15px;font-size:14px;margin-bottom:12px;color:var(--muted)}.shell-select select{font-size:15px}.code-block{border-radius:7px;background:#18312d;color:#e6f1de;overflow:hidden;min-width:0}.code-title{display:flex;justify-content:space-between;gap:12px;align-items:center;padding:15px 20px;border-bottom:1px solid #3b5244}.code-title>span{font:13px var(--mono);letter-spacing:.7px;display:flex;gap:8px;align-items:center;line-height:1.7}.code-title i{width:5px;height:5px;background:#99b580;border-radius:50%}.copy{border:1px solid #788f70;border-radius:4px;padding:6px 9px;white-space:nowrap;font-size:13px;display:flex;align-items:center;gap:5px;color:inherit}.copy:hover{background:#ffffff0c}.code-block pre{padding:24px;font-size:15px;line-height:2.3;tab-size:2;white-space:pre-wrap;overflow-wrap:anywhere;color:#c6debc;min-height:200px}.expected-output{border:1px solid #d4dfcc;background:#f9fbf5;border-radius:5px;padding:17px 20px;margin:26px 0 15px}.expected-output>span{font:13px var(--mono);letter-spacing:1px;color:#53774b}.expected-output>div{display:grid;grid-template-columns:auto 1fr;gap:10px 20px;margin-top:18px;align-items:center}.expected-output strong{font:21px var(--mono);color:#315b36}.expected-output small{font-size:15px;color:#677a5f}.quick-grid .small-note{font-size:14px}.full-pipeline>.pipeline-prereq{font-size:16px;color:#5c7154;border-left:2px solid #849c73;padding-left:20px;margin-bottom:30px}.full-pipeline details{border-bottom:1px solid #cdd8c6}.full-pipeline summary{padding:23px 0;font-size:20px;justify-content:flex-start}.full-pipeline summary>span{font:14px var(--mono);border:1px solid #bdcdb3;border-radius:3px;display:grid;place-content:center;width:28px;height:26px}.full-pipeline summary>b{margin-left:auto;font-size:21px;font-weight:400}.full-pipeline details>div{padding:0 0 25px 53px}.full-pipeline details p{font-size:17px;color:var(--muted)}.full-pipeline .code-block pre{min-height:0;line-height:2.1}.full-pipeline details a{font-size:15px;color:var(--green);display:block;margin-top:18px;overflow-wrap:anywhere}.full-pipeline>p:last-child{margin-top:25px;font-size:16px;color:var(--muted)}.full-pipeline>p:last-child a{text-decoration:underline;text-underline-offset:3px}.faq-section{background:#fff}.faq-grid{display:grid;grid-template-columns:.85fr 1.15fr;gap:70px;align-items:start}.faq-grid h2{font-size:52px}.faq-grid>div:first-child>p{font-size:17px;color:var(--muted);margin:23px 0}.faq-grid>div:first-child>a{font-size:15px;color:var(--green)}.faq-list{border-top:1px solid var(--line)}.faq-list details{border-bottom:1px solid var(--line)}.faq-list summary{padding:22px 0;font-size:17px;line-height:1.6}.faq-list summary>span{color:#56794e}.faq-list details>p{font-size:16px;line-height:1.8;color:var(--muted);padding-right:30px;margin-bottom:23px}.citation-section{background:#e9f0e2;border-top:1px solid #d6e0cd}.citation-grid{display:grid;grid-template-columns:1fr 1.1fr;gap:75px}.citation-title{font-size:19px;line-height:1.6;margin:25px 0 18px;max-width:420px}.citation-grid>div>p:not(.citation-title):not(.small-note){font-size:17px}.affiliations{color:#5b7353;line-height:1.9;font-size:15px!important}.affiliations a{display:inline-block;margin-top:10px;color:#2e6a40}.citation-links{display:flex;gap:16px;flex-wrap:wrap;font-size:15px;margin:25px 0}.citation-grid .small-note{font-size:14px;line-height:1.8;color:#5e7555}.bibtex-box{border:1px solid #c5d5b9;border-radius:7px;background:#f6f9f0;min-width:0;align-self:start;margin-top:8px}.bibtex-box>div{padding:17px 20px;border-bottom:1px solid #d5e0ca;display:flex;align-items:center;justify-content:space-between;gap:15px;font:13px var(--mono);letter-spacing:1px}.bibtex-box .copy{border-color:#c4d2b7;font-family:DM Sans Variable,Segoe UI,sans-serif;letter-spacing:0}.bibtex-box pre{padding:25px;font:14px/2 var(--mono);color:#3c6340;white-space:pre-wrap;overflow-wrap:anywhere}.site-footer{background:#e9f0e2;border-top:1px solid #cedbc2;padding:28px 0}.site-footer>.container{display:flex;align-items:center;justify-content:space-between;gap:30px}.site-footer .logo{font-size:19px}.site-footer .logo svg{width:27px;height:27px}.site-footer>.container>span{font-size:14px;color:#617958}.site-footer>.container>a:last-child{font-size:14px;color:#4b6d40}.hero-method-title>span,.hero-trajectory small,.art-loop>span,.visual-heading>span:last-child,.setup-row>span,.setup-row small,.setup-budget small,.bridge>span,.application-estimate>span,.node-num,.method-nodes small,.weight-comparison>span:not(.math-inline),.usage-tabs button,.usage-tabs button>small,.expected-output small,.affiliations,.citation-grid .small-note,.site-footer>.container>span{color:#52694e}.table-wrap:focus-visible,.math-block:focus-visible{outline:3px solid #4e9e87;outline-offset:3px}@media(min-width:1500px){.hero{padding-top:90px}.hero-body{padding-bottom:85px}.hero h1{font-size:94px}.hero-art{margin-top:35px}.section{padding:125px 0}}@media(max-width:1150px){.nav-container{gap:20px;padding:0 25px}.nav-container nav{gap:16px;font-size:14px}.container{padding:0 30px}.hero-body{gap:35px}.hero h1{font-size:75px;letter-spacing:-4px}.hero-art{margin-right:8px}.hero-plot{gap:15px;padding:18px 14px}.hero-trajectory{gap:2px}.hero-method-title,.art-axis{font-size:13px}.section-heading{gap:35px}.setup-grid{gap:45px}.setup-visual{padding:22px}.setup-row{grid-template-columns:65px 1fr 42px;gap:7px}.setup-row>span{font-size:13px}.setup-row>div{gap:3px}.setup-row small{font-size:13px}.replay-panel{padding:22px 16px}.replay-filters{gap:22px}.trajectory-cells,.turn-axis>div{gap:3px}.trajectory-row,.turn-axis{gap:4px}.pill{font-size:13px}.coverage-card,.slack-card{padding:30px}.secondary-guarantees{gap:50px}.quick-grid{gap:40px}.usage-tabs button{padding:18px 15px}.citation-grid{gap:45px}}@media(max-width:900px){.nav-container nav{display:none;position:absolute;top:75px;left:0;right:0;padding:18px 28px;background:#f8faf3;border-bottom:1px solid var(--line);flex-wrap:wrap;margin:0;gap:5px 25px;font-size:17px;box-shadow:0 10px 20px -15px #18312d44}.nav-container nav.open{display:flex}.nav-container nav a{padding:12px 0}.mobile-menu{display:block;margin-left:auto;font-size:16px;color:var(--muted);padding:10px}.hero-body{grid-template-columns:1fr 1fr;gap:35px}.hero h1{font-size:64px;letter-spacing:-3.7px}.hero-description{font-size:18px}.hero-actions{gap:8px}.button{font-size:15px;padding:12px 14px;gap:10px}.authors{font-size:15px;gap:17px}.authors small{font-size:14px}.hero-art{transform:rotate(0);margin-top:40px}.hero-plot{grid-template-columns:1fr;gap:22px;padding:20px}.hero-method:first-child{display:none}.hero-method-title{font-size:15px;margin-bottom:20px}.hero-trajectory{gap:5px;margin:9px 0}.hero-trajectory>span{height:17px}.hero-trajectory small{font-size:13px}.hero-trajectory{height:17px}.art-axis{font-size:13px}.art-top{font-size:13px;padding:14px}.art-top>span:last-child{display:none}.art-bottom{padding:15px}.art-loop{font-size:20px}.art-loop>span{font-size:14px}.art-bottom svg{width:45px}.floating-note{right:-10px;bottom:-30px;padding:12px 30px 12px 15px}.floating-note strong{font-size:14px}.paper-strip{gap:15px}.paper-strip>a{font-size:15px}.paper-strip>small{font-size:13px}.section{padding:85px 0}h2{font-size:50px;letter-spacing:-2px}.section-heading>p{font-size:18px;max-width:300px}.setup-grid{grid-template-columns:1fr;gap:30px}.setup-explanation{display:grid;grid-template-columns:1fr 1fr;gap:0 35px}.setup-explanation .mini-label{grid-column:1/-1;margin-bottom:17px}.setup-explanation h3{grid-row:2/4}.setup-explanation p{font-size:16px}.setup-explanation .definition-note{grid-column:1/-1;margin-top:6px}.setup-visual{padding:28px}.setup-row{grid-template-columns:85px 1fr 55px;gap:12px}.setup-row>span{font-size:13px}.setup-row>div{gap:5px}.setup-row small{font-size:13px}.setup-row .cell{height:25px}.bridge p{font-size:20px}.application-layout{grid-template-columns:.8fr 1.2fr;gap:15px}.application-tabs button{font-size:16px;padding:22px 12px;gap:9px}.application-tabs button>span{font-size:20px;width:25px}.application-detail{padding:25px}.application-detail h3{font-size:27px}.application-estimate{grid-template-columns:80px 1fr;gap:15px}.application-estimate p{font-size:16px}.application-estimate>span{font-size:13px}.application-detail .data-badge{font-size:13px}.method-nodes{padding:18px 10px}.method-nodes>button{padding:15px 10px}.method-nodes strong{font-size:17px}.method-nodes small{font-size:13px;line-height:1.6}.method-explanation{grid-template-columns:120px 1fr;padding:25px}.method-explanation>p{font-size:16px}.replay-section{padding:85px 0 65px}.replay-panels{grid-template-columns:1fr}.replay-panel{border-right:0;border-bottom:1px solid #3d5549;padding:22px 25px;display:grid;grid-template-columns:1fr 2fr;gap:8px 30px}.panel-heading{grid-column:1;align-self:end}.panel-description{grid-column:1;margin:0;align-self:start}.trajectory-chart{grid-column:2;grid-row:1/5;margin:0}.replay-panel .cell{height:18px}.run-stats{grid-column:1;margin-top:5px;gap:10px}.run-stats strong{font-size:23px}.run-stats span{font-size:13px}.replay-panel .meter{grid-column:1;margin-top:12px;align-self:end}.meter-label{grid-column:1;font-size:13px;margin-top:4px}.replay-panels.single .trajectory-chart{width:100%;margin:0}.replay-panels.single .run-stats{margin-top:5px}.replay-panels.single .cell{height:20px}.replay-filters{gap:17px;flex-wrap:wrap}.target-box{gap:5px}.target-box strong{font-size:20px}.target-box>span{font-size:13px}.target-box small,.replay-filters label{font-size:13px}.replay-filters select{font-size:14px}.replay-console>.legend{gap:17px;font-size:13px}.guarantee-grid{grid-template-columns:1.35fr 1fr}.coverage-card,.slack-card{padding:25px}.coverage-card h3,.slack-card h3{font-size:27px}.coverage-card>p{font-size:16px}.main-equation{padding:15px 10px;font-size:16px}.main-equation>span:last-child{font-size:13px}.slack-card>p{font-size:15px}.coverage-floor>strong{font-size:48px}.coverage-floor>span{font-size:13px}.secondary-guarantees{gap:35px}.secondary-guarantees h3{font-size:27px}.weight-comparison{padding:18px;gap:12px}.weight-comparison>span:not(.math-inline){font-size:13px}.weight-comparison>.math-inline{font-size:20px}.result-filters{gap:22px}.result-filters>label{gap:7px;font-size:13px}.result-filters select{font-size:14px}.result-filters>.data-badge{font-size:13px}.result-charts{grid-template-columns:1.4fr 1fr;gap:15px}.result-chart{padding:18px}.chart-title{align-items:flex-start}.chart-title h3{font-size:20px}.chart-title select{font-size:13px}.result-chart svg{margin-top:12px}.variance-chart{padding:22px}.variance-chart h3{font-size:24px}.variance-row{margin:17px 0}.variance-row>div:first-child{font-size:13px}.variance-row strong{font-size:14px}.variance-chart .chart-foot{font-size:13px}.variance-chart>p{font-size:14px}.quick-grid{grid-template-columns:1fr 1.15fr;gap:30px}.quick-grid h3{font-size:27px}.quick-grid p{font-size:16px}.usage-tabs button>small{display:none}.code-block pre{padding:20px;font-size:14px;line-height:2.3}.code-title{padding:13px 15px}.code-title>span{font-size:13px}.faq-grid{gap:40px}.faq-grid h2{font-size:44px}.faq-list summary{font-size:16px;padding:20px 0}.citation-grid{gap:35px}.bibtex-box pre{padding:20px;font-size:13px}.citation-title{font-size:18px}.bibtex-box>div{font-size:13px;padding:14px}.citation-links{font-size:14px;gap:15px}}@media(max-width:640px){html{scroll-padding-top:90px}.container{padding:0 22px}.nav-container{min-height:67px;padding:0 21px;gap:10px}.logo{font-size:20px;gap:8px}.logo svg{width:28px;height:28px}.nav-container nav{top:67px;padding:16px 22px;font-size:16px}.nav-paper{padding:9px 11px;font-size:14px;gap:10px}.mobile-menu{font-size:14px;padding:8px}.hero{padding-top:38px}.hero-body{grid-template-columns:1fr;gap:27px;padding-bottom:52px}.eyebrow{font-size:13px;letter-spacing:.9px;margin-bottom:22px}.hero h1{font-size:70px;line-height:.98;letter-spacing:-4.5px;margin-bottom:23px}.hero h1 em{letter-spacing:-3.7px}.hero-description{font-size:18px;max-width:370px;margin-bottom:24px}.hero-actions{gap:10px}.button{font-size:16px;padding:13px 17px;gap:15px}.authors{font-size:16px;margin-top:24px}.authors small{font-size:14px}.hero-art{margin:6px 6px 0 0;transform:rotate(-1deg)}.hero-plot{grid-template-columns:1fr 1fr;gap:20px;padding:19px 15px}.hero-method:first-child{display:block}.hero-method-title{font-size:13px;margin-bottom:15px}.hero-trajectory{gap:2px;height:13px;margin:8px 0}.hero-trajectory>span{height:13px;font-size:13px}.hero-trajectory small{font-size:13px;margin-right:2px}.art-axis{font-size:13px;letter-spacing:0;margin-top:13px}.art-top{font-size:13px}.art-top>span:last-child{display:block;font-size:13px}.art-bottom{padding:15px 18px 20px}.art-loop>span{font-size:14px}.floating-note{right:-8px;bottom:-22px;padding:12px 32px 12px 15px}.floating-note>span:first-child{font-size:13px}.floating-note strong{font-size:13px}.note-plus{top:14px;font-size:18px}.paper-strip{flex-wrap:wrap;gap:9px;padding:20px 0}.paper-strip>span{font-size:13px}.paper-strip>a{font-size:15px;order:3;flex-basis:100%;line-height:1.8}.paper-strip>small{font-size:13px}.benefit-strip{grid-template-columns:1fr 1fr 1fr;gap:15px;padding:27px 0}.benefit-strip>div>span{font-size:13px;letter-spacing:.5px}.benefit-strip p{font-size:14px;line-height:1.7;margin-top:9px}.scroll-cue{display:none}.section{padding:65px 0}.section-label{font-size:13px;letter-spacing:1px;margin-bottom:25px;gap:11px}.section-label>span{width:27px;height:25px;font-size:13px}.section-heading{display:block;margin-bottom:30px}h2{font-size:44px;letter-spacing:-2px;line-height:1.09}.section-heading>p{max-width:100%;font-size:17px;margin-top:23px;line-height:1.8}.setup-grid{gap:25px}.setup-explanation{display:block;padding-top:0}.setup-explanation .mini-label{font-size:13px;margin-bottom:15px}.setup-explanation h3{font-size:26px;margin-bottom:17px}.setup-explanation p{font-size:16px}.definition-note{margin-top:22px;padding-top:16px;gap:12px}.definition-note p{font-size:15px}.setup-visual{padding:18px 14px}.visual-heading{font-size:13px;gap:8px;letter-spacing:.4px}.visual-heading>span:last-child{font-size:13px}.setup-control{font-size:14px;margin-top:22px}.setup-control strong{font-size:20px}.setup-visual input{margin:10px 0 20px}.setup-row{grid-template-columns:48px 1fr 37px;gap:6px}.setup-row>span{font-size:13px;letter-spacing:0}.setup-row small{font-size:13px}.setup-row>div{gap:3px}.setup-row .cell{height:17px;font-size:13px;border-radius:2px}.setup-trajectories{gap:10px}.setup-budget{margin-top:22px}.setup-budget>span{font-size:13px;letter-spacing:.3px}.setup-budget strong{font-size:20px}.setup-budget small{font-size:13px}.legend{font-size:13px;gap:9px;margin-top:16px}.legend-cell{width:8px;height:8px}.setup-visual>.small-note{font-size:13px;margin-top:14px}.bridge{gap:15px;margin-top:30px;padding-top:23px;align-items:flex-start}.bridge>span{font-size:13px;letter-spacing:.5px;margin-top:5px;white-space:nowrap}.bridge p{font-size:19px;line-height:1.6;letter-spacing:-.4px}.bridge>a{font-size:24px}.application-layout{grid-template-columns:1fr;gap:15px}.application-tabs{display:grid;grid-template-columns:1fr 1fr;gap:5px}.application-tabs button{font-size:14px;padding:12px 10px;gap:8px;line-height:1.5}.application-tabs button>span{font-size:20px;width:18px}.application-tabs button>b{font-size:15px}.application-tabs button:last-child{grid-column:1/-1}.application-detail{padding:23px;min-height:0}.application-detail h3{font-size:27px;margin-bottom:15px}.application-detail .data-badge{font-size:13px}.application-detail>p{font-size:16px}.application-detail .mini-label{font-size:13px}.application-symbol{font-size:30px}.application-detail-top{margin-bottom:20px}.application-estimate{grid-template-columns:75px 1fr;gap:13px}.application-estimate p{font-size:15px}.application-estimate>span{font-size:13px;letter-spacing:.4px}.application-detail>a{font-size:14px}.method-nodes{grid-template-columns:repeat(5,1fr);padding:13px 7px;gap:1px}.method-nodes>button{padding:12px 4px;gap:10px;align-items:center;text-align:center}.method-nodes strong{font-size:13px;letter-spacing:0;white-space:normal}.method-nodes small{display:none}.node-num{font-size:13px}.flow-arrow{font-size:16px;right:-5px;top:34%}.method-explanation{padding:23px;display:block;min-height:270px}.method-explanation .mini-label{font-size:13px;margin-bottom:9px}.method-explanation h3{font-size:25px;margin-bottom:16px}.method-explanation>p{font-size:16px}.prefix-flow{margin-top:22px;font-size:13px;gap:7px}.prefix-flow>span{padding:8px}.prefix-flow>i{font-size:16px}.method-footnotes{grid-template-columns:1fr;gap:15px;margin-top:22px}.method-footnotes p{font-size:14px}.replay-section{padding:65px 0 50px}.replay-section .section-heading>p{font-size:16px}.console-top{padding:14px;font-size:13px;letter-spacing:.3px;gap:10px}.console-top>span:last-child{font-size:13px}.live-tag{gap:6px}.replay-filters{padding:17px 14px;display:grid;grid-template-columns:1fr 1fr;gap:14px 15px}.replay-filters label{font-size:13px;gap:2px}.replay-filters select{font-size:14px;padding:7px 13px 7px 0;width:100%}.target-box{text-align:right;align-self:end;margin:0;gap:4px}.target-box>span{font-size:13px}.target-box strong{font-size:19px}.target-box small{font-size:13px}.replay-panel{display:block;padding:22px 19px}.panel-heading{gap:8px}.panel-heading h3{font-size:20px}.pill{font-size:13px;padding:4px 6px}.panel-description{font-size:14px;margin:9px 0 19px;min-height:0}.turn-axis{grid-template-columns:18px 1fr 10px;gap:7px;font-size:13px}.turn-axis>div,.trajectory-cells{gap:4px}.trajectory-row{gap:7px;grid-template-columns:18px 1fr 10px;margin:7px 0}.replay-panel .cell{height:19px;font-size:13px}.row-number{font-size:13px}.row-outcome{font-size:15px}.run-stats{margin-top:21px;gap:15px}.run-stats strong{font-size:25px}.run-stats span{font-size:13px}.replay-panel .meter{margin-top:20px}.meter-label{font-size:13px;margin-top:9px}.replay-panels.single .run-stats{margin-top:21px}.playback{flex-wrap:wrap;padding:16px 14px;gap:10px}.play-button{min-width:75px;font-size:14px;padding:10px 12px}.restart{font-size:19px;padding:8px}.restart span{font-size:13px}.speed{margin-left:auto}.speed select{font-size:13px;padding:7px}.scrubber{order:4;flex-basis:100%;gap:15px;margin-top:2px}.scrubber output{font-size:13px}.replay-console>.legend{font-size:13px;padding:14px 12px;gap:10px;justify-content:flex-start}.simulation-note{display:block;margin-top:20px}.simulation-note>span{font-size:13px;display:block;margin-bottom:10px;letter-spacing:.7px}.simulation-note>p{font-size:14px;line-height:1.9;margin-bottom:14px}.simulation-note>a{font-size:14px}.guarantee-grid{grid-template-columns:1fr}.coverage-card,.slack-card{padding:26px 22px}.coverage-card h3,.slack-card h3{font-size:29px}.coverage-card>.mini-label,.slack-card>.mini-label{font-size:13px}.coverage-card>p{font-size:16px}.main-equation{font-size:15px;margin:22px 0;padding:20px 12px}.main-equation>span:last-child{font-size:13px}.coverage-card summary{font-size:14px}.coverage-card details .math-block{font-size:14px}.slack-card h3 br{display:none}.slack-card>p{font-size:16px}.slack-card>label{font-size:15px}.coverage-floor>strong{font-size:54px}.coverage-floor>span{font-size:13px}.slack-card .small-note{font-size:14px}.secondary-guarantees{grid-template-columns:1fr;gap:33px;padding-top:35px}.secondary-guarantees .mini-label{font-size:13px;margin-bottom:15px}.secondary-guarantees h3{font-size:28px}.secondary-guarantees p{font-size:16px}.variance-illustration svg{height:110px}.weight-comparison{gap:17px;padding:20px}.weight-comparison>span:not(.math-inline){font-size:13px}.weight-comparison>.math-inline{font-size:23px}.result-filters{display:grid;grid-template-columns:1fr 1fr;gap:15px 20px;padding:18px 0;margin-bottom:20px}.result-filters>.data-badge{grid-column:1 / -1;flex-basis:100%;width:max-content;max-width:max-content;font-size:13px;margin-bottom:2px}.result-filters>label{flex:1;flex-direction:column;align-items:flex-start;gap:0;font-size:13px}.result-filters select{font-size:15px;width:100%;padding:7px 10px 6px 0}.result-charts{grid-template-columns:1fr;gap:17px}.result-chart{padding:21px 16px 10px}.chart-title h3{font-size:20px}.chart-title select{font-size:13px}.result-chart>p{font-size:13px;margin-top:12px}.variance-chart{padding:25px}.variance-chart h3{font-size:27px}.variance-chart h3 br,.variance-chart>p>br{display:none}.variance-chart>p{font-size:15px;margin-bottom:21px}.variance-row{margin:19px 0}.variance-row>div:first-child{font-size:15px}.variance-row strong{font-size:15px}.variance-chart .chart-foot{font-size:14px}.result-caveat{font-size:14px;line-height:1.8}.provenance summary{font-size:14px;padding:18px 0}.provenance>div{font-size:14px}.provenance dl{grid-template-columns:1fr;gap:7px}.provenance dd{margin-bottom:12px}th,td{padding:16px 17px}thead{font-size:13px}tbody th{font-size:14px}tbody td{font-size:13px}.usage-tabs{gap:10px;margin-bottom:25px}.usage-tabs button{gap:10px;padding:15px 5px;flex:1;text-align:left;font-size:13px;align-items:flex-start}.usage-tabs button>span{font-size:15px;line-height:1.5}.quick-grid{grid-template-columns:1fr;gap:25px}.quick-grid h3{font-size:29px;margin-top:21px}.quick-grid .data-badge{font-size:13px}.quick-grid p{font-size:16px}.quick-grid .code-block{grid-row:2}.code-title{padding:14px 16px}.code-title>span{font-size:13px}.code-block pre{font-size:14px;padding:20px;line-height:2.2}.copy{font-size:13px;padding:5px 8px}.full-pipeline>.pipeline-prereq{font-size:15px;padding-left:15px}.full-pipeline summary{font-size:16px;padding:19px 0;gap:13px}.full-pipeline summary>span{font-size:13px;width:25px;height:24px;flex-shrink:0}.full-pipeline details>div{padding:0 0 23px}.full-pipeline details p{font-size:15px}.full-pipeline details a{font-size:13px;line-height:1.8}.full-pipeline>p:last-child{font-size:15px}.faq-grid{grid-template-columns:1fr;gap:25px}.faq-grid h2{font-size:44px}.faq-grid>div:first-child>p{font-size:16px;margin:20px 0}.faq-grid>div:first-child>a{font-size:14px}.faq-list summary{font-size:16px;padding:21px 0}.faq-list details>p{font-size:15px;padding-right:18px}.citation-grid{grid-template-columns:1fr;gap:20px}.citation-title{font-size:18px;margin-top:23px}.citation-links{font-size:14px;gap:18px}.bibtex-box>div{padding:16px;font-size:13px}.bibtex-box pre{font-size:13px;padding:20px}.site-footer{padding:24px 0}.site-footer>.container{flex-wrap:wrap;gap:20px}.site-footer>.container>span{font-size:13px;flex-basis:100%;order:3}.site-footer>.container>a:last-child{font-size:13px}.site-footer .logo{font-size:20px}.site-footer .logo svg{width:25px;height:25px}}@media(max-width:360px){.container{padding:0 17px}.nav-container{padding:0 17px;gap:6px}.hero h1{font-size:62px}.nav-paper{padding:8px;font-size:13px}.mobile-menu{font-size:13px}.hero-plot{gap:13px;padding:18px 12px}.hero-method-title{font-size:13px}.hero-trajectory{gap:2px}.hero-trajectory small,.art-axis{font-size:13px}.setup-row{grid-template-columns:40px 1fr 32px;gap:4px}.setup-row>div{gap:2px}.replay-panel{padding:20px 14px}.trajectory-cells,.turn-axis>div{gap:3px}h2{font-size:40px}}@media(prefers-reduced-motion:reduce){html{scroll-behavior:auto}*,*:before,*:after{animation:none!important;transition:none!important}.flow-particle{display:none}}:root{font-size:18px}p{line-height:1.7}.container{max-width:1440px;padding:0 48px}.section{padding:100px 0}.section-heading>p{max-width:430px;font-size:19px}.section-heading{gap:50px}h2{font-size:58px}.section-label{font-size:14px;letter-spacing:1.2px}.section-label>span{font-size:14px;width:35px;height:32px}.mini-label,.data-badge{font-size:13px;line-height:1.5;letter-spacing:.7px}.small-note{font-size:15px}.nav-container{max-width:1540px;min-height:84px;padding:0 35px}.nav-container nav{gap:17px;font-size:14px}.nav-paper{font-size:15px}.nav-container nav a{padding:28px 0}.hero{padding-top:50px}.hero-body{grid-template-columns:1fr 1fr;align-items:start;gap:55px;padding-bottom:50px}.hero h1{font-size:62px;letter-spacing:-3px;line-height:1.08;margin:25px 0}.hero h1 em{letter-spacing:-3px}.eyebrow{font-size:13px;line-height:1.7;letter-spacing:.6px}.hero-description{font-size:19px;max-width:580px;line-height:1.7}.hero-description strong{font-weight:650}.hero-applications{font-size:16px;color:#44674e;line-height:1.75;margin-bottom:25px}.hero-actions{flex-wrap:wrap;gap:14px}.button{font-size:17px;padding:15px 20px;gap:16px}.hero-demo-link{font-size:16px;color:#326748;flex-basis:100%;margin-top:6px}.authors{font-size:16px;margin-top:30px;gap:15px 24px}.authors small{font-size:15px;margin-top:0;line-height:1.6}.paper-strip{align-items:flex-start}.paper-strip>a{font-size:16px}.paper-strip>span,.paper-strip>small{font-size:12px;line-height:1.8}.paper-strip>small{min-width:140px;white-space:normal;text-align:right}.benefit-strip{grid-template-columns:1fr 1fr 1fr 50px}.benefit-strip>div>span{font-size:12px;line-height:1.6}.benefit-strip p{font-size:18px;line-height:1.65}.hero-metric{min-width:0;border:1px solid #cbd8ce;border-radius:12px;background:#fff;box-shadow:0 18px 70px -35px #3f635a55;padding:25px 28px}.hero-metric-header{display:flex;gap:15px;justify-content:space-between;align-items:center;flex-wrap:wrap;margin-bottom:22px}.hero-metric-header>span:last-child{font:12px var(--mono);color:#53694f}.hero-metric h3{font-size:31px;line-height:1.25;margin-bottom:12px;letter-spacing:-.7px}.hero-metric h3 em{font-family:var(--serif);font-weight:400;color:var(--green)}.estimate-distribution{display:block;width:100%;height:auto;overflow:visible}.oracle-rule{stroke:#58774d;stroke-width:1.5;stroke-dasharray:5 5}.oracle-label{font:17px var(--mono);fill:#3f6337}.distribution-method{font:20px DM Sans Variable,Segoe UI,sans-serif;font-weight:600}.distribution-tick{font:19px var(--mono);fill:#53694f}.hero-metric-stat{display:grid;grid-template-columns:160px 1fr;gap:20px;align-items:center;border-top:1px solid var(--line);padding:18px 0}.hero-metric-stat>strong{font-size:43px;line-height:1;letter-spacing:-2px;color:#27745d}.hero-metric-stat small{display:block;font-size:14px;line-height:1.6;letter-spacing:0;margin-top:8px;color:#426747}.hero-metric-stat p{font-size:16px;line-height:1.65;margin:0;color:#52694e}.split-control{font-size:15px;color:#405e3c;display:block}.split-control>strong{float:right;font:15px var(--mono)}.split-control input{margin:10px 0}.single-estimate{display:grid;grid-template-columns:1fr 1fr 1.25fr;gap:12px;background:#f1f6ed;padding:15px;border-radius:4px}.single-estimate>div{display:flex;flex-direction:column;gap:8px}.single-estimate span{font-size:13px;line-height:1.5;color:#405d3c}.single-estimate strong{font:21px var(--mono);color:#204d31}.hero-evidence-note{font-size:16px;line-height:1.7;margin:17px 0 10px;color:#52694e}.hero-source{font-size:14px;line-height:1.7;display:block;color:#33714c}.hero-underestimate{margin-top:17px;padding:15px 17px;border-left:3px solid var(--green);background:#f2f6ec;font-size:16px;line-height:1.7;color:var(--ink)}.hero-underestimate strong{display:block;margin-bottom:5px}.application-detail h3 strong{font-weight:750}.application-detail{min-width:0}.application-tabs button{font-size:18px;line-height:1.5}.application-detail>p,.application-estimate p{font-size:18px}.application-estimate{grid-template-columns:130px 1fr}.application-detail>a{font-size:15px}.setup-row{grid-template-columns:60px 1fr 78px}.setup-row>span{font-size:13px;overflow-wrap:anywhere}.setup-row small{font-size:14px}.setup-row .cell{height:27px}.setup-budget small{font-size:14px}.setup-explanation p{font-size:18px}.setup-visual .small-note{font-size:14px}.legend{font-size:14px;line-height:1.6;gap:14px}.legend-cell{width:12px;height:12px;font-size:11px}.method-nodes strong{font-size:18px}.method-nodes small{font-size:14px;line-height:1.5}.method-nodes>button{padding:18px 13px}.method-explanation>p{font-size:18px}.prefix-flow{font-size:14px;max-width:none;justify-content:flex-start;flex-wrap:wrap}.method-footnotes p{font-size:15px}.coverage-card>p,.secondary-guarantees p{font-size:18px}.coverage-card details>div>p{font-size:16px}.coverage-card details .math-block{font-size:16px}.coverage-card summary,.coverage-card>a{font-size:16px}.main-equation{font-size:17px}.main-equation>span:last-child{font-size:15px}.slack-card>p{font-size:17px}.slack-card .small-note{font-size:15px}.slack-card>label{font-size:16px;line-height:1.6}.slack-card>label>strong{font-size:16px}.coverage-floor>span{font-size:13px;line-height:1.6}.secondary-guarantees .small-note{font-size:15px}.weight-comparison>span:not(.math-inline){font-size:13px;line-height:1.7}.result-chart>p{font-size:15px}.result-filters>label{font-size:14px}.result-filters select{font-size:16px}.result-filters>.data-badge{font-size:13px;white-space:normal}.variance-row>div:first-child,.variance-row strong{font-size:16px}.variance-chart>p{font-size:17px}.variance-chart .chart-foot{font-size:15px}.axis-text{font-size:18px}.method-label{font-size:19px}.result-chart .method-label{display:none}.result-method-legend{display:grid;grid-template-columns:repeat(3,1fr);gap:12px;font-size:15px;line-height:1.6;text-align:center;color:#405b3e;margin:-8px 0 10px}.result-method-legend>span{min-width:0}.result-method-legend i{display:inline-block;width:8px;height:8px;border-radius:50%;margin-right:7px}.ref-label{font-size:14px}.result-caveat,.provenance>div{font-size:16px}.provenance summary{font-size:17px}.provenance dl{grid-template-columns:180px 1fr}.provenance code{font-size:14px}.table-wrap{max-width:100%}table{font-size:16px}thead,tbody td{font-size:14px}th,td{padding:19px 20px}.quick-grid p{font-size:18px}.quick-grid a{font-size:16px}.quick-grid .small-note{font-size:15px}.expected-output>span{font-size:13px}.expected-output small{font-size:16px}.usage-tabs button>span{font-size:18px}.usage-tabs button>small{font-size:13px}.code-block pre{font-size:15px;line-height:2}.code-title>span{font-size:12px}.copy{font-size:14px}.shell-select{font-size:15px}.shell-select select{font-size:16px}.full-pipeline>.pipeline-prereq,.full-pipeline details p,.full-pipeline>p:last-child{font-size:17px}.full-pipeline summary{font-size:20px}.full-pipeline details a{font-size:15px}.faq-list summary{font-size:18px}.faq-list details>p{font-size:17px}.faq-grid>div:first-child>p{font-size:18px}.faq-grid>div:first-child>a{font-size:16px}.citation-title{font-size:20px}.citation-grid>div>p:not(.citation-title):not(.small-note){font-size:18px}.affiliations{font-size:16px!important}.citation-links{font-size:16px}.citation-grid .small-note{font-size:15px}.bibtex-box pre{font-size:14px;line-height:1.9}.bibtex-box>div{font-size:13px}.site-footer>.container>span,.site-footer>.container>a:last-child{font-size:15px}.visual-heading{font-size:13px;line-height:1.6}.visual-heading>span:last-child{font-size:12px}.setup-control{font-size:16px}.setup-budget>span{font-size:13px}.bridge>span{font-size:13px}.recording-context{font-size:16px;line-height:1.7;padding:0 24px 20px;color:#cee0ce;margin:0}.replay-mode-tabs{display:grid;grid-template-columns:1fr 1fr;gap:14px;margin-bottom:24px}.replay-mode-tabs>button{padding:20px 24px;border:1px solid #617b66;border-radius:6px;text-align:left;color:#d6e8cf;font-size:20px;line-height:1.5}.replay-mode-tabs>button>span{display:block;font-size:15px;line-height:1.65;margin-top:7px;color:#bed2bb}.replay-mode-tabs>button[aria-selected=true]{background:#2d4b39;border-color:#a3c58d}.replay-mode-tabs>button:disabled{opacity:.6;cursor:wait}.console-top{font-size:12px;line-height:1.6;letter-spacing:.5px}.replay-filters{gap:25px;align-items:flex-end}.replay-filters label{font-size:14px;line-height:1.6}.replay-filters select{font-size:16px;max-width:250px}.target-box>span{font-size:12px;line-height:1.6}.target-box strong{font-size:29px}.target-box small{font-size:13px}.panel-heading h3{font-size:23px}.pill{font-size:10px;line-height:1.5;padding:5px 6px;max-width:110px;text-align:center}.panel-description{font-size:16px;line-height:1.65;min-height:80px;margin-bottom:22px}.replay-panel{padding:26px 22px}.turn-axis{grid-template-columns:25px 1fr 13px;font-size:12px;gap:7px}.row-number{font-size:13px}.trajectory-row{grid-template-columns:25px 1fr 13px;gap:7px;margin:9px 0}.replay-panel .cell{height:24px;font-size:13px}.replay-panel .cell.reserved{border-color:#88a298;background:#3b554b}.replay-panel.uniform .cell.acquired{background:#94aba1;border-color:#94aba1}.replay-panel.uniform .cell.event{background:#eef2d3;border-color:#e5edca;color:#244a34}.replay-panel .cell.unspent,.replay-console .legend-cell.unspent{background:repeating-linear-gradient(135deg,#876f45 0 2px,#3c4c3a 2px 5px);border-color:#c4ab79}.replay-panel.dapro{background:#224438}.replay-panel.dapro .method-dot{background:#b1d39b}.replay-panel.dapro .cell.acquired{background:#98c394;border-color:#98c394}.replay-panel.dapro .cell.event{background:#eef2d3;color:#244a34;border-color:#e5edca}.replay-panel.dapro .meter>span{background:#b1d195}.row-plan-label{font-size:14px;line-height:1.65;margin:17px 0;color:#c6d7be;min-height:46px}.run-stats{grid-template-columns:1.3fr 1fr 1fr;gap:12px;margin-top:22px}.run-stats strong{font-size:30px}.run-stats span{font-size:14px;white-space:normal;line-height:1.5}.meter-label{font-size:12px;line-height:1.6}.replay-console>.legend{font-size:14px;gap:18px;padding:20px 22px;line-height:1.7}.replay-console .legend-cell{width:13px;height:13px}.replay-console .legend-cell.reserved{background:#3b554b;border-color:#88a298}.replay-panels.two-panels{grid-template-columns:1fr 1fr}.replay-panels.single{grid-template-columns:1fr}.play-button{font-size:16px;padding:13px 18px;min-width:110px}.restart span{font-size:15px}.scrubber output{font-size:13px}.speed select{font-size:14px;padding:10px}.replay-explanation{margin-top:35px;max-width:1000px}.replay-explanation h3{font-size:27px;margin-bottom:18px}.replay-explanation p{font-size:18px;color:#c4d7bf}.replay-explanation .small-note{font-size:15px}.replay-variance-evidence{display:grid;grid-template-columns:1fr 1fr;gap:60px;background:#213d31;border:1px solid #526d55;border-radius:7px;padding:32px;margin:32px 0}.replay-variance-evidence .mini-label{color:#c4d7bc;font-size:13px}.replay-variance-evidence h3{font-size:28px;line-height:1.3}.replay-variance-evidence p{font-size:17px;line-height:1.7;color:#c5d8c0;margin-top:18px}.replay-variance-evidence a{font-size:16px;color:#c9e4b6}.replay-variance-evidence .metric-variance-row>div:first-child{color:#e3eed9}.replay-variance-evidence .variance-track{background:#3a5540}.replay-provenance{border-top:1px solid #49654d;border-bottom:1px solid #49654d}.replay-provenance summary{font-size:16px;line-height:1.65;padding:20px 0;color:#d4e7c8}.replay-provenance>div{font-size:15px;color:#c1d4ba;padding:0 0 20px}.replay-provenance code{font-size:13px;overflow-wrap:anywhere}.replay-provenance a{font-size:16px;color:#d4e8bf}.metrics-section{background:#f0f5ed}.metric-use-cards{display:grid;grid-template-columns:repeat(3,1fr);gap:22px;margin:25px 0 45px}.metric-use-cards>article{background:#fff;border:1px solid #d3dfcc;border-radius:7px;padding:28px;min-width:0}.metric-use-cards h3{font-size:26px;line-height:1.3}.metric-use-cards .math-block{font-size:22px;margin:20px 0}.metric-use-cards p{font-size:17px;line-height:1.7;margin:0;color:#526a4d}.metric-dashboard-controls{display:flex;flex-wrap:wrap;align-items:center;gap:25px;padding:20px 0;border-top:1px solid #cddbc5;border-bottom:1px solid #cddbc5;margin-bottom:28px}.metric-dashboard-controls>.data-badge{margin-right:auto}.metric-dashboard-controls label{display:flex;flex-direction:column;font-size:14px;line-height:1.7;color:#516c49;min-width:0}.metric-dashboard-controls select{font-size:16px;max-width:100%;width:100%}.metric-evidence-grid{display:grid;grid-template-columns:1.25fr 1fr;gap:25px;margin-bottom:25px}.metric-distribution-card{padding:30px;border:1px solid #d1dfc9;border-radius:7px;background:#fff;min-width:0}.metric-distribution-card h3{font-size:27px;line-height:1.3}.metric-distribution-card>p{font-size:16px;color:#526a4c;margin:15px 0}.metric-reliability{background:#e4eddc;border:1px solid #cbdcbe;border-radius:7px;padding:30px;min-width:0}.metric-reliability h3{font-size:28px;line-height:1.3}.metric-reliability>p{font-size:16px;color:#4c6643;line-height:1.7;margin:24px 0 0}.metric-variance-bars{width:100%;min-width:0}.metric-variance-row{margin:25px 0}.metric-variance-row>div:first-child{display:flex;justify-content:space-between;gap:20px;align-items:baseline;font-size:16px;line-height:1.6;color:#355537}.metric-variance-row strong{font:16px/1.6 var(--mono);white-space:nowrap}.metric-variance-row .variance-track{height:10px;margin-top:10px}.metric-takeaway{display:grid;grid-template-columns:1fr auto;gap:15px 45px;align-items:center;margin:35px 0}.metric-takeaway>strong{font-size:25px;letter-spacing:-.5px}.metric-takeaway p{grid-column:1;font-size:18px;margin:0;max-width:900px;color:#52694b}.metric-takeaway>a{grid-column:2;grid-row:1/3}.metrics-section .provenance>div{font-size:16px}.metrics-section .provenance summary{font-size:17px}.metrics-section .provenance a{display:inline-block;margin:5px 20px 5px 0;color:#2f6c42}@media(max-width:1320px){.nav-container nav{display:none;position:absolute;left:0;right:0;padding:20px 32px;background:#f8faf3;border-bottom:1px solid var(--line);flex-wrap:wrap;top:84px;font-size:16px}.nav-container nav.open{display:flex}.mobile-menu{display:block;margin-left:auto;font-size:16px}.hero-body{gap:30px}.hero h1{font-size:53px}.hero-metric{padding:23px}.hero-description{font-size:18px}.hero-metric-stat{grid-template-columns:130px 1fr;gap:15px}.hero-metric-stat p{font-size:15px}.hero-metric-stat>strong{font-size:38px}.hero-metric h3{font-size:27px}.section-heading>p{max-width:380px}.application-tabs button{font-size:17px}.metric-use-cards>article{padding:23px}.metric-use-cards h3{font-size:24px}.metric-variance-row>div:first-child,.metric-variance-row strong{font-size:15px}.replay-panel{padding:23px 16px}.panel-description{font-size:15px;min-height:95px}.replay-console>.legend{font-size:13px}.pill{font-size:9px}.target-box>span{font-size:11px}.target-box small{font-size:12px}.replay-filters{gap:18px;flex-wrap:wrap}.method-nodes small{font-size:13px}.method-nodes strong{font-size:17px}.setup-grid{gap:45px}.result-charts{grid-template-columns:1.3fr 1fr}.quick-grid{gap:40px}.usage-tabs button>small{display:none}.method-footnotes{gap:30px}}@media(max-width:1000px){.container{padding:0 32px}.hero-body{grid-template-columns:1fr;gap:38px}.hero-copy{max-width:780px}.hero h1{font-size:64px}.hero-description{max-width:760px;font-size:20px}.hero-applications{font-size:18px}.hero-actions{gap:15px}.hero-metric{max-width:800px;padding:30px}.hero-metric h3{font-size:34px}.hero-metric-stat{grid-template-columns:180px 1fr;gap:30px}.hero-metric-stat p{font-size:18px}.hero-metric-header>span:last-child{font-size:14px}.hero-metric-stat>strong{font-size:46px}.single-estimate span{font-size:16px}.single-estimate strong{font-size:25px}.hero-source{font-size:16px}.hero-evidence-note{font-size:18px}.section-heading{display:block}.section-heading>p{max-width:720px;margin-top:25px;font-size:19px}.application-layout{grid-template-columns:1fr}.application-tabs{display:grid;grid-template-columns:1fr 1fr}.application-tabs button:last-child{grid-column:1/-1}.application-detail{min-height:0}.application-detail h3{max-width:650px}.application-estimate{grid-template-columns:150px 1fr}.setup-grid{grid-template-columns:1fr}.setup-explanation{display:block}.setup-explanation h3 br{display:none}.metric-use-cards{grid-template-columns:1fr}.metric-use-cards h3{font-size:28px}.metric-use-cards>article{display:grid;grid-template-columns:1fr 1fr;gap:0 35px;padding:28px}.metric-use-cards .mini-label{grid-column:1/-1}.metric-use-cards .math-block{grid-column:1;margin-top:20px}.metric-use-cards p{grid-column:2;grid-row:2/4;font-size:18px}.method-nodes strong{font-size:16px}.method-nodes small{font-size:13px}.method-explanation>p{font-size:18px}.method-explanation{grid-template-columns:140px 1fr}.coverage-card,.slack-card{padding:28px}.guarantee-grid{grid-template-columns:1fr}.slack-card h3 br{display:none}.slack-card{display:grid;grid-template-columns:1fr 1fr;gap:0 35px}.slack-card>.mini-label,.slack-card>h3,.slack-card>p:first-of-type{grid-column:1/-1}.slack-card>label{grid-column:1}.coverage-floor{grid-column:2;grid-row:4/6;align-self:start}.slack-card .small-note{grid-column:1/-1}.result-filters{gap:20px;flex-wrap:wrap}.result-filters>label{flex:1}.result-filters>.data-badge{margin-right:0}.faq-grid{grid-template-columns:1fr;gap:35px}.faq-list summary{font-size:19px}.citation-grid{grid-template-columns:1fr;gap:30px}.citation-title{max-width:800px}.replay-mode-tabs>button{font-size:19px}.replay-mode-tabs>button>span{font-size:15px}.replay-variance-evidence{gap:35px;padding:28px}}@media(max-width:900px){.result-charts,.replay-panels,.replay-panels.two-panels{grid-template-columns:1fr}.replay-panel{display:grid;grid-template-columns:.8fr 1.2fr;gap:14px 25px;padding:26px}.panel-heading{grid-column:1}.panel-description{grid-column:1;min-height:0;font-size:16px;margin:0}.trajectory-chart{grid-column:2;grid-row:1/6}.run-stats{grid-column:1;gap:10px}.run-stats strong{font-size:25px}.run-stats span{font-size:13px}.replay-panel .meter,.meter-label{grid-column:1}.row-plan-label{font-size:14px;line-height:1.65}.panel-heading h3{font-size:23px}.replay-filters select{font-size:16px}.target-box strong{font-size:28px}.meter-label{font-size:12px}.replay-panel .cell{height:23px}.pill{font-size:9px}.replay-variance-evidence,.metric-evidence-grid,.quick-grid{grid-template-columns:1fr}.code-block pre{font-size:16px}.code-title>span{font-size:13px}.method-footnotes{grid-template-columns:1fr;gap:18px}.secondary-guarantees{gap:40px}.provenance dl{grid-template-columns:1fr}.provenance dd{margin-bottom:15px}.usage-tabs button>span{font-size:18px}.replay-console>.legend{font-size:14px}}@media(max-width:640px){.container{padding:0 22px}.section,.replay-section{padding:65px 0}.nav-container{min-height:74px;padding:0 20px;gap:10px}.nav-container nav{top:74px;font-size:16px}.mobile-menu{font-size:14px;padding:8px}.nav-paper{font-size:13px;padding:10px;gap:10px}.hero{padding-top:32px}.hero h1{font-size:43px;letter-spacing:-2px;line-height:1.12;margin:23px 0}.hero h1 em{letter-spacing:-2px}.eyebrow{font-size:12px;letter-spacing:.3px;gap:8px}.hero-description{font-size:18px;line-height:1.75}.hero-applications{font-size:16px}.hero-actions{gap:12px}.button{font-size:16px;padding:14px 17px;line-height:1.5}.hero-actions .button{width:100%}.hero-demo-link{font-size:16px;line-height:1.7}.authors{font-size:16px;gap:15px 22px;margin-top:27px}.authors small{font-size:14px}.hero-body{gap:32px;padding-bottom:35px}.hero-metric{padding:22px 18px}.hero-metric h3{font-size:28px}.hero-metric-header{gap:12px;margin-bottom:18px}.hero-metric-header .data-badge{font-size:11px;padding:7px}.hero-metric-header>span:last-child{font-size:11px}.hero-metric-stat{grid-template-columns:110px 1fr;gap:17px;padding:17px 0}.hero-metric-stat>strong{font-size:38px}.hero-metric-stat small{font-size:13px}.hero-metric-stat p{font-size:15px;line-height:1.7}.single-estimate{gap:10px;padding:12px;grid-template-columns:1fr 1fr 1.15fr}.single-estimate span{font-size:13px}.single-estimate strong{font-size:18px}.hero-source{font-size:14px}.hero-evidence-note{font-size:16px}.oracle-label{font-size:32px}.distribution-tick,.distribution-method{font-size:38px}.paper-strip>a{font-size:15px}.paper-strip>small,.paper-strip>span{font-size:11px}.paper-strip{gap:12px;padding:24px 0}.benefit-strip{grid-template-columns:1fr;gap:22px;padding:28px 0}.benefit-strip>div>span{font-size:12px}.benefit-strip p{font-size:17px;margin-top:7px}.benefit-strip p br{display:none}.benefit-strip strong:before{content:" "}.section-label{font-size:12px;letter-spacing:.6px;line-height:1.65;gap:12px;margin-bottom:26px}.section-label>span{font-size:13px;flex-shrink:0;width:30px;height:29px}h2,.faq-grid h2{font-size:42px;line-height:1.13;letter-spacing:-1.8px}.section-heading>p{font-size:18px;line-height:1.75;margin-top:23px}.section-heading{margin-bottom:30px}.mini-label{font-size:13px;margin-bottom:17px}.data-badge{font-size:12px;line-height:1.6;letter-spacing:.3px}.setup-explanation h3{font-size:28px;line-height:1.3}.setup-explanation p,.definition-note p{font-size:17px}.definition-note{gap:15px}.setup-visual{padding:22px 15px}.visual-heading{font-size:11px;gap:14px;line-height:1.7}.visual-heading>span:last-child{font-size:10px}.setup-control{font-size:15px;gap:18px;line-height:1.6}.setup-row{grid-template-columns:22px 1fr 67px;gap:7px}.setup-row>span{font-size:12px}.setup-row small{font-size:12px}.setup-row>div{gap:2px}.setup-row .cell{height:22px;font-size:12px}.setup-budget>span{font-size:11px;letter-spacing:.2px;gap:16px}.setup-budget strong{font-size:21px;white-space:nowrap}.setup-budget small{font-size:12px}.legend{font-size:13px;gap:13px;line-height:1.7}.legend-cell{width:11px;height:11px}.setup-visual>.small-note{font-size:14px;line-height:1.75}.bridge{display:block}.bridge>span{font-size:12px;display:block;margin:0 0 14px}.bridge p{font-size:23px}.bridge>a{display:block;font-size:30px;margin:12px 0 0}.application-tabs{grid-template-columns:1fr;gap:8px}.application-tabs button{font-size:17px;padding:15px 17px;gap:12px}.application-tabs button>span{width:23px;font-size:23px}.application-tabs button>b{font-size:18px}.application-detail{padding:25px 22px}.application-detail h3{font-size:29px;line-height:1.3}.application-detail>p,.application-estimate p{font-size:17px}.application-detail .mini-label{font-size:12px}.application-detail .data-badge{font-size:11px}.application-estimate{grid-template-columns:1fr;gap:10px;padding-top:20px;margin-top:20px}.application-estimate>span{font-size:12px;letter-spacing:.6px}.application-detail>a{font-size:15px;line-height:1.7}.metric-use-cards{gap:16px;margin:25px 0 30px}.metric-use-cards>article{display:block;padding:25px 23px}.metric-use-cards h3{font-size:27px}.metric-use-cards .math-block{font-size:22px;margin:20px 0}.metric-use-cards p{font-size:17px}.metric-dashboard-controls{display:grid;grid-template-columns:1fr;gap:18px}.metric-dashboard-controls>.data-badge{justify-self:start;margin:0}.metric-dashboard-controls label{font-size:14px}.metric-dashboard-controls select{font-size:16px;padding:10px 25px 10px 0}.metric-distribution-card,.metric-reliability{padding:25px 20px}.metric-distribution-card h3,.metric-reliability h3{font-size:27px}.metric-distribution-card>p{font-size:15px;line-height:1.7}.metric-variance-row{margin:24px 0}.metric-variance-row>div:first-child{font-size:15px;gap:15px;align-items:flex-start}.metric-variance-row strong{font-size:14px;line-height:1.75}.metric-reliability>p{font-size:16px}.metric-takeaway{grid-template-columns:1fr;gap:18px}.metric-takeaway>strong{font-size:25px;line-height:1.4}.metric-takeaway p{font-size:17px;line-height:1.75}.metric-takeaway>a{grid-column:1;grid-row:auto;justify-self:start}.method-nodes{grid-template-columns:1fr;padding:12px;gap:7px}.method-nodes>button{flex-direction:row;align-items:center;text-align:left;padding:13px 15px;gap:14px}.method-nodes strong{font-size:18px;white-space:normal}.method-nodes small{display:none}.node-num{font-size:13px}.flow-arrow{right:16px;top:auto;font-size:18px}.method-explanation{padding:25px;min-height:0}.method-explanation h3{font-size:27px}.method-explanation>p{font-size:17px;line-height:1.75}.method-explanation .mini-label{font-size:12px}.prefix-flow{font-size:13px;gap:10px}.prefix-flow>span{padding:8px}.method-footnotes p{font-size:15px;line-height:1.75}.replay-section .section-heading>p{font-size:18px}.replay-mode-tabs{grid-template-columns:1fr;gap:12px;margin-bottom:24px}.replay-mode-tabs>button{font-size:19px;padding:18px 20px}.replay-mode-tabs>button>span{font-size:15px;line-height:1.7}.console-top{padding:16px;font-size:10px;gap:10px;align-items:flex-start;letter-spacing:.3px}.console-top>span:last-child{font-size:10px;text-align:right;max-width:100px}.live-tag{gap:7px;line-height:1.7}.replay-filters{padding:20px 17px;display:grid;grid-template-columns:1fr;gap:18px}.replay-filters label{font-size:14px}.replay-filters select{font-size:16px;max-width:100%;width:100%;padding:9px 20px 9px 0}.target-box{text-align:left;margin-top:0}.target-box>span{font-size:11px}.target-box strong{font-size:27px}.target-box small{font-size:13px}.recording-context{padding:0 17px 20px;font-size:15px}.replay-panel{display:block;padding:25px 17px}.panel-heading h3{font-size:24px}.panel-description{font-size:16px;line-height:1.7;margin:14px 0 23px;min-height:0}.pill{font-size:10px;max-width:none;letter-spacing:0}.turn-axis{font-size:11px;grid-template-columns:22px 1fr 11px;gap:6px}.trajectory-row{grid-template-columns:22px 1fr 11px;gap:6px;margin:9px 0}.row-number{font-size:12px}.trajectory-cells,.turn-axis>div{gap:3px}.replay-panel .cell{height:24px;font-size:13px}.two-panels .trajectory-cells,.two-panels .turn-axis>div{gap:2px}.two-panels .cell{font-size:11px}.row-outcome{font-size:14px}.row-plan-label{font-size:14px;line-height:1.7;margin:18px 0 0}.run-stats{grid-template-columns:1.3fr 1fr 1fr;gap:10px;margin-top:25px}.run-stats strong{font-size:23px;letter-spacing:-1px}.run-stats span{font-size:13px;line-height:1.55;white-space:normal}.replay-panel .meter{margin-top:22px}.meter-label{font-size:11px;line-height:1.6;margin-top:12px}.playback{padding:20px 17px;gap:12px}.play-button{font-size:15px;min-width:90px;padding:12px 14px}.restart{padding:10px 0;font-size:21px}.restart span{font-size:14px}.speed select{font-size:13px;padding:9px}.scrubber{flex-basis:100%;gap:13px;margin-top:10px}.scrubber output{font-size:12px}.replay-console>.legend{font-size:12px;line-height:1.75;gap:13px;padding:19px 17px}.replay-console .legend-cell{width:12px;height:12px}.replay-explanation h3{font-size:27px;line-height:1.35}.replay-explanation p{font-size:17px;line-height:1.75}.replay-explanation .small-note{font-size:15px}.replay-variance-evidence{padding:25px 20px;gap:15px;margin:27px 0}.replay-variance-evidence h3{font-size:27px}.replay-variance-evidence p{font-size:16px}.replay-variance-evidence .mini-label{font-size:12px}.replay-variance-evidence a{font-size:15px;line-height:1.7}.replay-provenance summary{font-size:15px}.replay-provenance>div{font-size:15px}.replay-provenance code{font-size:12px;line-height:1.9}.guarantee-grid{grid-template-columns:1fr}.coverage-card,.slack-card{padding:27px 22px}.coverage-card h3,.slack-card h3{font-size:29px}.coverage-card>.mini-label,.slack-card>.mini-label{font-size:12px}.coverage-card>p{font-size:17px;line-height:1.75}.coverage-card summary{font-size:16px;line-height:1.65}.coverage-card details>div>p{font-size:15px}.coverage-card details .math-block{font-size:16px}.coverage-card>a{font-size:16px}.main-equation{font-size:15px;padding:20px 12px}.main-equation>span:last-child{font-size:14px;line-height:1.7}.slack-card{display:block}.slack-card>p{font-size:17px}.slack-card>label,.slack-card>label>strong{font-size:16px}.coverage-floor>strong{font-size:54px}.coverage-floor>span{font-size:12px;line-height:1.7}.slack-card .small-note{font-size:15px}.secondary-guarantees{grid-template-columns:1fr;gap:30px;padding-top:35px}.secondary-guarantees .mini-label{font-size:12px}.secondary-guarantees h3{font-size:28px}.secondary-guarantees p{font-size:17px}.secondary-guarantees .small-note{font-size:15px}.weight-comparison{flex-wrap:wrap;gap:17px;padding:22px}.weight-comparison>span:not(.math-inline){font-size:12px;line-height:1.7}.weight-comparison>.math-inline{font-size:23px}.result-filters{display:grid;grid-template-columns:1fr;gap:17px;padding:20px 0}.result-filters>.data-badge{grid-column:1;font-size:12px}.result-filters>label{font-size:14px;display:block}.result-filters select{font-size:16px;width:100%;padding:10px 20px 10px 0}.chart-title{display:block}.chart-title h3{font-size:25px;line-height:1.3}.chart-title select{font-size:16px;max-width:100%;margin-top:12px}.result-chart{padding:25px 18px 15px}.result-chart>p{font-size:14px;line-height:1.7}.axis-text{font-size:32px}.method-label{font-size:22px}.ref-label{font-size:27px}.variance-chart{padding:26px 22px}.variance-chart h3{font-size:28px;line-height:1.3}.variance-chart>p{font-size:17px;line-height:1.7}.variance-row>div:first-child,.variance-row strong{font-size:15px}.variance-chart .chart-foot{font-size:15px;line-height:1.7}table{font-size:15px}thead{font-size:13px}tbody th{font-size:15px}tbody td{font-size:14px}th,td{padding:18px}.result-caveat{font-size:15px;line-height:1.75}.provenance summary,.metrics-section .provenance summary{font-size:16px;line-height:1.7}.provenance>div,.metrics-section .provenance>div{font-size:15px;line-height:1.75}.provenance dt{font-size:14px}.provenance code{font-size:12px;line-height:1.9}.usage-tabs{display:grid;grid-template-columns:1fr;gap:5px}.usage-tabs button{font-size:13px;gap:15px;align-items:center;padding:17px 6px}.usage-tabs button>span{font-size:18px}.quick-grid h3{font-size:29px}.quick-grid .data-badge{font-size:12px}.quick-grid p{font-size:17px;line-height:1.75}.quick-grid a{font-size:16px}.quick-grid .small-note{font-size:15px}.expected-output>span{font-size:12px;line-height:1.7}.expected-output small{font-size:15px}.code-block pre{font-size:14px;line-height:1.9;padding:22px 18px}.code-title{padding:15px}.code-title>span{font-size:11px;letter-spacing:.3px}.copy{font-size:13px;padding:7px 9px}.shell-select{font-size:14px;gap:15px}.shell-select select{font-size:15px}.full-pipeline>.pipeline-prereq,.full-pipeline details p,.full-pipeline>p:last-child{font-size:16px;line-height:1.75}.full-pipeline summary{font-size:18px;gap:13px;padding:22px 0}.full-pipeline summary>span{font-size:12px;width:30px;height:29px}.full-pipeline details a{font-size:14px;line-height:1.75}.faq-grid h2{font-size:42px}.faq-grid>div:first-child>p{font-size:17px}.faq-grid>div:first-child>a{font-size:16px}.faq-list summary{font-size:18px;padding:24px 0;line-height:1.6}.faq-list details>p{font-size:17px;line-height:1.75;padding-right:0}.citation-title{font-size:20px;line-height:1.6}.citation-grid>div>p:not(.citation-title):not(.small-note){font-size:17px}.affiliations{font-size:15px!important}.citation-links{font-size:16px;gap:16px 22px}.citation-grid .small-note{font-size:15px;line-height:1.75}.bibtex-box>div{font-size:12px;line-height:1.7;padding:17px}.bibtex-box pre{font-size:13px;line-height:1.9;padding:22px 18px}.site-footer>.container>span,.site-footer>.container>a:last-child{font-size:14px;line-height:1.6}}@media(max-width:360px){.container{padding:0 17px}.hero h1{font-size:38px}.nav-container{padding:0 17px}.mobile-menu{font-size:13px}.nav-paper{font-size:12px}.hero-metric{padding:22px 15px}.hero-metric-stat{grid-template-columns:95px 1fr;gap:15px}.hero-metric-stat p{font-size:14px}.hero-metric-stat>strong{font-size:34px}.single-estimate strong{font-size:16px}.single-estimate span{font-size:12px}.replay-panel{padding:24px 14px}.run-stats strong{font-size:20px}.run-stats span{font-size:12px}.metric-variance-row>div:first-child{font-size:14px}.metric-variance-row strong{font-size:13px}h2,.faq-grid h2{font-size:38px}.setup-row{grid-template-columns:18px 1fr 58px;gap:5px}.setup-row small{font-size:11px}.setup-row>div{gap:2px}}.small-note a{text-decoration:underline;text-underline-offset:3px}.predictive-section{background:#f0f4ed}.bound-use-cards{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:22px;margin:40px 0}.bound-use-cards article{padding:28px;border:1px solid #cdd9ca;border-radius:7px;background:#fff;min-width:0}.bound-use-cards h3{font-size:27px;line-height:1.3;margin:18px 0}.bound-use-cards p{font-size:18px}.bound-use-cards .mini-label{font-size:13px;line-height:1.7}.bound-use-cards a{font-size:16px;text-decoration:underline;text-underline-offset:3px}.bound-tabs{display:grid;grid-template-columns:1fr 1fr;border-bottom:1px solid #bbcdb8;margin-top:44px}.bound-tabs button{text-align:left;padding:23px;background:transparent;color:var(--ink);border:0;border-bottom:3px solid transparent;font-size:21px;line-height:1.4}.bound-tabs button span{display:block;font-size:16px;margin-top:6px;color:#50664f}.bound-tabs button[aria-selected=true]{background:#e1ecd8;border-bottom-color:var(--green)}.bound-planner{display:grid;grid-template-columns:.85fr 1.15fr;gap:48px;background:#fff;padding:38px;border:1px solid #cdd9ca;border-top:0;border-radius:0 0 7px 7px}.bound-planner h3{font-size:30px;line-height:1.3;margin:17px 0}.bound-planner p{font-size:18px}.bound-example-select{display:block;font-size:16px;margin:28px 0}.bound-example-select select{display:block;width:100%;font-size:18px;background:#f7faf4;padding:13px;border:1px solid #c2d1bd;border-radius:4px;margin-top:10px;color:var(--ink)}.bound-allowance{display:flex;flex-wrap:wrap;justify-content:space-between;font-size:16px;gap:10px;margin:25px 0}.bound-allowance input{width:100%}.bound-planner-intro .button{font-size:16px;margin:4px 0 20px}.bound-timelines{min-width:0;display:flex;flex-direction:column;justify-content:center}.jailbreak-bound,.agent-bound{border:1px solid #cedcc9;border-radius:6px;padding:26px;background:#f9fbf6}.bound-value{display:flex;align-items:center;gap:20px;margin:20px 0 35px}.bound-value strong{font:64px var(--serif);color:#27745d}.bound-value span{font-size:18px;line-height:1.6}.bound-lane{padding:30px 0 0;margin-bottom:18px}.bound-track{position:relative;height:25px;background:#e6ebe2;border-radius:3px}.bound-covered-range{position:absolute;height:100%;background:#bad5a9}.bound-marker{position:absolute;top:-6px;height:37px;width:3px;background:#245c43}.bound-marker b{position:absolute;bottom:45px;transform:translate(-50%);white-space:nowrap;font:16px var(--mono);color:#245c43}.bound-event{position:absolute;top:-4px;transform:translate(-50%);color:#173d31;font-size:24px;line-height:1.2;text-shadow:0 0 3px white}.bound-axis{display:flex;justify-content:space-between;font:14px var(--mono);color:#52684f;margin-top:12px}.bound-infinity{position:absolute;inset:0;text-align:center;font-size:14px;line-height:25px;color:#47603e}.bound-planner .bound-outcome{font-size:16px;line-height:1.7;margin-bottom:0}.bound-agent-heading{display:flex;align-items:center;justify-content:space-between;gap:15px;margin-bottom:26px}.bound-agent-heading h4{margin:0;font-size:23px}.bound-agent-heading span{font-size:16px;color:#345c39;text-align:right}.agent-bound{margin-bottom:20px}.agent-bound.chosen{border:2px solid #43815d;background:#eef6e9;padding:25px}.bound-routing{padding:20px;border-left:3px solid #43815d;background:#edf3e7;margin:0 0 20px}.bound-routing strong{font-size:20px;line-height:1.5}.bound-routing p{font-size:16px;margin:10px 0 0}.bound-timelines>.small-note{font-size:15px;margin:22px 0 0}.bound-evidence{display:grid;grid-template-columns:.9fr 1.1fr;gap:50px;border-top:1px solid #c9d8c4;margin-top:45px;padding:35px 0 15px}.bound-evidence h3{font-size:30px;line-height:1.3;margin:18px 0}.bound-evidence p{font-size:18px}.bound-evidence .small-note{font-size:16px}.bound-coverage-row{border:1px solid #ccd9c7;border-radius:6px;background:#fff;padding:18px 23px;margin-bottom:18px}.bound-coverage-row>div{display:flex;justify-content:space-between;flex-wrap:wrap;gap:10px;font-size:17px}.bound-coverage-row svg{width:100%;display:block;height:auto;margin:5px 0}.bound-target-line{stroke:#99b68a;stroke-width:1.5;stroke-dasharray:4 4}.bound-coverage-row p{font-size:16px;margin:0}.bound-details p{font-size:17px}.bound-details a{text-decoration:underline;text-underline-offset:3px}.upb-guarantee{display:grid;grid-template-columns:1fr 1fr;gap:45px;padding:35px;border:1px solid #cbd9c5;background:#fff;border-radius:7px;margin:35px 0 45px}.upb-guarantee>div{min-width:0}.upb-guarantee h3{font-size:30px;line-height:1.3;margin:18px 0}.upb-guarantee p{font-size:18px}.upb-guarantee .small-note{font-size:16px}.upb-guarantee details{border-top:1px solid #d1ddcd;padding:17px 0;margin:20px 0 10px}.upb-guarantee summary{display:flex;justify-content:space-between;gap:20px;font-size:17px;cursor:pointer}.upb-guarantee details p{font-size:16px;margin-top:15px}.upb-guarantee a{font-size:16px;color:#276249;text-decoration:underline;text-underline-offset:3px}@media(max-width:1100px){.bound-use-cards{grid-template-columns:1fr}.bound-use-cards article{display:block}.bound-planner{gap:30px;padding:27px}.bound-evidence{gap:30px}}@media(max-width:850px){.bound-planner,.bound-evidence,.upb-guarantee{grid-template-columns:1fr;gap:28px}.bound-planner-intro .button{margin-bottom:0}}@media(max-width:520px){.bound-use-cards{gap:17px;margin:30px 0}.bound-use-cards article{padding:23px}.bound-use-cards h3{font-size:26px}.bound-use-cards p{font-size:17px}.bound-tabs{grid-template-columns:1fr}.bound-tabs button{font-size:21px;padding:19px}.bound-tabs button span{font-size:16px}.bound-planner{padding:22px 18px}.bound-planner h3,.bound-evidence h3{font-size:28px}.bound-planner p{font-size:17px}.bound-planner .mini-label{font-size:12px;line-height:1.8}.jailbreak-bound,.agent-bound{padding:22px 15px}.agent-bound.chosen{padding:21px 14px}.bound-agent-heading{gap:10px}.bound-agent-heading h4{font-size:21px}.bound-agent-heading span{font-size:15px;max-width:160px}.bound-value{gap:15px}.bound-value strong{font-size:60px}.bound-value span{font-size:16px}.bound-marker b{font-size:14px}.bound-axis{font-size:13px}.bound-infinity{font-size:12px}.bound-coverage-row{padding:18px}.bound-coverage-row>div{font-size:16px}.upb-guarantee{padding:25px 20px}.upb-guarantee h3{font-size:27px}.upb-guarantee p{font-size:17px}}@font-face{font-display:block;font-family:KaTeX_AMS;font-style:normal;font-weight:400;src:url(./KaTeX_AMS-Regular-BQhdFMY1.woff2) format("woff2"),url(./KaTeX_AMS-Regular-DMm9YOAa.woff) format("woff"),url(./KaTeX_AMS-Regular-DRggAlZN.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Caligraphic;font-style:normal;font-weight:700;src:url(./KaTeX_Caligraphic-Bold-Dq_IR9rO.woff2) format("woff2"),url(./KaTeX_Caligraphic-Bold-BEiXGLvX.woff) format("woff"),url(./KaTeX_Caligraphic-Bold-ATXxdsX0.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Caligraphic;font-style:normal;font-weight:400;src:url(./KaTeX_Caligraphic-Regular-Di6jR-x-.woff2) format("woff2"),url(./KaTeX_Caligraphic-Regular-CTRA-rTL.woff) format("woff"),url(./KaTeX_Caligraphic-Regular-wX97UBjC.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Fraktur;font-style:normal;font-weight:700;src:url(./KaTeX_Fraktur-Bold-CL6g_b3V.woff2) format("woff2"),url(./KaTeX_Fraktur-Bold-BsDP51OF.woff) format("woff"),url(./KaTeX_Fraktur-Bold-BdnERNNW.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Fraktur;font-style:normal;font-weight:400;src:url(./KaTeX_Fraktur-Regular-CTYiF6lA.woff2) format("woff2"),url(./KaTeX_Fraktur-Regular-Dxdc4cR9.woff) format("woff"),url(./KaTeX_Fraktur-Regular-CB_wures.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:normal;font-weight:700;src:url(./KaTeX_Main-Bold-Cx986IdX.woff2) format("woff2"),url(./KaTeX_Main-Bold-Jm3AIy58.woff) format("woff"),url(./KaTeX_Main-Bold-waoOVXN0.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:italic;font-weight:700;src:url(./KaTeX_Main-BoldItalic-DxDJ3AOS.woff2) format("woff2"),url(./KaTeX_Main-BoldItalic-SpSLRI95.woff) format("woff"),url(./KaTeX_Main-BoldItalic-DzxPMmG6.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:italic;font-weight:400;src:url(./KaTeX_Main-Italic-NWA7e6Wa.woff2) format("woff2"),url(./KaTeX_Main-Italic-BMLOBm91.woff) format("woff"),url(./KaTeX_Main-Italic-3WenGoN9.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:normal;font-weight:400;src:url(./KaTeX_Main-Regular-B22Nviop.woff2) format("woff2"),url(./KaTeX_Main-Regular-Dr94JaBh.woff) format("woff"),url(./KaTeX_Main-Regular-ypZvNtVU.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Math;font-style:italic;font-weight:700;src:url(./KaTeX_Math-BoldItalic-CZnvNsCZ.woff2) format("woff2"),url(./KaTeX_Math-BoldItalic-iY-2wyZ7.woff) format("woff"),url(./KaTeX_Math-BoldItalic-B3XSjfu4.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Math;font-style:italic;font-weight:400;src:url(./KaTeX_Math-Italic-t53AETM-.woff2) format("woff2"),url(./KaTeX_Math-Italic-DA0__PXp.woff) format("woff"),url(./KaTeX_Math-Italic-flOr_0UB.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_SansSerif;font-style:normal;font-weight:700;src:url(./KaTeX_SansSerif-Bold-D1sUS0GD.woff2) format("woff2"),url(./KaTeX_SansSerif-Bold-DbIhKOiC.woff) format("woff"),url(./KaTeX_SansSerif-Bold-CFMepnvq.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_SansSerif;font-style:italic;font-weight:400;src:url(./KaTeX_SansSerif-Italic-C3H0VqGB.woff2) format("woff2"),url(./KaTeX_SansSerif-Italic-DN2j7dab.woff) format("woff"),url(./KaTeX_SansSerif-Italic-YYjJ1zSn.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_SansSerif;font-style:normal;font-weight:400;src:url(./KaTeX_SansSerif-Regular-DDBCnlJ7.woff2) format("woff2"),url(./KaTeX_SansSerif-Regular-CS6fqUqJ.woff) format("woff"),url(./KaTeX_SansSerif-Regular-BNo7hRIc.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Script;font-style:normal;font-weight:400;src:url(./KaTeX_Script-Regular-D3wIWfF6.woff2) format("woff2"),url(./KaTeX_Script-Regular-D5yQViql.woff) format("woff"),url(./KaTeX_Script-Regular-C5JkGWo-.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size1;font-style:normal;font-weight:400;src:url(./KaTeX_Size1-Regular-mCD8mA8B.woff2) format("woff2"),url(./KaTeX_Size1-Regular-C195tn64.woff) format("woff"),url(./KaTeX_Size1-Regular-Dbsnue_I.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size2;font-style:normal;font-weight:400;src:url(./KaTeX_Size2-Regular-Dy4dx90m.woff2) format("woff2"),url(./KaTeX_Size2-Regular-oD1tc_U0.woff) format("woff"),url(./KaTeX_Size2-Regular-B7gKUWhC.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size3;font-style:normal;font-weight:400;src:url(data:font/woff2;base64,d09GMgABAAAAAA4oAA4AAAAAHbQAAA3TAAEAAAAAAAAAAAAAAAAAAAAAAAAAAAAABmAAgRQIDgmcDBEICo1oijYBNgIkA14LMgAEIAWJAAeBHAyBHBvbGiMRdnO0IkRRkiYDgr9KsJ1NUAf2kILNxgUmgqIgq1P89vcbIcmsQbRps3vCcXdYOKSWEPEKgZgQkprQQsxIXUgq0DqpGKmIvrgkeVGtEQD9DzAO29fM9jYhxZEsL2FeURH2JN4MIcTdO049NCVdxQ/w9NrSYFEBKTDKpLKfNkCGDc1RwjZLQcm3vqJ2UW9Xfa3tgAHz6ivp6vgC2yD4/6352ndnN0X0TL7seypkjZlMsjmZnf0Mm5Q+JykRWQBKCVCVPbARPXWyQtb5VgLB6Biq7/Uixcj2WGqdI8tGSgkuRG+t910GKP2D7AQH0DB9FMDW/obJZ8giFI3Wg8Cvevz0M+5m0rTh7XDBlvo9Y4vm13EXmfttwI4mBo1EG15fxJhUiCLbiiyCf/ZA6MFAhg3pGIZGdGIVjtPn6UcMk9A/UUr9PhoNsCENw1APAq0gpH73e+M+0ueyHbabc3vkbcdtzcf/fiy+NxQEjf9ud/ELBHAXJ0nk4z+MXH2Ev/kWyV4k7SkvpPc9Qr38F6RPWnM9cN6DJ0AdD1BhtgABtmoRoFCvPsBAumNm6soZG2Gk5GyVTo2sJncSyp0jQTYoR6WDvTwaaEcHsxHfvuWhHA3a6bN7twRKtcGok6NsCi7jYRrM2jExsUFMxMQYuJbMhuWNOumEJy9hi29Dmg5zMp/A5+hhPG19j1vBrq8JTLr8ki5VLPmG/PynJHVul440bxg5xuymHUFPBshC+nA9I1FmwbRBTNHAcik3Oae0cxKoI3MOriM42UrPe51nsaGxJ+WfXubAsP84aabUlQSJ1IiE0iPETLUU4CATgfXSCSpuRFRmCGbO+wSpAnzaeaCYW1VNEysRtuXCEL1kUFUbbtMv3Tilt/1c11jt3Q5bbMa84cpWipp8Elw3MZhOHsOlwwVUQM3lAR35JiFQbaYCRnMF2lxAWoOg2gyoIV4PouX8HytNIfLhqpJtXB4vjiViUI8IJ7bkC4ikkQvKksnOTKICwnqWSZ9YS5f0WCxmpgjbIq7EJcM4aI2nmhLNY2JIUgOjXZFWBHb+x5oh6cwb0Tv1ackHdKi0I9OO2wE9aogIOn540CCCziyhN+IaejtgAONKznHlHyutPrHGwCx9S6B8kfS4Mfi4Eyv7OU730bT1SCBjt834cXsf43zVjPUqqJjgrjeGnBxSG4aYAKFuVbeCfkDIjAqMb6yLNIbCuvXhMH2/+k2vkNpkORhR59N1CkzoOENvneIosjYmuTxlhUzaGEJQ/iWqx4dmwpmKjrwTiTGTCVozNAYqk/zXOndWxuWSmJkQpJw3pK5KX6QrLt5LATMqpmPAQhkhK6PUjzHUn7E0gHE0kPE0iKkolgkUx9SZmVAdDgpffdyJKg3k7VmzYGCwVXGz/tXmkOIp+vcWs+EMuhhvN0h9uhfzWJziBQmCREGSIFmQIkgVpAnSBRmC//6hkLZwaVhwxlrJSOdqlFtOYxlau9F2QN5Y98xmIAsiM1HVp2VFX+DHHGg6Ecjh3vmqtidX3qHI2qycTk/iwxSt5UzTmEP92ZBnEWTk4Mx8Mpl78ZDokxg/KWb+Q0QkvdKVmq3TMW+RXEgrsziSAfNXFMhDc60N5N9jQzjfO0kBKpUZl0ZmwJ41j/B9Hz6wmRaJB84niNmQrzp9eSlQCDDzazGDdVi3P36VZQ+Jy4f9UBNp+3zTjqI4abaFAm+GShVaXlsGdF3FYzZcDI6cori4kMxUECl9IjJZpzkvitAoxKue+90pDMvcKRxLl53TmOKCmV/xRolNKSqqUxc6LStOETmFOiLZZptlZepcKiAzteG8PEdpnQpbOMNcMsR4RR2Bs0cKFEvSmIjAFcnarqwUL4lDhHmnVkwu1IwshbiCcgvOheZuYyOteufZZwlcTlLgnZ3o/WcYdzZHW/WGaqaVfmTZ1aWCceJjkbZqsfbkOtcFlUZM/jy+hXHDbaUobWqqXaeWobbLO99yG5N3U4wxco0rQGGcOLASFMXeJoham8M+/x6O2WywK2l4HGbq1CoUyC/IZikQhdq3SiuNrvAEj0AVu9x2x3lp/xWzahaxidezFVtdcb5uEnzyl0ZmYiuKI0exvCd4Xc9CV1KB0db00z92wDPde0kukbvZIWN6jUWFTmPIC/Y4UPCm8UfDTFZpZNon1qLFTkBhxzB+FjQRA2Q/YRJT8pQigslMaUpFyAG8TMlXigiqmAZX4xgijKjRlGpLE0GdplRfCaJo0JQaSxNBk6ZmMzcya0FmrcisDdn0Q3HI2sWSppYigmlM1XT/kLQZSNpMJG0WkjYbSZuDpM1F0uYhFc1HxU4m1QJjDK6iL0S5uSj5rgXc3RejEigtcRBtqYPQsiTskmO5vosV+q4VGIKbOkDg0jtRrq+Em1YloaTFar3EGr1EUC8R0kus1Uus00usL97ABr2BjXoDm/QGNhuWtMVBKOwg/i78lT7hBsAvDmwHc/ao3vmUbBmhjeYySZNWvGkfZAgISDSaDo1SVpzGDsAEkF8B+gEapViUoZgUWXcRIGFZNm6gWbAKk0bp0k1MHG9fLYtV4iS2SmLEQFARzRcnf9PUS0LVn05/J9MiRRBU3v2IrvW974v4N00L7ZMk0wXP1409CHo/an8zTRHD3eSJ6m8D4YMkZNl3M79sqeuAsr/m3f+8/yl7A50aiAEJgeBeMWzu7ui9UfUBCe2TIqZIoOd/3/udRBOQidQZUERzb2/VwZN1H/Sju82ew2H2Wfr6qvfVf3hqwDvAIpkQVFy4B9Pe9e4/XvPeceu7h3dvO56iJPf0+A6cqA2ip18ER+iFgggiuOkvj24bby0N9j2UHIkgqIt+sVgfodC4YghLSMjSZbH0VR/6dMDrYJeKHilKTemt6v6kvzvn3/RrdWtr0GoN/xL+Sex/cPYLUpepx9cz/D46UPU5KXgAQa+NDps1v6J3xP1i2HtaDB0M9aX2deA7SYff//+gUCovMmIK/qfsFcOk+4Y5ZN97XlG6zebqtMbKgeRFi51vnxTQYBUik2rS/Cn6PC8ADR8FGxsRPB82dzfND90gIcshOcYUkfjherBz53odpm6TP8txlwOZ71xmfHHOvq053qFF/MRlS3jP0ELudrf2OeN8DHvp6ZceLe8qKYvWz/7yp0u4dKPfli3CYq0O13Ih71mylJ80tOi10On8wi+F4+LWgDPeJ30msSQt9/vkmHq9/Lvo2b461mP801v3W4xTcs6CbvF9UDdrSt+A8OUbpSh55qAUFXWznBBfdeJ8a4d7ugT5tvxUza3h9m4H7ptTqiG4z0g5dc0X29OcGlhpGFMpQo9ytTS+NViZpNdvU4kWx+LKxNY10kQ1yqGXrhe4/1nvP7E+nd5A92TtaRplbHSqoIdOqtRWti+fkB5/n1+/VvCmz12pG1kpQWsfi1ftlBobm0bpngs16CHkbIwdLnParxtTV3QYRlfJ0KFskH7pdN/YDn+yRuSd7sNH3aO0DYPggk6uWuXrfOc+fa3VTxFVvKaNxHsiHmsXyCLIE5yuOeN3/Jdf8HBL/5M6shjyhxHx9BjB1O0+4NLOnjLLSxwO7ukN4jMbOIcD879KLSi6Pk61Oqm2377n8079PXEEQ7cy7OKEC9nbpet118fxweTafpt69x/Bt8UqGzNQt7aelpc44dn5cqhwf71+qKp/Zf/+a0zcizOUWpl/iBcSXip0pplkatCchoH5c5aUM8I7/dWxAej8WicPL1URFZ9BDJelUwEwTkGqUhgSlydVes95YdXvhh9Gfz/aeFWvgVb4tuLbcv4+wLdutVZv/cUonwBD/6eDlE0aSiKK/uoH3+J1wDE/jMVqY2ysGufN84oIXB0sPzy8ollX/LegY74DgJXJR57sn+VGza0x3DnuIgABFM15LmajjjsNlYj+JEZGbuRYcAMOWxFkPN2w6Wd46xo4gVWQR/X4lyI/R6K/YK0110GzudPRW7Y+UOBGTfNNzHeYT0fiH0taunBpq9HEW8OKSaBGj21L0MqenEmNRWBAWDWAk4CpNoEZJ2tTaPFgbQYj8HxtFilErs3BTRwT8uO1NXQaWfIotchmPkAF5mMBAliEmZiOGVgCG9LgRzpscMAOOwowlT3JhusdazXGSC/hxR3UlmWVwWHpOIKheqONvjyhSiTHIkVUco5bnji8m//zL7PKaT1Vl5I6UE609f+gkr6MZKVyKc7zJRmCahLsdlyA5fdQkRSan9LgnnLEyGSkaKJCJog0wAgvepWBt80+1yKln1bMVtCljfNWDueKLsWwaEbBSfSPTEmVRsUcYYMnEjcjeyCZzBXK9E9BYBXLKjOSpUDR+nEV3TFSUdQaz+ot98QxgXwx0GQ+EEUAKB2qZPkQQ0GqFD8UPFMqyaCHM24BZmSGic9EYMagKizOw9Hz50DMrDLrqqLkTAhplMictiCAx5S3BIUQdeJeLnBy2CNtMfz6cV4u8XKoFZQesbf9YZiIERiHjaNodDW6LgcirX/mPnJIkBGDUpTBhSa0EIr38D5hCIszhCM8URGBqImoWjpvpt1ebu/v3Gl3qJfMnNM+9V+kiRFyROTPHQWOcs1dNW94/ukKMPZBvDi55i5CttdeJz84DLngLqjcdwEZ87bFFR8CIG35OAkDVN6VRDZ7aq67NteYqZ2lpT8oYB2CytoBd6VuAx4WgiAsnuj3WohG+LugzXiQRDeM3XYXlULv4dp5VFYC) format("woff2"),url(./KaTeX_Size3-Regular-CTq5MqoE.woff) format("woff"),url(./KaTeX_Size3-Regular-DgpXs0kz.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size4;font-style:normal;font-weight:400;src:url(./KaTeX_Size4-Regular-Dl5lxZxV.woff2) format("woff2"),url(./KaTeX_Size4-Regular-BF-4gkZK.woff) format("woff"),url(./KaTeX_Size4-Regular-DWFBv043.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Typewriter;font-style:normal;font-weight:400;src:url(./KaTeX_Typewriter-Regular-CO6r4hn1.woff2) format("woff2"),url(./KaTeX_Typewriter-Regular-C0xS9mPB.woff) format("woff"),url(./KaTeX_Typewriter-Regular-D3Ib7_Hf.ttf) format("truetype")}.katex{font: 1.21em KaTeX_Main,Times New Roman,serif;line-height:1.2;position:relative;text-indent:0;text-rendering:auto}.katex *{-ms-high-contrast-adjust:none!important;border-color:currentColor}.katex .katex-version:after{content:"0.16.47"}.katex .katex-mathml{border:0;-webkit-clip-path:inset(50%);clip-path:inset(50%);height:1px;overflow:hidden;padding:0;position:absolute;width:1px}.katex .katex-html>.newline{display:block}.katex .base{position:relative;white-space:nowrap;width:-webkit-min-content;width:-moz-min-content;width:min-content}.katex .base,.katex .strut{display:inline-block}.katex .textbf{font-weight:700}.katex .textit{font-style:italic}.katex .textrm{font-family:KaTeX_Main}.katex .textsf{font-family:KaTeX_SansSerif}.katex .texttt{font-family:KaTeX_Typewriter}.katex .mathnormal{font-family:KaTeX_Math;font-style:italic}.katex .mathit{font-family:KaTeX_Main;font-style:italic}.katex .mathrm{font-style:normal}.katex .mathbf{font-family:KaTeX_Main;font-weight:700}.katex .boldsymbol{font-family:KaTeX_Math;font-style:italic;font-weight:700}.katex .amsrm,.katex .mathbb,.katex .textbb{font-family:KaTeX_AMS}.katex .mathcal{font-family:KaTeX_Caligraphic}.katex .mathfrak,.katex .textfrak{font-family:KaTeX_Fraktur}.katex .mathboldfrak,.katex .textboldfrak{font-family:KaTeX_Fraktur;font-weight:700}.katex .mathtt{font-family:KaTeX_Typewriter}.katex .mathscr,.katex .textscr{font-family:KaTeX_Script}.katex .mathsf,.katex .textsf{font-family:KaTeX_SansSerif}.katex .mathboldsf,.katex .textboldsf{font-family:KaTeX_SansSerif;font-weight:700}.katex .mathitsf,.katex .mathsfit,.katex .textitsf{font-family:KaTeX_SansSerif;font-style:italic}.katex .mainrm{font-family:KaTeX_Main;font-style:normal}.katex .vlist-t{border-collapse:collapse;display:inline-table;table-layout:fixed}.katex .vlist-r{display:table-row}.katex .vlist{display:table-cell;position:relative;vertical-align:bottom}.katex .vlist>span{display:block;height:0;position:relative}.katex .vlist>span>span{display:inline-block}.katex .vlist>span>.pstrut{overflow:hidden;width:0}.katex .vlist-t2{margin-right:-2px}.katex .vlist-s{display:table-cell;font-size:1px;min-width:2px;vertical-align:bottom;width:2px}.katex .vbox{align-items:baseline;display:inline-flex;flex-direction:column}.katex .hbox{width:100%}.katex .hbox,.katex .thinbox{display:inline-flex;flex-direction:row}.katex .thinbox{max-width:0;width:0}.katex .msupsub{text-align:left}.katex .mfrac>span>span{text-align:center}.katex .mfrac .frac-line{border-bottom-style:solid;display:inline-block;width:100%}.katex .hdashline,.katex .hline,.katex .mfrac .frac-line,.katex .overline .overline-line,.katex .rule,.katex .underline .underline-line{min-height:1px}.katex .mspace{display:inline-block}.katex .smash{display:inline;line-height:0}.katex .clap,.katex .llap,.katex .rlap{position:relative;width:0}.katex .clap>.inner,.katex .llap>.inner,.katex .rlap>.inner{position:absolute}.katex .clap>.fix,.katex .llap>.fix,.katex .rlap>.fix{display:inline-block}.katex .llap>.inner{right:0}.katex .clap>.inner,.katex .rlap>.inner{left:0}.katex .clap>.inner>span{margin-left:-50%;margin-right:50%}.katex .rule{border:0 solid;display:inline-block;position:relative}.katex .hline,.katex .overline .overline-line,.katex .underline .underline-line{border-bottom-style:solid;display:inline-block;width:100%}.katex .hdashline{border-bottom-style:dashed;display:inline-block;width:100%}.katex .sqrt>.root{margin-left:.2777777778em;margin-right:-.5555555556em}.katex .fontsize-ensurer.reset-size1.size1,.katex .sizing.reset-size1.size1{font-size:1em}.katex .fontsize-ensurer.reset-size1.size2,.katex .sizing.reset-size1.size2{font-size:1.2em}.katex .fontsize-ensurer.reset-size1.size3,.katex .sizing.reset-size1.size3{font-size:1.4em}.katex .fontsize-ensurer.reset-size1.size4,.katex .sizing.reset-size1.size4{font-size:1.6em}.katex .fontsize-ensurer.reset-size1.size5,.katex .sizing.reset-size1.size5{font-size:1.8em}.katex .fontsize-ensurer.reset-size1.size6,.katex .sizing.reset-size1.size6{font-size:2em}.katex .fontsize-ensurer.reset-size1.size7,.katex .sizing.reset-size1.size7{font-size:2.4em}.katex .fontsize-ensurer.reset-size1.size8,.katex .sizing.reset-size1.size8{font-size:2.88em}.katex .fontsize-ensurer.reset-size1.size9,.katex .sizing.reset-size1.size9{font-size:3.456em}.katex .fontsize-ensurer.reset-size1.size10,.katex .sizing.reset-size1.size10{font-size:4.148em}.katex .fontsize-ensurer.reset-size1.size11,.katex .sizing.reset-size1.size11{font-size:4.976em}.katex .fontsize-ensurer.reset-size2.size1,.katex .sizing.reset-size2.size1{font-size:.8333333333em}.katex .fontsize-ensurer.reset-size2.size2,.katex .sizing.reset-size2.size2{font-size:1em}.katex .fontsize-ensurer.reset-size2.size3,.katex .sizing.reset-size2.size3{font-size:1.1666666667em}.katex .fontsize-ensurer.reset-size2.size4,.katex .sizing.reset-size2.size4{font-size:1.3333333333em}.katex .fontsize-ensurer.reset-size2.size5,.katex .sizing.reset-size2.size5{font-size:1.5em}.katex .fontsize-ensurer.reset-size2.size6,.katex .sizing.reset-size2.size6{font-size:1.6666666667em}.katex .fontsize-ensurer.reset-size2.size7,.katex .sizing.reset-size2.size7{font-size:2em}.katex .fontsize-ensurer.reset-size2.size8,.katex .sizing.reset-size2.size8{font-size:2.4em}.katex .fontsize-ensurer.reset-size2.size9,.katex .sizing.reset-size2.size9{font-size:2.88em}.katex .fontsize-ensurer.reset-size2.size10,.katex .sizing.reset-size2.size10{font-size:3.4566666667em}.katex .fontsize-ensurer.reset-size2.size11,.katex .sizing.reset-size2.size11{font-size:4.1466666667em}.katex .fontsize-ensurer.reset-size3.size1,.katex .sizing.reset-size3.size1{font-size:.7142857143em}.katex .fontsize-ensurer.reset-size3.size2,.katex .sizing.reset-size3.size2{font-size:.8571428571em}.katex .fontsize-ensurer.reset-size3.size3,.katex .sizing.reset-size3.size3{font-size:1em}.katex .fontsize-ensurer.reset-size3.size4,.katex .sizing.reset-size3.size4{font-size:1.1428571429em}.katex .fontsize-ensurer.reset-size3.size5,.katex .sizing.reset-size3.size5{font-size:1.2857142857em}.katex .fontsize-ensurer.reset-size3.size6,.katex .sizing.reset-size3.size6{font-size:1.4285714286em}.katex .fontsize-ensurer.reset-size3.size7,.katex .sizing.reset-size3.size7{font-size:1.7142857143em}.katex .fontsize-ensurer.reset-size3.size8,.katex .sizing.reset-size3.size8{font-size:2.0571428571em}.katex .fontsize-ensurer.reset-size3.size9,.katex .sizing.reset-size3.size9{font-size:2.4685714286em}.katex .fontsize-ensurer.reset-size3.size10,.katex .sizing.reset-size3.size10{font-size:2.9628571429em}.katex .fontsize-ensurer.reset-size3.size11,.katex .sizing.reset-size3.size11{font-size:3.5542857143em}.katex .fontsize-ensurer.reset-size4.size1,.katex .sizing.reset-size4.size1{font-size:.625em}.katex .fontsize-ensurer.reset-size4.size2,.katex .sizing.reset-size4.size2{font-size:.75em}.katex .fontsize-ensurer.reset-size4.size3,.katex .sizing.reset-size4.size3{font-size:.875em}.katex .fontsize-ensurer.reset-size4.size4,.katex .sizing.reset-size4.size4{font-size:1em}.katex .fontsize-ensurer.reset-size4.size5,.katex .sizing.reset-size4.size5{font-size:1.125em}.katex .fontsize-ensurer.reset-size4.size6,.katex .sizing.reset-size4.size6{font-size:1.25em}.katex .fontsize-ensurer.reset-size4.size7,.katex .sizing.reset-size4.size7{font-size:1.5em}.katex .fontsize-ensurer.reset-size4.size8,.katex .sizing.reset-size4.size8{font-size:1.8em}.katex .fontsize-ensurer.reset-size4.size9,.katex .sizing.reset-size4.size9{font-size:2.16em}.katex .fontsize-ensurer.reset-size4.size10,.katex .sizing.reset-size4.size10{font-size:2.5925em}.katex .fontsize-ensurer.reset-size4.size11,.katex .sizing.reset-size4.size11{font-size:3.11em}.katex .fontsize-ensurer.reset-size5.size1,.katex .sizing.reset-size5.size1{font-size:.5555555556em}.katex .fontsize-ensurer.reset-size5.size2,.katex .sizing.reset-size5.size2{font-size:.6666666667em}.katex .fontsize-ensurer.reset-size5.size3,.katex .sizing.reset-size5.size3{font-size:.7777777778em}.katex .fontsize-ensurer.reset-size5.size4,.katex .sizing.reset-size5.size4{font-size:.8888888889em}.katex .fontsize-ensurer.reset-size5.size5,.katex .sizing.reset-size5.size5{font-size:1em}.katex .fontsize-ensurer.reset-size5.size6,.katex .sizing.reset-size5.size6{font-size:1.1111111111em}.katex .fontsize-ensurer.reset-size5.size7,.katex .sizing.reset-size5.size7{font-size:1.3333333333em}.katex .fontsize-ensurer.reset-size5.size8,.katex .sizing.reset-size5.size8{font-size:1.6em}.katex .fontsize-ensurer.reset-size5.size9,.katex .sizing.reset-size5.size9{font-size:1.92em}.katex .fontsize-ensurer.reset-size5.size10,.katex .sizing.reset-size5.size10{font-size:2.3044444444em}.katex .fontsize-ensurer.reset-size5.size11,.katex .sizing.reset-size5.size11{font-size:2.7644444444em}.katex .fontsize-ensurer.reset-size6.size1,.katex .sizing.reset-size6.size1{font-size:.5em}.katex .fontsize-ensurer.reset-size6.size2,.katex .sizing.reset-size6.size2{font-size:.6em}.katex .fontsize-ensurer.reset-size6.size3,.katex .sizing.reset-size6.size3{font-size:.7em}.katex .fontsize-ensurer.reset-size6.size4,.katex .sizing.reset-size6.size4{font-size:.8em}.katex .fontsize-ensurer.reset-size6.size5,.katex .sizing.reset-size6.size5{font-size:.9em}.katex .fontsize-ensurer.reset-size6.size6,.katex .sizing.reset-size6.size6{font-size:1em}.katex .fontsize-ensurer.reset-size6.size7,.katex .sizing.reset-size6.size7{font-size:1.2em}.katex .fontsize-ensurer.reset-size6.size8,.katex .sizing.reset-size6.size8{font-size:1.44em}.katex .fontsize-ensurer.reset-size6.size9,.katex .sizing.reset-size6.size9{font-size:1.728em}.katex .fontsize-ensurer.reset-size6.size10,.katex .sizing.reset-size6.size10{font-size:2.074em}.katex .fontsize-ensurer.reset-size6.size11,.katex .sizing.reset-size6.size11{font-size:2.488em}.katex .fontsize-ensurer.reset-size7.size1,.katex .sizing.reset-size7.size1{font-size:.4166666667em}.katex .fontsize-ensurer.reset-size7.size2,.katex .sizing.reset-size7.size2{font-size:.5em}.katex .fontsize-ensurer.reset-size7.size3,.katex .sizing.reset-size7.size3{font-size:.5833333333em}.katex .fontsize-ensurer.reset-size7.size4,.katex .sizing.reset-size7.size4{font-size:.6666666667em}.katex .fontsize-ensurer.reset-size7.size5,.katex .sizing.reset-size7.size5{font-size:.75em}.katex .fontsize-ensurer.reset-size7.size6,.katex .sizing.reset-size7.size6{font-size:.8333333333em}.katex .fontsize-ensurer.reset-size7.size7,.katex .sizing.reset-size7.size7{font-size:1em}.katex .fontsize-ensurer.reset-size7.size8,.katex .sizing.reset-size7.size8{font-size:1.2em}.katex .fontsize-ensurer.reset-size7.size9,.katex .sizing.reset-size7.size9{font-size:1.44em}.katex .fontsize-ensurer.reset-size7.size10,.katex .sizing.reset-size7.size10{font-size:1.7283333333em}.katex .fontsize-ensurer.reset-size7.size11,.katex .sizing.reset-size7.size11{font-size:2.0733333333em}.katex .fontsize-ensurer.reset-size8.size1,.katex .sizing.reset-size8.size1{font-size:.3472222222em}.katex .fontsize-ensurer.reset-size8.size2,.katex .sizing.reset-size8.size2{font-size:.4166666667em}.katex .fontsize-ensurer.reset-size8.size3,.katex .sizing.reset-size8.size3{font-size:.4861111111em}.katex .fontsize-ensurer.reset-size8.size4,.katex .sizing.reset-size8.size4{font-size:.5555555556em}.katex .fontsize-ensurer.reset-size8.size5,.katex .sizing.reset-size8.size5{font-size:.625em}.katex .fontsize-ensurer.reset-size8.size6,.katex .sizing.reset-size8.size6{font-size:.6944444444em}.katex .fontsize-ensurer.reset-size8.size7,.katex .sizing.reset-size8.size7{font-size:.8333333333em}.katex .fontsize-ensurer.reset-size8.size8,.katex .sizing.reset-size8.size8{font-size:1em}.katex .fontsize-ensurer.reset-size8.size9,.katex .sizing.reset-size8.size9{font-size:1.2em}.katex .fontsize-ensurer.reset-size8.size10,.katex .sizing.reset-size8.size10{font-size:1.4402777778em}.katex .fontsize-ensurer.reset-size8.size11,.katex .sizing.reset-size8.size11{font-size:1.7277777778em}.katex .fontsize-ensurer.reset-size9.size1,.katex .sizing.reset-size9.size1{font-size:.2893518519em}.katex .fontsize-ensurer.reset-size9.size2,.katex .sizing.reset-size9.size2{font-size:.3472222222em}.katex .fontsize-ensurer.reset-size9.size3,.katex .sizing.reset-size9.size3{font-size:.4050925926em}.katex .fontsize-ensurer.reset-size9.size4,.katex .sizing.reset-size9.size4{font-size:.462962963em}.katex .fontsize-ensurer.reset-size9.size5,.katex .sizing.reset-size9.size5{font-size:.5208333333em}.katex .fontsize-ensurer.reset-size9.size6,.katex .sizing.reset-size9.size6{font-size:.5787037037em}.katex .fontsize-ensurer.reset-size9.size7,.katex .sizing.reset-size9.size7{font-size:.6944444444em}.katex .fontsize-ensurer.reset-size9.size8,.katex .sizing.reset-size9.size8{font-size:.8333333333em}.katex .fontsize-ensurer.reset-size9.size9,.katex .sizing.reset-size9.size9{font-size:1em}.katex .fontsize-ensurer.reset-size9.size10,.katex .sizing.reset-size9.size10{font-size:1.2002314815em}.katex .fontsize-ensurer.reset-size9.size11,.katex .sizing.reset-size9.size11{font-size:1.4398148148em}.katex .fontsize-ensurer.reset-size10.size1,.katex .sizing.reset-size10.size1{font-size:.2410800386em}.katex .fontsize-ensurer.reset-size10.size2,.katex .sizing.reset-size10.size2{font-size:.2892960463em}.katex .fontsize-ensurer.reset-size10.size3,.katex .sizing.reset-size10.size3{font-size:.337512054em}.katex .fontsize-ensurer.reset-size10.size4,.katex .sizing.reset-size10.size4{font-size:.3857280617em}.katex .fontsize-ensurer.reset-size10.size5,.katex .sizing.reset-size10.size5{font-size:.4339440694em}.katex .fontsize-ensurer.reset-size10.size6,.katex .sizing.reset-size10.size6{font-size:.4821600771em}.katex .fontsize-ensurer.reset-size10.size7,.katex .sizing.reset-size10.size7{font-size:.5785920926em}.katex .fontsize-ensurer.reset-size10.size8,.katex .sizing.reset-size10.size8{font-size:.6943105111em}.katex .fontsize-ensurer.reset-size10.size9,.katex .sizing.reset-size10.size9{font-size:.8331726133em}.katex .fontsize-ensurer.reset-size10.size10,.katex .sizing.reset-size10.size10{font-size:1em}.katex .fontsize-ensurer.reset-size10.size11,.katex .sizing.reset-size10.size11{font-size:1.1996142719em}.katex .fontsize-ensurer.reset-size11.size1,.katex .sizing.reset-size11.size1{font-size:.2009646302em}.katex .fontsize-ensurer.reset-size11.size2,.katex .sizing.reset-size11.size2{font-size:.2411575563em}.katex .fontsize-ensurer.reset-size11.size3,.katex .sizing.reset-size11.size3{font-size:.2813504823em}.katex .fontsize-ensurer.reset-size11.size4,.katex .sizing.reset-size11.size4{font-size:.3215434084em}.katex .fontsize-ensurer.reset-size11.size5,.katex .sizing.reset-size11.size5{font-size:.3617363344em}.katex .fontsize-ensurer.reset-size11.size6,.katex .sizing.reset-size11.size6{font-size:.4019292605em}.katex .fontsize-ensurer.reset-size11.size7,.katex .sizing.reset-size11.size7{font-size:.4823151125em}.katex .fontsize-ensurer.reset-size11.size8,.katex .sizing.reset-size11.size8{font-size:.578778135em}.katex .fontsize-ensurer.reset-size11.size9,.katex .sizing.reset-size11.size9{font-size:.6945337621em}.katex .fontsize-ensurer.reset-size11.size10,.katex .sizing.reset-size11.size10{font-size:.8336012862em}.katex .fontsize-ensurer.reset-size11.size11,.katex .sizing.reset-size11.size11{font-size:1em}.katex .delimsizing.size1{font-family:KaTeX_Size1}.katex .delimsizing.size2{font-family:KaTeX_Size2}.katex .delimsizing.size3{font-family:KaTeX_Size3}.katex .delimsizing.size4{font-family:KaTeX_Size4}.katex .delimsizing.mult .delim-size1>span{font-family:KaTeX_Size1}.katex .delimsizing.mult .delim-size4>span{font-family:KaTeX_Size4}.katex .nulldelimiter{display:inline-block;width:.12em}.katex .delimcenter,.katex .op-symbol{position:relative}.katex .op-symbol.small-op{font-family:KaTeX_Size1}.katex .op-symbol.large-op{font-family:KaTeX_Size2}.katex .accent>.vlist-t,.katex .op-limits>.vlist-t{text-align:center}.katex .accent .accent-body{position:relative}.katex .accent .accent-body:not(.accent-full){width:0}.katex .overlay{display:block}.katex .mtable .vertical-separator{display:inline-block;min-width:1px}.katex .mtable .arraycolsep{display:inline-block}.katex .mtable .col-align-c>.vlist-t{text-align:center}.katex .mtable .col-align-l>.vlist-t{text-align:left}.katex .mtable .col-align-r>.vlist-t{text-align:right}.katex .svg-align{text-align:left}.katex svg{fill:currentColor;stroke:currentColor;display:block;height:inherit;position:absolute;width:100%}.katex svg path{stroke:none}.katex svg{fill-rule:nonzero;fill-opacity:1;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1}.katex img{border-style:none;max-height:none;max-width:none;min-height:0;min-width:0}.katex .stretchy{display:block;overflow:hidden;position:relative;width:100%}.katex .stretchy:after,.katex .stretchy:before{content:""}.katex .hide-tail{overflow:hidden;position:relative;width:100%}.katex .halfarrow-left{left:0;overflow:hidden;position:absolute;width:50.2%}.katex .halfarrow-right{overflow:hidden;position:absolute;right:0;width:50.2%}.katex .brace-left{left:0;overflow:hidden;position:absolute;width:25.1%}.katex .brace-center{left:25%;overflow:hidden;position:absolute;width:50%}.katex .brace-right{overflow:hidden;position:absolute;right:0;width:25.1%}.katex .x-arrow-pad{padding:0 .5em}.katex .cd-arrow-pad{padding:0 .55556em 0 .27778em}.katex .mover,.katex .munder,.katex .x-arrow{text-align:center}.katex .boxpad{padding:0 .3em}.katex .fbox,.katex .fcolorbox{border:.04em solid;box-sizing:border-box}.katex .cancel-pad{padding:0 .2em}.katex .cancel-lap{margin-left:-.2em;margin-right:-.2em}.katex .sout{border-bottom-style:solid;border-bottom-width:.08em}.katex .angl{border-right:.049em solid;border-top:.049em solid;box-sizing:border-box;margin-right:.03889em}.katex .anglpad{padding:0 .03889em}.katex .eqn-num:before{content:"(" counter(katexEqnNo) ")";counter-increment:katexEqnNo}.katex .mml-eqn-num:before{content:"(" counter(mmlEqnNo) ")";counter-increment:mmlEqnNo}.katex .mtr-glue{width:50%}.katex .cd-vert-arrow{display:inline-block;position:relative}.katex .cd-label-left{display:inline-block;position:absolute;right:calc(50% + .3em);text-align:left}.katex .cd-label-right{display:inline-block;left:calc(50% + .3em);position:absolute;text-align:right}.katex-display{display:block;margin:1em 0;text-align:center}.katex-display>.katex{display:block;text-align:center;white-space:nowrap}.katex-display>.katex>.katex-html{display:block;position:relative}.katex-display>.katex>.katex-html>.tag{position:absolute;right:0}.katex-display.leqno>.katex>.katex-html>.tag{left:0;right:auto}.katex-display.fleqn>.katex{padding-left:2em;text-align:left}body{counter-reset:katexEqnNo mmlEqnNo}
