:root{color-scheme:light dark;font-family:IBM Plex Sans,system-ui,-apple-system,sans-serif;line-height:1.5}body{margin:0;background:#0b1020;color:#edf2ff}a{color:#8ec5ff}.site-header{display:flex;justify-content:space-between;align-items:center;padding:1rem 1.5rem;border-bottom:1px solid #24304d}.site-header nav{display:flex;gap:1rem}main{padding:2rem 1.5rem}.panel{max-width:48rem}.proof-grid{display:grid;grid-template-columns:8rem 1fr;gap:.5rem 1rem}code{font-family:IBM Plex Mono,ui-monospace,monospace}