* {margin:0;padding:0;box-sizing:border-box}
body {background:#0a0a0a;color:#d4d4d4;font-family:Inter,sans-serif;margin:0;padding:0 24px}
.container {max-width:900px;margin:0 auto}
h1 {font-family:VT323,monospace;font-size:clamp(40px,7vw,72px);line-height:1;margin:80px 0 12px;color:#d4d4d4}
h1 .g {color:#00ff41;text-shadow:0 0 30px rgba(0,255,65,0.2)}
.tag {font-family:'Share Tech Mono',monospace;font-size:11px;letter-spacing:3px;color:#666;text-transform:uppercase}
.subtitle {color:#9a9a9a;font-size:17px;max-width:640px;line-height:1.6;margin-bottom:40px}
.proof-grid {display:flex;flex-direction:column;gap:16px;margin:32px 0}
.proof-card {background:#111;border:1px solid #222;border-radius:4px;padding:20px;font-family:'Share Tech Mono',monospace}
.proof-header {margin-bottom:12px;font-size:14px}
.proof-status {font-weight:bold;font-size:13px}
.proof-name {color:#888;margin-left:8px;font-size:12px}
.proof-src {background:#0a0a0a;border:1px solid #1a1a1a;border-radius:3px;padding:12px 16px;font-size:12px;line-height:1.6;color:#b4b4b4;overflow-x:auto;margin-bottom:12px;white-space:pre}
.proof-result {font-size:13px;color:#888}
.proof-expected {color:#ff3b30;font-size:11px}
.proof-stdout {font-size:11px;color:#666;margin-bottom:8px}
.stdout-label {color:#555}
.section {margin:48px 0;border-top:1px solid #222;padding-top:32px}
.section h2 {font-family:VT323,monospace;font-size:32px;margin-bottom:8px}
.section p {color:#888;font-size:14px;line-height:1.7;max-width:640px;margin-bottom:16px}
.ast-box {background:#0a0a0a;border:1px solid #1a1a1a;border-radius:3px;padding:16px;font-family:'Share Tech Mono',monospace;font-size:11px;color:#666;overflow-x:auto;white-space:pre;line-height:1.8;margin-bottom:16px}
.stat-bar {display:grid;grid-template-columns:repeat(4,1fr);gap:1px;background:#222;border:1px solid #222;border-radius:4px;overflow:hidden;margin:32px 0}
.stat {background:#111;padding:20px;text-align:center}
.sv {font-family:VT323,monospace;font-size:36px;color:#00ff41;display:block}
.sl {font-family:'Share Tech Mono',monospace;font-size:10px;color:#666;letter-spacing:1px;text-transform:uppercase;margin-top:4px;display:block}
footer {text-align:center;padding:48px 0;font-family:'Share Tech Mono',monospace;font-size:11px;color:#666;border-top:1px solid #222;margin-top:48px}
.g {color:#00ff41}
a {color:#00ff41}
