*{box-sizing:border-box;margin:0;padding:0}body{color:#c4b5a0;background:#1a1612;min-height:100vh;padding:36px 20px 60px;font-family:"Source Serif 4",Georgia,serif;font-size:15px;line-height:1.8}.container{max-width:680px;margin:0 auto}.container-narrow{max-width:660px}.label{color:#8a7e6e;letter-spacing:1.5px;margin-bottom:8px;font-family:JetBrains Mono,monospace;font-size:11px}h1{color:#f0e6d3;margin-bottom:10px;font-size:28px;font-weight:700;line-height:1.2}.subtitle{color:#8a7e6e;font-size:15px;font-style:italic;line-height:1.6}.math-inline{color:#f0e6d3;background:#252019;border-radius:3px;padding:1px 5px;font-family:JetBrains Mono,monospace;font-size:13px}.math-block{color:#f0e6d3;white-space:pre-wrap;background:#221e1a;border:1px solid #2e2924;border-radius:8px;margin:14px 0;padding:14px 18px;font-family:JetBrains Mono,monospace;font-size:14px;line-height:1.9;overflow-x:auto}.p1-math .math-block{white-space:pre;padding:16px 20px;font-size:15px}.p1-math .math-inline{font-size:14px}.part-header{border-bottom:2px solid #d4a574;margin:44px 0 24px;padding-bottom:12px}.part-header h2{color:#f0e6d3;margin:0;font-size:22px;font-weight:700}.part-header .part-goal{color:#8a7e6e;margin-top:6px;font-size:14px;font-style:italic;line-height:1.6}.step{border-bottom:1px solid #2a2520;margin-bottom:32px;padding-bottom:28px}.step:last-of-type{border-bottom:none}.step-header{flex-wrap:wrap;align-items:baseline;gap:12px;margin-bottom:12px;display:flex}.step-badge{color:#1a1612;background:#d4a574;border-radius:4px;flex-shrink:0;padding:2px 8px;font-family:JetBrains Mono,monospace;font-size:12px;font-weight:600}.step-badge-b{background:#7eb8da}.step-badge-c{background:#a8d4a0}.step-badge-upper{background:#7eb8da}.step-badge-lower{background:#a8d4a0}.step-title{color:#f0e6d3;font-family:"Source Serif 4",serif;font-size:18px;font-weight:600}.step p{margin-top:12px}.step p:first-child{margin-top:0}.callout{border-radius:0 8px 8px 0;margin:14px 0;padding:12px 16px;font-size:14px;line-height:1.7}.callout p{margin-top:8px}.callout p:first-of-type{margin-top:0}.callout-label{letter-spacing:1px;margin-bottom:4px;font-family:JetBrains Mono,monospace;font-size:10px}.callout-intuition{background:#1a2228;border-left:3px solid #7eb8da}.callout-intuition .callout-label{color:#7eb8da}.callout-warning{background:#281a1a;border-left:3px solid #f25c54}.callout-warning .callout-label{color:#f25c54}.callout-key{background:#28221a;border-left:3px solid #d4a574}.callout-key .callout-label{color:#d4a574}.callout-connection{background:#1a2518;border-left:3px solid #a8d4a0}.callout-connection .callout-label{color:#a8d4a0}.toggle{border-left:2px solid #3a3530;margin:10px 0;padding-left:16px}.toggle-btn{color:#d4a574;cursor:pointer;opacity:.9;text-align:left;background:0 0;border:none;padding:0;font-family:"Source Serif 4",serif;font-size:14px;font-style:italic}.toggle-btn:hover{opacity:1}.toggle-content{color:#a89880;margin-top:8px;font-size:14px;line-height:1.7;display:none}.toggle-content.open{display:block}.toggle-content .math-block{font-size:13px}.term{color:#d4a574;cursor:help;border-bottom:1px dashed #d4a574;display:inline;position:relative}.term-tooltip{z-index:10;color:#c4b5a0;white-space:normal;background:#2e2924;border:1px solid #3a3530;border-radius:6px;width:280px;padding:8px 12px;font-size:12px;font-style:normal;font-weight:400;line-height:1.5;display:none;position:absolute;bottom:calc(100% + 6px);left:0;box-shadow:0 4px 12px #0006}.term-tooltip-wide{width:300px}.term:hover .term-tooltip{display:block}.box{background:#221e1a;border:1px solid #2e2924;border-radius:10px;margin-top:28px;padding:24px}.box-label{letter-spacing:1.5px;margin-bottom:12px;font-family:JetBrains Mono,monospace;font-size:11px}.box p{margin-bottom:14px}.box p:last-child{margin-bottom:0}strong{color:#f0e6d3}em{font-style:italic}.separator{background:linear-gradient(90deg,#0000,#3a3530,#0000);height:1px;margin:40px 0}.proof-summary{color:#c4b5a0;font-family:JetBrains Mono,monospace;font-size:13px;line-height:2.2}.proof-summary .comment{color:#8a7e6e}.footer{color:#5a5245;text-align:center;margin-top:36px;font-size:12px;font-style:italic}