.page-title[data-astro-cid-fg3hkvch]{font-family:Playfair Display,serif;font-size:42px;font-weight:700;line-height:1.15;margin-bottom:8px;letter-spacing:-.02em}.taocp-ref[data-astro-cid-fg3hkvch]{font-size:13px;color:var(--text-muted);margin-bottom:8px}.badges[data-astro-cid-fg3hkvch]{display:flex;gap:6px;margin-bottom:24px}.badge[data-astro-cid-fg3hkvch]{display:inline-block;font-size:12px;padding:2px 10px;border-radius:9999px;font-weight:500}.badge[data-astro-cid-fg3hkvch].knuth{background:var(--warning-light);color:var(--warning)}.badge[data-astro-cid-fg3hkvch].category{background:var(--accent-light);color:var(--accent)}.cross-link[data-astro-cid-fg3hkvch]{display:block;background:var(--accent-light);color:var(--accent);font-size:13px;padding:10px 16px;border-radius:8px;text-decoration:none;margin-bottom:24px;min-height:44px;display:flex;align-items:center}.cross-link[data-astro-cid-fg3hkvch]:hover{opacity:.9}.reading-width[data-astro-cid-fg3hkvch]{max-width:820px;font-size:15px;line-height:1.8}.reading-width[data-astro-cid-fg3hkvch] p{margin-bottom:1em}.reading-width[data-astro-cid-fg3hkvch] p:last-child{margin-bottom:0}.reading-width[data-astro-cid-fg3hkvch] ol,.reading-width[data-astro-cid-fg3hkvch] ul{margin:0 0 1em 1.5em}.reading-width[data-astro-cid-fg3hkvch] li{margin-bottom:.25em}.reading-width[data-astro-cid-fg3hkvch] li:last-child{margin-bottom:0}.reading-text[data-astro-cid-fg3hkvch]{font-size:15px;line-height:1.8;margin:12px 0}.section-heading[data-astro-cid-fg3hkvch]{font-family:Playfair Display,serif;font-size:28px;font-weight:700;margin-top:48px;margin-bottom:16px;padding-bottom:8px;border-bottom:1px solid var(--border)}.steps[data-astro-cid-fg3hkvch]{display:flex;flex-direction:column;gap:12px}.step-card[data-astro-cid-fg3hkvch]{background:var(--surface);border:1px solid var(--border);border-radius:8px;padding:16px 20px}.step-label[data-astro-cid-fg3hkvch]{font-family:JetBrains Mono,monospace;font-size:14px;font-weight:700;color:var(--accent);margin-bottom:4px}.step-name[data-astro-cid-fg3hkvch]{font-size:13px;color:var(--text-muted);font-weight:500;margin-bottom:6px}.step-description[data-astro-cid-fg3hkvch]{font-size:15px;line-height:1.6}.step-formal[data-astro-cid-fg3hkvch]{font-family:JetBrains Mono,monospace;font-size:13px;color:var(--text-muted);margin-top:8px;padding:6px 10px;background:var(--bg);border-radius:4px}.flowchart-container[data-astro-cid-fg3hkvch]{margin:24px 0;overflow-x:auto;-webkit-overflow-scrolling:touch}.flowchart-container[data-astro-cid-fg3hkvch] svg[data-astro-cid-fg3hkvch]{max-width:340px;width:100%;height:auto}.proof-box[data-astro-cid-fg3hkvch]{background:var(--surface);border-left:3px solid var(--accent);padding:16px 20px;margin:16px 0;border-radius:0 8px 8px 0}.proof-label[data-astro-cid-fg3hkvch]{font-size:12px;font-weight:600;color:var(--accent);text-transform:uppercase;letter-spacing:.05em;margin-bottom:8px}.proof-identity[data-astro-cid-fg3hkvch]{font-size:15px;font-style:italic;line-height:1.6}.trace-table[data-astro-cid-fg3hkvch]{overflow-x:auto;-webkit-overflow-scrolling:touch;margin:16px 0}.trace-table[data-astro-cid-fg3hkvch] table{width:100%;border-collapse:collapse;font-size:14px}.trace-table[data-astro-cid-fg3hkvch] th{text-align:left;padding:8px 12px;border-bottom:2px solid var(--border);font-weight:600;font-size:13px;color:var(--text-muted);font-variant-numeric:tabular-nums}.trace-table[data-astro-cid-fg3hkvch] td{padding:8px 12px;border-bottom:1px solid var(--border-light);font-family:JetBrains Mono,monospace;font-size:13px;font-variant-numeric:tabular-nums}.trace-table[data-astro-cid-fg3hkvch] tr:last-child td{border-bottom:none;background:var(--success-light);color:var(--success);font-weight:600}.trace-result[data-astro-cid-fg3hkvch]{background:var(--success-light);color:var(--success);font-family:JetBrains Mono,monospace;font-size:14px;font-weight:700;padding:10px 16px;border-radius:6px;margin-top:8px;display:inline-block}.complexity-note[data-astro-cid-fg3hkvch]{background:var(--bg);border-radius:8px;padding:16px 20px;margin:24px 0;font-size:14px;color:var(--text-muted);line-height:1.6}.complexity-note[data-astro-cid-fg3hkvch] strong[data-astro-cid-fg3hkvch]{color:var(--text)}.cards-section[data-astro-cid-fg3hkvch]{margin-top:48px;padding-top:24px;border-top:2px solid var(--border)}.cards-header[data-astro-cid-fg3hkvch]{display:flex;justify-content:space-between;align-items:center;margin-bottom:16px;flex-wrap:wrap;gap:12px}.card-grid[data-astro-cid-fg3hkvch]{display:grid;grid-template-columns:1fr 1fr;gap:12px}.card-preview[data-astro-cid-fg3hkvch]{background:var(--surface);border:1px solid var(--border);border-radius:8px;padding:14px 16px}.card-preview[data-astro-cid-fg3hkvch]:last-child:nth-child(odd){grid-column:1 / -1}.card-type[data-astro-cid-fg3hkvch]{font-size:11px;font-weight:600;text-transform:uppercase;letter-spacing:.05em;margin-bottom:6px}.card-question[data-astro-cid-fg3hkvch]{font-size:14px;color:var(--text);line-height:1.4}@media(max-width:767px){.page-title[data-astro-cid-fg3hkvch]{font-size:28px}.section-heading[data-astro-cid-fg3hkvch]{font-size:22px}.card-grid[data-astro-cid-fg3hkvch]{grid-template-columns:1fr}.trace-table[data-astro-cid-fg3hkvch] td,.trace-table[data-astro-cid-fg3hkvch] th{font-size:12px;padding:6px 8px}}@media print{.cross-link[data-astro-cid-fg3hkvch],.cards-section[data-astro-cid-fg3hkvch]{display:none}.page-title[data-astro-cid-fg3hkvch]{font-size:28px}.section-heading[data-astro-cid-fg3hkvch]{font-size:20px;break-after:avoid}.step-card[data-astro-cid-fg3hkvch],.proof-box[data-astro-cid-fg3hkvch]{break-inside:avoid}}