@charset "UTF-8";:root{font-family:Segoe UI,PingFang SC,Microsoft YaHei,sans-serif;color:#25382f;background:#f6f4ed;font-synthesis:none;line-height:1.65;font-size:16px;--ink:#25382f;--muted:#667168;--green:#245b45;--line:#d9ded3;--paper:#fffef9;--soft:#e9eee4;--warm:#c16a39}*{box-sizing:border-box}body{margin:0}button,input,textarea,select{font:inherit}button,a,input,textarea,select{-webkit-tap-highlight-color:transparent}button{min-height:44px;border:1px solid #bdc8bc;border-radius:5px;background:var(--paper);color:var(--ink);padding:8px 13px;cursor:pointer}button:hover{background:#eef2e8}button:disabled{opacity:.44;cursor:not-allowed}button:focus-visible,a:focus-visible,input:focus-visible,textarea:focus-visible,select:focus-visible,summary:focus-visible,[tabindex]:focus-visible{outline:3px solid #a4602a;outline-offset:3px}a{color:var(--green);text-underline-offset:4px}input,select,textarea{min-height:44px;border:1px solid #b9c3b7;border-radius:4px;color:var(--ink);background:var(--paper);padding:8px 10px;max-width:100%}textarea{resize:vertical;line-height:1.6}summary{cursor:pointer;min-height:44px;padding:10px 0}small{color:var(--muted)}code{font-family:Consolas,SFMono-Regular,monospace}h1,h2,h3,p{margin-top:0}h2,h3{line-height:1.45}button.primary{background:var(--green);color:#fff;border-color:var(--green)}.site-header{max-width:1760px;margin:auto;min-height:96px;padding:20px max(28px,env(safe-area-inset-right)) 20px max(28px,env(safe-area-inset-left));border-bottom:1px solid var(--line);display:flex;justify-content:space-between;align-items:center;gap:24px}.brand{display:flex;gap:13px;align-items:center;text-decoration:none;font-weight:700;font-size:19px}.brand-symbol{font-family:Georgia,serif;font-size:37px;color:var(--green);line-height:1}.brand small{display:block;font-size:11px;font-weight:400;letter-spacing:2px;margin-top:3px}.edition{font-size:12px;text-align:right;color:var(--muted)}.edition span{display:block}.book-shell{display:grid;grid-template-columns:244px minmax(0,1fr);max-width:1760px;margin:auto}.book-nav{border-right:1px solid var(--line);padding:32px 22px;min-width:0}.eyebrow{font-size:11px;font-weight:700;letter-spacing:2px;color:var(--green);margin-bottom:17px}.search-label{display:block;font-size:12px;margin:18px 0 7px}.book-nav input[type=search]{width:100%;font-size:12px}.search-results{padding:0;list-style:none;max-height:340px;overflow:auto}.search-results button{width:100%;text-align:left;font-size:12px;margin:4px 0;overflow-wrap:anywhere}.chapter-nav{margin-top:35px}.chapter-nav>span{font-size:12px;color:var(--muted)}.chapter-nav a{display:block;border-left:3px solid var(--green);background:var(--soft);padding:12px;margin:9px -6px 8px;text-decoration:none;font-weight:700}.chapter-nav b{float:right;font-size:10px;font-weight:400;padding-top:4px}.chapter-nav p{font-size:11px;color:var(--muted)}.path-guide{border-top:1px solid var(--line);margin-top:28px;padding-top:22px;font-size:12px;color:var(--muted)}.path-guide h3,.learning-panel h3{font-size:14px;color:var(--ink)}.path-guide ol{padding-left:20px;line-height:2.4}.scope-note{font-size:12px;border-top:1px solid var(--line);padding-top:8px;margin-top:20px}.learning-panel{margin-top:22px;padding-top:24px;border-top:1px solid var(--line);font-size:12px}.learning-panel label:not(.check-label){display:block;margin-top:15px;margin-bottom:6px}.learning-panel textarea{width:100%;min-height:110px}.learning-panel p{margin-top:12px;color:var(--muted);font-size:11px}.check-label{display:flex;align-items:center;min-height:44px;gap:9px}.check-label input{min-height:22px;width:19px;height:19px;accent-color:var(--green)}.button-row{display:flex;gap:8px;flex-wrap:wrap}.learning-panel .button-row{margin-top:9px}.learning-panel button{font-size:12px;padding-inline:10px}main{min-width:0;padding:35px clamp(24px,4vw,64px) 60px}.chapter-heading{display:flex;justify-content:space-between;align-items:center;gap:20px;border-bottom:1px solid var(--line);padding-bottom:25px;margin-bottom:27px}.chapter-heading .eyebrow{margin-bottom:10px}h1{font-family:Georgia,Songti SC,SimSun,serif;font-size:46px;letter-spacing:3px;line-height:1.3;margin-bottom:12px;font-weight:600}.chapter-deck{color:var(--muted);font-size:14px;margin-bottom:0}.mode-switch{display:flex;gap:3px;background:#e7ece2;padding:4px;border-radius:7px;flex-shrink:0}.mode-switch button{border:0;background:transparent;font-size:13px;padding:9px 15px}.mode-switch button[aria-pressed=true]{background:var(--paper);box-shadow:0 1px 3px #21362618}.reading-intro{max-width:780px;background:var(--soft);border-left:3px solid var(--green);padding:22px 26px;margin:34px auto}.reading-intro>span{font-size:12px;color:var(--green);font-weight:700;letter-spacing:3px}.reading-intro p{margin:10px 0 17px}.reading-intro button{font-size:13px}.prose{max-width:760px;margin:38px auto;color:#2c382f;font-size:17px;line-height:1.95;overflow-wrap:break-word}.prose>h1{font-size:29px;letter-spacing:0;line-height:1.65}.prose h2{font-family:Georgia,Songti SC,SimSun,serif;font-size:27px;font-weight:600;margin:48px 0 20px;padding-top:15px;border-top:1px solid var(--line)}.prose h3{font-size:20px;margin:30px 0 14px}.prose h4{margin:24px 0 12px}.prose p{margin:15px 0}.prose li{margin:9px 0}.prose blockquote{border-left:3px solid #b7854b;margin:24px 0;padding:4px 20px;color:#566451;background:#f0eee4}.prose code{font-size:.86em;background:#edf0e7;padding:2px 5px;border-radius:3px}.prose pre{overflow-x:auto;background:#edf0e7;padding:18px;border:1px solid var(--line);line-height:1.7;font-size:14px;white-space:pre;max-width:100%}.prose pre code{padding:0;background:none}.prose table{border-collapse:collapse;width:100%;display:block;overflow-x:auto;font-size:14px;line-height:1.75;margin:24px 0}.prose td,.prose th{border:1px solid var(--line);padding:12px;text-align:left;min-width:100px}.prose th{background:#e9eee4}.prose details{padding:8px 18px;margin:15px 0;border:1px solid var(--line);border-radius:5px;background:var(--paper)}.prose details summary{font-weight:600;color:var(--green);font-size:15px}.prose details[open]{padding-bottom:16px}.end-note{max-width:760px;margin:50px auto 0;padding-top:25px;border-top:1px solid var(--line);font-size:13px;color:var(--muted)}.end-note p{margin-top:20px}.message{font-size:13px;background:#e9eee4;border-left:3px solid #3b7358;padding:13px 17px;margin-bottom:18px;overflow-wrap:anywhere}.message.error{background:#fff0e7;border-color:#b74428;color:#773720;display:flex;justify-content:space-between;align-items:center;gap:20px}.message.error button{flex-shrink:0}.message.warning{background:#fff1d4;border-color:#ae7a27}.input-section{display:grid;grid-template-columns:minmax(0,1fr) 222px;gap:24px;background:var(--paper);padding:22px;border:1px solid var(--line);border-radius:6px}.input-title{display:flex;justify-content:space-between;gap:10px;align-items:center;margin-bottom:12px}.input-title label{font-size:14px;font-weight:700}.input-title select{font-size:12px}.commands{width:100%;min-height:212px;font-family:Consolas,monospace;font-size:16px;background:#f8faf4;border-color:#d2dacf}.run-options{font-size:12px;display:flex;flex-direction:column;gap:9px;align-items:stretch}.run-options input{width:100%;display:block;margin-top:4px}.run-options label{font-size:11px}.run-options>button{font-size:12px}.run-options small{font-size:10px}.run-options .button-row button{flex:1;font-size:12px}.input-help{font-size:12px;color:var(--muted);margin:12px 0 18px}.input-help code{color:var(--green);background:var(--soft);padding:2px 4px}.run-result{padding:15px 18px;background:#eaf0e4;border-left:3px solid var(--green);font-size:12px;display:flex;flex-wrap:wrap;gap:7px 20px;margin:15px 0}.run-result strong{color:var(--green)}.run-result small{display:block;flex-basis:100%;font-size:10px}.run-result.failed{background:#fff1e4;border-color:#bd713d}.run-result p{flex-basis:100%;margin:0}.playback{display:flex;align-items:center;gap:16px;flex-wrap:wrap;background:var(--paper);border:1px solid var(--line);padding:16px;border-radius:6px;margin-top:20px}.playback button{font-size:12px;min-width:65px}.playback label{display:flex;gap:7px;align-items:center;font-size:11px}.playback select{font-size:12px}.playback output{margin-left:auto;font-family:Consolas,monospace;font-size:12px}.timeline{flex-basis:100%;width:100%;padding:0;accent-color:var(--green);min-height:44px;background:none;border:0}.panel-toolbar{display:flex;justify-content:space-between;gap:16px;align-items:center;font-size:11px;margin:19px 0 12px}.panel-toolbar p{margin:0}.panel-toolbar select{font-size:11px;margin-left:7px}.experiment-panels{display:grid;grid-template-columns:minmax(0,1.05fr) minmax(0,1fr);gap:18px}.visual-panel,.source-panel{min-width:0;border:1px solid var(--line);background:var(--paper);border-radius:6px;overflow:hidden}.panel-heading{display:flex;justify-content:space-between;gap:10px;align-items:center;padding:14px 17px;border-bottom:1px solid var(--line)}.panel-heading h2{font-size:14px;margin:0;font-weight:600}.panel-heading span,.panel-heading a{font-size:10px;color:var(--muted)}.panel-heading a{min-height:44px;display:flex;align-items:center}.root-strip{display:flex;flex-wrap:wrap;gap:9px 20px;padding:17px;font:12px Consolas,monospace;color:var(--green);border-bottom:1px solid #edf0e8}.diagram-scroll{width:100%;overflow:auto;max-height:450px;overscroll-behavior-x:contain}.diagram-scroll svg{width:100%;min-width:610px;display:block}.node rect{fill:#f9fbf3;stroke:#789780;stroke-width:1.6}.node.watched rect{fill:#e8f0d9;stroke:#3e6950;stroke-width:2.7}.node path{stroke:#9bb095;stroke-width:1.2}.node text{font-family:Consolas,monospace;fill:#2f4b38;font-size:16px}.node .node-value{font-size:22px}.node .node-id{font-size:13px;fill:#6c7967}.node .node-next-label{font-size:11px;fill:#73816d}.edge{fill:none;stroke:#829a78;color:#829a78;stroke-width:1.8;opacity:.78}.svg-empty{fill:#667568;font:17px Consolas,monospace}.pointer-strip{display:flex;gap:10px 17px;flex-wrap:wrap;padding:16px;border-top:1px solid var(--line);font:11px Consolas,monospace}.freed{margin:0 17px;font-size:11px;color:#8c5840}.freed p{overflow-wrap:anywhere}.figure-caption{font-size:10px;color:var(--muted);padding:10px 17px;margin:0;line-height:1.8}.source-code{height:405px;overflow:auto;position:relative;background:#f8faf4;padding-block:12px;font:11px/1.7 Consolas,SFMono-Regular,monospace;tab-size:4}.code-line{display:flex;min-width:max-content;min-height:23px;align-items:center;padding-right:20px}.line-number{display:block;position:sticky;left:0;align-self:stretch;min-width:38px;text-align:right;padding:3px 8px 3px 0;color:#98a293;background:#f8faf4;user-select:none}.code-line button{min-height:44px;white-space:pre;border:none;border-radius:0;background:none;padding:7px 5px;font:inherit;color:#3b5140;text-align:left}.code-line>code{white-space:pre;padding-left:5px}.code-line.executed,.code-line.executed .line-number{background:#dceacb}.code-line.executed button{font-weight:700;color:#1f4a34}.code-line.selected{box-shadow:inset 3px 0 #b77c32;background:#f4e9d2}.experiment-panels.visual{grid-template-columns:1fr}.experiment-panels.visual .diagram-scroll svg{max-width:1100px;margin:auto}.experiment-panels.code{grid-template-columns:1fr}.experiment-panels.code .source-panel{grid-row:1}.experiment-panels.code .source-code{height:550px}.explanation-panel{margin-top:20px;border:1px solid var(--line);background:var(--paper);padding:0 23px 20px;border-radius:6px;font-size:13px}.explanation-panel .panel-heading{padding-inline:0}.explanation-panel .panel-heading button{font-size:11px}.statement-id{font:11px/1.9 Consolas,monospace;color:var(--muted);margin-top:16px;overflow-wrap:anywhere}.explanation-action{font-size:17px;line-height:1.85;color:var(--green)}.mistake{border-left:2px solid #b97b48;padding-left:13px;color:#795439}.state-detail{background:#eef2e7;padding:14px 18px;margin-top:17px;font-size:12px}.state-detail p{margin-bottom:8px}.state-detail p:last-child{margin-bottom:0}.empty-state{min-height:333px;display:flex;align-items:center;justify-content:center;flex-direction:column;padding:35px;text-align:center;color:var(--muted);font-size:12px}.empty-node{border:1px dashed #879d83;border-radius:4px;padding:18px 32px;margin-bottom:25px;font:17px Consolas,monospace}.empty-state p{max-width:320px}.lab-footnote{font-size:11px;color:var(--muted);margin:17px 0 0}footer{max-width:1760px;margin:auto;border-top:1px solid var(--line);padding:25px 28px max(25px,env(safe-area-inset-bottom));color:var(--muted);font-size:10px;display:flex;justify-content:space-between;gap:20px}@media(min-width:1600px){.book-shell{grid-template-columns:275px minmax(0,1fr)}.book-nav{padding:36px 30px}.source-code{font-size:12px}}@media(max-width:1190px){.book-shell{grid-template-columns:190px minmax(0,1fr)}.book-nav{padding:28px 16px}main{padding:30px 24px 50px}.chapter-heading{align-items:flex-start}.mode-switch button{font-size:12px;padding-inline:11px}.chapter-deck{font-size:12px}.input-section{gap:15px;padding:17px;grid-template-columns:minmax(0,1fr) 185px}.experiment-panels{gap:13px}.panel-heading{padding:12px}.panel-heading h2{font-size:13px}.source-code{font-size:10px}.playback{gap:10px}.playback button{padding-inline:10px}.panel-toolbar select{max-width:160px}}@media(max-width:950px){.book-shell{display:block}.book-nav{border-right:0;border-bottom:1px solid var(--line);padding:17px 24px;display:grid;grid-template-columns:1fr 1fr;gap:8px 25px}.book-nav>.eyebrow,.book-nav>.search-label,.book-nav>.chapter-nav,.path-guide{display:none}.book-nav>input{grid-column:1}.scope-note{grid-column:2;grid-row:1;margin:0;border:0;padding:0}.learning-panel{grid-column:1 / -1;margin-top:6px;padding-top:12px;display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:6px 15px}.learning-panel h3{grid-column:1 / -1;margin-bottom:0}.learning-panel>label:not(.check-label),.learning-panel>textarea,.learning-panel>p{display:none}.learning-panel .button-row{margin:0;align-items:center}.learning-panel button{flex:1}.book-nav .search-results{grid-column:1 / -1}.chapter-heading{align-items:center}main{padding:28px 25px 45px}.prose{max-width:700px}.experiment-panels{grid-template-columns:1fr}.source-code{font-size:12px;height:350px}.diagram-scroll{max-height:385px}.diagram-scroll svg{min-width:610px}.input-section{grid-template-columns:minmax(0,1fr) 210px}.learning-panel:focus-within>label:not(.check-label),.learning-panel:focus-within>textarea{display:block;grid-column:1 / -1}.learning-panel>textarea{min-height:90px}}@media(max-width:600px){.site-header{padding:18px;min-height:81px}.brand{font-size:16px}.brand-symbol{font-size:31px}.brand small{font-size:9px;letter-spacing:1px}.edition{font-size:10px}.edition span{display:none}.book-nav{padding:12px 18px;gap:8px 12px}.book-nav input[type=search]{font-size:11px}.scope-note{font-size:10px}.learning-panel{grid-template-columns:1fr 1fr;font-size:11px}.learning-panel .button-row{grid-column:1 / -1}.learning-panel h3{font-size:12px}.learning-panel button{flex:0 1 auto}main{padding:23px 18px 35px}.chapter-heading{display:block;padding-bottom:20px;margin-bottom:22px}h1{font-size:37px}.chapter-deck{font-size:12px}.mode-switch{margin-top:20px;display:inline-flex}.reading-intro{padding:20px;margin:25px 0}.reading-intro p{font-size:15px}.prose{font-size:16px;line-height:1.95;margin-top:27px}.prose>h1{font-size:25px}.prose h2{font-size:23px;margin-top:38px}.prose h3{font-size:18px}.prose details{padding-inline:13px}.prose table{font-size:12px}.input-section{display:block;padding:14px}.input-title label{font-size:13px}.input-title select{max-width:170px}.commands{min-height:190px;font-size:15px}.run-options{margin-top:15px;display:grid;grid-template-columns:1fr 1fr;align-items:end}.run-options small{align-self:center}.run-options .button-row{grid-column:1 / -1}.run-options .button-row button{min-height:48px}.playback{padding:12px;gap:11px}.playback .button-row{width:100%;gap:5px}.playback button{flex:1;padding-inline:6px;font-size:11px;min-width:0}.panel-toolbar{align-items:flex-start;font-size:10px}.panel-toolbar label{display:flex;flex-direction:column;gap:4px}.panel-toolbar select{margin:0;max-width:150px}.explanation-panel{padding:0 16px 18px}.explanation-action{font-size:15px}.panel-heading h2{font-size:12px}.state-detail{padding:13px;font-size:11px}.source-code,.root-strip,.pointer-strip,.run-result{font-size:11px}footer{font-size:9px;display:block;padding:20px 18px}footer span{display:block;margin-top:9px}}@media(prefers-reduced-motion:reduce){*,*:before,*:after{scroll-behavior:auto!important;animation:none!important;transition:none!important}}.text-link{border:0;background:none;padding:0;color:var(--green);text-decoration:underline;font-size:inherit}.array-cell rect{fill:#edf3e4;stroke:#749070;stroke-width:1.4}.array-cell.spare rect{fill:#f5f3eb;stroke:#b7bdaf;stroke-dasharray:4 3}.array-cell.observed rect{stroke:#ac6b28;stroke-width:3}.array-cell text{font:24px Consolas,monospace;fill:#2d4935}.array-cell .array-index{font-size:14px;fill:#5c715c}.array-cell .array-state{font-size:11px;fill:#6f7968}.chapter-nav a:not(.active){background:none;border-left-color:transparent;font-weight:400}@media(max-width:950px){.learning-panel>label:not(.check-label),.learning-panel>textarea{display:block;grid-column:1 / -1}.learning-panel>textarea{min-height:80px;max-height:160px}.learning-panel>p{display:block;grid-column:1 / -1}}.notes-disclosure{margin-top:10px}.notes-disclosure summary{font-size:12px;color:var(--green)}.notes-disclosure label{display:block}.notes-disclosure textarea{width:100%;min-height:90px}@media(max-width:950px){.book-nav>.chapter-nav{display:flex;grid-column:1 / -1;gap:10px;margin:0}.chapter-nav>span,.chapter-nav>p{display:none}.chapter-nav>a{flex:1;margin:0;font-size:13px;min-height:44px}.notes-disclosure{grid-column:1 / -1;margin:0}.notes-disclosure textarea{max-height:180px}}.structure-roots{padding:10px 17px;border-bottom:1px solid var(--line);font-size:11px}.structure-roots p{margin:3px 0;padding:6px 8px}.structure-roots b,.structure-roots span{display:block}.structure-roots .focused-structure{background:var(--soft);border-left:3px solid var(--green)}.double-edge{fill:none;stroke-width:1.8}.double-edge.next{stroke:#37694c}.double-edge.prev{stroke:#7a568f;stroke-dasharray:5 4}.double-node .double-link-label{font:12px Consolas,monospace;fill:var(--muted)}.double-node .double-pointer-value{font:13px Consolas,monospace}.circular-node .double-link-label{font:12px Consolas,Microsoft YaHei,sans-serif;fill:var(--muted)}.circular-node .circular-pointer-value{font:14px Consolas,monospace}@media(max-width:950px){.book-nav>.chapter-nav{flex-wrap:wrap}.chapter-nav>a{flex:1 1 130px}}.definition-lab{max-width:1040px;margin:auto;font-size:15px;line-height:1.85}.concept-section{border-top:1px solid var(--line);padding:28px 0;margin-top:22px}.concept-section h2{font-family:Georgia,Songti SC,SimSun,serif;font-size:25px;font-weight:600}.concept-input{display:flex;gap:9px;flex-wrap:wrap;margin:9px 0 20px}.concept-input input{flex:1 1 230px;min-width:0}.logical-sequence{display:flex;gap:10px;flex-wrap:wrap}.logical-sequence button{display:flex;flex-direction:column;gap:2px;min-width:112px;align-items:center}.logical-sequence button b{font-size:25px}.logical-sequence button small{font-size:11px}.logical-sequence button[aria-pressed=true],.concept-section button[aria-pressed=true]{border:2px solid var(--green);background:var(--soft)}.concept-relation{padding:15px;border-left:3px solid var(--green);background:var(--soft);margin:18px 0}.concept-representations{display:grid;grid-template-columns:1fr 1fr;gap:24px}.concept-representations figure{margin:0;min-width:0;padding:16px;background:var(--paper);border:1px solid var(--line);border-radius:5px}.concept-representations figcaption{font-weight:600;font-size:14px;margin-bottom:15px}.concept-representations figure>p{font-size:12px;color:var(--muted);margin:15px 0 0}.concept-array,.concept-linked{display:flex;flex-wrap:wrap;gap:0}.concept-linked{gap:10px}.concept-array>div,.concept-linked>div{display:flex;flex-direction:column;text-align:center;justify-content:center;min-width:65px;min-height:105px;padding:8px;border:1px solid #9aac94}.concept-array small,.concept-linked small{font-size:11px}.concept-array b,.concept-linked b{font-size:24px;color:var(--green)}.concept-array span,.concept-linked span{font-size:11px}.concept-array .chosen,.concept-linked .chosen{outline:3px solid var(--green);outline-offset:-3px;background:var(--soft)}.concept-linked>div{width:calc(50% - 5px)}.concept-section select{max-width:100%;margin:8px 10px}.concept-cost,.scenario-answer{padding:20px;background:var(--soft);border-left:3px solid var(--green);margin:16px 0}.concept-cost p:last-child,.scenario-answer p:last-child{margin-bottom:0}.scenario-problem{margin-top:18px}.concept-next{display:flex;flex-direction:column;gap:12px;border-top:1px solid var(--line);padding-top:24px}.concept-next a{min-height:44px;padding-block:8px}.definition-lab .figure-caption{padding:0}.definition-lab label{display:block}.definition-lab label.check-label{display:flex}@media(max-width:1190px){.concept-representations{grid-template-columns:1fr}.concept-linked>div{width:calc(25% - 8px)}}@media(max-width:600px){.definition-lab{font-size:14px}.concept-section h2{font-size:22px}.concept-linked>div{width:calc(50% - 5px)}.concept-cost,.scenario-answer{padding:15px}.logical-sequence button{min-width:100px;flex:1}}.pool-edge{fill:none;stroke-width:1.8}.pool-edge.occupied{stroke:#37694c}.pool-edge.free{stroke:#8b684c;stroke-dasharray:5 4}.pool-slot rect{fill:#eef3e5;stroke:#739078;stroke-width:1.5}.pool-slot.free rect{fill:#f5f0e7;stroke:#a79983;stroke-dasharray:5 3}.pool-slot.watched rect{stroke:#245a38;stroke-width:3}.pool-slot text{font:17px Consolas,Microsoft YaHei,sans-serif;fill:#344c36}.pool-slot .pool-slot-label{font-size:16px}.pool-slot .pool-value{font-size:26px}.pool-slot .pool-identity{font-size:15px;fill:#616c5c}.pool-edge-option{padding:8px 17px;font-size:11px}.free-root{border-left:3px dashed #8b684c}.node .poly-field{font:15px system-ui,sans-serif;fill:#566759}.node .poly-coefficient{font:20px ui-monospace,monospace;fill:#213e2b}.node .poly-exponent{font:23px ui-monospace,monospace;fill:#213e2b}.node .poly-next{font:16px ui-monospace,monospace;fill:#213e2b}.josephus-state{padding:0 18px}.josephus-cursors{padding:14px 12px;background:#edf1e6;line-height:1.9}.josephus-cursors b{display:block}.josephus-cursors small{display:block;color:#526354}.count-state{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:10px;margin:16px 0}.count-state div{border-bottom:1px solid #ced7c8;padding:8px 4px}.count-state dt{font-size:14px;color:#526354}.count-state dd{margin:5px 0 0;font:20px ui-monospace,monospace;overflow-wrap:anywhere}.elimination-history ol{display:flex;gap:8px;flex-wrap:wrap;list-style:none;padding:0}.elimination-history li{display:flex;flex-direction:column;border:1px solid #c9d4c4;padding:7px 11px;min-height:50px}.elimination-history small{color:#61705d}.elimination-history span{font-weight:650}.node.current-person rect{stroke:#965618;stroke-width:3}.node .current-person-label{font:15px system-ui,sans-serif;fill:#824911}.run-result span{overflow-wrap:anywhere;max-width:100%}.stack-observation{display:flex;flex-wrap:wrap;gap:10px 22px;padding:14px 18px;background:#edf1e6;font-size:14px;line-height:1.8}.stack-direction{padding:8px 18px;line-height:1.8;font-size:14px}.node .stack-node-value{font:22px ui-monospace,monospace}.node .stack-node-next{font:19px ui-monospace,monospace}.array-cell .stack-cell-value{font:25px ui-monospace,monospace}.stack-cell .array-state{font-size:16px}.chapter-nav>span:not(:first-child){margin-top:22px}