.pg-page{--pg-muted:#9bb3bd;--pg-green:#dfff00;color:#e7e9ed;background:radial-gradient(at 45% 20%,#0d2129 0,#0000 48%);max-width:1720px;margin:auto;padding:0 34px 32px;font-size:16px;line-height:1.5}.pg-page a{text-decoration:none}.pg-page button{font-size:14px}.pg-header{border-bottom:1px solid #aab3be23;justify-content:space-between;align-items:center;gap:20px;height:78px;display:flex}.pg-back{color:#cdd2d7;letter-spacing:1.4px;align-items:center;gap:12px;font-size:13px;display:flex}.pg-back:hover{color:#dfff00}.pg-brand{letter-spacing:2px;font-size:14px}.pg-brand i{color:#525a62;margin:0 12px;font-style:normal}.pg-header-note{color:var(--pg-muted);font-size:13px}.pg-heading{justify-content:space-between;align-items:center;gap:24px;padding:25px 0 24px;display:flex}.pg-kicker{letter-spacing:1.8px;color:#aab3be;font-size:12px}.pg-heading h1{letter-spacing:-1px;margin:3px 0 5px;font-size:34px;font-weight:400}.pg-heading p{color:var(--pg-muted);margin:0;font-size:16px}.pg-identity{color:#e7e9ed;white-space:nowrap;font:italic 31px Georgia,serif}.pg-identity span{color:#7f8b98;margin:0 8px}.pg-panel{background:#0a171fc7;border:1px solid #7f8b9833;border-radius:15px;min-width:0}.pg-panel h2{letter-spacing:-.25px;margin:12px 0 18px;font-size:20px;font-weight:400}.pg-panel-label{color:#aab3be;letter-spacing:1px;justify-content:space-between;align-items:center;gap:8px;font-size:12px;display:flex}.pg-workspace{grid-template-columns:235px minmax(300px,1fr) 290px;gap:14px;display:grid}.pg-data,.pg-results{padding:21px}.pg-data [data-slot=select-trigger]{background:#15252b;width:100%;min-height:40px;font-size:14px}.pg-matrix-label{color:#d3d9df;margin:19px 0 10px;font:16px Georgia,serif}.pg-matrix{border-left:1px solid #7f8b98;border-right:1px solid #7f8b98;margin:0 4px;padding:3px 12px}.pg-matrix>div{text-align:right;grid-template-columns:1.2fr 1fr 1fr 1fr;font:14px/1.75 monospace;display:grid}.pg-matrix span{color:#7f8b98;text-align:left}.pg-matrix b{font-weight:400}.pg-positive{color:#d3d9df;align-items:flex-start;gap:7px;margin-top:17px;font-size:14px;display:flex}.pg-positive svg{margin-top:2px}.pg-positive small{color:#aab3be;margin-top:3px;font-size:12px;display:block}.pg-divider{background:#aab3be1e;height:1px;margin:18px 0}.pg-label{color:var(--pg-muted);margin-bottom:8px;font-size:14px;display:block}.pg-decompositions{gap:12px;margin:16px 0;font-size:14px;display:grid}.pg-decompositions b{font-weight:400}.pg-decompositions span{color:#a4bbc3;margin-top:4px;font:13px/1.65 monospace;display:block}.pg-a{color:#d9dec4}.pg-b{color:#92b8ff}.pg-note{color:#91aab6;margin:14px 0 0;font-size:13px;line-height:1.65}.pg-canvas-panel{background:radial-gradient(#1f222766,#0000 65%),#081720;flex-direction:column;display:flex;position:relative;overflow:hidden}.pg-canvas-toolbar{justify-content:space-between;gap:8px;padding:15px 17px;display:flex}.pg-canvas-toolbar [data-slot=tabs-list]{background:#ffffff07;border:1px solid #aab3be26;height:36px}.pg-canvas-toolbar [data-slot=tabs-trigger]{gap:5px;min-width:36px;padding:5px 9px;font-size:14px}.pg-page [data-slot=tabs-trigger][data-state=active]{color:#dfff00;background:#1b2228}.pg-geometry{touch-action:none;cursor:crosshair;outline:none;flex:1;width:100%;min-height:340px;max-height:520px;display:block}.pg-geometry:focus-visible{outline-offset:-2px;outline:1px solid #dfff00}.pg-canvas-footer{color:#cdd2d7;justify-content:space-between;align-items:center;padding:0 18px 8px;font-size:14px;display:flex}.pg-canvas-footer>span{align-items:center;gap:8px;display:flex}.pg-canvas-footer button{color:#aab3be}.pg-legend{color:#8facb2;border-top:1px solid #97c8ad20;flex-wrap:wrap;align-items:center;gap:14px;padding:13px 18px;font-size:12px;display:flex}.pg-legend>span{align-items:center;gap:6px;display:flex}.pg-legend .pg-note{margin:0;font-size:12px}.pg-swatch{background:#a3f8cf;width:13px;height:2px;display:inline-block}.pg-swatch.internal{background:#ff8c84}.pg-y{color:#dfff00;overflow-wrap:anywhere;background:#1f22275e;border-radius:6px;padding:10px;font:13px monospace}.pg-values{gap:18px;margin:20px 0 16px;display:grid}.pg-values>div{flex-direction:column;gap:3px;font-size:16px;display:flex}.pg-values strong{letter-spacing:-1px;font:400 25px monospace}.pg-stable{border-top:1px solid #dfff0027;border-bottom:1px solid #dfff0027;padding:15px 0}.pg-stable>span{color:#aab3be;font-size:14px}.pg-stable strong{color:#d3d9df;margin:6px 0;font:25px monospace;display:block}.pg-stable small{color:#90a9ac;font-size:12px;line-height:1.5;display:block}.pg-error-value{color:#aab3be;justify-content:space-between;gap:10px;margin:16px 0;font-size:12px;display:flex}.pg-error-value b{color:#d3d9df;white-space:nowrap;font:13px monospace}.pg-terms summary{color:#bed2d4;cursor:pointer;justify-content:space-between;align-items:center;margin:18px 0 11px;font-size:14px;display:flex}.pg-terms>div{color:#aab3be;justify-content:space-between;gap:8px;padding:5px 0;font:13px monospace;display:flex}.pg-terms code{font-size:13px}.pg-negative{color:#ff9b8e!important}.pg-surface{touch-action:none;flex:1;width:100%;min-height:420px;position:relative}.pg-surface canvas{width:100%;height:100%;position:absolute;inset:0}.pg-surface-caption{color:#aab3be;pointer-events:none;font-size:12px;position:absolute;bottom:12px;left:18px}.pg-surface>p{max-width:400px;padding:40px}.pg-experiments{grid-template-columns:1fr 1fr;gap:14px;margin:14px 0;display:grid}.pg-pole-lab,.pg-formula-panel{padding:24px 26px}.pg-section-heading{justify-content:space-between;align-items:center;gap:15px;display:flex}.pg-section-heading h2{margin:14px 0 19px}.pg-section-heading button{gap:7px;height:33px}.pg-full-tabs{width:100%;height:40px}.pg-full-tabs [data-slot=tabs-trigger]{flex:1;font-size:14px}.pg-pole-controls{align-items:center;gap:12px;margin:18px 0;display:flex}.pg-pole-controls>output{color:#cdd2d7;margin-left:auto;font:14px monospace}.pg-pole-controls [data-slot=select-trigger]{background:#0d2229;min-width:110px}.pg-pole-controls button{font-size:13px}.pg-range-label{color:#84a0a6;justify-content:space-between;margin:8px 0 0;font-size:12px;display:flex}.pg-chart{width:100%;height:175px;margin:5px 0 0}.pg-chart-key{color:#a0bab8;gap:25px;font-size:12px;display:flex}.pg-chart-key span{align-items:center;gap:7px;display:flex}.pg-chart-key i{background:#a3f8cf;width:20px;height:3px}.pg-explanation{color:#aab3be;margin:13px 0 0;font-size:15px;line-height:1.65}.pg-formula-panel>p,.pg-formula-panel details p{color:#a7bfc7;font-size:15px;line-height:1.7}.pg-triangle-form{background:#10262b78;border-radius:9px;justify-content:center;align-items:center;gap:10px;margin:14px 0;padding:20px 8px;font:20px Georgia,serif;display:flex;overflow:auto}.pg-fraction{text-align:center;white-space:nowrap;flex-direction:column;gap:8px;display:flex}.pg-fraction>span:first-child{border-bottom:1px solid #aab3be;padding-bottom:8px}.pg-fraction>span:last-child{font-size:17px}.pg-equation-line{color:#cdd2d7;overflow-wrap:anywhere;font:19px/1.9 Georgia,serif}.pg-equation-line>span{color:#525a62;margin:0 16px}.pg-boundary-form,.pg-grassmann{border-top:1px solid #7f8b982e;margin-top:18px;padding-top:14px}.pg-boundary-form summary,.pg-grassmann summary{cursor:pointer;color:#d3d9df;font-size:15px}.pg-boundary-form .pg-equation-line{margin-top:14px;font-size:17px}.pg-grassmann summary{justify-content:space-between;gap:12px;display:flex}.pg-grassmann summary span:last-child{color:#aab3be;font:16px Georgia,serif}.pg-c-controls{grid-template-columns:1fr 1fr;gap:18px 22px;margin:20px 0;display:grid}.pg-c-controls label>span{color:#aab3be;justify-content:space-between;margin-bottom:9px;font:15px Georgia,serif;display:flex}.pg-c-controls b{font:400 13px monospace}.pg-proof{padding:26px}.pg-proof-heading{justify-content:space-between;align-items:center;gap:20px;display:flex}.pg-proof-heading h2{margin:8px 0 6px;font-size:24px}.pg-proof-heading p{color:#99b4bd;margin:0;font-size:15px}.pg-proof-actions{align-items:center;gap:9px;display:flex}.pg-proof-actions button{height:43px}.pg-proof-actions button:first-child{color:#171b08;background:#dfff00}.pg-proof-graph{background:#525a6242;border:1px solid #525a6242;border-radius:10px;grid-template-columns:repeat(3,1fr);gap:1px;margin-top:23px;display:grid;overflow:hidden}.pg-proof-node{background:#0c1b22;padding:18px 21px;position:relative}.pg-proof-node>span{letter-spacing:.5px;color:#7f8b98;font:12px monospace}.pg-proof-node h3{letter-spacing:.1px;color:#e7e9ed;margin:8px 0 5px;font-size:19px;font-weight:400}.pg-proof-node p{color:#8ba7b2;margin:0;font-size:13px}.pg-commit{background:#102125}.pg-commit h3{color:#879b9a;margin:13px 0 10px;font:20px monospace}.pg-verified{background:#21252a}.pg-verified h3{color:#d3d9df}.pg-proof-note{color:#819eaa;max-width:1120px;margin:19px 0 0;font-size:13px;line-height:1.7}.pg-proof progress{accent-color:#dfff00;width:100%;height:4px;margin-top:15px}.pg-proof-hash{color:#aab3be;align-items:flex-start;gap:9px;margin-top:22px;font:13px monospace;display:flex}.pg-proof-hash code{overflow-wrap:anywhere;word-break:break-word;display:inline-block}.pg-proof-detail p{color:#a0b9c0;max-width:1120px;font-size:14px;line-height:1.65}.pg-proof-detail button{color:#aab3be;padding-left:0}.pg-evidence{border-top:1px solid #7f8b982e;margin-top:8px}.pg-table-wrap{overflow:auto}.pg-evidence table{border-collapse:collapse;text-align:left;width:100%;font-size:14px}.pg-evidence td,.pg-evidence th{white-space:nowrap;border-bottom:1px solid #7f8b982b;padding:10px 12px}.pg-evidence th{color:#aab3be;font-weight:400}.pg-footer{color:#79929e;align-items:flex-start;gap:45px;padding:24px 6px;font-size:13px;line-height:1.7;display:flex}.pg-footer>p{flex:1;max-width:740px;margin:0}.pg-footer>div{flex-direction:column;gap:8px;margin-left:auto;display:flex}.pg-footer a{color:#aab3be;align-items:center;gap:8px;display:flex}.pg-warning{color:#ffbf83}.pg-page sub{font-size:.68em}.pg-page [data-slot=slider-thumb]{width:16px;height:16px}.pg-page [data-slot=slider-track]{height:4px}@media (min-width:1500px){.pg-workspace{grid-template-columns:260px minmax(300px,1fr) 320px}.pg-geometry{min-height:420px}.pg-values strong,.pg-stable strong{font-size:29px}}@media (max-width:1120px){.pg-page{padding:0 20px 24px}.pg-workspace{grid-template-columns:200px minmax(270px,1fr) 240px;gap:10px}.pg-data,.pg-results{padding:16px}.pg-values strong,.pg-stable strong{font-size:21px}.pg-canvas-toolbar{padding:13px 10px}.pg-geometry{min-height:360px}.pg-header-note{display:none}.pg-heading p{max-width:500px}.pg-identity{font-size:26px}.pg-pole-lab,.pg-formula-panel{padding:20px}.pg-triangle-form{gap:7px;font-size:17px}.pg-fraction>span:last-child{font-size:14px}.pg-section-heading{align-items:flex-start}.pg-section-heading button{margin-top:12px}.pg-error-value{flex-direction:column;gap:4px}}@media (max-width:900px){.pg-workspace{grid-template-columns:1fr 250px}.pg-canvas-panel{grid-area:1/1}.pg-results{grid-area:1/2}.pg-data{grid-column:1/-1;grid-template-columns:1fr 1fr;column-gap:25px;display:grid}.pg-data .pg-panel-label,.pg-data h2,.pg-data>.pg-note{grid-column:1/-1}.pg-data .pg-divider{display:none}.pg-matrix{grid-area:4/2/7}.pg-matrix-label{grid-area:3/2;margin-top:0}.pg-data>.pg-label{margin-top:14px}.pg-decompositions{grid-column:1/-1;gap:30px;display:flex}.pg-experiments{grid-template-columns:1fr}.pg-proof-heading{flex-direction:column;align-items:flex-start}.pg-proof-graph{grid-template-columns:repeat(2,1fr)}.pg-heading .pg-identity{display:none}.pg-proof-hash{font-size:12px}.pg-triangle-form{font-size:22px}.pg-fraction>span:last-child{font-size:18px}.pg-error-value{flex-direction:row}.pg-legend{gap:10px}.pg-geometry{min-height:330px}.pg-canvas-footer{font-size:13px}.pg-surface{min-height:370px}}@media (max-width:600px){.pg-page{padding:0 12px 12px}.pg-header{gap:10px;height:62px}.pg-back{letter-spacing:.8px;gap:7px;font-size:11px}.pg-brand{letter-spacing:1px;font-size:11px}.pg-brand i{margin:0 5px}.pg-heading{padding:21px 5px}.pg-heading h1{font-size:29px}.pg-heading p{max-width:340px;font-size:15px}.pg-kicker{letter-spacing:1.2px;font-size:11px}.pg-workspace{flex-direction:column;gap:12px;display:flex}.pg-canvas-panel{order:0}.pg-results{order:1;padding:19px}.pg-data{order:2;padding:19px}.pg-geometry{min-height:270px;max-height:400px}.pg-canvas-toolbar{padding:12px}.pg-legend{padding:12px;font-size:12px}.pg-legend .pg-note{flex-basis:100%}.pg-canvas-footer{padding:0 12px 5px;font-size:14px}.pg-values{grid-template-columns:1fr 1fr;gap:12px}.pg-values strong{font-size:23px}.pg-stable strong{font-size:27px}.pg-error-value{font-size:13px}.pg-results h2{margin-bottom:13px}.pg-results .pg-note{font-size:13px}.pg-terms>div,.pg-terms code{font-size:14px}.pg-data{grid-template-columns:1fr 1fr;column-gap:14px}.pg-data .pg-matrix{margin:0;padding:3px 9px}.pg-decompositions{gap:14px;display:grid}.pg-experiments{gap:12px;margin:12px 0}.pg-pole-lab,.pg-formula-panel{padding:19px}.pg-section-heading h2{font-size:18px}.pg-section-heading button{margin-top:10px;padding:0 9px;font-size:12px}.pg-full-tabs [data-slot=tabs-trigger]{font-size:13px}.pg-pole-controls{gap:7px}.pg-pole-controls output{font-size:12px}.pg-pole-controls button{padding:0 8px;font-size:12px}.pg-triangle-form{gap:6px;padding:18px 4px;font-size:16px}.pg-fraction>span:last-child{font-size:13px}.pg-equation-line{font-size:18px}.pg-equation-line>span{margin:0 8px}.pg-grassmann summary{font-size:14px}.pg-proof{padding:19px}.pg-proof-actions{gap:7px;width:100%}.pg-proof-actions button{padding:0 10px;font-size:13px}.pg-proof-actions button:first-child{flex:1}.pg-proof-graph{grid-template-columns:1fr}.pg-proof-node{padding:16px 18px}.pg-proof-node h3{font-size:20px}.pg-proof-note{font-size:13px}.pg-footer{flex-direction:column;gap:18px;padding:21px 7px}.pg-footer>div{margin-left:0}.pg-surface{min-height:310px}.pg-chart{height:160px}.pg-c-controls{gap:20px}.pg-matrix>div{font-size:14px}}@media (prefers-reduced-motion:reduce){.pg-page *{scroll-behavior:auto}}

.pg-proof-actions button:first-child:hover:not(:disabled){background:#eaff66;color:#171b08}.pg-page :is(button,a,input,select,summary):focus-visible{outline:2px solid #dfff00;outline-offset:3px}