:root{color-scheme:light;--paper:#f7f1e5;--paper-bright:#fffaf0;--paper-muted:#ece4d5;--ink:#161d2c;--ink-soft:#566071;--cobalt:#123fc3;--cobalt-dark:#0b2c91;--cobalt-wash:#e8edff;--rule:#cfc6b7;--verified:#176c4d;--warning:#9b5d13;--danger:#a93b35;--max:1240px;--header-height:72px;--font-display:"Iowan Old Style", "Palatino Linotype", "Book Antiqua", Georgia, serif;--font-sans:Inter, ui-sans-serif, -apple-system, BlinkMacSystemFont, "Segoe UI", sans-serif;--shadow-focus:0 0 0 4px #123fc324}*,:before,:after{box-sizing:border-box}html{scroll-behavior:smooth;background:var(--paper)}body{min-width:320px;color:var(--ink);background:var(--paper);font-family:var(--font-sans);text-rendering:optimizelegibility;-webkit-font-smoothing:antialiased;margin:0;font-size:16px;line-height:1.55}button,input,textarea,select{font:inherit}button,a{-webkit-tap-highlight-color:transparent}a{color:inherit;text-underline-offset:.22em;text-decoration-thickness:1px}button{color:inherit}:focus-visible{outline:2px solid var(--cobalt);outline-offset:3px}::selection{color:#fff;background:var(--cobalt)}.sr-only{clip:rect(0 0 0 0)!important;white-space:nowrap!important;border:0!important;width:1px!important;height:1px!important;margin:-1px!important;padding:0!important;position:absolute!important;overflow:hidden!important}.skip-link{z-index:100;color:#fff;background:var(--ink);padding:10px 14px;transition:transform .16s;position:fixed;top:12px;left:12px;transform:translateY(-150%)}.skip-link:focus-visible{transform:translateY(0)}.paper-grain{z-index:-1;pointer-events:none;opacity:.18;background-image:repeating-linear-gradient(0deg,#0000 0 3px,#161d2c05 4px);position:fixed;inset:0}.site-header{z-index:10;width:min(calc(100% - 48px), var(--max));height:var(--header-height);border-bottom:1px solid var(--rule);justify-content:space-between;align-items:center;margin:0 auto;display:flex;position:relative}.wordmark{color:var(--ink);font-family:var(--font-display);letter-spacing:-.02em;align-items:center;gap:10px;font-size:1.35rem;font-weight:700;text-decoration:none;display:inline-flex}.brand-mark{width:28px;height:28px;overflow:visible}.brand-mark path{fill:none;stroke:currentColor;stroke-linecap:round;stroke-width:2px}.brand-mark circle{fill:var(--cobalt)}.site-header nav,.site-footer nav{align-items:center;gap:clamp(18px,3vw,34px);display:flex}.site-header nav a,.site-footer nav a{color:var(--ink-soft);font-size:.86rem;font-weight:650;text-decoration:none}.site-header nav a:hover,.site-footer nav a:hover{color:var(--cobalt)}.site-footer{width:min(calc(100% - 48px), var(--max));margin:0 auto;padding:64px 0 30px}.footer-rule{background:var(--rule);width:100%;height:1px;margin-bottom:30px}.footer-inner{grid-template-columns:minmax(220px,1fr) auto auto;align-items:start;gap:28px;display:grid}.footer-brand,.footer-note,.footer-copy{margin:0}.footer-brand{font-family:var(--font-display);font-size:1.1rem;font-weight:700}.footer-note,.footer-copy{color:var(--ink-soft);font-size:.82rem}.footer-note{margin-top:4px}.eyebrow{color:var(--cobalt);letter-spacing:.12em;text-transform:uppercase;align-items:center;gap:9px;margin:0 0 14px;font-size:.74rem;font-weight:800;display:flex}.eyebrow:before{content:"";background:currentColor;width:22px;height:2px}.hero{width:min(calc(100% - 48px), var(--max));min-height:calc(100svh - var(--header-height));grid-template-columns:minmax(250px,.62fr) minmax(560px,1.48fr);align-items:center;gap:clamp(44px,6vw,86px);margin:0 auto;padding:clamp(48px,8vh,92px) 0 clamp(56px,9vh,104px);display:grid;position:relative}.hero:after{background:var(--rule);content:"";height:1px;position:absolute;bottom:28px;left:0;right:0}.hero-copy{align-self:start;padding-top:24px;animation:.52s cubic-bezier(.22,1,.36,1) both rise-in}.hero h1{max-width:7ch;font-family:var(--font-display);letter-spacing:-.072em;margin:0;font-size:clamp(4rem,6.7vw,6.6rem);font-weight:520;line-height:.86}.hero-lede{max-width:34ch;color:var(--ink-soft);margin:30px 0 0;font-size:clamp(1rem,1.35vw,1.18rem);line-height:1.55}.hero-trust{color:var(--ink-soft);flex-wrap:wrap;gap:8px 18px;margin:26px 0 0;padding:0;font-size:.75rem;list-style:none;display:flex}.hero-trust li{align-items:center;gap:7px;display:inline-flex}.hero-trust li:before{width:6px;height:6px;color:var(--verified);content:"";background:currentColor;border-radius:50%}.hero-ledger{border-top:1px solid var(--rule);max-width:310px;color:var(--ink);font-family:var(--font-display);grid-template-columns:72px 1fr;gap:6px 14px;margin-top:34px;padding-top:12px;font-size:1.02rem;display:grid}.hero-ledger span:nth-child(odd){color:var(--cobalt);font-family:var(--font-sans);letter-spacing:.08em;text-transform:uppercase;padding-top:3px;font-size:.61rem;font-weight:800}.solver-mount{min-width:0;animation:.62s cubic-bezier(.22,1,.36,1) 80ms both rise-in}.solver-shell{border:1px solid var(--rule);background:#fffaf0ad;min-height:480px;padding:clamp(24px,3vw,40px);position:relative}.solver-shell:before,.solver-shell:after{border-color:var(--cobalt);content:"";width:11px;height:11px;position:absolute}.solver-shell:before{border-top:2px solid;border-left:2px solid;top:-1px;left:-1px}.solver-shell:after{border-bottom:2px solid;border-right:2px solid;bottom:-1px;right:-1px}.solver-meta{color:var(--ink-soft);letter-spacing:.08em;text-transform:uppercase;justify-content:space-between;align-items:center;margin-bottom:20px;font-size:.74rem;font-weight:700;display:flex}.solver-progress{border-top:1px solid var(--paper-muted);border-bottom:1px solid var(--paper-muted);grid-template-columns:repeat(3,1fr);margin:0 0 25px;padding:0;list-style:none;display:grid}.solver-progress li{color:var(--ink-soft);letter-spacing:.06em;text-transform:uppercase;padding:9px 0 8px;font-size:.63rem;font-weight:780;position:relative}.solver-progress li[data-current=true]{color:var(--cobalt)}.solver-progress li[data-current=true]:after{background:var(--cobalt);content:"";height:2px;position:absolute;bottom:-1px;left:0;right:0}.scope-indicator{align-items:center;gap:7px;display:inline-flex}.scope-indicator:before{background:var(--verified);content:"";border-radius:50%;width:7px;height:7px;box-shadow:0 0 0 3px #176c4d1c}.solver-label{color:var(--ink-soft);margin-bottom:10px;font-size:.78rem;font-weight:750;display:block}.math-input-wrap{border-bottom:2px solid var(--ink);transition:border-color .18s,box-shadow .18s;position:relative}.math-input-wrap:focus-within{border-color:var(--cobalt);box-shadow:0 5px 0 -3px #123fc326}.math-input-wrap math-field{--caret-color:var(--cobalt);--selection-background-color:#123fc329;--contains-highlight-background-color:transparent;--smart-fence-color:var(--cobalt);--smart-fence-opacity:1;background:0 0;border:0;outline:0;width:100%;min-height:76px;padding:12px 4px 14px;font-size:clamp(1.7rem,3vw,2.55rem);display:block}.math-input-wrap math-field::part(virtual-keyboard-toggle),.math-input-wrap math-field::part(menu-toggle){display:none}.math-input-fallback{resize:none;width:100%;min-height:76px;color:var(--ink);font-family:var(--font-display);background:0 0;border:0;outline:0;padding:16px 4px;font-size:1.6rem}.input-support-row{justify-content:space-between;align-items:center;gap:16px;margin-top:11px;display:flex}.input-note{color:var(--ink-soft);margin:0;font-size:.75rem}.text-action{min-height:44px;color:var(--cobalt);cursor:pointer;background:0 0;border:0;align-items:center;padding:0;font-size:.78rem;font-weight:750;display:inline-flex}.text-action:hover{text-underline-offset:.2em;text-decoration:underline}.math-keypad{border-top:1px solid var(--rule);border-left:1px solid var(--rule);grid-template-columns:repeat(7,1fr);margin-top:16px;display:grid;overflow:hidden}.math-keypad button{border:0;border-right:1px solid var(--rule);border-bottom:1px solid var(--rule);min-width:42px;min-height:43px;font-family:var(--font-display);cursor:pointer;background:0 0;padding:6px;font-size:1rem}.math-keypad button:hover,.math-keypad button:focus-visible{color:var(--cobalt);background:var(--cobalt-wash)}.example-row{flex-wrap:wrap;align-items:center;gap:8px;margin-top:20px;display:flex}.example-row>span{color:var(--ink-soft);letter-spacing:.06em;text-transform:uppercase;margin-right:3px;font-size:.72rem;font-weight:720}.example-button{border:1px solid var(--rule);min-height:44px;font-family:var(--font-display);cursor:pointer;background:0 0;border-radius:999px;padding:7px 11px;font-size:.84rem;transition:border-color .15s,color .15s,background-color .15s}.example-button:hover{border-color:var(--cobalt);color:var(--cobalt);background:var(--cobalt-wash)}.solver-actions{align-items:center;gap:12px;margin-top:26px;display:flex}.primary-button,.secondary-button{border:1px solid var(--ink);cursor:pointer;justify-content:center;align-items:center;min-height:48px;padding:11px 20px;font-weight:760;transition:transform .15s,background-color .15s,color .15s;display:inline-flex}.primary-button{border-color:var(--cobalt);color:#fff;background:var(--cobalt);min-width:174px}.primary-button:hover:not(:disabled){background:var(--cobalt-dark);transform:translateY(-1px)}.secondary-button{border-color:var(--rule);background:0 0}.secondary-button:hover:not(:disabled){border-color:var(--ink)}.primary-button:disabled,.secondary-button:disabled{opacity:.48;cursor:not-allowed}.button-spinner{border:2px solid #ffffff73;border-top-color:#fff;border-radius:50%;width:15px;height:15px;margin-right:9px;animation:.65s linear infinite spin}.interpretation,.solver-message,.hint-panel,.answer-panel{border-top:1px solid var(--rule);margin-top:28px;padding-top:23px;animation:.22s both reveal-up}.hint-panel{border:1px solid var(--rule);background:#ffffff5c;padding:22px}.hint-panel .solver-actions{margin-top:18px}.section-kicker{color:var(--ink-soft);letter-spacing:.1em;text-transform:uppercase;margin:0 0 8px;font-size:.69rem;font-weight:800}.interpretation-formula{min-height:54px;padding:8px 0;font-size:clamp(1.35rem,2.6vw,2rem);overflow-x:auto}.interpretation-note{color:var(--ink-soft);margin:8px 0 0;font-size:.78rem}.solver-message{border-left:3px solid var(--warning);gap:5px;padding-left:18px;display:grid}.solver-message[data-kind=error],.solver-message[data-kind=invalid]{border-left-color:var(--danger)}.solver-message h2,.solver-message p{margin:0}.solver-message h2{font-family:var(--font-display);font-size:1.25rem}.solver-message p{color:var(--ink-soft);font-size:.86rem}.answer-heading{justify-content:space-between;align-items:center;gap:16px;display:flex}.verified-badge{color:var(--verified);letter-spacing:.07em;text-transform:uppercase;align-items:center;gap:6px;font-size:.72rem;font-weight:800;display:inline-flex}.verified-badge:before{content:"";background:currentColor;border-radius:50%;width:8px;height:8px}.answer-formula{min-height:74px;color:var(--cobalt-dark);padding:10px 0;font-size:clamp(2rem,4vw,3.15rem);overflow-x:auto}.answer-approximate{color:var(--ink-soft);margin:-2px 0 0;font-size:.82rem}.copy-actions{gap:8px;margin-top:10px;display:flex}.copy-button{border:1px solid var(--rule);min-height:44px;color:var(--ink-soft);cursor:pointer;background:0 0;padding:7px 12px;font-size:.76rem;font-weight:700}.copy-button:hover{border-color:var(--cobalt);color:var(--cobalt)}.steps-panel{border-top:1px solid var(--rule);margin-top:26px;padding-top:24px}.feedback-panel{border-top:1px solid var(--rule);margin-top:24px;padding-top:20px}.feedback-actions{flex-wrap:wrap;gap:8px;display:flex}.feedback-actions button{border:1px solid var(--rule);min-height:44px;color:var(--ink-soft);cursor:pointer;background:0 0;padding:7px 12px;font-size:.76rem;font-weight:700}.feedback-actions button:hover:not(:disabled){border-color:var(--cobalt);color:var(--cobalt)}.feedback-actions button:disabled{opacity:.5;cursor:wait}.feedback-privacy,.feedback-status{color:var(--ink-soft);margin:9px 0 0;font-size:.74rem}.steps-toggle{width:100%;font-family:var(--font-display);text-align:left;cursor:pointer;background:0 0;border:0;justify-content:space-between;align-items:center;padding:0;font-size:1.2rem;font-weight:700;display:flex}.steps-toggle span:last-child{color:var(--cobalt);font-family:var(--font-sans);font-size:.75rem;font-weight:750}.steps-list{gap:0;margin:22px 0 0;padding:0 0 0 28px;list-style:none;display:grid;position:relative}.steps-list:before{background:var(--cobalt);content:"";transform-origin:top;width:1px;animation:.42s both proof-line;position:absolute;top:9px;bottom:14px;left:7px}.step-row{padding:0 0 22px;position:relative}.step-row:before{border:2px solid var(--paper-bright);background:var(--cobalt);width:9px;height:9px;box-shadow:0 0 0 1px var(--cobalt);content:"";border-radius:50%;position:absolute;top:7px;left:-25px}.step-equation{align-items:center;gap:10px;padding:1px 0 5px;font-size:1.08rem;display:flex;overflow-x:auto}.step-arrow{color:var(--ink-soft)}.step-explanation{color:var(--ink-soft);margin:4px 0 0;font-size:.8rem}.step-proof{color:var(--verified);letter-spacing:.06em;text-transform:uppercase;margin-left:6px;font-size:.66rem;font-weight:800}.history-panel{border-top:1px solid var(--rule);margin-top:25px;padding-top:20px}.history-heading{justify-content:space-between;align-items:center;display:flex}.history-heading h2{letter-spacing:.08em;text-transform:uppercase;margin:0;font-size:.72rem}.history-list{gap:0;margin:10px 0 0;padding:0;list-style:none;display:grid}.history-item{border:0;border-bottom:1px solid var(--paper-muted);text-align:left;cursor:pointer;background:0 0;justify-content:space-between;align-items:center;width:100%;min-height:44px;padding:8px 0;font-size:.8rem;display:flex}.history-item:hover{color:var(--cobalt)}.history-answer{color:var(--ink-soft)}.privacy-note{color:var(--ink-soft);margin:10px 0 0;font-size:.68rem}.proof-strip{width:min(calc(100% - 48px), var(--max));margin:0 auto;padding:82px 0 94px}.proof-strip-inner{grid-template-columns:.8fr 1.2fr;gap:clamp(42px,8vw,110px);display:grid}.proof-strip h2,.workflow-section h2,.examples-section h2,.content-page h1{font-family:var(--font-display);letter-spacing:-.045em;margin:0;font-weight:520}.proof-strip h2,.workflow-section h2,.examples-section h2{font-size:clamp(2.2rem,4vw,4.2rem);line-height:1}.proof-definition{gap:0;margin:0;display:grid}.proof-definition>div{border-top:1px solid var(--rule);grid-template-columns:150px 1fr;gap:24px;padding:20px 0;display:grid}.proof-definition dt{color:var(--cobalt);letter-spacing:.06em;text-transform:uppercase;font-size:.78rem;font-weight:800}.proof-definition dd{max-width:55ch;color:var(--ink-soft);margin:0}.workflow-section{padding:96px max(24px, calc((100vw - var(--max)) / 2));color:#fff;background:var(--ink)}.workflow-header{justify-content:space-between;align-items:end;margin-bottom:62px;display:flex}.workflow-header p{color:#ffffffa6;max-width:34ch;margin:0}.proof-demo{border-top:1px solid #ffffff38;grid-template-columns:repeat(4,1fr);margin:0;padding:0;list-style:none;display:grid}.proof-demo li{border-right:1px solid #ffffff38;min-height:218px;padding:25px clamp(20px,3vw,42px) 24px 0;position:relative}.proof-demo li+li{padding-left:clamp(20px,3vw,42px)}.proof-demo li:last-child{border-right:0}.proof-demo-number{color:#829df0;letter-spacing:.08em;font-size:.73rem;font-weight:800}.proof-demo .static-formula{color:#fff;min-height:49px;margin:58px 0 7px;font-size:clamp(1.15rem,2vw,1.55rem);display:block}.proof-demo p{color:#ffffff9e;max-width:28ch;margin:0;font-size:.9rem}.proof-demo-check{color:#76c9a7;letter-spacing:.06em;text-transform:uppercase;margin-right:5px;font-size:.7rem;font-weight:800}.examples-section{width:min(calc(100% - 48px), var(--max));margin:0 auto;padding:104px 0 50px}.example-table{border-top:1px solid var(--ink);margin-top:52px}.example-line{border-bottom:1px solid var(--rule);grid-template-columns:1.4fr 1fr auto;align-items:center;gap:24px;min-height:106px;padding:22px 0;display:grid}.example-line .static-formula{font-size:1.45rem}.example-line p{color:var(--ink-soft);margin:0;font-size:.84rem}.example-line button{min-height:44px;color:var(--cobalt);cursor:pointer;background:0 0;border:0;align-items:center;padding:0;font-size:.8rem;font-weight:750;display:inline-flex}.example-line button:hover{text-underline-offset:.2em;text-decoration:underline}.beta-boundary{width:min(calc(100% - 48px), var(--max));border-top:1px solid var(--rule);border-bottom:1px solid var(--rule);grid-template-columns:1fr 2fr;gap:40px;margin:72px auto 30px;padding:30px 0;display:grid}.beta-boundary h2{font-family:var(--font-display);margin:0;font-size:1.55rem}.beta-boundary p{max-width:68ch;color:var(--ink-soft);margin:0}.content-page{grid-template-columns:minmax(190px,.56fr) minmax(0,1fr);gap:clamp(46px,9vw,110px);width:min(100% - 48px,980px);margin:0 auto;padding:clamp(72px,10vw,132px) 0 56px;display:grid}.content-page h1{font-size:clamp(3rem,6vw,5.8rem);line-height:.92;position:sticky;top:32px}.content-body{max-width:65ch}.content-body>:first-child{margin-top:0}.content-body h2{font-family:var(--font-display);letter-spacing:-.025em;margin:50px 0 12px;font-size:1.55rem}.content-body h3{margin:32px 0 10px;font-size:1rem}.content-body p,.content-body li{color:var(--ink-soft)}.content-body strong{color:var(--ink)}.content-body ul,.content-body ol{padding-left:1.2rem}.content-callout{border-left:3px solid var(--cobalt);margin:32px 0;padding:18px 0 18px 20px}.content-callout p{margin:0}.pricing-page{width:min(100% - 48px,1120px);margin:0 auto;padding:clamp(70px,9vw,118px) 0 56px}.pricing-hero{grid-template-columns:minmax(0,1.35fr) minmax(260px,.65fr);align-items:end;gap:clamp(28px,7vw,88px);max-width:900px;display:grid}.pricing-hero .eyebrow{grid-column:1/-1;margin-bottom:-12px}.pricing-hero h1{max-width:10ch;font-family:var(--font-display);letter-spacing:-.06em;margin:0;font-size:clamp(3.4rem,7.5vw,6.7rem);font-weight:500;line-height:.92}.pricing-lede{max-width:38ch;color:var(--ink-soft);margin:0 0 8px;font-size:1.02rem}.pricing-hero-action{grid-column:2;width:fit-content;text-decoration:none}.capability-section,.pricing-boundary{border-top:1px solid var(--rule);margin-top:clamp(64px,9vw,108px)}.section-intro{grid-template-columns:minmax(180px,.65fr) minmax(0,1.35fr);align-items:start;gap:clamp(28px,7vw,88px);padding:clamp(38px,6vw,62px) 0;display:grid}.section-intro h2,.pricing-offer h2{max-width:13ch;font-family:var(--font-display);letter-spacing:-.05em;margin:0;font-size:clamp(2.4rem,5vw,4.6rem);font-weight:500;line-height:.98}.capability-list{border-bottom:1px solid var(--rule)}.capability-row{border-top:1px solid var(--rule);grid-template-columns:minmax(72px,.28fr) minmax(0,1.72fr);gap:clamp(24px,6vw,72px);padding:clamp(28px,5vw,48px) 0;display:grid}.capability-row>div{max-width:760px}.capability-row-planned{color:var(--ink-soft)}.capability-number{color:var(--cobalt);font-family:var(--font-display);margin:3px 0 0;font-size:1.2rem}.capability-heading{justify-content:space-between;align-items:flex-start;gap:18px;display:flex}.capability-heading h3,.boundary-grid h3{font-family:var(--font-display);letter-spacing:-.035em;margin:0;font-size:clamp(1.55rem,3vw,2.25rem);line-height:1.05}.capability-row>div>p,.boundary-grid article>p:last-child,.pricing-offer-copy{max-width:62ch;color:var(--ink-soft)}.capability-details{grid-template-columns:repeat(3,minmax(0,1fr));gap:12px;margin:24px 0 0;padding:0;list-style:none;display:grid}.capability-details li{border-top:2px solid var(--verified);color:var(--ink-soft);padding-top:12px;font-size:.88rem}.capability-meter{border-left:3px solid var(--cobalt);background:var(--cobalt-wash);flex-wrap:wrap;gap:8px 22px;margin-top:24px;padding:14px 16px;display:flex}.capability-meter strong{color:var(--cobalt)}.boundary-grid{border-top:1px solid var(--rule);border-bottom:1px solid var(--rule);grid-template-columns:repeat(2,minmax(0,1fr));display:grid}.boundary-grid article{padding:clamp(28px,5vw,48px)}.boundary-grid article+article{border-left:1px solid var(--rule)}.pricing-offer{color:var(--paper-bright);background:var(--ink);grid-template-columns:minmax(0,1.35fr) minmax(220px,.65fr);align-items:end;gap:clamp(36px,8vw,96px);margin-top:clamp(64px,9vw,108px);padding:clamp(34px,6vw,62px);display:grid}.pricing-offer .eyebrow,.pricing-offer .pricing-offer-copy{color:#ffffffb3}.offer-summary{gap:18px;display:grid}.offer-summary>p{flex-direction:column;margin:0;display:flex}.offer-summary strong{font-family:var(--font-display);letter-spacing:-.06em;font-size:clamp(3.7rem,7vw,5.8rem);font-weight:500;line-height:.86}.offer-summary span,.offer-summary small{color:#ffffffa6}.offer-summary .primary-button{width:100%}.pricing-grid{border-top:1px solid var(--rule);border-bottom:1px solid var(--rule);grid-template-columns:repeat(2,minmax(0,1fr));margin-top:clamp(64px,9vw,108px);display:grid}.pricing-card{flex-direction:column;min-width:0;padding:clamp(28px,5vw,52px);display:flex}.pricing-card+.pricing-card{border-left:1px solid var(--rule)}.pricing-card-featured{background:var(--paper-bright);position:relative}.pricing-card-featured:before{background:var(--cobalt);content:"";height:4px;position:absolute;top:-1px;left:-1px;right:-1px}.pricing-card-heading{justify-content:space-between;align-items:flex-start;gap:16px;display:flex}.pricing-card h2,.pricing-notice h2,.pricing-principle h2,.coming-soon-dialog h2{font-family:var(--font-display);letter-spacing:-.035em;margin:0;font-size:clamp(1.7rem,3vw,2.35rem);line-height:1.05}.plan-kicker{color:var(--cobalt);letter-spacing:.12em;text-transform:uppercase;margin:0 0 6px;font-size:.72rem;font-weight:800}.plan-status{border:1px solid var(--rule);color:var(--ink-soft);letter-spacing:.05em;text-transform:uppercase;border-radius:999px;flex:none;padding:5px 9px;font-size:.7rem;font-weight:800}.plan-status-accent{border-color:var(--cobalt);color:var(--cobalt);background:var(--cobalt-wash)}.plan-price{flex-direction:column;margin:44px 0 0;display:flex}.plan-price strong{font-family:var(--font-display);letter-spacing:-.055em;font-size:clamp(3.4rem,7vw,5.4rem);font-weight:500;line-height:.92}.plan-price span,.annual-price{color:var(--ink-soft);font-size:.86rem}.annual-price{min-height:2.7em;margin:10px 0 0}.plan-features{gap:0;margin:32px 0 38px;padding:0;list-style:none;display:grid}.plan-features li{border-top:1px solid var(--rule);color:var(--ink-soft);padding:12px 0 12px 24px;position:relative}.plan-features li:before{background:var(--verified);content:"";border-radius:50%;width:8px;height:8px;position:absolute;top:17px;left:2px}.plan-action,.plan-actions{margin-top:auto}.plan-action{width:fit-content;text-decoration:none}.plan-actions{flex-wrap:wrap;gap:10px;display:flex}.plan-actions .primary-button,.plan-actions .secondary-button{flex:170px;min-width:0}.pricing-notice,.pricing-principle{grid-template-columns:minmax(180px,.65fr) minmax(0,1.35fr);column-gap:clamp(34px,8vw,104px);padding:clamp(42px,7vw,76px) 0;display:grid}.pricing-notice{border-bottom:1px solid var(--rule)}.pricing-notice .eyebrow{grid-column:1/-1}.pricing-notice p:last-child,.pricing-principle p{max-width:62ch;color:var(--ink-soft);margin:0}.coming-soon-dialog{border:1px solid var(--ink);width:min(100% - 32px,560px);color:var(--ink);background:var(--paper-bright);padding:34px;box-shadow:14px 14px #123fc32e}.coming-soon-dialog::backdrop{backdrop-filter:blur(2px);background:#161d2c8a}.coming-soon-dialog .dialog-rule{background:var(--cobalt);width:74px;height:4px;margin-bottom:24px}.coming-soon-dialog>p:not(.eyebrow){color:var(--ink-soft)}.dialog-actions{flex-wrap:wrap;gap:10px;margin-top:28px;display:flex}.dialog-actions a{text-decoration:none}.not-found{min-height:calc(100svh - var(--header-height));text-align:center;place-items:center;padding:60px 24px;display:grid}.not-found strong{color:var(--cobalt);font-family:var(--font-display);letter-spacing:-.07em;font-size:clamp(5rem,16vw,11rem);font-weight:500;line-height:.85;display:block}.not-found h1{font-family:var(--font-display);margin:24px 0 8px;font-size:2rem}.not-found p{color:var(--ink-soft);margin:0 0 25px}@keyframes rise-in{0%{transform:translateY(18px)}to{transform:translateY(0)}}@keyframes reveal-up{0%{opacity:0;transform:translateY(7px)}to{opacity:1;transform:translateY(0)}}@keyframes proof-line{0%{transform:scaleY(0)}to{transform:scaleY(1)}}@keyframes spin{to{transform:rotate(1turn)}}@media (width<=980px){.hero{grid-template-columns:1fr;gap:52px;min-height:auto;padding-top:58px}.hero-copy{grid-template-columns:1fr 1fr;align-items:end;column-gap:38px;padding-top:0;display:grid}.hero-copy .eyebrow{grid-column:1/-1}.hero h1{max-width:8ch;font-size:clamp(4.2rem,13vw,7rem)}.hero-ledger{display:none}.hero-lede{margin-top:0}.hero-trust{grid-column:2;margin-top:18px}.proof-strip-inner{grid-template-columns:1fr}.footer-inner{grid-template-columns:1fr auto}.footer-copy{grid-column:1/-1}}@media (width<=720px){:root{--header-height:64px}.site-header,.site-footer,.hero,.proof-strip,.examples-section,.beta-boundary{width:min(calc(100% - 32px), var(--max))}.site-header nav a:nth-child(n+3){display:none}.site-header nav{gap:0}.site-header nav a{min-height:44px;padding:11px 0 11px 18px}.hero{gap:24px;padding-top:24px;padding-bottom:58px}.hero-copy{display:block}.hero h1{max-width:none;font-size:clamp(3.2rem,16vw,4.35rem);line-height:.92}.hero-lede{max-width:34ch;margin-top:14px}.hero-trust{max-width:40ch;margin-top:14px}.solver-shell{min-height:0;padding:22px 18px}.solver-progress{margin-bottom:19px}.solver-meta{align-items:flex-start}.solver-version{display:none}.math-input-wrap math-field{min-height:69px;font-size:1.85rem}.math-keypad{grid-template-columns:repeat(8,1fr)}.math-keypad button{grid-column:span 2;min-height:48px}.math-keypad button:nth-child(5){grid-column:2/span 2}.solver-actions,.copy-actions{align-items:stretch}.primary-button{flex:1}.proof-strip{padding:66px 0 75px}.proof-definition>div{grid-template-columns:1fr;gap:8px}.workflow-section{padding-top:68px;padding-bottom:68px}.workflow-header{margin-bottom:42px;display:block}.workflow-header p{margin-top:18px}.proof-demo{display:block}.proof-demo li,.proof-demo li+li{border-bottom:1px solid #ffffff38;border-right:0;min-height:0;padding:24px 0 28px}.proof-demo .static-formula{min-height:auto;margin-top:28px}.examples-section{padding-top:76px}.example-line{grid-template-columns:1fr auto}.example-line p{grid-area:2/1/auto/-1}.feedback-actions{grid-template-columns:1fr 1fr;display:grid}.feedback-actions button:last-child{grid-column:1/-1}.site-footer nav a{align-items:center;min-height:44px;display:inline-flex}.beta-boundary{grid-template-columns:1fr;gap:12px}.content-page{width:min(100% - 32px,980px);padding-top:66px;display:block}.content-page h1{margin-bottom:48px;position:static}.pricing-page{width:min(100% - 32px,1120px);padding-top:58px}.pricing-hero,.pricing-grid,.section-intro,.pricing-offer,.pricing-notice,.pricing-principle{grid-template-columns:1fr}.pricing-hero{gap:24px}.pricing-hero h1{max-width:none;font-size:clamp(3.1rem,15vw,4.5rem)}.pricing-hero-action{grid-column:auto}.section-intro{gap:18px}.capability-row{grid-template-columns:46px minmax(0,1fr);gap:14px}.capability-heading{justify-content:start;display:grid}.capability-details,.boundary-grid{grid-template-columns:1fr}.boundary-grid article{padding:30px 20px}.boundary-grid article+article{border-top:1px solid var(--rule);border-left:0}.pricing-offer{padding:34px 22px}.pricing-grid{margin-top:58px;display:block}.pricing-card{padding:34px 20px 38px}.pricing-card+.pricing-card{border-top:1px solid var(--rule);border-left:0}.pricing-notice,.pricing-principle{gap:18px}.pricing-notice .eyebrow{grid-column:auto}.coming-soon-dialog{padding:26px 22px}.dialog-actions{display:grid}.site-footer{padding-top:40px}.footer-inner{grid-template-columns:1fr}.site-footer nav{grid-template-columns:repeat(2,max-content);display:grid}.footer-copy{grid-column:auto}}@media (prefers-reduced-motion:reduce){html{scroll-behavior:auto}*,:before,:after{scroll-behavior:auto!important;transition-duration:.01ms!important;animation-duration:.01ms!important;animation-iteration-count:1!important}}@font-face{font-display:block;font-family:KaTeX_AMS;font-style:normal;font-weight:400;src:url(/_astro/KaTeX_AMS-Regular.BQhdFMY1.woff2)format("woff2"),url(/_astro/KaTeX_AMS-Regular.DMm9YOAa.woff)format("woff"),url(/_astro/KaTeX_AMS-Regular.DRggAlZN.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Caligraphic;font-style:normal;font-weight:700;src:url(/_astro/KaTeX_Caligraphic-Bold.Dq_IR9rO.woff2)format("woff2"),url(/_astro/KaTeX_Caligraphic-Bold.BEiXGLvX.woff)format("woff"),url(/_astro/KaTeX_Caligraphic-Bold.ATXxdsX0.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Caligraphic;font-style:normal;font-weight:400;src:url(/_astro/KaTeX_Caligraphic-Regular.Di6jR-x-.woff2)format("woff2"),url(/_astro/KaTeX_Caligraphic-Regular.CTRA-rTL.woff)format("woff"),url(/_astro/KaTeX_Caligraphic-Regular.wX97UBjC.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Fraktur;font-style:normal;font-weight:700;src:url(/_astro/KaTeX_Fraktur-Bold.CL6g_b3V.woff2)format("woff2"),url(/_astro/KaTeX_Fraktur-Bold.BsDP51OF.woff)format("woff"),url(/_astro/KaTeX_Fraktur-Bold.BdnERNNW.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Fraktur;font-style:normal;font-weight:400;src:url(/_astro/KaTeX_Fraktur-Regular.CTYiF6lA.woff2)format("woff2"),url(/_astro/KaTeX_Fraktur-Regular.Dxdc4cR9.woff)format("woff"),url(/_astro/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(/_astro/KaTeX_Main-Bold.Cx986IdX.woff2)format("woff2"),url(/_astro/KaTeX_Main-Bold.Jm3AIy58.woff)format("woff"),url(/_astro/KaTeX_Main-Bold.waoOVXN0.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:italic;font-weight:700;src:url(/_astro/KaTeX_Main-BoldItalic.DxDJ3AOS.woff2)format("woff2"),url(/_astro/KaTeX_Main-BoldItalic.SpSLRI95.woff)format("woff"),url(/_astro/KaTeX_Main-BoldItalic.DzxPMmG6.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:italic;font-weight:400;src:url(/_astro/KaTeX_Main-Italic.NWA7e6Wa.woff2)format("woff2"),url(/_astro/KaTeX_Main-Italic.BMLOBm91.woff)format("woff"),url(/_astro/KaTeX_Main-Italic.3WenGoN9.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:normal;font-weight:400;src:url(/_astro/KaTeX_Main-Regular.B22Nviop.woff2)format("woff2"),url(/_astro/KaTeX_Main-Regular.Dr94JaBh.woff)format("woff"),url(/_astro/KaTeX_Main-Regular.ypZvNtVU.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Math;font-style:italic;font-weight:700;src:url(/_astro/KaTeX_Math-BoldItalic.CZnvNsCZ.woff2)format("woff2"),url(/_astro/KaTeX_Math-BoldItalic.iY-2wyZ7.woff)format("woff"),url(/_astro/KaTeX_Math-BoldItalic.B3XSjfu4.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Math;font-style:italic;font-weight:400;src:url(/_astro/KaTeX_Math-Italic.t53AETM-.woff2)format("woff2"),url(/_astro/KaTeX_Math-Italic.DA0__PXp.woff)format("woff"),url(/_astro/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(/_astro/KaTeX_SansSerif-Bold.D1sUS0GD.woff2)format("woff2"),url(/_astro/KaTeX_SansSerif-Bold.DbIhKOiC.woff)format("woff"),url(/_astro/KaTeX_SansSerif-Bold.CFMepnvq.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_SansSerif;font-style:italic;font-weight:400;src:url(/_astro/KaTeX_SansSerif-Italic.C3H0VqGB.woff2)format("woff2"),url(/_astro/KaTeX_SansSerif-Italic.DN2j7dab.woff)format("woff"),url(/_astro/KaTeX_SansSerif-Italic.YYjJ1zSn.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_SansSerif;font-style:normal;font-weight:400;src:url(/_astro/KaTeX_SansSerif-Regular.DDBCnlJ7.woff2)format("woff2"),url(/_astro/KaTeX_SansSerif-Regular.CS6fqUqJ.woff)format("woff"),url(/_astro/KaTeX_SansSerif-Regular.BNo7hRIc.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Script;font-style:normal;font-weight:400;src:url(/_astro/KaTeX_Script-Regular.D3wIWfF6.woff2)format("woff2"),url(/_astro/KaTeX_Script-Regular.D5yQViql.woff)format("woff"),url(/_astro/KaTeX_Script-Regular.C5JkGWo-.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size1;font-style:normal;font-weight:400;src:url(/_astro/KaTeX_Size1-Regular.mCD8mA8B.woff2)format("woff2"),url(/_astro/KaTeX_Size1-Regular.C195tn64.woff)format("woff"),url(/_astro/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(/_astro/KaTeX_Size2-Regular.Dy4dx90m.woff2)format("woff2"),url(/_astro/KaTeX_Size2-Regular.oD1tc_U0.woff)format("woff"),url(/_astro/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(/_astro/KaTeX_Size3-Regular.CTq5MqoE.woff)format("woff"),url(/_astro/KaTeX_Size3-Regular.DgpXs0kz.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size4;font-style:normal;font-weight:400;src:url(/_astro/KaTeX_Size4-Regular.Dl5lxZxV.woff2)format("woff2"),url(/_astro/KaTeX_Size4-Regular.BF-4gkZK.woff)format("woff"),url(/_astro/KaTeX_Size4-Regular.DWFBv043.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Typewriter;font-style:normal;font-weight:400;src:url(/_astro/KaTeX_Typewriter-Regular.CO6r4hn1.woff2)format("woff2"),url(/_astro/KaTeX_Typewriter-Regular.C0xS9mPB.woff)format("woff"),url(/_astro/KaTeX_Typewriter-Regular.D3Ib7_Hf.ttf)format("truetype")}.katex{text-indent:0;text-rendering:auto;font:1.21em/1.2 KaTeX_Main,math,Times New Roman,serif;position:relative}.katex *{border-color:currentColor;-ms-high-contrast-adjust:none!important}.katex .katex-version:after{content:"0.19.0"}.katex .katex-mathml{-webkit-clip-path:inset(50%);clip-path:inset(50%);border:0;width:1px;height:1px;padding:0;position:absolute;overflow:hidden}.katex .katex-html>.katex-newline{display:block}.katex .katex-base{white-space:nowrap;width:min-content;position:relative}.katex .katex-base,.katex .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;table-layout:fixed;display:inline-table}.katex .vlist-r{display:table-row}.katex .vlist{vertical-align:bottom;display:table-cell;position:relative}.katex .vlist>span{height:0;display:block;position:relative}.katex .vlist>span>span{display:inline-block}.katex .vlist>span>.pstrut{width:0;overflow:hidden}.katex .vlist-t2{margin-right:-2px}.katex .vlist-s{vertical-align:bottom;width:2px;min-width:2px;font-size:1px;display:table-cell}.katex .katex-vbox{flex-direction:column;align-items:baseline;display:inline-flex}.katex .katex-thinbox{flex-direction:row;width:0;max-width:0;display:inline-flex}.katex .msupsub{text-align:left}.katex .mfrac>span>span{text-align:center}.katex .mfrac .frac-line{border-bottom-style:solid;width:100%;display:inline-block}.katex .katex-hdashline,.katex .katex-hline,.katex .katex-overline .overline-line,.katex .katex-rule,.katex .katex-underline .underline-line,.katex .mfrac .frac-line{min-height:1px}.katex .mspace{display:inline-block}.katex .katex-smash{line-height:0;display:inline}.katex .clap,.katex .llap,.katex .rlap{width:0;position:relative}.katex .clap>.katex-inner,.katex .llap>.katex-inner,.katex .rlap>.katex-inner{position:absolute}.katex .clap>.katex-fix,.katex .llap>.katex-fix,.katex .rlap>.katex-fix{display:inline-block}.katex .llap>.katex-inner{right:0}.katex .clap>.katex-inner,.katex .rlap>.katex-inner{left:0}.katex .clap>.katex-inner>span{margin-left:-50%;margin-right:50%}.katex .katex-rule{border:0 solid;display:inline-block;position:relative}.katex .katex-hline,.katex .katex-overline .overline-line,.katex .katex-underline .underline-line{border-bottom-style:solid;width:100%;display:inline-block}.katex .katex-hdashline{border-bottom-style:dashed;width:100%;display:inline-block}.katex .sqrt>.katex-root{margin-left:.277778em;margin-right:-.555556em}.katex .fontsize-ensurer.reset-size1.size1,.katex .katex-sizing.reset-size1.size1{font-size:1em}.katex .fontsize-ensurer.reset-size1.size2,.katex .katex-sizing.reset-size1.size2{font-size:1.2em}.katex .fontsize-ensurer.reset-size1.size3,.katex .katex-sizing.reset-size1.size3{font-size:1.4em}.katex .fontsize-ensurer.reset-size1.size4,.katex .katex-sizing.reset-size1.size4{font-size:1.6em}.katex .fontsize-ensurer.reset-size1.size5,.katex .katex-sizing.reset-size1.size5{font-size:1.8em}.katex .fontsize-ensurer.reset-size1.size6,.katex .katex-sizing.reset-size1.size6{font-size:2em}.katex .fontsize-ensurer.reset-size1.size7,.katex .katex-sizing.reset-size1.size7{font-size:2.4em}.katex .fontsize-ensurer.reset-size1.size8,.katex .katex-sizing.reset-size1.size8{font-size:2.88em}.katex .fontsize-ensurer.reset-size1.size9,.katex .katex-sizing.reset-size1.size9{font-size:3.456em}.katex .fontsize-ensurer.reset-size1.size10,.katex .katex-sizing.reset-size1.size10{font-size:4.148em}.katex .fontsize-ensurer.reset-size1.size11,.katex .katex-sizing.reset-size1.size11{font-size:4.976em}.katex .fontsize-ensurer.reset-size2.size1,.katex .katex-sizing.reset-size2.size1{font-size:.833333em}.katex .fontsize-ensurer.reset-size2.size2,.katex .katex-sizing.reset-size2.size2{font-size:1em}.katex .fontsize-ensurer.reset-size2.size3,.katex .katex-sizing.reset-size2.size3{font-size:1.16667em}.katex .fontsize-ensurer.reset-size2.size4,.katex .katex-sizing.reset-size2.size4{font-size:1.33333em}.katex .fontsize-ensurer.reset-size2.size5,.katex .katex-sizing.reset-size2.size5{font-size:1.5em}.katex .fontsize-ensurer.reset-size2.size6,.katex .katex-sizing.reset-size2.size6{font-size:1.66667em}.katex .fontsize-ensurer.reset-size2.size7,.katex .katex-sizing.reset-size2.size7{font-size:2em}.katex .fontsize-ensurer.reset-size2.size8,.katex .katex-sizing.reset-size2.size8{font-size:2.4em}.katex .fontsize-ensurer.reset-size2.size9,.katex .katex-sizing.reset-size2.size9{font-size:2.88em}.katex .fontsize-ensurer.reset-size2.size10,.katex .katex-sizing.reset-size2.size10{font-size:3.45667em}.katex .fontsize-ensurer.reset-size2.size11,.katex .katex-sizing.reset-size2.size11{font-size:4.14667em}.katex .fontsize-ensurer.reset-size3.size1,.katex .katex-sizing.reset-size3.size1{font-size:.714286em}.katex .fontsize-ensurer.reset-size3.size2,.katex .katex-sizing.reset-size3.size2{font-size:.857143em}.katex .fontsize-ensurer.reset-size3.size3,.katex .katex-sizing.reset-size3.size3{font-size:1em}.katex .fontsize-ensurer.reset-size3.size4,.katex .katex-sizing.reset-size3.size4{font-size:1.14286em}.katex .fontsize-ensurer.reset-size3.size5,.katex .katex-sizing.reset-size3.size5{font-size:1.28571em}.katex .fontsize-ensurer.reset-size3.size6,.katex .katex-sizing.reset-size3.size6{font-size:1.42857em}.katex .fontsize-ensurer.reset-size3.size7,.katex .katex-sizing.reset-size3.size7{font-size:1.71429em}.katex .fontsize-ensurer.reset-size3.size8,.katex .katex-sizing.reset-size3.size8{font-size:2.05714em}.katex .fontsize-ensurer.reset-size3.size9,.katex .katex-sizing.reset-size3.size9{font-size:2.46857em}.katex .fontsize-ensurer.reset-size3.size10,.katex .katex-sizing.reset-size3.size10{font-size:2.96286em}.katex .fontsize-ensurer.reset-size3.size11,.katex .katex-sizing.reset-size3.size11{font-size:3.55429em}.katex .fontsize-ensurer.reset-size4.size1,.katex .katex-sizing.reset-size4.size1{font-size:.625em}.katex .fontsize-ensurer.reset-size4.size2,.katex .katex-sizing.reset-size4.size2{font-size:.75em}.katex .fontsize-ensurer.reset-size4.size3,.katex .katex-sizing.reset-size4.size3{font-size:.875em}.katex .fontsize-ensurer.reset-size4.size4,.katex .katex-sizing.reset-size4.size4{font-size:1em}.katex .fontsize-ensurer.reset-size4.size5,.katex .katex-sizing.reset-size4.size5{font-size:1.125em}.katex .fontsize-ensurer.reset-size4.size6,.katex .katex-sizing.reset-size4.size6{font-size:1.25em}.katex .fontsize-ensurer.reset-size4.size7,.katex .katex-sizing.reset-size4.size7{font-size:1.5em}.katex .fontsize-ensurer.reset-size4.size8,.katex .katex-sizing.reset-size4.size8{font-size:1.8em}.katex .fontsize-ensurer.reset-size4.size9,.katex .katex-sizing.reset-size4.size9{font-size:2.16em}.katex .fontsize-ensurer.reset-size4.size10,.katex .katex-sizing.reset-size4.size10{font-size:2.5925em}.katex .fontsize-ensurer.reset-size4.size11,.katex .katex-sizing.reset-size4.size11{font-size:3.11em}.katex .fontsize-ensurer.reset-size5.size1,.katex .katex-sizing.reset-size5.size1{font-size:.555556em}.katex .fontsize-ensurer.reset-size5.size2,.katex .katex-sizing.reset-size5.size2{font-size:.666667em}.katex .fontsize-ensurer.reset-size5.size3,.katex .katex-sizing.reset-size5.size3{font-size:.777778em}.katex .fontsize-ensurer.reset-size5.size4,.katex .katex-sizing.reset-size5.size4{font-size:.888889em}.katex .fontsize-ensurer.reset-size5.size5,.katex .katex-sizing.reset-size5.size5{font-size:1em}.katex .fontsize-ensurer.reset-size5.size6,.katex .katex-sizing.reset-size5.size6{font-size:1.11111em}.katex .fontsize-ensurer.reset-size5.size7,.katex .katex-sizing.reset-size5.size7{font-size:1.33333em}.katex .fontsize-ensurer.reset-size5.size8,.katex .katex-sizing.reset-size5.size8{font-size:1.6em}.katex .fontsize-ensurer.reset-size5.size9,.katex .katex-sizing.reset-size5.size9{font-size:1.92em}.katex .fontsize-ensurer.reset-size5.size10,.katex .katex-sizing.reset-size5.size10{font-size:2.30444em}.katex .fontsize-ensurer.reset-size5.size11,.katex .katex-sizing.reset-size5.size11{font-size:2.76444em}.katex .fontsize-ensurer.reset-size6.size1,.katex .katex-sizing.reset-size6.size1{font-size:.5em}.katex .fontsize-ensurer.reset-size6.size2,.katex .katex-sizing.reset-size6.size2{font-size:.6em}.katex .fontsize-ensurer.reset-size6.size3,.katex .katex-sizing.reset-size6.size3{font-size:.7em}.katex .fontsize-ensurer.reset-size6.size4,.katex .katex-sizing.reset-size6.size4{font-size:.8em}.katex .fontsize-ensurer.reset-size6.size5,.katex .katex-sizing.reset-size6.size5{font-size:.9em}.katex .fontsize-ensurer.reset-size6.size6,.katex .katex-sizing.reset-size6.size6{font-size:1em}.katex .fontsize-ensurer.reset-size6.size7,.katex .katex-sizing.reset-size6.size7{font-size:1.2em}.katex .fontsize-ensurer.reset-size6.size8,.katex .katex-sizing.reset-size6.size8{font-size:1.44em}.katex .fontsize-ensurer.reset-size6.size9,.katex .katex-sizing.reset-size6.size9{font-size:1.728em}.katex .fontsize-ensurer.reset-size6.size10,.katex .katex-sizing.reset-size6.size10{font-size:2.074em}.katex .fontsize-ensurer.reset-size6.size11,.katex .katex-sizing.reset-size6.size11{font-size:2.488em}.katex .fontsize-ensurer.reset-size7.size1,.katex .katex-sizing.reset-size7.size1{font-size:.416667em}.katex .fontsize-ensurer.reset-size7.size2,.katex .katex-sizing.reset-size7.size2{font-size:.5em}.katex .fontsize-ensurer.reset-size7.size3,.katex .katex-sizing.reset-size7.size3{font-size:.583333em}.katex .fontsize-ensurer.reset-size7.size4,.katex .katex-sizing.reset-size7.size4{font-size:.666667em}.katex .fontsize-ensurer.reset-size7.size5,.katex .katex-sizing.reset-size7.size5{font-size:.75em}.katex .fontsize-ensurer.reset-size7.size6,.katex .katex-sizing.reset-size7.size6{font-size:.833333em}.katex .fontsize-ensurer.reset-size7.size7,.katex .katex-sizing.reset-size7.size7{font-size:1em}.katex .fontsize-ensurer.reset-size7.size8,.katex .katex-sizing.reset-size7.size8{font-size:1.2em}.katex .fontsize-ensurer.reset-size7.size9,.katex .katex-sizing.reset-size7.size9{font-size:1.44em}.katex .fontsize-ensurer.reset-size7.size10,.katex .katex-sizing.reset-size7.size10{font-size:1.72833em}.katex .fontsize-ensurer.reset-size7.size11,.katex .katex-sizing.reset-size7.size11{font-size:2.07333em}.katex .fontsize-ensurer.reset-size8.size1,.katex .katex-sizing.reset-size8.size1{font-size:.347222em}.katex .fontsize-ensurer.reset-size8.size2,.katex .katex-sizing.reset-size8.size2{font-size:.416667em}.katex .fontsize-ensurer.reset-size8.size3,.katex .katex-sizing.reset-size8.size3{font-size:.486111em}.katex .fontsize-ensurer.reset-size8.size4,.katex .katex-sizing.reset-size8.size4{font-size:.555556em}.katex .fontsize-ensurer.reset-size8.size5,.katex .katex-sizing.reset-size8.size5{font-size:.625em}.katex .fontsize-ensurer.reset-size8.size6,.katex .katex-sizing.reset-size8.size6{font-size:.694444em}.katex .fontsize-ensurer.reset-size8.size7,.katex .katex-sizing.reset-size8.size7{font-size:.833333em}.katex .fontsize-ensurer.reset-size8.size8,.katex .katex-sizing.reset-size8.size8{font-size:1em}.katex .fontsize-ensurer.reset-size8.size9,.katex .katex-sizing.reset-size8.size9{font-size:1.2em}.katex .fontsize-ensurer.reset-size8.size10,.katex .katex-sizing.reset-size8.size10{font-size:1.44028em}.katex .fontsize-ensurer.reset-size8.size11,.katex .katex-sizing.reset-size8.size11{font-size:1.72778em}.katex .fontsize-ensurer.reset-size9.size1,.katex .katex-sizing.reset-size9.size1{font-size:.289352em}.katex .fontsize-ensurer.reset-size9.size2,.katex .katex-sizing.reset-size9.size2{font-size:.347222em}.katex .fontsize-ensurer.reset-size9.size3,.katex .katex-sizing.reset-size9.size3{font-size:.405093em}.katex .fontsize-ensurer.reset-size9.size4,.katex .katex-sizing.reset-size9.size4{font-size:.462963em}.katex .fontsize-ensurer.reset-size9.size5,.katex .katex-sizing.reset-size9.size5{font-size:.520833em}.katex .fontsize-ensurer.reset-size9.size6,.katex .katex-sizing.reset-size9.size6{font-size:.578704em}.katex .fontsize-ensurer.reset-size9.size7,.katex .katex-sizing.reset-size9.size7{font-size:.694444em}.katex .fontsize-ensurer.reset-size9.size8,.katex .katex-sizing.reset-size9.size8{font-size:.833333em}.katex .fontsize-ensurer.reset-size9.size9,.katex .katex-sizing.reset-size9.size9{font-size:1em}.katex .fontsize-ensurer.reset-size9.size10,.katex .katex-sizing.reset-size9.size10{font-size:1.20023em}.katex .fontsize-ensurer.reset-size9.size11,.katex .katex-sizing.reset-size9.size11{font-size:1.43981em}.katex .fontsize-ensurer.reset-size10.size1,.katex .katex-sizing.reset-size10.size1{font-size:.24108em}.katex .fontsize-ensurer.reset-size10.size2,.katex .katex-sizing.reset-size10.size2{font-size:.289296em}.katex .fontsize-ensurer.reset-size10.size3,.katex .katex-sizing.reset-size10.size3{font-size:.337512em}.katex .fontsize-ensurer.reset-size10.size4,.katex .katex-sizing.reset-size10.size4{font-size:.385728em}.katex .fontsize-ensurer.reset-size10.size5,.katex .katex-sizing.reset-size10.size5{font-size:.433944em}.katex .fontsize-ensurer.reset-size10.size6,.katex .katex-sizing.reset-size10.size6{font-size:.48216em}.katex .fontsize-ensurer.reset-size10.size7,.katex .katex-sizing.reset-size10.size7{font-size:.578592em}.katex .fontsize-ensurer.reset-size10.size8,.katex .katex-sizing.reset-size10.size8{font-size:.694311em}.katex .fontsize-ensurer.reset-size10.size9,.katex .katex-sizing.reset-size10.size9{font-size:.833173em}.katex .fontsize-ensurer.reset-size10.size10,.katex .katex-sizing.reset-size10.size10{font-size:1em}.katex .fontsize-ensurer.reset-size10.size11,.katex .katex-sizing.reset-size10.size11{font-size:1.19961em}.katex .fontsize-ensurer.reset-size11.size1,.katex .katex-sizing.reset-size11.size1{font-size:.200965em}.katex .fontsize-ensurer.reset-size11.size2,.katex .katex-sizing.reset-size11.size2{font-size:.241158em}.katex .fontsize-ensurer.reset-size11.size3,.katex .katex-sizing.reset-size11.size3{font-size:.281351em}.katex .fontsize-ensurer.reset-size11.size4,.katex .katex-sizing.reset-size11.size4{font-size:.321543em}.katex .fontsize-ensurer.reset-size11.size5,.katex .katex-sizing.reset-size11.size5{font-size:.361736em}.katex .fontsize-ensurer.reset-size11.size6,.katex .katex-sizing.reset-size11.size6{font-size:.401929em}.katex .fontsize-ensurer.reset-size11.size7,.katex .katex-sizing.reset-size11.size7{font-size:.482315em}.katex .fontsize-ensurer.reset-size11.size8,.katex .katex-sizing.reset-size11.size8{font-size:.578778em}.katex .fontsize-ensurer.reset-size11.size9,.katex .katex-sizing.reset-size11.size9{font-size:.694534em}.katex .fontsize-ensurer.reset-size11.size10,.katex .katex-sizing.reset-size11.size10{font-size:.833601em}.katex .fontsize-ensurer.reset-size11.size11,.katex .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{width:.12em;display:inline-block}.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 .katex-accent>.vlist-t,.katex .op-limits>.vlist-t{text-align:center}.katex .katex-accent .accent-body{position:relative}.katex .katex-accent .accent-body:not(.accent-full){width:0}.katex .katex-overlay{display:block}.katex .mtable .vertical-separator{min-width:1px;display:inline-block}.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;height:inherit;width:100%;display:block;position:absolute}.katex svg path{stroke:none}.katex svg{fill-rule:nonzero;fill-opacity:1;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1}.katex img{border-style:none;min-width:0;max-width:none;min-height:0;max-height:none}.katex .katex-stretchy{width:100%;display:block;position:relative;overflow:hidden}.katex .katex-stretchy:after,.katex .katex-stretchy:before{content:""}.katex .hide-tail{width:100%;position:relative;overflow:hidden}.katex .halfarrow-left{width:50.2%;position:absolute;left:0;overflow:hidden}.katex .halfarrow-right{width:50.2%;position:absolute;right:0;overflow:hidden}.katex .brace-left{width:25.1%;position:absolute;left:0;overflow:hidden}.katex .brace-center{width:50%;position:absolute;left:25%;overflow:hidden}.katex .brace-right{width:25.1%;position:absolute;right:0;overflow:hidden}.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{box-sizing:border-box;border:.04em solid}.katex .cancel-pad{padding:0 .2em}.katex .cancel-lap{margin-left:-.2em;margin-right:-.2em}.katex .katex-sout{border-bottom-style:solid;border-bottom-width:.08em}.katex .angl{box-sizing:border-box;border-top:.049em solid;border-right:.049em solid;margin-right:.03889em}.katex .anglpad{padding:0 .03889em}.katex .reflectbox{display:inline-block;transform:scaleX(-1)}.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{text-align:left;display:inline-block;position:absolute;right:calc(50% + .3em)}.katex .cd-label-right{text-align:right;display:inline-block;position:absolute;left:calc(50% + .3em)}.katex-display{text-align:center;margin:1em 0;display:block}.katex-display>.katex{text-align:center;white-space:nowrap;display:block}.katex-display>.katex>.katex-html{display:block;position:relative}.katex-display>.katex>.katex-html>.katex-tag{position:absolute;right:0}.katex-display.leqno>.katex>.katex-html>.katex-tag{left:0;right:auto}.katex-display.fleqn>.katex{text-align:left;padding-left:2em}body{counter-reset:katexEqnNo mmlEqnNo}