:root{--paper:#f5f5ee;--panel:#fffefa;--ink:#25413e;--muted:#7c8b7f;--line:#dce1d4;--green:#2b6754;--gold:#bd9557;--serif:Georgia,'Times New Roman',serif;--sans:Inter,-apple-system,BlinkMacSystemFont,'Segoe UI',sans-serif}*{box-sizing:border-box}body{margin:0;background:var(--paper);color:var(--ink);font:13px/1.6 var(--sans)}button,input,select{font:inherit}button{color:inherit;cursor:pointer;border:0;background:none}button:disabled{opacity:.4;cursor:default}button:focus-visible,a:focus-visible,input:focus-visible,select:focus-visible,[tabindex]:focus-visible{outline:3px solid #bc9557;outline-offset:3px}[hidden]{display:none!important}h1,h2,h3,p{margin:0}.math{font-family:var(--serif)}sub,sup{font-size:.7em;line-height:0}header{height:75px;display:flex;align-items:center;justify-content:space-between;padding:0 30px;border-bottom:1px solid var(--line);background:#fbfbf5}.brand{display:flex;align-items:center;gap:18px;text-decoration:none;color:var(--ink)}.brand-symbol{font:italic 41px var(--serif);letter-spacing:-3px}.brand-symbol span{font-size:24px;letter-spacing:-2px}.brand-name{font-size:10px;font-weight:600;letter-spacing:2px;border-left:1px solid #d1d8ca;padding-left:18px;line-height:1.7}.brand-name small{font-size:10px;font-weight:400;letter-spacing:.3px;display:block;color:#82917f}.header-right{display:flex;align-items:center;gap:28px}.header-right button{font-size:11px;color:#698168}.header-right button span{margin-left:15px}.private{font-size:10px;color:#7a8b76}.app-layout{display:grid;grid-template-columns:257px minmax(0,1fr);min-height:calc(100vh - 75px)}.controls{padding:27px 23px 20px;border-right:1px solid var(--line);background:#eef1e6;position:sticky;top:0;height:calc(100vh - 75px);min-height:640px;display:flex;flex-direction:column}.eyebrow{font-size:9px;letter-spacing:1.55px;font-weight:600;color:#89977f;line-height:1.5}select{width:100%;background:#fbfcf6;border:1px solid #cfdac5;color:#45694c;border-radius:5px;padding:11px 25px 11px 11px;font-size:11px;cursor:pointer;margin-top:10px}.advance-control{border-top:1px solid #d3ddc8;border-bottom:1px solid #d3ddc8;padding:20px 0 15px;margin:24px 0}.step-meta{display:flex;justify-content:space-between;align-items:center;font-size:9px;color:#8c9a80;margin-bottom:10px;letter-spacing:1px}.step-meta button{font-size:10px;letter-spacing:0;color:#849876}.primary{width:100%;text-align:left;background:#285d49;color:#fbfff5;border-radius:5px;padding:12px 13px;font-size:11px;font-weight:500;display:flex;justify-content:space-between;align-items:center;box-shadow:0 3px 6px #2b583011}.primary span{font-size:17px}.primary:hover:enabled{background:#204e3d}.secondary-controls{display:flex;justify-content:space-between;margin-top:9px}.secondary-controls button{font-size:10px;color:#7a916b;padding:4px 0}.stage-caption h2{font:normal 25px/1.24 var(--serif);letter-spacing:-.5px;margin:8px 0 11px}.stage-caption p{font-size:11px;line-height:1.9;color:#71866b;max-width:215px}.stage-caption>.math{font-size:20px;line-height:1.6;color:#54794e;margin-top:15px;overflow-wrap:anywhere}.control-bottom{margin-top:auto;padding-top:25px}.text-button{font-size:10px;display:flex;align-items:center;justify-content:space-between;color:#61845a;width:100%;text-align:left;padding:7px 0}.text-button:hover{text-decoration:underline}.control-bottom p{font-size:9px;color:#99a68a;line-height:1.8;margin-top:6px}.parameter-group{margin-top:18px}.parameter-group label{font-size:9px;color:#8c9d7e;display:block;letter-spacing:.4px}.parameter-group select{margin-top:5px;padding-top:8px;padding-bottom:8px;font-size:10px}.inline-control{display:flex;justify-content:space-between;align-items:center}.parameter-group input[type=range]{width:100%;accent-color:#557c48;height:3px}.parameter-hint{font-size:9px;color:#99aa88;margin-top:7px;line-height:1.7}.parameter-value{font:16px var(--serif);color:#73905f}.app-layout main{padding:25px 29px 14px;min-width:0}.main-heading{display:flex;gap:20px;justify-content:space-between;align-items:center;margin-bottom:18px}h1{font:normal clamp(28px,2.6vw,40px)/1.2 var(--serif);letter-spacing:-1px;margin-top:5px}.result-tag{font-size:9px;white-space:nowrap;color:#7e9670;border:1px solid #d5e0c9;border-radius:4px;padding:6px 9px}.result-tag.complete{background:#e7efdd;color:#588046}.canvas-card{border:1px solid #d4dfc8;border-radius:7px;background:var(--panel);overflow:hidden;box-shadow:0 3px 6px #28442603}.canvas-toolbar{display:flex;align-items:center;justify-content:space-between;gap:12px;padding:11px 17px;border-bottom:1px solid #e3e9da;min-height:49px}.display-controls{display:flex;align-items:center;gap:16px;margin-left:auto}.display-controls label{font-size:10px;color:#8b9d7b;display:flex;gap:5px;align-items:center;cursor:pointer}.display-controls input{accent-color:#497841;width:11px;height:11px;margin:0}.zoom-controls{display:flex;align-items:center;border:1px solid #dce6d1;border-radius:4px}.zoom-controls button{font-size:14px;padding:0 8px;min-height:24px;color:#799867}.zoom-controls #zoom-reset{font-size:9px;padding:0 7px;min-width:43px;border-left:1px solid #e0e8d6;border-right:1px solid #e0e8d6}.mode-buttons{display:flex;gap:2px}.mode-buttons button{font-size:9px;color:#92a481;border-radius:3px;padding:5px 9px}.mode-buttons button.active{background:#e9f0df;color:#62834f}.canvas-layout{display:flex;min-width:0}.frame-pane{flex:1;min-width:0;position:relative;background-image:radial-gradient(#dae3cf .7px,transparent .7px);background-size:22px 22px;background-position:10px 10px;overflow:hidden}.frame-pane>svg{width:100%;height:clamp(510px,calc(100vh - 308px),720px);display:block}.canvas-layout.both .frame-pane{flex:1.8}.canvas-layout.both .graph-pane{flex:1}.graph-pane{min-width:270px;border-left:1px solid #e0e8d5;background:#f6f9ef;padding:20px 18px;display:flex;flex-direction:column}.graph-heading h2{font:normal 24px var(--serif);margin:6px 0}.graph-heading p{font-size:10px;color:#9aaa88;line-height:1.8}.graph-pane svg{width:100%;max-height:310px;flex:1;margin:5px 0 15px;min-height:230px}.graph-equation{font-size:19px;line-height:1.65;color:#6a8d57;padding:13px 0;border-top:1px solid #dce7d0}.graph-note{font-size:9px;color:#91a77b;display:flex;flex-direction:column;gap:6px}.graph-note>span{display:flex;align-items:center;gap:6px}.graph-pane>.text-button{margin-top:auto;padding-top:20px}.canvas-layout.graph-only .frame-pane{display:none}.canvas-layout.graph-only .graph-pane{flex:1;border:0;display:grid;grid-template-columns:240px minmax(250px,1fr) 230px;gap:20px;align-items:center;min-height:510px}.canvas-layout.graph-only .graph-pane svg{max-height:480px;min-height:350px}.canvas-layout.graph-only .graph-equation{grid-column:3;grid-row:1}.canvas-layout.graph-only .graph-note{grid-column:3;grid-row:2}.canvas-layout.graph-only .graph-pane>.text-button{grid-column:1;grid-row:2}.canvas-footer{display:flex;align-items:center;justify-content:space-between;gap:16px;padding:11px 17px;border-top:1px solid #e0e8d5;background:#fcfdf7;font-size:9px;color:#96a78a}.colour-key{display:flex;gap:10px;flex-shrink:0}.colour-key span{display:flex;align-items:center;gap:4px}.key-dot{height:6px;width:6px;border-radius:50%;display:inline-block;background:#a5b29c}.key-dot.p{background:#4e8c72}.key-dot.q{background:#8a759e}.key-dot.pq{background:#bc9a5c}.key-dot.omitted{background:#bf6e60}.key-dot.successor{background:#6e9b60}.canvas-footer>button{font-size:9px;color:#85a071;white-space:nowrap}.step-timeline{display:flex;justify-content:space-between;margin:20px 0 12px}.step-timeline button{position:relative;display:flex;align-items:center;gap:7px;font-size:9px;color:#9aab8b;text-align:left;padding:0;flex:1}.step-timeline button:after{content:'';position:absolute;top:9px;left:23px;right:6px;height:1px;background:#d9e3ce}.step-timeline button:last-child:after{display:none}.step-timeline .number{width:19px;height:19px;border-radius:50%;display:grid;place-items:center;border:1px solid #cfdcc0;background:var(--paper);font-size:9px;z-index:1;flex-shrink:0}.step-timeline .title{background:var(--paper);padding-right:8px;z-index:1;max-width:110px}.step-timeline button.current{color:#62844f;font-weight:600}.step-timeline button.current .number{background:#537b43;color:white;border-color:#537b43}.step-timeline button.past .number{background:#e3ebd7}.scope-line{font-size:10px;line-height:1.7;color:#99a98a;text-align:center;margin:17px auto 0;max-width:900px}#ordinal-ribbon,#dg-ribbon{background:#f1f5e8;border-bottom:1px solid #dce5ce;padding:10px 18px;display:flex;align-items:center;justify-content:space-between;gap:16px;font-size:10px;color:#89a071}#ordinal-ribbon .math,#dg-ribbon .math{font-size:18px;color:#5f854d}#ordinal-ribbon .ribbon-sequence{color:#8ea378;font-size:15px}.point-note{position:absolute;bottom:17px;left:18px;right:18px;display:flex;align-items:center;gap:13px;border:1px solid #d3e1c4;border-radius:5px;background:#f9fcf1ed;padding:12px 38px 12px 15px;backdrop-filter:blur(5px);box-shadow:0 3px 12px #38502a08;pointer-events:none}.point-note .math{font-size:21px;white-space:nowrap;color:#557d46}.point-note #point-description{font-size:10px;color:#859e72;line-height:1.7}.point-note>button{position:absolute;right:10px;top:10px;color:#98ac82;font-size:17px;pointer-events:auto}.point{cursor:pointer;outline:none}.point .ring{fill:#fffefa;stroke:#95af82;stroke-width:1.4}.point .core{fill:#b2c3a4}.point.colour-1 .core{fill:#4e8c72}.point.colour-2 .core{fill:#8a759e}.point.colour-3 .core{fill:#bc9a5c}.point.upset .ring{fill:#ebf3df;stroke:#77a25c}.point.selected .ring{stroke:#447b36;stroke-width:2.5;fill:#e7f1d8}.point .halo{fill:#ebf2df;stroke:#b5cca0;stroke-width:1}.point .node-label{font:17px var(--serif);fill:#708f5d}.point .rank{font:italic 12px var(--serif);fill:#b0bf9f}.point:hover .ring,.point:focus-visible .ring{stroke:#ba914b;stroke-width:3}.edge{stroke:#c1d0b5;stroke-width:1.25;fill:none}.edge.selected{stroke:#7ba45f;stroke-width:1.8}.edge.dim{opacity:.22}.edge.faint{opacity:.3}.convergence{fill:none;stroke:#c09a59;stroke-width:1.3;stroke-dasharray:4 5}.component-box{fill:#f6f9efb0;stroke:#dce7cf;stroke-width:1;stroke-dasharray:3 5}.component-label{font:10px var(--sans);letter-spacing:1.8px;fill:#a6b798}.component-name{font:italic 36px var(--serif);fill:#d0dfbf}.hint{font:12px var(--sans);fill:#9fb38c}.svg-math{font:18px var(--serif);fill:#8eaa75}.limit-label{font:italic 14px var(--serif);fill:#bba16e}.ellipsis{font:25px var(--serif);fill:#a4b98f}.root-badge{fill:#edf4e2;stroke:#cddfba}.root-label{font:9px var(--sans);fill:#8ba771;letter-spacing:1px}.graph-edge{stroke:#b6caa1;stroke-width:2;cursor:pointer}.graph-edge.active{stroke:#b8864a;stroke-width:3}.graph-edge-hit{stroke:transparent;stroke-width:15;cursor:pointer}.graph-vertex circle{fill:#fbfdf5;stroke:#a9c392;stroke-width:1.4}.graph-vertex text{font:14px var(--serif);fill:#7c9b64}.graph-vertex.omitted circle{fill:#faeae3;stroke:#c48371}.graph-vertex.successor circle{fill:#e6f0d9;stroke:#81a964}.graph-edge-group:focus-visible .graph-edge{stroke:#b48842;stroke-width:4}.graph-edge-label{font:11px var(--serif);fill:#afbc9d;pointer-events:none}.compact-label{font-size:13px!important}.target-badge{fill:#f1ebd9;stroke:#e3d7b8}.target-text{font:italic 16px var(--serif);fill:#a58b50}.dialog-header{display:flex;justify-content:space-between;align-items:center;padding:17px 24px;border-bottom:1px solid #dce5ce;background:#f8fbf0;position:sticky;top:0}.dialog-header>button{font-size:22px;color:#9caf88}dialog{width:min(660px,calc(100vw - 32px));max-height:88vh;background:#fcfef7;color:var(--ink);border:1px solid #c4d5b4;border-radius:8px;padding:0;box-shadow:0 20px 100px #27422a35}dialog::backdrop{background:#23402766;backdrop-filter:blur(3px)}#dialog-content{padding:25px 29px 29px}#dialog-content h2{font:normal 29px/1.25 var(--serif);letter-spacing:-.4px;margin-bottom:16px}#dialog-content h3{font:normal 21px var(--serif);margin:22px 0 9px}#dialog-content p,#dialog-content li{font-size:12px;color:#7b946b;line-height:1.9;margin-bottom:12px}#dialog-content .math-block{font:23px/1.8 var(--serif);padding:15px 0;margin:16px 0;border-top:1px solid #dfe8d4;border-bottom:1px solid #dfe8d4;color:#5f864d}#dialog-content a{color:#6d9358;font-size:11px;display:block;margin-top:9px;text-decoration:none}#dialog-content small{font-size:10px;color:#9caf8a}.source-label{font-size:9px;letter-spacing:1px;color:#9eb38c;margin-top:22px}.girth-steps{display:flex;gap:12px;align-items:center;margin:20px 0}.girth-steps>div{background:#f0f6e6;border:1px solid #dce8cf;border-radius:5px;padding:14px;flex:1}.girth-steps strong{font:20px var(--serif);display:block;color:#6c8f56}.girth-steps span{font-size:10px;color:#94ab7e}.girth-controls{display:flex;gap:18px}.girth-controls label{flex:1;font-size:10px;color:#91a87b}.sr-only{position:absolute;width:1px;height:1px;overflow:hidden;clip:rect(0,0,0,0);white-space:nowrap}.skip-link{position:absolute;top:-50px;left:12px;padding:9px;background:#315d3e;color:white;z-index:10}.skip-link:focus{top:8px}
@media(min-width:1600px){.app-layout{grid-template-columns:280px minmax(0,1fr)}.controls{padding-left:27px;padding-right:27px}.app-layout main{padding-left:40px;padding-right:40px}.stage-caption p{font-size:12px}.frame-pane>svg{height:clamp(580px,calc(100vh - 300px),900px)}}
@media(max-width:1150px){.app-layout{grid-template-columns:225px minmax(0,1fr)}.controls{padding:23px 18px}.app-layout main{padding:24px 20px 15px}.display-controls{gap:10px}.canvas-toolbar{padding:10px 12px}.stage-caption h2{font-size:23px}.stage-caption p{font-size:10px}.graph-pane{min-width:230px;padding:17px 13px}.canvas-layout.both .frame-pane{flex:1.5}.step-timeline .title{font-size:8px;max-width:85px}.canvas-footer{flex-wrap:wrap;font-size:8px;padding:10px 12px;gap:8px}.graph-equation{font-size:17px}.canvas-layout.graph-only .graph-pane{grid-template-columns:180px minmax(220px,1fr)}.canvas-layout.graph-only .graph-equation{grid-column:1;grid-row:2}.canvas-layout.graph-only .graph-note{grid-column:2;grid-row:2}.frame-pane>svg{height:clamp(480px,calc(100vh - 300px),650px)}}
@media(max-width:850px){header{padding:0 18px;height:67px}.header-right{gap:15px}.header-right button{font-size:10px}.brand-symbol{font-size:35px}.brand-name{font-size:8px;letter-spacing:1.2px;padding-left:14px}.brand-name small{font-size:9px}.app-layout{grid-template-columns:205px minmax(0,1fr)}.controls{height:calc(100vh - 67px);padding:20px 14px;min-height:620px}.app-layout main{padding:21px 15px 14px}.main-heading{display:block;margin-bottom:15px}h1{font-size:31px}.result-tag{display:inline-block;margin-top:9px}.canvas-toolbar{flex-wrap:wrap;gap:8px}.display-controls{gap:13px;width:100%;justify-content:flex-end}.display-controls label{font-size:9px}.canvas-layout.both{flex-direction:column}.canvas-layout.both .graph-pane{border-left:0;border-top:1px solid #dce7cf;display:grid;grid-template-columns:1fr 1fr;gap:10px}.canvas-layout.both .graph-pane svg{grid-column:2;grid-row:1 / span 3;min-height:210px;max-height:250px}.canvas-layout.both .graph-equation,.canvas-layout.both .graph-note{grid-column:1}.canvas-layout.both .graph-pane>.text-button{grid-column:span 2}.step-timeline .title{display:none}.step-timeline button:last-child{flex:0}.frame-pane>svg{height:520px}.scope-line{font-size:9px}#ordinal-ribbon,#dg-ribbon{flex-wrap:wrap;gap:4px;font-size:9px;padding:9px 13px}#ordinal-ribbon .math,#dg-ribbon .math{font-size:16px}.point-note{left:12px;right:12px;bottom:12px;padding:10px 30px 10px 12px;gap:9px;align-items:flex-start}}
@media(max-width:600px){header{height:64px;padding:0 14px}.brand{gap:10px}.brand-symbol{font-size:32px}.brand-symbol span{font-size:20px}.brand-name{font-size:7px;letter-spacing:1px;padding-left:10px}.brand-name small{font-size:8px}.header-right #about-button{font-size:9px;max-width:95px;text-align:right}.header-right #about-button span,.private{display:none}.app-layout{display:block}.controls{position:sticky;top:0;height:auto;min-height:0;padding:12px 14px;display:grid;grid-template-columns:1fr auto;gap:8px 12px;z-index:3;border-right:0;border-bottom:1px solid #d5dfc9;box-shadow:0 3px 10px #41613108}.controls>.eyebrow,.control-bottom,.stage-caption{display:none}.controls>select{margin:0;font-size:10px;height:40px;grid-column:1;padding:10px 22px 10px 10px}.advance-control{margin:0;padding:0;border:0;grid-column:2;grid-row:1}.advance-control .step-meta,.secondary-controls{display:none}.primary{font-size:10px;padding:10px 12px;height:40px;gap:10px;white-space:nowrap}#parameter-controls{grid-column:span 2}.parameter-group{margin-top:1px}.parameter-group select{padding:6px 9px;font-size:10px}.parameter-hint,.parameter-group .inline-control{display:none}.parameter-group input[type=range]{margin:9px 0 5px}.app-layout main{padding:20px 12px 15px}.main-heading .eyebrow{font-size:7px;letter-spacing:1px}h1{font-size:29px}.result-tag{font-size:8px;padding:4px 7px}.canvas-toolbar{padding:9px 10px}.display-controls{gap:14px}.zoom-controls{margin-left:auto}.display-controls label{font-size:8px}.frame-pane>svg{height:490px}.canvas-footer{font-size:8px;gap:7px}.colour-key{gap:8px;font-size:9px}#canvas-caption{order:3;width:100%}.canvas-footer #clear-selection{margin-left:auto}.step-timeline{margin:18px 4px 10px}.step-timeline .number{width:22px;height:22px}.step-timeline button:after{top:10px}.scope-line{margin-top:15px;font-size:9px;text-align:left;padding:0 5px}.canvas-layout.graph-only .graph-pane{display:flex;min-height:480px}.canvas-layout.graph-only .graph-pane svg{min-height:240px}.canvas-layout.both .graph-pane{padding:17px 14px}.graph-heading h2{font-size:21px}.graph-heading p{font-size:9px}.graph-equation{font-size:15px}.graph-note{font-size:8px}.point-note #point-description{font-size:9px}.point-note .math{font-size:17px}.canvas-layout.both .frame-pane svg{height:430px}.girth-steps{flex-direction:column;align-items:stretch}.girth-steps>div{padding:10px 14px}.dialog-header{padding:14px 20px}#dialog-content{padding:20px 23px}#dialog-content h2{font-size:26px}#dialog-content .math-block{font-size:20px}}
@media(prefers-reduced-motion:reduce){*{scroll-behavior:auto!important;transition:none!important}}

.point.omitted .ring{stroke:#c3846d}.point.omitted .halo{fill:#f8ede4;stroke:#d9b29e}

.frame-pane{display:flex;flex-direction:column}.frame-pane>svg{height:clamp(450px,calc(100vh - 370px),660px)}.point-note{position:relative;bottom:auto;left:auto;right:auto;margin:0 17px 17px;min-height:48px;flex-shrink:0}.private{display:flex;align-items:center;gap:6px}.private svg{width:11px;height:13px;fill:none;stroke:currentColor;stroke-width:1.2}@media(max-width:600px){.private{display:none}.frame-pane>svg{height:440px}.point-note{margin:0 10px 10px}.canvas-layout.both .frame-pane svg{height:400px}}

.frame-scroll{min-width:0}.frame-scroll>svg{width:100%;height:clamp(450px,calc(100vh - 370px),660px);display:block}.edge.interval-gap{stroke-dasharray:2 6;stroke-width:1.3}.interval-break{font:18px var(--serif);fill:#8ea082}.window-button{font-size:10px;border:1px solid #d5dfca;border-radius:4px;padding:4px 7px;white-space:nowrap;color:#6a855a}.depth-button{width:100%;margin-top:14px;padding:8px 10px;border:1px solid #cbd9bf;border-radius:4px;background:#f7faef;display:flex;justify-content:space-between;font-size:10px;color:#638054}.depth-window-actions{display:flex;justify-content:space-between;margin-top:7px}.depth-window-actions button{font-size:9px;color:#83956e;padding:3px 0}.depth-window .frame-scroll{height:clamp(430px,calc(100vh - 320px),780px);overflow:auto;overscroll-behavior:contain;scrollbar-color:#b2c4a2 #f2f6e9;scrollbar-width:thin}.depth-window .frame-scroll>svg{height:auto;min-height:0;min-width:760px;max-width:none}.expanded-window .depth-window .frame-scroll{height:calc(100vh - 125px);max-height:none}.expanded-window{position:relative}.expanded-window .canvas-toolbar{position:sticky;top:0;z-index:2;background:var(--panel)}.frame-pane .point-note{position:relative;bottom:auto;left:auto;right:auto}.depth-window .point-note{margin-top:10px}.interval-gap.dim+.interval-break{opacity:.4}
@media(max-width:600px){.frame-scroll>svg{height:440px}.canvas-layout.both .frame-scroll>svg{height:400px}.depth-window .frame-scroll{height:65vh}.expanded-window .depth-window .frame-scroll{height:85vh}.depth-button{margin-top:6px;padding:5px 8px}.depth-window-actions{margin-top:2px}.window-button{font-size:9px}.display-controls{gap:8px}.controls:has(#extend-depth) .parameter-group{display:grid;grid-template-columns:1fr auto;gap:3px 10px}.controls:has(#extend-depth) #target-ordinal{grid-column:1}.controls:has(#extend-depth) #cofinal-index{grid-column:span 2}.controls:has(#extend-depth) #extend-depth{grid-column:2;grid-row:2}.controls:has(#extend-depth) .depth-window-actions{grid-column:span 2}}
.expanded-window{position:fixed;top:12px;right:18px;bottom:12px;left:277px;z-index:5;display:flex;flex-direction:column;box-shadow:0 12px 60px #25413e22}.expanded-window .canvas-toolbar,.expanded-window #ordinal-ribbon,.expanded-window .canvas-footer{flex-shrink:0}.expanded-window .depth-window{flex:1;min-height:0}.expanded-window .depth-window .frame-scroll{flex:1;height:auto;min-height:0;max-height:none}.expanded-window .frame-pane{min-height:0}.expanded-window .point-note{margin-top:8px;margin-bottom:8px}.controls{z-index:3}@media(min-width:1600px){.expanded-window{left:300px}}@media(max-width:1150px){.expanded-window{left:240px;right:12px}}@media(max-width:850px){.expanded-window{left:218px;right:12px}}@media(max-width:600px){.expanded-window{left:10px;right:10px;top:230px;bottom:10px}.expanded-window .depth-window .frame-scroll{height:auto}.expanded-window .canvas-footer{display:none}}
.edge.dim{opacity:.45}.edge{stroke:#b3c5a5}.edge.selected{stroke:#759b5d}

#partition-preview{display:inline-flex;flex-shrink:0;align-items:center;justify-content:center;min-width:30px}#partition-preview svg{fill:#edf3e3;stroke:#87a471;stroke-width:.8;overflow:visible}.empty-partition{font:21px var(--serif);color:#7f9970}

/* Quiet controls, sharp diagrams, and readable reference panels. */
@font-face{font-family:'Latin Modern Math';src:url('fonts/latinmodern-math.otf') format('opentype');font-display:swap}
:root{--paper:#f6f7f2;--panel:#fff;--ink:#263e34;--muted:#647367;--line:#dfe5da;--green:#2c614c}
body{color:var(--ink)}.brand-name small{display:none}.brand-name{letter-spacing:1.3px}.header-right{gap:20px}.header-right nav{display:flex;align-items:center;gap:6px}.header-right nav button,.header-right #about-button{font-size:12px;color:#536953;max-width:none;padding:8px 10px;text-align:left;border-radius:5px;line-height:1.4}.header-right nav button:hover{background:#eaf0e5;color:#2f573b}.private{color:#7c897b;font-size:10px}.controls{min-height:0;overflow-y:auto;background:#eff2e9}.controls>.eyebrow{font-size:11px;letter-spacing:.2px;color:#6a7b63;text-transform:none}.controls>select{font-size:12px;margin-top:8px;color:#365c42;background:#fff}.advance-control{margin:20px 0;padding:16px 0 12px}.step-meta{font-size:10px;letter-spacing:.1px;color:#687c5e}.primary{font-size:12px;box-shadow:none}.secondary-controls button,.step-meta button{font-size:11px;color:#657c58}.stage-caption h2{font-size:25px;margin-top:0}.stage-caption p{font-size:12px;line-height:1.75;color:#62755b}.stage-caption>.math{font-size:20px;color:#476b40}.stage-caption #stage-tag{display:none}.control-bottom{padding-top:18px}.control-bottom .text-button{font-size:12px;color:#536e49}.main-heading{margin-bottom:20px}h1{font-size:clamp(28px,2.5vw,38px)}.result-tag{font-size:10px;color:#607b50;background:#f0f5e9;border:0}.canvas-card{background:white;border-color:#dbe3d3;box-shadow:none}.canvas-toolbar{min-height:48px;padding:10px 16px}.display-controls{gap:16px}.display-controls label{font-size:11px;color:#6b7e60}.display-controls input{height:12px;width:12px}#mode-controls:empty{display:none}.mode-buttons button{font-size:11px;padding:5px 9px}.frame-pane{background-image:none;background:#fff}.frame-scroll>svg{shape-rendering:geometricPrecision;text-rendering:optimizeLegibility}.edge,.convergence,.point .ring{vector-effect:non-scaling-stroke}.edge{stroke:#b4c4a8;stroke-width:1.2}.edge.selected{stroke:#64884f;stroke-width:1.6}.edge.dim{opacity:.3}.point .ring{fill:#fff;stroke:#8fa582;stroke-width:1.3}.point .core{fill:#97ac8a}.point.upset .ring{fill:#f1f6ec;stroke:#809e6c}.point.selected .ring{fill:#edf5e6;stroke:#457735;stroke-width:2}.point .halo{fill:#f4f8ef;stroke:#cfddc3}.point .node-label,.limit-label,.interval-break{paint-order:stroke fill;stroke:#fff;stroke-width:5px;stroke-linejoin:round}.point .node-label{font-family:Georgia,'Times New Roman',serif;font-size:18px;fill:#4f6c44}.component-box{fill:transparent;stroke:#e1e8db;stroke-dasharray:3 6;opacity:.65}.component-label{font-size:9.5px;letter-spacing:1.2px;fill:#96a28c}.root-badge,.root-label,.target-badge,.target-text{display:none}.hint{font-size:11px;fill:#899b7e}.convergence{stroke:#b4935c;stroke-width:1.15;stroke-dasharray:3 6}.limit-label{fill:#a08554;font-size:13px}.canvas-footer{font-size:10px;color:#7e8d72;background:#fbfcf8;border-color:#e4eadf}.canvas-footer>button{font-size:10px;color:#657e55}.colour-key{font-size:10px;gap:13px}.point-note{background:#f7faf2;border-color:#e0e8d7;box-shadow:none;backdrop-filter:none;gap:14px;padding:12px 36px 12px 14px}.point-note #point-description{font-size:11.5px;color:#5f7454;line-height:1.7}.point-note .math{color:#416d36}.stage-list{margin-top:17px;color:#73876a;font-size:11px}.stage-list>summary{cursor:pointer;width:max-content}.stage-list .step-timeline{margin:14px 0 8px;gap:5px}.step-timeline button{font-size:10px}.step-timeline .title{font-size:10px}.step-timeline button:after{display:none}.expanded-window{box-shadow:0 12px 50px #25413e1a}.window-button{color:#617950;font-size:11px}.graph-pane{background:#f9fbf5}.graph-heading p{color:#7b8d6f}.graph-equation{color:#5a7d48}#dg-ribbon{display:none!important}
math{font-family:'Latin Modern Math',math,serif;font-size:1.05em;math-style:compact}math annotation{display:none}dialog{width:min(800px,calc(100vw - 32px));background:#fff;color:#304331;border:1px solid #d8e2ce;max-height:90vh;box-shadow:0 20px 80px #203b2d33}dialog::backdrop{background:#233b2c5c;backdrop-filter:blur(2px)}.dialog-header{padding:10px 22px;background:#fff;border-bottom:0;justify-content:space-between}.dialog-header:has([hidden]){justify-content:flex-end}.dialog-header>button{font-size:24px;color:#7e8c74;line-height:1}#dialog-content{padding:0 30px 30px}#dialog-content h2{font-size:31px;color:#304b32;margin:0 0 22px}#dialog-content p,#dialog-content li{font-size:14px;color:#52654b;line-height:1.9;margin-bottom:16px}#dialog-content .math-block{color:#3c6737;border-color:#e0e7da}#dialog-content .inline-link{display:inline;padding:0;color:#366b46;text-decoration:underline;font:inherit}#dialog-content .glossary{display:grid;grid-template-columns:155px minmax(0,1fr);gap:17px 23px;margin:24px 0 0}#dialog-content .glossary dt{font:italic 16px/1.65 Georgia,serif;color:#3d5a36}#dialog-content .glossary dd{margin:0;min-width:0;font-size:14px;line-height:1.9;color:#52654b}#dialog-content .references{list-style:none;margin:0;padding:0;counter-reset:reference}#dialog-content .references li{position:relative;padding:0 0 20px 32px;margin:0 0 20px;border-bottom:1px solid #e5eadd;counter-increment:reference}#dialog-content .references li:last-child{border:0;margin:0}#dialog-content .references li:before{content:counter(reference);position:absolute;left:0;top:0;font-size:12px;color:#95a184}#dialog-content .reference-authors{font-size:13px;color:#435b3c;line-height:1.7}#dialog-content .reference-authors span{color:#798a6a}#dialog-content .reference-title{font:italic 17px/1.55 Georgia,serif;color:#3d5b35;margin:5px 0}#dialog-content .reference-publication{font-size:12px;color:#7c8d6e;line-height:1.8}#dialog-content .references a{font-size:11px;color:#3f714b;margin-top:6px;width:max-content}#dialog-content small{color:#819173;line-height:1.8}.text-button:hover{color:#355f36}
@media(max-width:850px){.header-right{gap:8px}.header-right nav{gap:0}.header-right nav button,.header-right #about-button{font-size:11px;padding:7px}.brand-name{font-size:8px;letter-spacing:1px}.display-controls{gap:12px}.stage-caption p{font-size:11px}.canvas-footer{font-size:9px}.step-timeline .title{font-size:9px}}
@media(max-width:600px){header{height:auto;min-height:105px;display:flex;flex-wrap:wrap;gap:8px;padding:12px 14px}.brand{flex:1}.brand-name{font-size:9px;letter-spacing:1px}.header-right{width:100%}.header-right nav{width:100%;justify-content:space-between}.header-right nav button,.header-right #about-button{font-size:11px;padding:5px 0;max-width:none;text-align:left}.controls{height:auto;overflow:visible}.controls>select{font-size:11px;margin:0}.primary{font-size:11px}.controls>.eyebrow{display:none}.app-layout main{padding-top:18px}.main-heading{margin-bottom:14px}h1{font-size:28px}.display-controls{flex-wrap:wrap;gap:12px}.display-controls label{font-size:10px}.canvas-toolbar{padding:9px 12px}.window-button{font-size:10px}.canvas-footer{font-size:9px}.point-note #point-description{font-size:10.5px}.point-note{gap:10px}.stage-list{margin-top:13px}#dialog-content{padding:0 22px 25px}#dialog-content h2{font-size:27px}#dialog-content .glossary{display:block;margin-top:20px}#dialog-content .glossary dt{margin:20px 0 4px}#dialog-content .glossary dd{font-size:13px}#dialog-content p{font-size:13px}.dialog-header{padding:10px 18px}#dialog-content .reference-title{font-size:16px}.expanded-window{top:220px}.point .node-label{font-size:18px}}
math{margin-inline:.06em}

.dialog-header{z-index:2}.hide-labels text{display:none}
.component-label,.hint,.component-name,.svg-math{paint-order:stroke fill;stroke:#fff;stroke-width:4px;stroke-linejoin:round}

/* Distinct generator colours remain clear at small point sizes. */
.point.colour-0 .core{fill:#566453}.point.colour-1 .core{fill:#007a62}.point.colour-2 .core{fill:#6944ad}.point.colour-3 .core{fill:#c16d00}.point.colour-1 .ring{stroke:#007a62}.point.colour-2 .ring{stroke:#6944ad}.point.colour-3 .ring{stroke:#c16d00}.key-dot.empty{background:#566453}.key-dot.p{background:#007a62}.key-dot.q{background:#6944ad}.key-dot.pq{background:#c16d00}.point .core{r:4.6}.construction-sources p{font-size:11px!important;line-height:1.7!important}.construction-sources a{display:inline!important}.source-content{font-size:11px;color:#63745b;line-height:1.7}.fine-part-label{font:16px Georgia,'Times New Roman',serif;fill:#5a6d50;paint-order:stroke fill;stroke:#fff;stroke-width:5px;stroke-linejoin:round}.fine-part-label tspan{font-style:italic}

/* Small contextual motivation, with room for the graph explanation. */
.motivation-summary{font-size:12px;color:#536e49;margin:0 0 12px}.motivation-summary summary{cursor:pointer}.motivation-summary summary strong{font-weight:700}.motivation-summary p{font-size:11px;line-height:1.7;margin-top:9px;color:#63745b}.motivation-intro{margin-bottom:22px;padding-bottom:16px;border-bottom:1px solid #e0e7da}.motivation-intro>strong{display:block;font-size:13px;font-weight:700;margin-bottom:7px;color:#3b5a41}.motivation-intro p{margin-bottom:0!important}.wide-dialog{width:min(880px,calc(100vw - 32px));max-height:92vh}.wide-dialog #dialog-content{padding:28px 34px 34px}.wide-dialog #dialog-content p{font-size:13px;line-height:1.85}.wide-dialog #dialog-content h3{font-size:23px}.wide-dialog .girth-steps{margin-top:25px}.wide-dialog .bound-note{font-size:11px!important;color:#7c8876!important}.tail-design rect{fill:#f4f7ef;stroke:#d6e1cb}.tail-title{font:17px Georgia,'Times New Roman',serif;fill:#4b6743}.tail-copy{font:12px -apple-system,BlinkMacSystemFont,'Segoe UI',sans-serif;fill:#74836a}.region-order{vector-effect:non-scaling-stroke}.hide-order .region-order{display:none}[data-region]{cursor:pointer}[data-region]:focus-visible .component-box,[data-region].selected .component-box{stroke:#5b7b8e!important;stroke-width:2}.point.in-marker .ring{fill:#dfefe5;stroke:#678f78}.point.selected-cut .ring{stroke:#64879b;stroke-width:2}.point.separator-failure .ring{fill:#f6dcd5;stroke:#ad6453;stroke-width:2}.point.separator-failure .core{fill:#ad6453}.point.outside-marker .ring{fill:#f5f7f8;stroke:#9ca9ad}.point.kernel-least .ring{stroke:#738997}.frame-svg-note{font-size:12px}body:has([data-localic-view]) .canvas-toolbar{flex-wrap:wrap;row-gap:8px}body:has([data-localic-view]) .display-controls{flex-wrap:wrap}@media(max-width:600px){.motivation-summary{display:none}.wide-dialog #dialog-content{padding:22px}.mode-buttons button{font-size:10px;padding:4px 6px}.display-controls{gap:9px}}
@media(max-width:600px){.controls .control-bottom{display:flex;grid-column:1/-1;align-items:flex-start;justify-content:space-between;gap:15px;padding-top:2px}.controls .control-bottom .text-button{width:auto;margin-left:auto;white-space:nowrap}.controls .motivation-summary{display:block;flex:1;margin-bottom:0}.controls .motivation-summary p{font-size:10px;max-width:65vw}.controls .motivation-summary summary{font-size:11px}}

/* Named cuts and Pascal shift maps. */
.brand-mark{font:italic 36px Georgia,serif;color:#365c46}.brand-title{font:22px/1.2 Georgia,serif;color:#304d3b;letter-spacing:-.4px}.brand{gap:13px}
#localic-inspector{background:#fafbf8;border-bottom:1px solid #e1e7dc;padding:0 16px}.upset-bar,.transformation-bar{display:flex;align-items:center;gap:12px;flex-wrap:wrap;padding:10px 0;font-size:12px}.transformation-bar{border-top:1px solid #e2e7df}.upset-bar>strong,.transformation-bar>strong{min-width:105px;font-size:11px;color:#4e6555}.upset-bar label{display:flex;align-items:center;gap:6px;font-size:11px;color:#68796b}.upset-bar select{width:auto;margin:0;padding:5px 23px 5px 8px;font-size:11px;background:#fff}.cut-buttons{display:flex;gap:4px}.cut-buttons button{min-width:37px;border:1px solid #d5dfd2;background:#fff;border-radius:5px;padding:5px 10px;font:18px Georgia,serif;line-height:1.15;color:#3e5d48}.cut-buttons button[aria-pressed=true]{border-color:#668674;background:#e8f0e7;color:#244f38}.quiet-button{margin-left:auto;font-size:10px;color:#738375;padding:6px}.bar-label,.bar-arrow{font-size:11px;color:#7b867c}.cut-key{margin-left:auto;display:flex;align-items:center;gap:5px;font-size:10px;color:#7c857e}.cut-key i{width:9px;height:9px;border-radius:50%;display:inline-block}.source-swatch{border:2px dashed #8a67a3}.target-swatch{background:#f5d794;border:1px solid #b88d36}.cut-explanation{border-top:1px solid #e2e7df;padding:10px 0 12px;font-size:12px;line-height:1.75;color:#536c57;min-height:48px}.cut-explanation p{margin:0 0 5px}.cut-explanation p:last-child{margin-bottom:0}.cut-explanation .formula{font:18px/1.6 Georgia,serif;color:#345c40}.cut-explanation small{font-size:10px;color:#79847a}.legend-note{color:#8b9489;font-size:9px}
.point.colour-parity0 .ring,.point.parity-0 .ring{stroke:#2674a0}.point.colour-parity0 .core,.point.parity-0 .core{fill:#2674a0}.point.colour-parity1 .ring,.point.parity-1 .ring{stroke:#23816d}.point.colour-parity1 .core,.point.parity-1 .core{fill:#23816d}.key-dot.parity0{background:#2674a0}.key-dot.parity1{background:#23816d}.point.colour-4 .ring{stroke:#b44c71}.point.colour-4 .core,.key-dot.r{fill:#b44c71;background:#b44c71}.point.source-cut .ring{stroke:#8a67a3;stroke-width:2.3;stroke-dasharray:3 2}.point.tail-cut .ring{fill:#e9f1e4}.point.target-cut .ring{fill:#f6dfa5;stroke:#aa812e;stroke-width:2}.point.source-cut.target-cut .ring{fill:#f6dfa5;stroke:#8a67a3}.hide-colours .point .core{fill:#607166!important}.hide-colours .point:not(.source-cut):not(.target-cut):not(.selected) .ring{stroke:#8fa18c!important}.hide-colours .point .node-label{fill:#4f6c44!important}
.point.shared-limit .core{fill:#fff;stroke-width:1.3}.point.shared-limit.colour-parity0 .core{stroke:#2674a0}.point.shared-limit.colour-parity1 .core{stroke:#23816d}.point.terminal-limit .core{r:7.5;fill:#fff;stroke:#5f7362;stroke-width:1}.point.terminal-limit .ring{r:12;stroke:#5f7362}.point.isolated-root .core{r:5.4;fill:#304b3b}.hide-colours .point.shared-limit .core{fill:#fff!important;stroke:#607166!important}
@media(max-width:850px){.brand-title{font-size:19px}.brand-mark{font-size:30px}.canvas-toolbar{flex-wrap:wrap}.display-controls{flex-wrap:wrap}.upset-bar,.transformation-bar{gap:8px}.cut-key{margin-left:0}.upset-bar>strong,.transformation-bar>strong{min-width:90px}}
@media(max-width:600px){.brand-title{font-size:21px}.brand-mark{font-size:32px}#localic-inspector{padding:0 10px}.upset-bar>strong,.transformation-bar>strong{width:100%;min-width:0}.cut-buttons button{font-size:17px;padding:5px 9px;min-width:34px}.cut-explanation{font-size:11px}.cut-key{font-size:9px}.quiet-button{font-size:9px}.display-controls{gap:10px}.colour-key{flex-wrap:wrap}.bar-label{font-size:10px}.transformation-bar .cut-key{margin-left:auto}}

.cut-explanation>.math{font-size:18px;line-height:1.7}.hide-colours .point.terminal-limit .core{fill:#fff!important}

/* Shared pages and navigation. */
.header-right nav a{font-size:12px;color:#536953;padding:8px 10px;text-decoration:none;border-radius:5px;line-height:1.4;white-space:nowrap}.header-right nav a:hover{background:#eaf0e5;color:#2f573b}.header-right nav a[aria-current=page]{color:#2e5c40;background:#eaf0e5}.landing-page #page-content{max-width:1160px;margin:0 auto;padding:64px 30px}.landing-hero{min-height:calc(100vh - 205px);display:grid;grid-template-columns:minmax(0,1.35fr) minmax(260px,.8fr);gap:70px;align-items:center}.landing-copy h1{font:normal clamp(42px,4.7vw,66px)/1.12 Georgia,'Times New Roman',serif;letter-spacing:-1.7px;color:#2b493a;max-width:690px;margin:0 0 25px}.landing-copy>p{font:18px/1.7 var(--sans);color:#6c7d6e;max-width:480px}.landing-actions{display:flex;align-items:center;gap:25px;flex-wrap:wrap;margin-top:34px}.page-button{display:inline-flex;align-items:center;justify-content:space-between;gap:25px;text-decoration:none;color:#fff;background:#315f49;border:1px solid #315f49;border-radius:5px;font-size:12px;line-height:1.5;padding:11px 17px}.page-button:hover{background:#244e39}.quiet-link{font-size:12px;color:#667d62;text-decoration:none}.quiet-link:hover{text-decoration:underline}.landing-picture{display:flex;align-items:center;justify-content:center}.landing-poset{width:min(100%,340px);height:auto;overflow:visible}.landing-covers path{fill:none;stroke:#9eb29f;stroke-width:1.65}.landing-points circle{fill:#f6f7f2;stroke:#496f57;stroke-width:2}.landing-points [data-node=top]{fill:#dfe8d7;stroke:#5b7a4f}.reading-page #page-content{max-width:1060px;margin:0 auto;padding:48px 30px 80px}.page-intro{margin-bottom:35px;max-width:850px}.page-kicker{display:block;color:#83917d;font-size:11px;letter-spacing:.6px;margin-bottom:12px}.page-intro h1{font:normal clamp(32px,3.5vw,43px)/1.22 Georgia,serif;letter-spacing:-.8px;color:#304e3b;margin:0 0 17px}.page-intro>p{font-size:14px;color:#71816a;line-height:1.85;max-width:740px}.page-intro>.page-button{margin-top:22px}.topic-index{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:17px}.topic-card{padding:24px 25px;border:1px solid #dce4d5;background:#fff;border-radius:6px;text-decoration:none;display:flex;flex-direction:column;transition:border-color .15s}.topic-card:hover{border-color:#93b08a}.topic-card-heading{display:flex;align-items:flex-start;justify-content:space-between;gap:20px}.topic-card h2{font:normal 24px/1.3 Georgia,serif;letter-spacing:-.3px;color:#3a5a40;margin:0 0 13px}.topic-card-heading>span{font-size:16px;color:#93a387}.topic-card p{font-size:12px;line-height:1.85;color:#7c8b74;margin-bottom:20px}.topic-count{font-size:10px;color:#7c9270;margin-top:auto}.breadcrumb{display:inline-block;text-decoration:none;font-size:11px;color:#7b9070;margin:0 0 28px}.breadcrumb:hover{text-decoration:underline}.topic-motivation{max-width:850px;border-top:1px solid #dce5d4;border-bottom:1px solid #dce5d4;padding:20px 0;margin:0 0 34px}.topic-motivation>strong{font-size:12px;display:block;color:#4b674a;margin-bottom:9px}.topic-motivation p{font-size:13px;line-height:1.9;color:#677d5e}.topic-bibliography{max-width:850px}.topic-bibliography>h2{font:normal 25px Georgia,serif;color:#3b5d40;margin:0 0 25px}.reading-page .references{list-style:none;padding:0;margin:0;counter-reset:reference}.reading-page .references li{padding:0 0 25px 35px;margin-bottom:25px;position:relative;border-bottom:1px solid #dfe7d8;counter-increment:reference}.reading-page .references li:last-child{border:0}.reading-page .references li:before{content:counter(reference);position:absolute;left:0;top:0;font-size:12px;color:#91a284}.reading-page .reference-authors{font-size:13px;color:#526c4b;line-height:1.8}.reading-page .reference-authors span{color:#809073}.reading-page .reference-title{font:italic 20px/1.6 Georgia,serif;color:#3f623c;margin:6px 0}.reading-page .reference-publication{font-size:12px;line-height:1.9;color:#7d9070}.reading-page .references a{display:inline-block;color:#50744b;font-size:11px;text-decoration:none;margin-top:8px}.reading-page .references a:hover{text-decoration:underline}.prose{max-width:850px}.prose>p{font-size:14px;line-height:2;color:#5b7152;margin-bottom:20px}.prose .inline-link{color:#356644;text-decoration:underline;font:inherit}.prose .glossary{display:grid;grid-template-columns:175px minmax(0,1fr);gap:20px 26px;margin-top:34px}.prose .glossary dt{font:italic 17px/1.7 Georgia,serif;color:#41633b}.prose .glossary dd{margin:0;font-size:14px;line-height:1.95;color:#5d7353}.forthcoming-note{font-size:14px;line-height:1.9;color:#6c8062;padding:20px 0}.topic-reference-link{display:inline-block!important;margin:10px 0 0!important;font-size:12px!important;color:#476e43!important}
@media(max-width:850px){.header-right nav a{font-size:11px;padding:7px}.landing-page #page-content{padding:45px 25px}.landing-hero{gap:35px;grid-template-columns:minmax(0,1.2fr) minmax(200px,.8fr)}.landing-copy h1{font-size:46px}.landing-copy>p{font-size:16px}.landing-poset{max-width:280px}.landing-actions{gap:18px}.reading-page #page-content{padding:35px 24px 60px}.topic-card{padding:21px}.topic-card h2{font-size:22px}}
@media(max-width:600px){.header-right nav{flex-wrap:wrap;justify-content:flex-start;gap:1px 16px}.header-right nav a{font-size:11px;padding:5px 0;border-radius:0}.header-right nav a[aria-current=page]{background:none;text-decoration:underline;text-underline-offset:5px}.landing-page #page-content{padding:42px 24px 30px}.landing-hero{display:flex;flex-direction:column;min-height:0;gap:30px;align-items:stretch}.landing-copy h1{font-size:43px;max-width:430px;letter-spacing:-1.2px;margin-bottom:19px}.landing-copy>p{font-size:16px;max-width:360px}.landing-actions{margin-top:25px;gap:20px}.landing-picture{align-self:center;width:220px}.landing-poset{max-height:285px}.topic-index{grid-template-columns:1fr;gap:13px}.reading-page #page-content{padding:35px 20px 55px}.page-intro h1{font-size:33px}.page-intro{margin-bottom:28px}.topic-card{padding:22px}.prose .glossary{display:block;margin-top:25px}.prose .glossary dt{margin:23px 0 5px}.prose .glossary dd{font-size:13px}.prose>p{font-size:13px}.reading-page .references li{padding-left:27px}.reading-page .reference-title{font-size:18px}.topic-motivation p{font-size:12px}}