:root{--ink:#102d3d;--muted:#536775;--teal:#007e72;--aqua:#58d9bb;--line:#cbd8df;--pale:#f1f6f8;--white:#fff;--serif:Georgia,'Times New Roman',serif;--sans:Inter,ui-sans-serif,system-ui,-apple-system,BlinkMacSystemFont,'Segoe UI',sans-serif}*{box-sizing:border-box}html{scroll-behavior:smooth;scroll-padding-top:85px}body{margin:0;background:#fff;color:var(--ink);font:17px/1.65 var(--sans)}a{color:var(--teal);text-underline-offset:4px}button,select{font:inherit}button,a,input,select,summary{-webkit-tap-highlight-color:transparent}button{cursor:pointer}button:disabled{cursor:default}button:focus-visible,a:focus-visible,summary:focus-visible,input:focus-visible,select:focus-visible,iframe:focus-visible{outline:3px solid #de8c27;outline-offset:4px}h1,h2,h3,p{margin-top:0}h1,h2,h3{line-height:1.12;font-weight:500}h1,h2{font-family:var(--serif);letter-spacing:-.028em}h1{font-size:clamp(2.6rem,5.2vw,4.3rem);margin-bottom:25px;max-width:1000px}h2{font-size:clamp(2rem,3.3vw,2.8rem);margin-bottom:24px}h3{font-size:1.36rem;line-height:1.3;font-weight:600}p{margin-bottom:1.1em}p:last-child{margin-bottom:0}sub,sup{font-size:.72em;line-height:0}.math,.equation{font-family:var(--serif);font-size:1.12em;letter-spacing:0}.math{white-space:normal}.equation{font-size:1.42rem;line-height:1.9;overflow-wrap:anywhere}.overline{text-decoration:overline;text-decoration-thickness:1px}.wrap{width:min(1160px,calc(100% - 64px));margin:auto}.topbar{height:70px;display:flex;align-items:center;justify-content:space-between;gap:30px;padding:0 max(32px,calc((100vw - 1160px)/2));border-bottom:1px solid var(--line);background:#fff;position:sticky;top:0;z-index:10}.topbar a{font-size:14px;text-decoration:none;color:var(--ink);white-space:nowrap}.topbar>div{display:flex;gap:25px}.topbar .wordmark{font-family:var(--serif);font-size:20px}.intro{padding:66px 0 46px}.eyebrow,.label{font-size:13px;line-height:1.6;letter-spacing:.08em;text-transform:uppercase;font-weight:650}.eyebrow{color:var(--teal);margin-bottom:18px}.byline{font-size:16px;line-height:1.75;color:var(--muted)}.byline strong{color:var(--ink)}.byline span{margin-left:12px;font-size:14px}.opening{display:flex;align-items:center;justify-content:space-between;gap:40px;margin-top:38px;border-top:1px solid var(--line);padding-top:27px}.opening p{font-size:20px;line-height:1.5;margin:0;max-width:730px}.button{border:1px solid var(--ink);padding:12px 20px;display:inline-flex;gap:18px;align-items:center;justify-content:center;border-radius:4px;font-size:15px;font-weight:600;text-decoration:none;min-height:48px;white-space:nowrap;color:var(--ink)}.button.primary{background:var(--ink);color:#fff}.section{padding:64px 0}.section-label{display:flex;align-items:center;gap:12px;font-size:14px;text-transform:uppercase;letter-spacing:.09em;font-weight:650;margin-bottom:32px;color:var(--muted)}.section-label span{color:var(--teal);font-family:var(--serif);font-size:18px;letter-spacing:0}.text-grid{display:grid;grid-template-columns:1fr 1fr;gap:70px;align-items:start}.classical{border-left:2px solid var(--teal);padding:7px 0 7px 28px;font-size:20px;line-height:1.85}.classical div>span:first-child:not(.math){color:var(--teal);margin-right:9px}.classical p{font:14px/1.55 var(--sans);color:var(--muted);margin-top:20px}.question-box{border-top:1px solid var(--line);border-bottom:1px solid var(--line);margin:36px 0 24px;padding:25px 0;display:grid;grid-template-columns:145px 1fr;gap:28px}.question-box .eyebrow{margin:5px 0 0}.question-box p{font-size:22px;line-height:1.5}.result-section{background:var(--ink);color:#fff}.result-section .section-label,.lemma-section .section-label{color:#b5c6ce}.result-section .section-label span,.result-section a,.result-section .number{color:var(--aqua)}.result-heading{display:grid;grid-template-columns:1.1fr 1fr;gap:60px}.result-heading p{color:#d2e0e6;max-width:470px}.equivalences{list-style:none;padding:0;margin:20px 0 0;display:grid;grid-template-columns:repeat(6,1fr);border-top:1px solid #496471;border-bottom:1px solid #496471}.equivalences li{grid-column:span 2;padding:28px 20px 28px 0;display:flex;gap:20px;border-bottom:1px solid #496471;font-size:17px}.equivalences li:nth-child(4),.equivalences li:nth-child(5){grid-column:span 3;border-bottom:0}.equivalences strong{display:inline-block;margin-bottom:9px;font-size:14px;letter-spacing:.035em;font-weight:600;color:#adc7d1}.number{font-family:var(--serif);font-size:23px;flex:none;width:28px}.equivalences a{font-size:14px}.equivalences em{font-style:normal;font-weight:650;text-decoration:underline;text-decoration-color:var(--aqua);text-underline-offset:4px}.consequence{margin:30px 0 25px;border-left:3px solid var(--aqua);padding:4px 0 4px 26px;max-width:970px}.consequence>span{color:var(--aqua);font-size:14px}.consequence .equation{margin:6px 0 10px}.consequence>p:last-child{font-size:16px;line-height:1.65;color:#d2e0e6}.source,.small,.credit{font-size:14px;line-height:1.6;color:var(--muted)}.result-section .source{color:#b5c6ce}.source{margin-top:20px}details{border-top:1px solid var(--line);margin-top:18px}details:last-child{border-bottom:1px solid var(--line)}summary{padding:19px 38px 19px 0;position:relative;font-size:17px;font-weight:550;cursor:pointer;list-style:none;line-height:1.6}summary::-webkit-details-marker{display:none}summary:after{content:'+';position:absolute;right:5px;top:17px;font-size:22px;color:var(--teal);font-weight:400}details[open]>summary:after{content:'−'}summary>span:first-child{color:var(--teal);margin-right:16px}.detail-body{padding:8px 0 27px;max-width:1000px}.detail-body>p{max-width:890px}.detail-body details{margin-left:0}.result-section details{border-color:#496471}.result-section summary:after{color:var(--aqua)}.result-section .detail-body{color:#e1eaf0}.definition-grid{display:grid;grid-template-columns:1fr 1fr;gap:36px;margin:30px 0}.definition-grid>div{background:var(--pale);padding:26px}.label{display:block;color:var(--muted)}.definition-grid .label{font-size:12px}.definition-grid p:last-child{font-size:16px}.definition-grid .equation{margin:10px 0 20px}.explore-heading{display:flex;justify-content:space-between;gap:50px}.explore-heading>p{max-width:480px;margin-top:6px}.preset-row{display:grid;grid-template-columns:1fr 1fr;gap:15px;margin:16px 0 20px}.preset{text-align:left;border:1px solid var(--line);background:#fff;padding:18px 22px;border-radius:4px;color:var(--ink);min-height:130px;position:relative}.preset span,.preset strong,.preset small{display:block}.preset span{font-size:14px;font-weight:550}.preset strong{font-family:var(--serif);font-size:27px;font-weight:500;margin:3px 0}.preset small{font-size:14px;color:var(--muted)}.preset.active{border:2px solid var(--teal);padding:17px 21px;background:#ecf9f5}.preset.active:after{content:'Selected';position:absolute;right:16px;top:19px;font-size:12px;color:var(--teal)}.explorer-grid{display:grid;grid-template-columns:minmax(0,1fr) 280px;gap:25px;align-items:start}.graph-panel{background:#0d1a25;border-radius:5px;overflow:hidden;color:#bdcbd5;min-width:0}.graph-panel iframe{display:block;width:100%;height:625px;border:0;color-scheme:dark;background:#0b1720}.graph-caption{padding:0 22px;margin:12px 0 14px;font-size:14px;line-height:1.65}.text-link{display:block;padding:0 22px 20px;color:#8ae7d1;font-size:14px}.diagnostics{padding:12px 0;min-width:0}.diagnostics .label{font-size:12px}.diagnostics h3{font-size:18px;margin:7px 0 20px}.verdict{font-weight:650;font-size:19px;margin:0 0 10px;line-height:1.4}.verdict.good{color:#007765}.verdict.caution{color:#b53c38}.verdict.neutral{color:var(--muted)}#verdictNote{font-size:15px;line-height:1.6}.stats{margin:22px 0}.stats>div{display:flex;gap:12px;justify-content:space-between;padding:8px 0;border-bottom:1px solid var(--line);font-size:15px}.stats dd{margin:0;font-variant-numeric:tabular-nums;font-weight:600}.degree-bars{margin:24px 0}.bar-row{display:flex;align-items:center;gap:12px;margin-top:10px;font-size:14px}.bar-row>span{width:45px;flex:none}.bar-row i{height:10px;flex:1;position:relative;background:#e8eef1}.bar-row i:before{content:'';position:absolute;inset:0 auto 0 0;width:var(--fill);background:var(--teal)}.bar-row b{width:24px;font-weight:500}.selected-readout{border-top:1px solid var(--line);padding-top:18px}.selected-readout strong{display:block;font-size:17px;margin-top:8px;line-height:1.5}.difference-box{border:1px solid var(--line);margin:28px 0 24px;padding:28px;display:grid;grid-template-columns:1.6fr 1fr;gap:34px}.difference-box .eyebrow{font-size:12px;margin-bottom:10px}.difference-box h3{font-family:var(--serif);font-weight:500;font-size:25px}.difference-box p{font-size:16px}.difference-box .source{font-size:14px}.edge-list{padding:0;list-style:none;margin:18px 0}.edge-list li{border-bottom:1px solid var(--line);padding:10px 0;font-size:19px}.segmented{display:flex;gap:8px;flex-wrap:wrap;margin-top:20px}.segmented button,.inline-actions button,.pattern-picker button{font-size:14px;border:1px solid var(--line);background:#fff;border-radius:3px;min-height:44px;padding:10px 14px;color:var(--ink)}.segmented button[aria-pressed=true],.pattern-picker button[aria-pressed=true]{background:var(--ink);color:#fff;border-color:var(--ink)}.free-controls{display:flex;align-items:end;flex-wrap:wrap;gap:24px;margin-bottom:22px}.free-controls>label{font-size:14px}.free-controls select{display:block;min-width:175px;height:46px;background:#fff;border:1px solid var(--line);padding:7px 35px 7px 12px;border-radius:3px;color:var(--ink);margin-top:7px}.free-controls .check{display:flex;align-items:center;gap:8px;min-height:46px}.check input{width:18px;height:18px;accent-color:var(--teal)}.vertex-degrees{display:grid;grid-template-columns:repeat(6,1fr);gap:8px;margin-top:23px}.vertex-degrees button{border:1px solid var(--line);padding:10px 7px;border-radius:3px;background:#fff;color:var(--ink);font:17px/1.4 var(--serif)}.vertex-degrees button span{display:block;font:13px/1.5 var(--sans);color:var(--muted)}.vertex-degrees button[aria-pressed=true]{border:2px solid var(--teal);background:#edf9f5;padding:9px 6px}.credit{margin:25px 0 0}.lemma-section{background:#eaf3f6}.lemma-section .section-label{color:var(--muted)}.endpoint{border-left:2px solid var(--teal);padding:15px 0 15px 28px;margin-top:8px}.endpoint .equation{margin:15px 0}.path-intro{margin-top:34px;max-width:900px}.degree-path{display:flex;align-items:center;gap:12px;margin:25px 0 18px}.degree-path button{width:165px;padding:18px 10px;border:1px solid #a8c4cf;background:#fff;border-radius:4px;color:var(--ink)}.degree-path button b{display:block;font:26px var(--serif)}.degree-path button span{font-size:14px;display:block;margin-top:7px}.degree-path button.active{background:var(--ink);color:#fff}.path-arrow{font:16px/1.4 var(--serif);text-align:center;color:var(--teal);min-width:42px}.injection{max-width:450px}.injection table{width:100%}table{border-collapse:collapse;font-size:16px}caption{text-align:left;font-size:14px;font-weight:600;margin-bottom:12px}th,td{padding:12px 18px 12px 0;text-align:left;border-bottom:1px solid var(--line)}th{font-size:14px;color:var(--muted);font-weight:600}.example-note{padding:28px;background:var(--pale);margin:26px 0}.example-note .label{margin-bottom:13px}.example-note h3{font-family:var(--serif);font-size:25px;font-weight:500}.inline-actions{display:flex;gap:10px;flex-wrap:wrap}.coefficient-chart{display:flex;align-items:end;gap:14px;height:150px;max-width:550px;margin:35px 0}.coefficient-chart>div{flex:1;display:flex;flex-direction:column;align-items:center;justify-content:flex-end;height:100%;gap:3px}.coefficient-chart i{width:100%;height:var(--height);min-height:5px;background:var(--teal);display:block}.coefficient-chart b{font-size:14px;font-weight:550}.coefficient-chart span{font-size:14px}.pattern-picker{display:flex;gap:8px;flex-wrap:wrap;margin:24px 0}.pattern-picker button{font-family:var(--serif);font-size:19px}.pattern-display{display:grid;grid-template-columns:300px 1fr;gap:40px;align-items:center;border:1px solid var(--line);padding:20px;margin:22px 0}.pattern-display svg{width:100%;height:auto}.pattern-display h3{font-family:var(--serif);font-size:26px;margin-bottom:12px}.pattern-table{width:100%}.pattern-table td{font-family:var(--serif);font-size:19px}.table-scroll{overflow-x:auto}.footer{background:var(--ink);color:#fff;padding:60px 0 0}.footer .eyebrow{color:var(--aqua)}.footer h2{font-size:clamp(1.9rem,3vw,2.6rem);max-width:950px}.footer p{max-width:850px;color:#c8d9e2}.paper-link{display:flex;align-items:center;gap:35px;border-top:1px solid #496471;padding:30px 0;margin-top:36px}.paper-link .button{color:var(--aqua);border-color:var(--aqua)}.paper-link p{font-size:14px;line-height:1.7}.footer-bottom{border-top:1px solid #496471;padding:23px 0;display:flex;justify-content:space-between;gap:20px;font-size:14px;color:#afc6d2}.footer-bottom a{color:var(--aqua)}.skip{position:fixed;left:10px;top:-100px;background:#fff;padding:15px;z-index:20}.skip:focus{top:10px}@media(min-width:1450px){.intro{padding-top:78px}}@media(max-width:950px){.text-grid,.result-heading{gap:35px}.explorer-grid{grid-template-columns:minmax(0,1fr) 245px;gap:20px}.diagnostics h3{font-size:16px}.difference-box{grid-template-columns:1fr}.difference-box>div:last-child{display:none}.opening{align-items:start}.opening p{font-size:18px}.topbar>div{gap:17px}.equivalences li{grid-column:span 3}.equivalences li:nth-child(4){border-bottom:1px solid #496471}.equivalences li:last-child{grid-column:span 6}.explore-heading{gap:28px}}@media(max-width:760px){.wrap{width:calc(100% - 36px)}.topbar{height:auto;min-height:66px;align-items:center;flex-wrap:wrap;gap:8px;padding:14px 18px 12px;position:relative}.topbar>div{gap:19px;overflow-x:auto;width:100%;padding:3px 0}.topbar .wordmark{font-size:18px}.topbar a{font-size:13px}.intro{padding:40px 0 30px}h1{font-size:clamp(2.45rem,8.5vw,3.7rem)}.intro .eyebrow{font-size:11px}.opening{display:block;margin-top:27px}.opening p{margin-bottom:20px}.section{padding:43px 0}.section-label{font-size:12px;margin-bottom:23px}.text-grid,.result-heading,.definition-grid{grid-template-columns:1fr;gap:22px}.classical{font-size:18px}.question-box{display:block;padding:23px 0}.question-box .eyebrow{margin-bottom:12px}.question-box p{font-size:20px}.result-heading p{max-width:none}.equivalences{grid-template-columns:1fr}.equivalences li,.equivalences li:nth-child(4),.equivalences li:nth-child(5){grid-column:auto;padding:22px 0;border-bottom:1px solid #496471}.equivalences li:last-child{border-bottom:0}.consequence{padding-left:18px}.equation{font-size:1.27rem}.explore-heading{display:block}.preset-row{gap:10px}.preset{padding:15px 12px;min-height:137px}.preset.active{padding:14px 11px}.preset span{font-size:13px;max-width:135px}.preset small{font-size:12px;line-height:1.5;max-width:135px}.preset strong{font-size:25px;margin:6px 0}.preset.active:after{display:none}.explorer-grid{grid-template-columns:1fr}.graph-panel iframe{height:610px}.graph-caption{padding:0 16px;font-size:13px}.text-link{padding:0 16px 18px}.diagnostics{display:grid;grid-template-columns:1fr 1fr;gap:0 25px}.diagnostics>.label,.diagnostics h3,.diagnostics .verdict,.diagnostics #verdictNote{grid-column:1/-1}.diagnostics h3{font-size:19px;margin-bottom:12px}.diagnostics .stats,.degree-bars{margin:10px 0 20px}.diagnostics .selected-readout{grid-column:1/-1}.difference-box{padding:21px;margin-top:12px}.segmented{display:grid;grid-template-columns:1fr}.difference-box h3{font-size:24px}.vertex-degrees{grid-template-columns:repeat(4,1fr)}summary{font-size:16px}.endpoint{padding:10px 0 10px 20px}.degree-path{display:grid;grid-template-columns:1fr 35px 1fr;gap:12px;max-width:520px}.degree-path button{width:100%}.degree-path .path-arrow:nth-child(4){grid-column:1/-1;transform:rotate(0deg)}.degree-path .path-arrow:nth-child(4)::after{content:' next step';font:13px var(--sans)}.pattern-display{grid-template-columns:1fr;gap:10px;padding:15px}.pattern-display svg{max-width:300px;margin:auto}.pattern-display>div{padding:10px}.example-note{padding:20px}.free-controls{gap:15px}.free-controls select{min-width:145px}.paper-link{display:block}.paper-link p{margin-top:20px}.footer{padding-top:45px}.footer-bottom{font-size:12px}.byline{font-size:14px}.byline span{font-size:13px}.definition-grid{margin:20px 0}.definition-grid>div{padding:20px}.coefficient-chart{gap:9px}h2 br{display:none}.result-heading h2 br,.explore-heading h2 br{display:initial}}@media(prefers-reduced-motion:reduce){html{scroll-behavior:auto}*{transition:none!important}}@media print{.topbar,.preset-row,.graph-panel,.segmented,.free-controls,.degree-path button,.button,.inline-actions,.pattern-picker{display:none}.wrap{width:100%}.section{padding:22px 0;break-inside:avoid}.intro{padding-top:0}body{font-size:11pt;color:#000}h1{font-size:32pt}h2{font-size:22pt}.result-section,.lemma-section,.footer{background:#fff;color:#000}.result-section *,.footer *{color:#000!important}.equivalences li{border-color:#bbb}details:not([open]){display:none}.explorer-grid{display:block}.diagnostics{display:block;max-width:450px}.source,.credit{font-size:9pt}.footer{padding:20px 0}.paper-link,.footer-bottom{border-color:#bbb}}
.walk-strip{display:flex;gap:10px;align-items:center;flex-wrap:wrap;padding:16px 0 24px}.walk-strip[hidden]{display:none}.walk-strip>span:first-child{font-size:14px;width:100%;color:var(--muted)}.walk-strip button{font:15px var(--sans);padding:11px 13px;min-height:44px;border:1px solid var(--line);border-radius:3px;background:#fff;color:var(--ink)}.walk-strip button.active{background:var(--ink);color:#fff}.walk-strip>span:not(:first-child){color:var(--teal)}@media(max-width:950px){.difference-box>div:last-child{display:block}.edge-list{display:flex;flex-wrap:wrap;gap:10px 24px}.edge-list li{font-size:17px}}@media(max-width:520px){.walk-strip{display:grid;grid-template-columns:1fr 16px 1fr;gap:9px}.walk-strip>span:first-child{grid-column:1/-1}.walk-strip>span:nth-child(5){grid-column:1/-1;text-align:center}.walk-strip button{padding:10px 5px;font-size:13px}}
.offline-download{font-size:14px;padding-bottom:22px}.offline-download a{color:var(--aqua)}