:root{--bg:#f8f9f6;--paper:#fff;--ink:#182b31;--muted:#5a6b70;--line:#dbe2df;--accent:#087780;--tint:#e7f3f1;--orange:#a85623;--chart:#0c818a;--shadow:0 14px 40px #173e4310;color-scheme:light;font-family:Inter,'Pretendard','Apple SD Gothic Neo','Malgun Gothic',system-ui,sans-serif}*{box-sizing:border-box}body{margin:0;background:var(--bg);color:var(--ink);font-size:16px;line-height:1.75}body.dark{--bg:#111d23;--paper:#192a31;--ink:#e3eeee;--muted:#afc0c4;--line:#385058;--accent:#74d9d6;--tint:#1e3e43;--orange:#ffb17e;--chart:#74d9d6;color-scheme:dark}a{color:var(--accent);text-underline-offset:4px}button,input,select{font:inherit}button{cursor:pointer}button,a,input,select{ -webkit-tap-highlight-color:transparent}button:focus-visible,a:focus-visible,input:focus-visible,select:focus-visible,summary:focus-visible{outline:3px solid var(--orange);outline-offset:4px}button{border:1px solid var(--line);border-radius:7px;color:var(--ink);background:var(--paper);padding:7px 13px}button:hover{border-color:var(--accent);background:var(--tint)}header{height:88px;display:flex;align-items:center;justify-content:space-between;gap:16px;border-bottom:1px solid var(--line);background:var(--paper);padding:0 40px;position:sticky;top:0;z-index:20}.brand{display:flex;gap:13px;align-items:center;color:var(--ink);text-decoration:none;font-size:19px;font-weight:750;line-height:1.35;letter-spacing:-.4px}.brand small{display:block;font-size:9px;letter-spacing:1.6px;color:var(--muted);font-weight:600;margin-top:4px}.brand-icon{display:inline-flex;width:40px;height:40px;background:var(--accent);color:var(--paper);align-items:center;justify-content:center;font-family:Georgia,serif;font-size:30px;border-radius:9px}.brand-icon span{color:#ffbe72}.header-right{display:flex;align-items:center;gap:24px}.edition{font-size:11px;letter-spacing:1.8px;color:var(--muted)}#theme{border:0;font-size:19px;background:transparent}#theme span{font-size:12px;margin-left:4px}#menu{display:none}.layout{max-width:1510px;margin:auto;display:grid;grid-template-columns:286px minmax(0,1fr)}aside{padding:42px 26px 30px 36px;border-right:1px solid var(--line);position:sticky;top:88px;height:calc(100vh - 88px);overflow:auto}.book-label,.eyebrow{font-size:11px;letter-spacing:1.7px;color:var(--accent);font-weight:700}aside h2{font-size:22px;letter-spacing:-.8px;margin:10px 0 4px}.sidebar-intro{font-size:13px;color:var(--muted);line-height:1.75;margin:0 0 26px}.search-label{display:block;font-size:11px;color:var(--muted);margin-bottom:5px}#search{width:100%;min-width:0;border:1px solid var(--line);background:var(--paper);border-radius:7px;padding:9px 12px;font-size:13px;margin-bottom:18px;color:var(--ink)}.chapter-link{display:flex;gap:11px;align-items:center;padding:9px 9px;margin:3px -9px;text-decoration:none;font-size:13px;color:var(--muted);border-radius:6px;line-height:1.55}.chapter-link span{font:11px ui-monospace,monospace;color:var(--muted)}.chapter-link:hover{background:var(--tint);color:var(--accent)}.chapter-link[aria-current=page]{background:var(--tint);color:var(--accent);font-weight:700}.chapter-link[aria-current=page] span{color:var(--accent)}.reading-progress{margin-top:25px;padding-top:19px;border-top:1px solid var(--line);font-size:11px;color:var(--muted)}.reading-progress span{display:flex;justify-content:space-between}.reading-progress small{font-size:10px}progress{width:100%;height:5px;border:0;accent-color:var(--accent)}progress::-webkit-progress-bar{background:var(--line);border-radius:5px}progress::-webkit-progress-value{background:var(--accent);border-radius:5px}.scope-note{font-size:11px;color:var(--muted);margin-top:26px;line-height:1.8}.scope-note small{margin-left:15px}.status-dot{display:inline-block;width:6px;height:6px;background:var(--accent);border-radius:50%;margin-right:6px}main{min-width:0;padding:48px clamp(28px,4.3vw,70px) 24px}.chapter{max-width:990px;margin:auto}.chapter h1{font-size:clamp(30px,3.1vw,44px);font-weight:740;letter-spacing:-1.8px;line-height:1.25;margin:15px 0 12px}.subtitle{font-size:18px;letter-spacing:-.4px;color:var(--muted);margin:0 0 25px}.chapter-meta{display:flex;flex-wrap:wrap;gap:10px 20px;font-size:11px;color:var(--muted);border-top:1px solid var(--line);padding:13px 0 21px}.chapter-meta a{margin-left:auto}.lab{background:var(--paper);border:1px solid var(--line);border-radius:12px;box-shadow:var(--shadow);margin:4px 0 46px;overflow:hidden}.lab-heading{padding:15px 22px;border-bottom:1px solid var(--line);display:flex;justify-content:space-between;align-items:center;gap:12px}.lab-label{font-size:10px;letter-spacing:1.7px;font-weight:750;color:var(--accent)}.reset{font-size:11px;border:0;background:transparent;color:var(--muted);padding:4px}.lab-content{padding:24px}.lab-disclaimer{font-size:10px;color:var(--muted);border-top:1px solid var(--line);margin:0;padding:11px 22px}.lab h2{font-size:21px;line-height:1.4;letter-spacing:-.7px;margin:0 0 6px}.lab-intro{color:var(--muted);font-size:13px;margin:0 0 20px}.experiment{display:grid;grid-template-columns:minmax(0,1fr) 225px;gap:28px;align-items:start}.chart-box{min-width:0;background:var(--bg);border:1px solid var(--line);border-radius:8px;padding:14px}.chart-box svg{display:block;width:100%;height:auto;overflow:visible}.chart-caption{font-size:10px;color:var(--muted);margin:7px 0 0;line-height:1.6}.chart-axis{stroke:var(--line);stroke-width:1}.chart-text{fill:var(--muted);font-size:11px;font-family:inherit}.chart-line{fill:none;stroke:var(--chart);stroke-width:2.5}.chart-alt{fill:none;stroke:var(--orange);stroke-width:2;stroke-dasharray:5 4}.chart-fill{fill:var(--tint)}.controls label{display:block;font-size:12px;margin:0 0 19px;color:var(--muted)}.controls label>span{display:flex;justify-content:space-between;gap:8px}.controls output{font-family:ui-monospace,monospace;color:var(--ink);font-size:12px}input[type=range]{accent-color:var(--accent);width:100%;display:block;margin:10px 0 0;height:17px;cursor:pointer}select{color:var(--ink);background:var(--paper);width:100%;border:1px solid var(--line);border-radius:5px;padding:7px;font-size:12px;margin-top:7px}.metrics{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));border-top:1px solid var(--line);padding-top:19px;margin-top:21px;gap:18px}.metric{min-width:0}.metric small{display:block;color:var(--muted);font-size:11px}.metric strong{font:600 clamp(19px,2vw,26px) ui-monospace,monospace;display:block;letter-spacing:-1px;margin:4px 0}.metric em{font-style:normal;font-size:10px;color:var(--muted)}.result-note{background:var(--tint);padding:11px 14px;border-radius:5px;font-size:12px;color:var(--ink);margin-top:17px;line-height:1.7}.formula{font-family:ui-monospace,monospace;font-size:13px;border-left:3px solid var(--accent);padding:9px 13px;margin:17px 0;color:var(--ink)}.prose{max-width:750px}.prose h2{font-size:23px;letter-spacing:-.7px;margin:38px 0 13px;line-height:1.4}.prose p{font-size:15px;line-height:1.95;color:var(--ink);margin:0 0 18px;word-break:keep-all;overflow-wrap:anywhere}.prose strong{color:var(--accent)}.quiz{border-top:2px solid var(--ink);padding-top:25px;margin-top:42px}.quiz h2{font-size:19px;line-height:1.6;letter-spacing:-.4px;margin:9px 0 18px}.quiz-options{display:grid;gap:8px}.quiz-options button{text-align:left;display:flex;gap:14px;align-items:center;font-size:13px;padding:12px 16px}.quiz-options button span{color:var(--muted);font:12px ui-monospace,monospace}.quiz-options .correct{background:var(--tint);border-color:var(--accent)}.quiz-options .wrong{border-color:var(--orange)}.quiz-feedback{font-size:13px;color:var(--accent);min-height:24px}.sources{margin:34px 0;border:1px solid var(--line);border-radius:7px;padding:16px 19px;font-size:12px;color:var(--muted)}summary{cursor:pointer;color:var(--ink);font-weight:600}summary span{font-size:10px;color:var(--muted);float:right}.sources li{margin:6px 0}.sources ul{padding-left:20px}.sources code{overflow-wrap:anywhere;font-size:10px}.decision{font:10px ui-monospace,monospace;background:var(--tint);color:var(--accent);padding:4px 7px;border-radius:3px}.chapter-footer{display:flex;justify-content:space-between;border-top:1px solid var(--line);padding:25px 0;font-size:12px}.chapter-footer a{text-decoration:none;font-weight:650}.chapter-footer span{font-size:10px;letter-spacing:1px;color:var(--muted)}.site-footer{text-align:center;color:var(--muted);font-size:10px;padding:30px 10px}.site-footer a{display:inline-block;margin-top:7px}.map-grid{display:grid;grid-template-columns:repeat(3,1fr);gap:12px;position:relative}.map-node{padding:17px 15px;text-align:left;min-height:92px;position:relative}.map-node small{font-size:9px;letter-spacing:1px;color:var(--muted);display:block}.map-node b{font-size:16px;display:block;margin-top:5px}.map-node.selected{background:var(--tint);border-color:var(--accent)}.map-node .node-num{position:absolute;right:11px;top:13px;color:var(--muted);font:10px ui-monospace,monospace}.map-node[aria-pressed=true] .node-num{color:var(--accent)}.flow-label{display:flex;align-items:center;gap:12px;font-size:10px;letter-spacing:.5px;color:var(--muted);margin:15px 0}.flow-label::before,.flow-label::after{content:'';height:1px;background:var(--line);flex:1}.map-detail{display:grid;grid-template-columns:1fr 1.3fr;gap:25px;border-top:1px solid var(--line);padding-top:22px;margin-top:23px}.map-detail h3{font-size:22px;margin:4px 0;letter-spacing:-.5px}.map-detail p{font-size:12px;color:var(--muted);margin:0}.map-detail a{font-size:12px;display:inline-block;margin-top:12px}.map-detail .diagram{display:flex;align-items:center;justify-content:center;background:var(--bg);border:1px solid var(--line);border-radius:8px;padding:12px}.map-detail svg{width:100%;height:auto}.contract-grid{display:grid;grid-template-columns:1fr 1fr;gap:18px}.contract-card{background:var(--bg);border:1px solid var(--line);border-radius:6px;padding:17px}.contract-card h3{margin:0 0 8px;font-size:15px}.contract-card p{font-size:12px;color:var(--muted);margin:5px 0}.about{max-width:850px;margin:40px auto}.skip{position:fixed;left:10px;top:-100px;z-index:50;padding:10px;background:var(--paper)}.skip:focus{top:10px}[hidden]{display:none!important}.notice{padding:16px;background:var(--tint)}@media(max-width:1150px){.layout{grid-template-columns:242px minmax(0,1fr)}aside{padding-left:25px;padding-right:20px}main{padding:36px 28px}.experiment{grid-template-columns:1fr}.controls{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:0 22px}.controls label{margin-bottom:15px}.map-detail{grid-template-columns:1fr 1fr}.edition{display:none}}@media(max-width:900px){header{height:72px;padding:0 18px}.brand{font-size:16px;gap:9px}.brand small{font-size:8px;letter-spacing:1px}.brand-icon{width:33px;height:35px;font-size:25px}.header-right{gap:5px}#theme span{display:none}#menu{display:block;font-size:12px}.layout{display:block}aside{display:none;position:fixed;top:72px;left:0;bottom:0;width:285px;z-index:19;background:var(--paper);height:calc(100vh - 72px);box-shadow:20px 0 60px #0002}body.menu-open aside{display:block}main{padding:31px 20px}.chapter h1{font-size:31px;letter-spacing:-1.4px}.subtitle{font-size:15px}.chapter-meta{gap:8px 14px}.chapter-meta a{margin-left:0}.lab{margin-bottom:32px}.lab-content{padding:18px}.lab-heading{padding:12px 16px}.lab-label{font-size:9px}.lab-disclaimer{padding:10px 16px}.map-grid{grid-template-columns:repeat(2,1fr);gap:9px}.map-node{min-height:83px;padding:12px}.map-node b{font-size:14px}.map-node .node-num{top:10px;right:8px}.map-detail{grid-template-columns:1fr;gap:15px}.metrics{grid-template-columns:repeat(2,minmax(0,1fr));gap:14px}.metric strong{font-size:23px}.controls{grid-template-columns:1fr}.chart-box{padding:7px}.prose p{font-size:14px;line-height:1.95}.prose h2{font-size:21px}.contract-grid{grid-template-columns:1fr}.sources{padding:13px}.sources summary span{float:none;display:block;padding-left:16px}.about{margin:0}}@media(prefers-reduced-motion:reduce){*{scroll-behavior:auto!important;transition:none!important;animation:none!important}}@media print{header,aside,.controls,.reset,.quiz-options,button{display:none!important}.layout{display:block}main{padding:0}.chapter[hidden]{display:block!important}.chapter{break-before:page}.lab{box-shadow:none}.site-footer{display:none}}

.progress-reset{padding:2px 0;font-size:10px;background:none;border:0;color:var(--muted);text-decoration:underline;margin-top:5px}
@media(max-width:600px){.chart-text{font-size:14px}}

/* v0.2 components */
:root{--bad:#b0322a}body.dark{--bad:#ff8f86}
.kind{font-weight:700;color:var(--accent)}.kind-policy,.kind-mixed{color:var(--orange)}
.predict{border:1px dashed var(--line);border-radius:8px;padding:13px 16px;margin:0 0 20px;background:var(--bg)}.predict p{font-size:13px;margin:5px 0 10px;line-height:1.7}.predict-options{display:flex;flex-wrap:wrap;gap:7px}.predict-options button{font-size:12px;padding:6px 11px}.predict-options .correct{background:var(--tint);border-color:var(--accent)}.predict-options .wrong{border-color:var(--orange)}.predict-feedback{min-height:0;color:var(--accent);margin:8px 0 0!important}.predict-feedback:empty{display:none}
.check{display:flex!important;gap:8px;align-items:flex-start;font-size:12px;line-height:1.5;cursor:pointer}.check input{margin-top:2px;accent-color:var(--accent)}
.premises{border:1px solid var(--line);border-radius:6px;padding:8px 11px 0;margin:0 0 14px}.premises legend{font-size:11px;color:var(--muted);padding:0 4px}
.presets,.action-row{display:flex;flex-wrap:wrap;gap:6px;align-items:center;margin:0 0 16px}.presets span{width:100%;font-size:11px;color:var(--muted)}.presets button,.action-row button{font-size:12px;padding:5px 10px}
.metric.ok strong{color:var(--accent)}.metric.bad strong{color:var(--bad)}
.table-wrap{overflow-x:auto;margin-top:16px}.state-table{width:100%;border-collapse:collapse;font-size:12px}.state-table caption{text-align:left;font-size:11px;color:var(--muted);padding-bottom:6px}.state-table th,.state-table td{border-bottom:1px solid var(--line);padding:6px 8px;text-align:left;vertical-align:top}.state-table th{font-weight:600;color:var(--muted);font-size:11px}.state-table td:nth-child(n+2){font-family:ui-monospace,monospace}.state-table tr.current td{background:var(--tint)}
.chip{display:inline-block;font:11px ui-monospace,monospace;padding:2px 7px;border-radius:10px;white-space:nowrap}.chip-ok{background:var(--tint);color:var(--accent)}.chip-na{border:1px solid var(--bad);color:var(--bad)}
.bad-text{fill:var(--bad)}
.topo .wire{fill:none;stroke:var(--muted);stroke-width:1.4}.topo .supply{fill:var(--tint);stroke:var(--accent)}
.topo .dev{cursor:pointer}.topo .dev rect{fill:var(--paper);stroke:var(--line);stroke-width:1.5}.topo .dev text{fill:var(--ink);font-size:10px;font-family:ui-monospace,monospace}.topo .dev .u{fill:var(--muted)}
.topo .dev.lim rect{stroke:var(--accent);stroke-width:3}.topo .dev.sel rect{fill:var(--tint)}.topo .dev.miss rect{stroke:var(--bad);stroke-dasharray:4 3}.topo .dev:focus{outline:none}.topo .dev:focus rect,.topo .node:focus circle{stroke:var(--orange);stroke-width:3}
.topo .node{cursor:pointer}.topo .node circle{fill:var(--chart)}.topo .node.focus circle{fill:var(--orange)}.topo .node:focus{outline:none}.topo .nlabel{fill:var(--ink);font-size:10px;font-weight:700}.topo .nval{fill:var(--accent);font:600 11px ui-monospace,monospace}.topo .nval.na{fill:var(--bad)}.topo .nby{fill:var(--muted);font-size:9px}
.bar-on{fill:var(--chart);opacity:.75}.bar-sup{fill:var(--orange);opacity:.45}
.unknown{fill:var(--line);opacity:.35}
.src-head{margin-top:12px;color:var(--ink);font-weight:600}.level{font:10px ui-monospace,monospace;color:var(--orange)}
input:disabled{opacity:.4;cursor:not-allowed}
.chart-box:has(.topo){overflow-x:auto}
@media(max-width:600px){.topo{min-width:540px}.topo .chart-text{font-size:11px}.state-table{font-size:11px}}
