body{font-family:Inter,sans-serif}h1,h2,h3,h4{font-family:Lora,serif;color:#1e3a8a}.math-block{overflow-x:auto;padding:10px 0}.section-box{background-color:#f8fafc;border-left:4px solid #3b82f6;padding:20px;margin:20px 0;border-radius:0 8px 8px 0}.pitfall-box{background-color:#fef2f2;border-left:4px solid #ef4444;padding:16px 20px;margin:20px 0;border-radius:0 8px 8px 0}.pitfall-box h4{color:#dc2626;margin-bottom:8px}.example-box{background-color:#f0fdf4;border-left:4px solid #059669;padding:16px 20px;margin:20px 0;border-radius:0 8px 8px 0}.example-box h4{color:#047857;margin-bottom:8px}.template-box{background-color:#eef2ff;border-left:4px solid #4f46e5;padding:16px 20px;margin:20px 0;border-radius:0 8px 8px 0}.template-box h4{color:#3730a3;margin-bottom:8px}.interactive-figure{background-color:#fff;border:1px solid #e2e8f0;border-radius:.75rem;padding:1.5rem;margin:2rem 0;box-shadow:0 4px 6px -1px #0000000d}.interactive-figure h4{color:#4f46e5;margin-bottom:1rem}.figure-caption{font-size:.875rem;color:#64748b;text-align:center;margin-top:1rem;font-style:italic}.toc-link:hover{text-decoration:underline}.toc-link.active{color:#1e40af;font-weight:700;background-color:#dbeafe;padding:2px 8px;border-radius:4px}mjx-container{font-size:110%!important}.ax-symbol{text-align:center;white-space:nowrap}.axiom-list{list-style:none;padding-left:0;margin:8px 0}.axiom-list>li{padding:8px 0 8px 12px;border-bottom:1px solid #e2e8f0}.axiom-list>li:last-child{border-bottom:none}.axiom-tag{display:inline-block;min-width:3.2rem;font-weight:700;color:#1e40af}.axiom-plain{display:block;color:#475569;margin-top:4px}.quote-euclid{font-family:Lora,serif;font-style:italic}.figure-wrap{margin:1.5rem 0;text-align:center}.ax-fig{display:block;width:100%;max-width:660px;height:auto;margin:0 auto}.ax-fig-narrow{max-width:380px}.fig-line{stroke:#1e293b;stroke-width:2;fill:none}.fig-angle{fill:none;stroke:#4f46e5;stroke-width:2}.fig-thin{stroke:#94a3b8;stroke-width:1.2}.fig-transversal{stroke:#64748b}.fig-accent-stroke{stroke:#4f46e5}.fig-bad-stroke{stroke:#dc2626}.fig-dashed{stroke-dasharray:5 4}.fig-faint{opacity:.45}.fig-nofill{fill:none}.fig-label{font-family:Times New Roman,Times,serif;font-size:17px;fill:#1e293b}.fig-small{font-family:Inter,sans-serif;font-size:13px;fill:#334155}.fig-side{font-family:Inter,sans-serif;font-size:11px;fill:#64748b;font-style:italic}.fig-caption-in{font-family:Inter,sans-serif;font-size:12px;fill:#64748b;font-style:italic}.fig-strong{font-weight:700}.fig-accent{fill:#4f46e5}.fig-good{fill:#15803d;font-weight:600}.fig-bad{fill:#dc2626}.fig-muted{fill:#64748b}.fig-onwhite{paint-order:stroke;stroke:#fff;stroke-width:6px}.fig-dot{fill:#1e293b}.fig-dot-accent{fill:#4f46e5}.fig-dot-ub{fill:#fff;stroke:#4f46e5;stroke-width:2}.fig-hole{fill:#fff;stroke:#dc2626;stroke-width:2.5}.fig-set{stroke:#4f46e5;stroke-width:6;stroke-linecap:round}.fig-box{fill:#f8fafc;stroke:#94a3b8;stroke-width:1.5}.fig-box-axiom{fill:#fef3c7;stroke:#d97706}.fig-box-logic{fill:#e0e7ff;stroke:#4f46e5}.fig-box-set{fill:#dbeafe;stroke:#2563eb}.fig-box-num{fill:#ecfeff;stroke:#0891b2}.fig-box-struct,.fig-box-good{fill:#f0fdf4;stroke:#16a34a}.fig-box-bad{fill:#fef2f2;stroke:#dc2626}.fig-panel{fill:#f8fafc;stroke:#cbd5e1;stroke-width:1}.fig-disk{fill:#f8fafc;stroke:#475569;stroke-width:1.5}.fig-tri{fill:#eef2ff;stroke:#1e293b;stroke-width:2}.fig-omega{fill:#fde68a;stroke:#475569;stroke-width:1.5}.fig-omega-plain{fill:#f8fafc;stroke:#475569;stroke-width:1.5}.fig-event{fill:#c7d2fe;stroke:#4f46e5;stroke-width:1.5}.fig-event-b{fill:#bbf7d0;stroke:#16a34a}.fig-arrow{stroke:#475569;stroke-width:1.6;fill:none}.fig-arrowhead{fill:#475569}.fig-node{fill:#fff;stroke:#1e293b;stroke-width:1.6}.fig-node-first{fill:#e0e7ff;stroke:#4f46e5}.fig-node-stray{fill:#fef2f2;stroke:#dc2626}.fig-node-label{font-family:Times New Roman,Times,serif;font-size:15px;fill:#1e293b}.fig-node-small{font-size:12px}.ax-blurb{color:#475569;margin:8px 0 12px}.ax-figure{overflow-x:auto;margin:12px 0}.ax-table{border-collapse:collapse;margin:0 auto;font-family:Times New Roman,Times,serif}.ax-table th,.ax-table td{border:1px solid #cbd5e1;min-width:40px;height:34px;padding:0 8px;text-align:center}.ax-table th{background-color:#f1f5f9;font-weight:600;color:#475569}.ax-outside{background-color:#fee2e2;color:#991b1b;font-weight:700}.ax-diagram{display:block;margin:0 auto;max-width:100%;height:auto}.ax-edge{stroke:#475569;stroke-width:1.6;fill:none}.ax-arrowhead{fill:#475569}.ax-node{fill:#fff;stroke:#1e293b;stroke-width:1.6}.ax-first{fill:#e0e7ff;stroke:#4f46e5}.ax-node-label{font-family:Times New Roman,Times,serif;font-size:16px;text-anchor:middle;fill:#1e293b}.ax-none{font-family:Inter,sans-serif;font-size:12px;fill:#dc2626}.ax-checks{list-style:none;padding-left:0;margin:12px 0}.ax-checks li{padding:8px 12px;border-radius:6px;margin-bottom:6px;line-height:1.6}.ax-pass{background-color:#f0fdf4}.ax-fail{background-color:#fef2f2}.ax-mark{display:inline-block;width:1.4rem;font-weight:700}.ax-pass .ax-mark{color:#15803d}.ax-fail .ax-mark{color:#dc2626}.ax-why{color:#475569}.ax-verdict{background-color:#eef2ff;color:#3730a3;border-radius:8px;padding:12px 16px;font-weight:600;line-height:1.7}.ax-select{max-width:100%}