.display-launch{display:inline-flex;align-items:center;gap:10px;padding:11px 17px;border:1px solid #b3a0d1;border-radius:8px;color:#4b0082;background:linear-gradient(110deg,#f4efff,#edf6ff);font-weight:600;text-decoration:none;white-space:nowrap}.workspace-heading>.heading-actions{display:flex;align-items:center;gap:12px;flex-wrap:wrap}.display-nav{display:none}.display-reading{display:grid;grid-template-columns:1.6fr 1fr;gap:32px;padding:24px 30px;border-bottom:1px solid #d8cce5;background:linear-gradient(110deg,#f8f5ff,#f4f9ff)}.display-reading h2{font-size:1.3rem}.display-reading h3{font-size:1rem}.display-reading p{line-height:1.7}.display-formula{overflow-x:auto;padding:12px 0}.display-companion{margin:30px;padding:24px;border:1px solid #bcabd3;border-radius:12px;background:#f9f7fe}.display-companion summary{cursor:pointer;font-size:1.15rem;font-weight:600;color:#4b0082}.display-companion-grid{display:grid;grid-template-columns:minmax(0,2fr) minmax(250px,1fr);gap:32px;margin-top:20px}.display-companion canvas{width:100%;height:clamp(380px,24vw,850px);background:white;border:1px solid #d9d1e5;border-radius:10px;touch-action:none;cursor:grab}.display-companion label{display:block;margin:20px 0}.display-companion input[type=range]{display:block;width:100%;margin-top:12px;accent-color:#4b0082}.display-companion output{float:right}.display-check{display:flex!important;gap:10px;align-items:center}.display-check input{width:20px;height:20px;accent-color:#4b0082}.display-actions{display:flex;gap:10px}.display-actions button{padding:10px 15px;color:#4b0082;border:1px solid #c1afd6;border-radius:6px;background:white}.display-companion [hidden]{display:none!important}
html[data-display="4k"]{font-size:clamp(16px,.61vw,24px)}html[data-display="4k"] .sidebar,html[data-display="4k"] #menu-toggle,html[data-display="4k"] .details-rail{display:none!important}html[data-display="4k"] .app-shell{display:block}html[data-display="4k"] .main-shell{margin-left:0;width:100%}html[data-display="4k"] #workspace{max-width:none;margin:0;padding:clamp(16px,1.15vw,44px)}html[data-display="4k"] .topbar{position:sticky;top:0;z-index:20;padding:14px 32px}html[data-display="4k"] .display-nav{display:flex;gap:7px;align-items:center;flex-wrap:wrap}html[data-display="4k"] .display-nav a{display:inline-flex;justify-content:center;align-items:center;min-width:2em;height:2em;border-radius:6px;text-decoration:none;color:#4b0082;border:1px solid #d4c7e4;font-size:.85rem}html[data-display="4k"] .display-nav a[aria-current]{background:#4b0082;color:white}html[data-display="4k"] .topbar-label{display:none}html[data-display="4k"] .workspace-grid{grid-template-columns:minmax(0,1fr)}html[data-display="4k"] .workspace-heading{align-items:center}html[data-display="4k"] .workspace-heading h1{font-size:1.8rem}html[data-display="4k"] .step-intro{max-width:none}html[data-display="4k"] .s1-scene-grid{grid-template-columns:minmax(0,1fr) minmax(300px,.4fr) minmax(0,1fr)}html[data-display="4k"] .s1-matrix-panel{font-size:1rem}html[data-display="4k"] .s1-view svg,html[data-display="4k"] .s2-view svg{max-height:1100px}html[data-display="4k"] .s1-matrix-cell b,html[data-display="4k"] .s1-matrix-cell small{font-size:.9rem}html[data-display="4k"] .s3-ellipsoids svg{max-height:700px}html[data-display="4k"] .s3-input-pair svg{max-height:430px}html[data-display="4k"] .s3-closeup-panel svg{max-height:600px}html[data-display="4k"] .s4-root svg,html[data-display="4k"] .s5-root svg,html[data-display="4k"] .enc-root svg{max-height:1000px}html[data-display="4k"] .lift-stage canvas{height:clamp(550px,25vw,960px)}html[data-display="4k"] .lift-stage.close canvas{height:clamp(450px,20vw,750px)}html[data-display="4k"] .enc-3d-stage{height:clamp(550px,25vw,960px)}html[data-display="4k"] .enc-3d-stage canvas{height:100%}html[data-display="4k"] .op-plot canvas{height:auto}html[data-display="4k"] .g9-boundary-full svg{max-height:650px}html[data-display="4k"] .s1-argument,html[data-display="4k"] .s2-argument,html[data-display="4k"] .s3-argument,html[data-display="4k"] .text-panel{max-width:none}html[data-display="4k"] .quantity-context{font-size:.95rem}html[data-display="4k"] .enc-card{padding:28px}html[data-display="4k"] input[type=range]{min-height:24px}html[data-display="4k"] .s3-stages svg{min-height:260px}
@media(min-width:2400px){html[data-display="4k"] .s5-stage-layout{gap:40px}html[data-display="4k"] .enc-entry-grid{grid-template-columns:repeat(4,minmax(0,1fr))}html[data-display="4k"] .s1-bottom-controls{gap:35px}html[data-display="4k"] .s2-motion{padding:22px 28px}}
@media(max-width:1100px){.display-reading,.display-companion-grid{grid-template-columns:1fr}html[data-display="4k"] .s1-scene-grid{grid-template-columns:1fr}html[data-display="4k"] .topbar{flex-wrap:wrap;gap:12px}.display-companion{margin:12px}.workspace-heading>.heading-actions{justify-content:flex-start}}

@media(min-width:2400px){html[data-display="4k"] .s5-root{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:24px;align-items:start}html[data-display="4k"] .s5-summary,html[data-display="4k"] .s5-jumps,html[data-display="4k"] #s5-part-3,html[data-display="4k"] #s5-part-4{grid-column:1/-1}html[data-display="4k"] .s5-card{margin:0}html[data-display="4k"] .s5-root svg{max-height:700px}html[data-display="4k"] .s5-jumps{position:sticky;top:90px;background:#fff;z-index:5;padding:10px}html[data-display="4k"] .s5-card{scroll-margin-top:170px}}

#step-page .story-header>.story-4k-link{display:none}

/* Compact 4K board: use monitor area for related geometries, not giant prose. */
html[data-display="4k"]{font-size:17px}html[data-display="4k"] body{height:100dvh;overflow:hidden}html[data-display="4k"] .topbar{height:46px;min-height:46px;padding:5px 18px;position:relative}html[data-display="4k"] .display-nav{gap:5px}html[data-display="4k"] .display-nav a{min-width:28px;height:28px;font-size:13px}html[data-display="4k"] #workspace{padding:10px 16px;height:calc(100dvh - 46px);overflow:hidden}html[data-display="4k"] #step-page{height:100%;display:flex;flex-direction:column;min-height:0}html[data-display="4k"] .workspace-heading{margin:0 0 6px;min-height:48px}html[data-display="4k"] .workspace-heading h1{font-size:23px;margin:0}html[data-display="4k"] #step-kicker{font-size:11px;margin:0 0 2px}html[data-display="4k"] .display-launch{padding:6px 10px;font-size:13px}html[data-display="4k"] #step-intro,html[data-display="4k"] #quantity-context,html[data-display="4k"] .workspace-meta,html[data-display="4k"] .step-footer,html[data-display="4k"] .scope-note{display:none!important}html[data-display="4k"] .workspace-grid{flex:1;min-height:0;margin:0;display:flex}html[data-display="4k"] .canvas-card{display:flex;flex-direction:column;flex:1;min-width:0;min-height:0}html[data-display="4k"] .tabs{flex:none;min-height:34px}html[data-display="4k"] .tabs button{padding:8px 14px;font-size:13px}html[data-display="4k"] .tab-panel{min-height:0;flex:1;overflow:auto}html[data-display="4k"] .tab-panel[hidden]{display:none!important}html[data-display="4k"] .tab-panel.display-board{display:flex;flex-direction:column;position:relative;overflow:hidden;padding:0}
.display-board-tools{display:flex;align-items:center;flex-wrap:wrap;gap:6px 12px;padding:7px 12px;background:#f5f3fc;border-bottom:1px solid #d8cce5;font-size:13px;flex:none}.display-board-tools button,.display-board-tools select{font:inherit;padding:6px 9px;background:white;border:1px solid #b9acd0;border-radius:5px;color:#4b0082}.display-board-tools label{display:flex;align-items:center;gap:6px}.display-board-tools select{max-width:300px}.display-board-tools output{margin-left:auto;font-size:11px;color:#756885}.display-board-area{flex:1;min-height:0;min-width:0;overflow:auto;padding:8px}.display-board-content{transform-origin:top left;min-width:0}.display-board-key{padding:6px 14px;border-top:1px solid #d8cce5;background:#f9f7fd;font-size:12px;flex:none;line-height:1.4}.display-board-key span{float:right}.display-board .display-reading{position:absolute;z-index:50;inset:58px 24px auto;max-height:calc(100% - 80px);overflow:auto;box-shadow:0 12px 50px #25114535;border:1px solid #bca6d2;border-radius:10px;font-size:17px;padding:24px;background:#f8f6ff}.display-reading[hidden]{display:none!important}.display-overlay-close{grid-column:1/-1;justify-self:end;padding:7px 12px;border:1px solid #bca6d2;border-radius:5px;background:white;color:#4b0082}.display-board .display-companion{position:absolute;z-index:51;inset:55px 12px 12px;margin:0;overflow:auto;padding:18px;box-shadow:0 10px 40px #25114535;background:#f7f5fc}.display-board .display-companion:not([open]){display:none}.display-board .display-companion-grid{grid-template-columns:minmax(0,3fr) minmax(300px,1fr);height:calc(100% - 105px);margin-top:10px;gap:24px}.display-board .display-companion canvas{height:100%;min-height:260px}.display-board .display-companion label{margin:10px 0}
html[data-display="4k"] .display-board-content>div{padding:8px;border-top:0;gap:12px;container-type:normal}html[data-display="4k"] .display-board-content h2,html[data-display="4k"] .display-board-content h3{font-size:18px;margin:0 0 8px}html[data-display="4k"] .display-board-content h4{font-size:16px;margin:4px 0}html[data-display="4k"] .display-board-content p{line-height:1.4;margin:6px 0;font-size:14px}html[data-display="4k"] .display-board-content button{font-size:13px;padding:6px 9px}html[data-display="4k"] .display-board-content input[type=range]{min-height:16px;margin:6px 0}html[data-display="4k"] .display-board-content label{font-size:14px}html[data-display="4k"] .display-board-content :is(.s3-card,.s4-card,.s5-card,.enc-card){padding:12px;margin:0;min-width:0}html[data-display="4k"] .display-board-content :is(.enc-equation,.s3-equation,.s4-equation,.s5-equation){padding:7px 10px;margin:7px 0;font-size:16px;line-height:1.45}html[data-display="4k"] .display-board-content svg:not(mjx-container svg):not(.s1-cell-links){max-height:310px;min-height:0}html[data-display="4k"] .display-board-content :is(.enc-actions,.s3-actions,.s4-actions,.s5-actions){gap:5px;margin:6px 0}html[data-display="4k"] .display-board-content :is(.s3-controls,.s3-ellipse-controls,.s3-input-controls,.lift-controls,.g9-controls,.op-controls){padding:10px;margin:6px 0}html[data-display="4k"] .display-board-content :is(.enc-range,.s4-control,.s5-control){margin:8px 0}html[data-display="4k"] .display-board-content :is(.enc-readouts,.op-summary,.lift-axes){margin:8px 0;gap:6px}html[data-display="4k"] .display-board-content :is(.enc-readouts,.op-summary,.lift-axes)>div{padding:8px}html[data-display="4k"] .display-board-content :is(.lift-stage canvas,.lift-stage.close canvas){height:320px}html[data-display="4k"] .display-board-content .enc-3d-stage{height:440px}html[data-display="4k"] .display-board-content .enc-3d-stage canvas{height:100%}html[data-display="4k"] .display-board-content .op-plot canvas{height:auto;max-height:330px;object-fit:contain}
/* Compact prose retains every geometric caption, formula and numeric readout. */
.display-board:not(.show-full-prose) .display-board-content :is(.s3-uniform-proof,.s3-control-meaning,.s3-uniform-handoff,.s3-uniform-conclusion,.s3-uniform-quantifiers,.s1-precision-note,.s2-reading,.s2-geometry-note,.s2-evidence,.s4-evidence,.lift-proof-list){display:none}.display-board:not(.show-full-prose) .display-board-content .s3-radius-card{padding:7px;margin:7px 0}.display-board:not(.show-full-prose) .display-board-content .s3-radius-card p{display:none}
/* Step-specific boards keep the original interactive components together. */
html[data-display="4k"] .display-board-content>.s1-root{display:grid;grid-template-columns:370px minmax(0,1fr);align-content:start;align-items:start}.display-board .s1-root>*{grid-column:1}.display-board .s1-root>.s1-scene-grid{grid-column:2;grid-row:1/10;grid-template-columns:minmax(0,1fr) 260px minmax(0,1fr);height:auto}.display-board .s1-bottom-controls{grid-template-columns:1fr;gap:10px}.display-board .s1-palette-key{flex-wrap:wrap}.display-board .s1-count{padding:10px}.display-board .s1-explorer{padding:10px}html[data-display="4k"] .display-board-content .s1-view svg{max-height:calc(100dvh - 340px)}
html[data-display="4k"] .display-board-content>.s2-root{display:grid;grid-template-columns:350px minmax(0,1fr);align-items:start}.display-board .s2-root>*{grid-column:1}.display-board .s2-root>.s2-plots{grid-column:2;grid-row:1/8}.display-board .s2-root>.s2-cases{grid-column:2;grid-row:8/15;display:grid;grid-template-columns:1fr 1fr}.display-board .s2-options{display:grid;gap:8px}.display-board .s2-motion{padding:10px}.display-board .s2-live-distances{display:grid}.display-board .s2-cases .s2-case{padding:10px}.display-board .s2-cases dl{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:8px}html[data-display="4k"] .display-board-content .s2-view svg{max-height:calc(52dvh - 140px)}
html[data-display="4k"] .display-board-content>.s3-root{display:grid;grid-template-columns:minmax(0,1.2fr) minmax(0,1fr);align-items:start}.display-board .s3-controls{grid-column:1/-1;display:grid;grid-template-columns:1fr 1fr;gap:6px 24px}.display-board .s3-controls>p{grid-column:2}.display-board .s3-ab{grid-template-columns:1fr}.display-board .s3-ledger{grid-column:1;grid-row:3}.display-board .s3-root>.s3-card:has(.s3-ellipsoids){grid-column:1/-1;display:grid;grid-template-columns:1fr 2fr;gap:10px 20px}.display-board .s3-root>.s3-card:has(.s3-ellipsoids)>.s3-ellipsoids{grid-column:2;grid-row:1/14}.display-board .s3-root>.s3-card:has(.s3-ellipsoids)>:not(.s3-ellipsoids){grid-column:1}.display-board .s3-conclusion{grid-column:1/-1}.display-board .s3-closeup-panel{display:none}.display-board.show-full-prose .s3-closeup-panel{display:block}html[data-display="4k"] .display-board-content .s3-stages svg{max-height:145px;min-height:90px}.display-board .s3-reciprocals article{display:block}
html[data-display="4k"] .display-board-content>.s4-root,html[data-display="4k"] .display-board-content>.s5-root{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));align-items:start}.display-board .s4-chain{grid-template-columns:repeat(2,minmax(0,1fr))}.display-board .s4-card .s4-local{padding:6px}.display-board .s5-summary{grid-column:1/-1;padding:8px}.display-board .s5-jumps{display:none}.display-board .s5-root>.s5-card{grid-column:auto!important;scroll-margin:0}.display-board .s5-card .s5-stage-layout{gap:10px}.display-board .s5-root svg{max-height:250px!important}.display-board .s5-root :is(.s5-pair,.s5-grid){gap:10px}
html[data-display="4k"] .display-board[data-board-step="6"] .display-board-content>.enc-root{display:grid;grid-template-columns:minmax(0,2fr) minmax(0,1fr);align-items:start}.display-board[data-board-step="6"] .enc-root>.enc-card:first-child{grid-column:1/-1}.display-board[data-board-step="6"] .enc-root>.enc-card:nth-child(2){grid-column:1;grid-row:2/4}.display-board[data-board-step="6"] .enc-root>.enc-card:nth-child(n+3){grid-column:2}.display-board[data-board-step="6"] .enc-four{grid-template-columns:repeat(2,minmax(0,1fr))}.display-board[data-board-step="6"] .enc-four svg{max-height:320px!important}.display-board[data-board-step="6"] .enc-matrix-route{gap:12px}.display-board[data-board-step="6"] .enc-entry-grid{grid-template-columns:repeat(4,minmax(0,1fr))}
html[data-display="4k"] .display-board[data-board-step="7"] .display-board-content>.enc-root{display:grid;grid-template-columns:1.2fr 1fr;align-items:start}.display-board[data-board-step="7"] [data-matrix-diamond]{grid-column:1;grid-row:1/4}.display-board[data-board-step="7"] .enc-root>.enc-card{grid-column:2}.display-board[data-board-step="7"] .diamond-layout{grid-template-columns:1fr 1fr}.display-board[data-board-step="7"] .enc-four{grid-template-columns:repeat(4,minmax(0,1fr))}.display-board[data-board-step="7"] .enc-four svg{max-height:200px!important}
html[data-display="4k"] .display-board-content>.g2-root{display:grid;grid-template-columns:2fr 1fr;align-items:start}.display-board .g2-root>.g2-main-scene{grid-column:1;grid-row:2/4}.display-board .g2-root>.enc-card:not(.g2-purpose):not(.g2-main-scene){grid-column:2}.display-board .g2-controls{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:6px 16px}.display-board .g2-controls>*{margin:4px 0}.display-board .g2-close-area{gap:12px}.display-board .g2-close-area svg{max-height:330px!important}
html[data-display="4k"] .display-board-content>.g9-root{display:grid;grid-template-columns:.8fr 1.2fr 1.2fr;align-items:start}.display-board .g9-root>.enc-card:last-child{grid-column:1/-1}.display-board .g9-plots{grid-template-columns:1fr}.display-board .g9-boundary-grid{grid-template-columns:1fr}.display-board .g9-boundary-full svg{max-height:320px!important}
html[data-display="4k"] .display-board-content>.lift-root,html[data-display="4k"] .display-board-content>.op-root{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));align-items:start}.display-board .lift-grid,.display-board .op-grid,.display-board .op-control-grid{gap:12px}.display-board .lift-close-wrap{margin-top:8px;padding-top:8px}.display-board .lift-answer{padding:8px}.display-board .op-visibility-note{padding:6px}.display-board .op-root>.op-output-card{grid-column:1/-1;display:grid;grid-template-columns:minmax(0,1fr);gap:8px 20px}.display-board .op-root>.op-output-card>.op-output-grid{grid-column:1;grid-row:auto}.display-board .op-root>.op-output-card>:not(.op-output-grid){grid-column:1}.display-board .op-root>.enc-card:last-child{grid-column:1/-1}.display-board .op-intro .op-control-grid{grid-template-columns:1fr 1fr}
/* Native nodes remain mounted. Focus temporarily uses the whole available board. */
.display-board.has-panel-focus .display-board-content{height:100%}.display-board.has-panel-focus .display-board-content>div{position:static}.display-board.has-panel-focus .display-board-content>div>*{visibility:hidden}.display-board.has-panel-focus .display-panel-focus{visibility:visible!important;position:absolute;inset:54px 8px 36px;z-index:20;background:white;overflow:auto;padding:18px!important;display:block!important;border:1px solid #9b85b9;border-radius:8px}.display-board.has-panel-focus .display-panel-focus *{visibility:visible}.display-board.has-panel-focus .display-panel-focus svg:not(mjx-container svg){max-height:55dvh!important}.display-board.has-panel-focus .display-panel-focus .enc-3d-stage{height:60dvh}.display-board.has-panel-focus .display-panel-focus .lift-stage canvas{height:55dvh}.display-board.has-panel-focus .display-panel-focus .s1-view svg{max-height:70dvh!important}
@media(max-width:1800px){html[data-display="4k"]{font-size:15px}.display-board-content{min-width:1600px}.display-board-tools{gap:5px;font-size:12px}.display-board-key{font-size:10px}.display-board-key span{float:none}.display-board .display-companion-grid{grid-template-columns:2fr 1fr}.display-board .s1-root>.s1-scene-grid{grid-template-columns:1fr 220px 1fr}}
html[data-display="4k"] .workspace-card{display:flex;flex-direction:column;flex:1;min-width:0;min-height:0;overflow:hidden}html[data-display="4k"] #panel-geometry.display-board{flex:1;min-height:0;height:100%}
html[data-display="4k"] .workspace-grid{align-items:stretch}html[data-display="4k"] .workspace-card{height:100%}html[data-display="4k"] .context-strip{margin:0 0 6px;font-size:12px}html[data-display="4k"] .display-board-content .s1-view-wide{order:1;grid-column:1}.display-board .s1-scene-grid>.s1-matrix-panel{order:2;grid-column:2;padding:12px}.display-board .s1-scene-grid>.s1-view-zoom{order:3;grid-column:3}.display-board .s1-distance-cards{grid-template-columns:1fr}html[data-display="4k"] .display-board-content .s1-view .s1-svg{max-height:min(65dvh,1100px)!important}.display-board .s1-scene-grid{align-items:start}html[data-display="4k"] .display-board-content .s2-view>div>svg{max-height:min(46dvh,800px)!important}
html[data-display="4k"] .display-board-content .op-plot canvas{height:330px;max-height:none;object-fit:fill}.display-board.has-panel-focus .display-panel-focus .op-plot canvas{height:52dvh!important}
/* Linked Step 7: use both columns for geometry and the source connection. */
.display-board[data-board-step="7"] [data-matrix-diamond]{grid-row:1/3}
.display-board[data-board-step="7"] .enc-root>.hardy-gauge-card{grid-column:1;grid-row:3/5}
.display-board[data-board-step="7"] .linked-matrix-view{grid-row:1}
.display-board[data-board-step="7"] .linked-matrix-controls{grid-row:2}
.display-board[data-board-step="7"] .linked-matrix-definition{grid-row:3}
.display-board[data-board-step="7"] .hardy-gauge-tabs{margin:8px 0;gap:6px}
.display-board[data-board-step="7"] .hardy-gauge-panel{padding:7px 9px}
.display-board[data-board-step="7"] .hardy-objects{gap:6px;margin:8px 0}
.display-board[data-board-step="7"] .hardy-objects>div{padding:8px}

.display-board .g2-root>.g2-purpose{grid-column:1/-1;grid-row:1}.display-board .g2-purpose-stages{grid-template-columns:repeat(3,minmax(0,1fr));gap:12px}.display-board .g2-purpose-stages>article{padding:8px 10px}.display-board .g2-purpose .enc-note{margin-bottom:0}
/* Reuse the existing Step 7 scene and controls in the enlarged explorer. */
.display-board .matrix-linked-explorer{box-sizing:border-box;max-width:calc(100% - 24px);min-width:0;overflow:auto;padding:12px}
.matrix-linked-explorer .matrix-explorer-intro{font-size:14px;line-height:1.45;margin:8px 0}
.matrix-explorer-layout{display:grid;grid-template-columns:minmax(0,1.15fr) minmax(0,1fr);gap:12px;min-width:0;height:calc(100% - 80px)}
.matrix-explorer-layout>div{min-width:0;min-height:0;overflow:auto;overscroll-behavior:contain}
.matrix-explorer-layout .enc-card{padding:12px!important;margin:0 0 12px;min-width:0}
.matrix-explorer-layout h2{font-size:18px}.matrix-explorer-layout h3{font-size:16px}.matrix-explorer-layout p{font-size:14px;line-height:1.45;margin:7px 0}
.matrix-explorer-layout .enc-equation{font-size:15px;padding:7px;max-width:100%;overflow-x:auto}
html[data-display="4k"] .matrix-explorer-layout .enc-3d-stage{height:clamp(240px,42dvh,1100px);width:100%;min-width:0}
.display-board .matrix-linked-explorer canvas{display:block;box-sizing:border-box;width:100%;height:100%;min-height:0}
.matrix-explorer-layout .enc-actions{flex-wrap:wrap;gap:5px}.matrix-explorer-layout button{font-size:13px;padding:6px 8px}
.matrix-explorer-layout .enc-range{font-size:14px;margin:8px 0}.matrix-explorer-layout .enc-four{grid-template-columns:repeat(2,minmax(0,1fr))}
.matrix-explorer-layout svg:not(mjx-container svg){max-height:270px;width:100%}.matrix-explorer-layout .diamond-layout{grid-template-columns:minmax(0,1fr)}
.matrix-explorer-layout .enc-legend{font-size:12px}.matrix-explorer-layout .enc-readouts{grid-template-columns:repeat(3,minmax(0,1fr));font-size:12px}.matrix-explorer-layout .enc-readouts>div{padding:6px;overflow-wrap:anywhere}
@media(min-width:2200px){.matrix-explorer-layout .enc-four{grid-template-columns:repeat(4,minmax(0,1fr))}.matrix-explorer-layout .diamond-layout{grid-template-columns:1fr 1fr}.matrix-explorer-layout svg:not(mjx-container svg){max-height:340px}}
@media(max-width:850px){.matrix-explorer-layout{display:block;height:auto}.matrix-explorer-layout>div{overflow:visible}.display-board .matrix-linked-explorer{inset:65px 6px 6px;max-width:calc(100% - 12px)}}
/* Grid children must be allowed to shrink instead of widening the overlay. */
.display-board .display-companion-grid>*{min-width:0}.display-board .display-companion-grid{max-width:100%}.display-board .display-companion canvas{box-sizing:border-box;max-width:100%}
/* Keep the complete plot visible; only the adjacent explanation/controls scroll. */
.display-board .matrix-linked-explorer{overflow:hidden}
.matrix-linked-explorer .matrix-explorer-layout{position:absolute;inset:95px 12px 12px;height:auto}
.matrix-explorer-layout>[data-explorer-plot]{overflow:hidden}
.matrix-explorer-layout .linked-matrix-view{box-sizing:border-box;height:100%;display:flex;flex-direction:column;gap:8px;margin:0}
.matrix-explorer-layout .linked-matrix-view .enc-heading{order:0;flex:none}
html[data-display="4k"] .matrix-explorer-layout .linked-matrix-view .enc-3d-stage{order:1;flex:1;height:auto;min-height:100px}
.matrix-explorer-layout .linked-matrix-view .enc-actions{order:2;flex:none;margin:0}
.matrix-explorer-layout .linked-matrix-view .enc-legend{order:3;flex:none;margin:0;line-height:1.3}
.matrix-explorer-camera{padding:10px;border:1px solid #d8cce5;border-radius:8px;background:white;margin-bottom:12px}
.matrix-explorer-layout .enc-heading{flex-wrap:wrap}.matrix-explorer-layout .enc-heading h2{margin:0}
@media(max-height:900px){.matrix-linked-explorer .matrix-explorer-intro{display:none}.matrix-linked-explorer .matrix-explorer-layout{top:48px}.matrix-explorer-layout .linked-matrix-view .enc-legend{font-size:11px}.matrix-explorer-layout .linked-matrix-view button{font-size:11px;padding:5px}.matrix-explorer-layout .linked-matrix-view h2{font-size:15px}}
@media(max-width:850px){.matrix-linked-explorer .matrix-explorer-layout{display:grid;grid-template-columns:1fr 1fr;gap:6px}.matrix-explorer-layout>div{overflow:auto}.matrix-explorer-layout .enc-four{grid-template-columns:1fr}}
@media(max-height:900px){.matrix-explorer-layout .enc-drag-hint{display:none}.matrix-explorer-layout .linked-matrix-view .enc-legend{display:none}.matrix-explorer-layout .linked-matrix-view .enc-heading .enc-chip{display:none}}

.step11-symbols{grid-column:1/-1;border-top:1px solid #c9bce0;padding-top:18px;color:#4b0082;min-width:0}.step11-symbols h3{font-size:1.2rem}.step11-symbols h4{margin:24px 0 10px}.step11-symbol-table{overflow-x:auto}.step11-symbols table{width:100%;border-collapse:collapse;background:#fff;font-size:.92rem}.step11-symbols th,.step11-symbols td{padding:12px 14px;border:1px solid #ddd4ed;text-align:left;vertical-align:top;line-height:1.6}.step11-symbols thead{background:#e6e6fa}.step11-symbols tbody th{min-width:160px;width:16%;font-weight:600}.step11-symbols td:last-child{min-width:270px;width:38%}.step11-symbol-summary{padding:14px;background:#e6e6fa;border-radius:6px}
/* Shared responsive shell: wrapped navigation consumes its actual height. */
html[data-display="4k"] .app-shell{height:100dvh;min-height:0}
html[data-display="4k"] .main-shell{height:100%;min-width:0;display:flex;flex-direction:column}
html[data-display="4k"] .topbar{height:auto;flex:none;flex-wrap:wrap}
html[data-display="4k"] .display-nav{min-width:0;flex:1 1 470px}
html[data-display="4k"] #workspace{height:auto;flex:1;min-height:0;min-width:0}
html[data-display="4k"] .workspace-heading{flex-wrap:wrap}
html[data-display="4k"] .tabs{flex-wrap:wrap}
html[data-display="4k"] .context-strip{flex-wrap:wrap}
.display-board-content{min-width:0}
.display-board-area{container:board-viewport / inline-size}
/* Preserve native interactive nodes and reading order. Narrow panels use
   natural height instead of a zoomed 1600px board with clipped right columns. */
html[data-display="4k"] .display-board[data-board-layout="flow"] .display-board-content>div{
  display:flex!important;flex-direction:column;align-items:stretch;min-width:0;width:100%;container-type:inline-size;
}
html[data-display="4k"] .display-board[data-board-layout="flow"] .display-board-content>div>*{
  grid-area:auto!important;min-width:0;max-width:100%;flex-shrink:0;
}
html[data-display="4k"] .display-board[data-board-layout="flow"] .display-board-content .s1-scene-grid{
  display:grid;grid-template-columns:repeat(2,minmax(0,1fr));width:100%;
}
.display-board[data-board-layout="flow"] .s1-scene-grid>.s1-view-wide{grid-area:1/1!important;order:0}
.display-board[data-board-layout="flow"] .s1-scene-grid>.s1-view-zoom{grid-area:1/2!important;order:0}
.display-board[data-board-layout="flow"] .s1-scene-grid>.s1-matrix-panel{grid-area:2/1/3/-1!important;order:0}
.display-board[data-board-layout="flow"] .s1-matrix-grid{max-width:430px;margin-inline:auto}
.display-board[data-board-layout="flow"] .s1-matrix-cell :is(b,small){overflow-wrap:anywhere}
.display-board[data-board-layout="flow"] :is(.s1-distance-cards,.s1-bottom-controls){grid-template-columns:repeat(2,minmax(0,1fr))}
.display-board[data-board-layout="flow"] .s1-distance-card :is(strong,small){white-space:normal;overflow-wrap:anywhere}
html[data-display="4k"] .display-board[data-board-layout="flow"] .s3-root>.s3-card:has(.s3-ellipsoids){display:block}
.display-board[data-board-layout="flow"] .s3-controls{grid-template-columns:minmax(0,1fr)}
.display-board[data-board-layout="flow"] .s3-controls>p{grid-column:auto}
.display-board[data-board-layout="flow"] :is(.s3-ledger,.enc-four,.enc-entry-grid,.enc-readouts,.lift-axes,.op-summary,.op-metrics,.g2-purpose-stages){grid-template-columns:repeat(2,minmax(0,1fr))}
.display-board[data-board-layout="flow"] :is(.s3-stages,.enc-matrix-route,.op-stages){display:flex;flex-wrap:wrap}
.display-board[data-board-layout="flow"] :is(.s3-stages,.enc-matrix-route,.op-stages)>*{flex:1 1 260px;min-width:0}
.display-board[data-board-layout="flow"] .display-board-content :is(.enc-card,.s3-card,.s4-card,.s5-card){overflow-wrap:anywhere}
/* These are view layouts, not the entries of mathematical matrices. */
@container board-viewport (max-width:850px){
  html[data-display="4k"] .display-board[data-board-layout="flow"] .display-board-content :is(
    .s1-scene-grid,.s1-bottom-controls,.s1-distance-cards,.s2-plots,.s2-cases,.s2-cases dl,
    .s3-ab,.s3-reciprocals,.s3-ledger,.s3-ellipsoids,.s3-input-pair,.s3-control-meaning,
    .s4-chain,.s4-pair,.s4-matrix-key,.s5-pair,.s5-summary,.s5-eigen-cards,.s5-chain,.s5-radius-key,
    .enc-four,.enc-pair,.enc-entry-grid,.enc-readouts,.enc-bases,.enc-three-controls,.diamond-layout,
    .hardy-objects,.hardy-gauge-tabs,.g2-controls,.g2-chain,.g2-close-area,.g2-purpose-stages,
    .g2-radius-layout,.g2-radius-ledger,.g9-top,.g9-plots,.g9-radial-layout,.g9-distinction,
    .g9-proof-steps,.lift-grid,.lift-axes,.lift-camera,.op-grid,.op-control-grid,.op-summary,.op-metrics,.op-radial-comparison
  ){grid-template-columns:minmax(0,1fr)!important}
  .display-board[data-board-layout="flow"] .s1-scene-grid>:is(.s1-view-wide,.s1-view-zoom,.s1-matrix-panel){grid-area:auto!important}
  .display-board[data-board-layout="flow"] .s1-scene-grid>.s1-matrix-panel{order:1}
  .display-board[data-board-layout="flow"] .display-board-content :is(.s3-ellipsoids,.s5-pair,.enc-four,.g2-chain,.lift-grid,.op-grid)>*{grid-area:auto!important;min-width:0}
}
@media(max-width:850px){
  html[data-display="4k"] #workspace{padding:8px}
  html[data-display="4k"] .topbar{padding:6px 10px;gap:6px}
  .display-board-tools select{max-width:min(240px,55vw)}
  .display-board .display-reading{inset:8px;max-height:calc(100% - 16px);padding:16px;grid-template-columns:minmax(0,1fr)}
  .display-board .display-companion{inset:8px}
  .display-board .display-companion-grid{display:block;height:auto}
  .display-board .display-companion canvas{height:320px}
}
/* Enlarged native panels stay between the actual wrapped toolbar and footer. */
html[data-display="4k"] .display-board.has-panel-focus .display-board-content>div{container-type:normal}
html[data-display="4k"] .display-board.has-panel-focus .display-panel-focus{
  inset:var(--board-tools-height,54px) 8px var(--board-key-height,36px);
  width:auto!important;max-width:calc(100% - 16px)!important;
}