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}.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}.truth-table th,.truth-table td{text-align:center}.tv-t{color:#047857;font-weight:600}.tv-f{color:#b91c1c;font-weight:600}.lq-symbol{text-align:center;white-space:nowrap}.lq-input{font-family:Inter,sans-serif;font-size:1.05rem;width:100%}.lq-sym{font-family:Times New Roman,Times,serif;font-size:1.1rem;line-height:1;padding:6px 12px;border:1px solid #cbd5e1;border-radius:6px;background-color:#f8fafc;cursor:pointer;transition:background-color .15s ease}.lq-sym:hover{background-color:#e0e7ff}.lq-btn{padding:8px 18px;border-radius:8px;background-color:#4f46e5;color:#fff;font-weight:600;cursor:pointer;transition:background-color .15s ease}.lq-btn:hover{background-color:#4338ca}.lq-error{color:#b91c1c;font-size:.9rem;min-height:1.4em}.lq-table{border-collapse:collapse;width:100%;font-size:.95rem}.lq-table th,.lq-table td{border:1px solid #cbd5e1;padding:4px 8px;text-align:center;white-space:nowrap}.lq-table th{background-color:#f1f5f9;font-family:Times New Roman,Times,serif;font-size:1.05rem}.lq-table th.lq-main,.lq-table td.lq-main{background-color:#eef2ff;font-weight:700}.lq-table tr.lq-diff td{background-color:#fee2e2}.lq-verdict{padding:12px 16px;border-radius:8px;font-weight:600}.lq-verdict-equiv{background-color:#dcfce7;color:#166534}.lq-verdict-differ{background-color:#fee2e2;color:#991b1b}.lq-verdict-idle{background-color:#f1f5f9;color:#475569}.lq-badge{display:inline-block;font-size:.8rem;padding:2px 8px;border-radius:999px;background-color:#e0e7ff;color:#3730a3;margin-left:6px;font-weight:600}.lq-badge-taut{background-color:#dcfce7;color:#166534}.lq-badge-contra{background-color:#fee2e2;color:#991b1b}