.study-body{-webkit-user-select:none;-moz-user-select:none;user-select:none}.study-body pre,.study-body pre *{-webkit-user-select:text;-moz-user-select:text;user-select:text}.study-body .en,.study-body .study-en{font-weight:400;color:#64748b;font-size:.82em;letter-spacing:.01em}.study-body pre{background:#0f172a;color:#e2e8f0;padding:1rem 1.2rem;border-radius:10px;overflow-x:auto;font-size:.86rem;line-height:1.6;margin:1.4rem 0;font-family:SF Mono,Menlo,Consolas,monospace;-moz-tab-size:2;-o-tab-size:2;tab-size:2}.study-body pre .out{color:#86efac}.study-body pre .cm{color:#94a3b8}.study-body pre .er{color:#fca5a5}.study-body :not(pre)>code{color:#0f172a;padding:.1rem .35rem;border-radius:4px;font-size:.88em}.study-body .path,.study-body :not(pre)>code{background:#f1f5f9;font-family:SF Mono,Menlo,Consolas,monospace}.study-body .path{display:inline-block;border:1px solid #cbd5e1;border-radius:6px;padding:0 .5rem;font-size:.9em;white-space:nowrap}.study-body .path.ok{background:#dcfce7;border-color:#86efac}.study-body .path.bad{background:#fee2e2;border-color:#fca5a5}.study-body .path.cy{background:#ede9fe;border-color:#c4b5fd}.study-body .path.wrap{white-space:normal;display:block;padding:.4rem .7rem;margin:.4rem 0;font-family:inherit;font-size:.96em;line-height:1.7}.study-body .unit{color:#7c3aed;font-size:.85em;font-weight:600}.study-body .hedge{font-family:SF Mono,Menlo,Consolas,monospace;font-size:1.05em;letter-spacing:.08em}.study-body .src{font-size:.82em;font-weight:400}.study-body .answer,.study-body .box,.study-body .class,.study-body .warn{padding:.85rem 1.2rem;margin:1.4rem 0;border-radius:0 10px 10px 0;border-left-width:4px;border-left-style:solid;font-size:.95rem;line-height:1.75}.study-body .box{border-left-color:#2563eb;background:#eff6ff}.study-body .warn{border-left-color:#d97706;background:#fffbeb}.study-body .class{border-left-color:#059669;background:#ecfdf5}.study-body .answer{border-left-color:#7c3aed;background:#faf5ff}.study-body .answer .verdict{font-weight:700;color:#6d28d9}.study-body .exercise{border:2px solid #7c3aed;background:#f5f3ff;border-radius:12px}.study-body .exercise,.study-body .overview{padding:1rem 1.4rem;margin:1.6rem 0;font-size:.95rem;line-height:1.75}.study-body .overview{border:2px solid #2563eb;background:#eff6ff;border-radius:12px}.study-body .how{background:#fffbeb;border-left:3px solid #f59e0b;border-radius:0 6px 6px 0;padding:.55rem .9rem;margin:-.4rem 0 1.6rem;font-size:.92rem;line-height:1.7}.study-body .how b{color:#b45309}.study-body .how .step{color:#92400e;font-weight:700}.study-body .answer>:last-child,.study-body .box>:last-child,.study-body .class>:last-child,.study-body .exercise>:last-child,.study-body .overview>:last-child,.study-body .warn>:last-child{margin-bottom:0}.study-body .answer p,.study-body .box p,.study-body .class p,.study-body .exercise p,.study-body .overview p,.study-body .warn p{margin-bottom:.6rem;font-size:inherit;line-height:inherit}.study-body .answer ol,.study-body .answer ul,.study-body .box ol,.study-body .box ul,.study-body .class ol,.study-body .class ul,.study-body .exercise ol,.study-body .exercise ul,.study-body .overview ol,.study-body .overview ul,.study-body .warn ol,.study-body .warn ul{margin:.4rem 0 .6rem;padding-left:1.3rem;font-size:inherit}.study-body .answer ul,.study-body .box ul,.study-body .class ul,.study-body .exercise ul,.study-body .overview ul,.study-body .warn ul{list-style:disc}.study-body .answer ol,.study-body .box ol,.study-body .class ol,.study-body .exercise ol,.study-body .overview ol,.study-body .warn ol{list-style:decimal}.study-body .answer li,.study-body .box li,.study-body .class li,.study-body .exercise li,.study-body .overview li,.study-body .warn li{margin:.25rem 0}.study-body .toc{background:#f8fafc;border:1px solid #e2e8f0;border-radius:10px;padding:1rem 1.4rem;margin:1.6rem 0 2.2rem;font-size:.93rem;line-height:1.7}.study-body .toc ol,.study-body .toc ul{margin:.5rem 0 0;padding-left:1.5rem;font-size:inherit;line-height:inherit}.study-body .toc li{margin:.2rem 0;color:#475569}.study-body .toc a{color:#1e40af;text-decoration:none}.study-body .toc a:hover{text-decoration:underline;text-underline-offset:3px}.study-body .toc .en{font-size:.85em}.study-body .scroll,.study-body .study-scroll{overflow-x:auto;margin:1.3rem 0;-webkit-overflow-scrolling:touch}.study-body .scroll>.study-scroll{margin:0}.study-body table{border-collapse:collapse;font-size:.9rem;line-height:1.6}.study-body td,.study-body th{border:1px solid #cbd5e1;padding:.4rem .75rem;vertical-align:top;text-align:left}.study-body th{background:#eff6ff;font-weight:700;white-space:nowrap}.study-body table.calc{margin:1.1rem 0;font-size:.92rem}.study-body table.calc td,.study-body table.calc th{padding:.3rem .6rem;text-align:center}.study-body table.calc td.hit,.study-body table.calc th.hit{background:#dcfce7;font-weight:700}.study-body table.calc td.miss{color:#94a3b8}.study-body table.calc td.l,.study-body table.calc td.lft,.study-body table.calc th.lft{text-align:left}.study-body table.calc th:not(.lft){white-space:nowrap}.study-body table.calc td.risk,.study-body table.calc th.risk{background:#fee2e2;font-weight:700}.study-body table.calc td.cyc{background:#ede9fe;font-weight:700}.study-body table.calc td.todo,.study-body table.calc th.todo{background:#fef9c3;font-weight:700}.study-body table.calc td.g1,.study-body table.calc th.g1{background:#dbeafe}.study-body table.calc td.g2,.study-body table.calc th.g2{background:#d1fae5}.study-body table.calc td.g3{background:#fef3c7}.study-body table.calc td.pos{color:#1d4ed8;font-weight:700}.study-body table.calc td.neg{color:#b91c1c}.study-body table.calc td.dim{color:#94a3b8}.study-body table.calc tr.tri td{background:#dcfce7}.study-body table.calc td.near,.study-body table.calc tr.near td{background:#fef9c3}.study-body table.calc tr.out td{background:#fee2e2}.study-body table.calc tr.todo td{background:#fef9c3}.study-body table.calc tr.cyc td{background:#ede9fe}.study-body table.digest{width:100%;table-layout:fixed;font-size:.92rem}.study-body table.digest td,.study-body table.digest th{text-align:left;vertical-align:top;padding:.45rem .7rem;line-height:1.6}.study-body table.digest td.q{text-align:center;white-space:nowrap;color:#6d28d9;font-weight:700}.study-body table.digest td.pt{color:#334155;background:#f8fafc}.study-body table.role{width:100%;margin:1.1rem 0}.study-body table.role td.pkg{font-family:SF Mono,Menlo,Consolas,monospace;font-weight:700;white-space:nowrap;background:#f8fafc}.study-body table.calc tr.hit>td{background:#dcfce7;font-weight:700}.study-body table.calc tr.more>td{color:#94a3b8;font-weight:400;background:#fff}.study-body .fmt{display:flex;flex-wrap:wrap;gap:.9rem;align-items:flex-start;margin:1.3rem 0}.study-body .fmt>*{flex:1 1 200px;min-width:0;margin:0}.study-body .fmt>.f-wide{flex:1.9 1 250px}.study-body .fmt>.f-narrow{flex:1 1 118px}.study-body .fmt-title{font-size:.82rem;font-weight:700;color:#475569;margin-bottom:.35rem}.study-body .fmt-title .en{font-size:.9em;color:#94a3b8}.study-body .fmt table{font-size:.78rem;width:100%}.study-body .fmt td,.study-body .fmt th{padding:.2rem .35rem;text-align:center}.study-body .fmt pre{font-size:.72rem;padding:.7rem .8rem;margin:0}.study-body pre.file{font-size:.76rem;line-height:1.55;margin:.35rem 0 1.1rem;padding:.75rem .9rem}.study-body pre.file .hl{background:#14532d;color:#bbf7d0;border-radius:3px;padding:0 .15rem}.study-body .map{display:grid;grid-template-columns:minmax(0,7rem) minmax(0,1fr);gap:.5rem .7rem;align-items:center;margin:1.3rem 0;font-size:.84rem}.study-body .map .src{background:#f1f5f9;border:1px solid #cbd5e1;border-radius:8px;padding:.45rem .6rem;text-align:center;font-weight:700;color:#334155;line-height:1.4}.study-body .map .src small{display:block;font-weight:400;font-size:.8em;color:#64748b;font-family:SF Mono,Menlo,Consolas,monospace}.study-body .map .to{border-left:3px solid #cbd5e1;padding-left:.75rem}.study-body .map .to code{display:block;background:none;padding:.1rem 0;font-size:.94em;color:#0f172a;white-space:normal;word-break:break-word}.study-body .map .to code:before{content:"▸ ";color:#94a3b8}.study-body .map .to .why{display:block;margin-top:.15rem;color:#64748b;font-size:.9em;line-height:1.5}@media (max-width:480px){.study-body .map{grid-template-columns:minmax(0,1fr)}.study-body .map .to{border-left:0;border-top:2px solid #e2e8f0;padding-left:0;padding-top:.4rem;margin-bottom:.5rem}}.study-body figure.dia{margin:1.5rem 0}.study-body figure.dia>svg{display:block;width:100%;max-width:520px;height:auto;margin:0 auto}.study-body figure.dia text{font-family:inherit}.study-body figure.dia text.mono{font-family:SF Mono,Menlo,Consolas,monospace}.study-body img,.study-body svg{max-width:100%;height:auto}.study-body img.net,.study-body img.wide{display:block;width:100%;margin:1.2rem auto .3rem;border:1px solid #e5e7eb;border-radius:10px}.study-body img.net.wide,.study-body img.wide{width:min(860px,calc(100vw - 2.5rem));max-width:none;margin-left:50%;transform:translateX(-50%)}.study-body img.net.mini{width:auto;max-width:min(100%,420px)}.study-body figure{margin:1.4rem 0}.study-body figure svg{display:block;width:100%;height:auto}.study-body figcaption{text-align:center;color:#6b7280;font-size:.86rem;margin-top:.5rem;line-height:1.6}.study-body details{border:1px solid #e2e8f0;border-radius:10px;margin:1rem 0 1.6rem;background:#fbfcfe}.study-body details[open]{background:#fff}.study-body summary{cursor:pointer;padding:.7rem 1.1rem;font-size:.92rem;font-weight:700;color:#6d28d9;list-style:none}.study-body summary::-webkit-details-marker{display:none}.study-body summary:before{content:"▸";display:inline-block;margin-right:.45rem;transition:transform .15s ease}.study-body details[open]>summary:before{transform:rotate(90deg)}.study-body details>:not(summary){padding-left:1.1rem;padding-right:1.1rem}.study-body details>:last-child{padding-bottom:.9rem}.study-body .katex-display{overflow-x:auto;overflow-y:hidden;padding:.3rem 0;margin:1.3rem 0}.study-body .katex{font-size:1.03em}.study-body .next{color:#6b7280;margin-top:3rem;border-top:1px dashed #cbd5e1;padding-top:1rem;font-size:.92rem;line-height:1.8}.study-body hr{border:0;border-top:1px solid #e5e7eb;margin:2.4rem 0}.study-body>.katex-display,.study-body>.scroll,.study-body>.study-scroll,.study-body>pre{width:-moz-fit-content;width:fit-content;min-width:100%;max-width:min(860px,calc(100vw - 2.5rem));margin-left:50%;transform:translateX(-50%)}.study-body>.scroll>.study-scroll{width:auto;min-width:0;max-width:none;margin-left:0;transform:none}