:root{--paper:#edefe6;--ink:#18262b;--ink-soft:#4d5b5f;--grid:#e0e4d4;--pen:#2b4bd1;--ok:#23784a;--panel:#18262b;--panel-ink:#e4e8dc;--panel-dim:#7f8c86;--display:"Archivo", system-ui, sans-serif;--serif:"Source Serif 4", Georgia, serif;--mono:"JetBrains Mono", ui-monospace, monospace;--lightningcss-light:initial;--lightningcss-dark: ;color-scheme:light dark}@media (prefers-color-scheme:dark){:root{--lightningcss-light: ;--lightningcss-dark:initial;--paper:#142024;--ink:#e4e8dc;--ink-soft:#9aa69f;--grid:#1d2b30;--pen:#8ea2ff;--ok:#6fcf97;--panel:#0c1518;--panel-ink:#e4e8dc;--panel-dim:#6e7c76}}*,:before,:after{box-sizing:border-box}body{background-color:var(--paper);background-image:linear-gradient(var(--grid) 1px, transparent 1px), linear-gradient(90deg, var(--grid) 1px, transparent 1px);color:var(--ink);font:400 1.125rem/1.6 var(--serif);-webkit-font-smoothing:antialiased;background-size:24px 24px;margin:0}a{color:inherit}:focus-visible{outline:2px solid var(--pen);outline-offset:3px}main{max-width:56rem;margin:0 auto;padding:clamp(3rem,10vw,7rem) 1rem 6rem}.masthead h1{font:800 clamp(2.6rem, 10.5vw, 6.5rem) / .92 var(--display);letter-spacing:-.035em;margin:0;font-stretch:125%}.tagline{color:var(--ink-soft);margin:1.5rem 0 0;font-size:clamp(1.15rem,2.4vw,1.4rem);font-style:italic}.proof{background:var(--panel);color:var(--panel-ink);font:400 .9rem/1.7 var(--mono);border-radius:4px;grid-template-columns:1.15fr 1fr;margin:clamp(3rem,8vw,5rem) 0 0;display:grid;overflow:hidden}.proof pre{font:inherit;white-space:pre-wrap;margin:0}.proof-src{padding:1.5rem}.proof-src .kw{color:#9fb2ff}.tac{opacity:0}.tac.on{opacity:1;transition:opacity .25s}.proof-goal{color:var(--panel-dim);border-left:1px solid #2c3c41;min-height:5rem;padding:1.5rem}.proof-goal pre{color:var(--panel-ink)}.qed{color:#6fcf97;margin:0;font-weight:600}.qed:before{content:"✓ "}@media (width<=40rem){.proof{grid-template-columns:1fr;font-size:.8rem}.proof-goal{border-top:1px solid #2c3c41;border-left:0;min-height:0}}section{margin-top:clamp(3.5rem,9vw,5.5rem)}h2{font:500 1rem/1.2 var(--display);color:var(--ink-soft);margin:0 0 1rem;font-stretch:125%}.empty{margin:0}.episodes{border-top:2px solid var(--ink);margin:0;padding:0;list-style:none}.episodes a{border-bottom:1px solid var(--ink-soft);grid-template-columns:3rem 1fr auto;align-items:baseline;gap:1rem;padding:1rem 0;text-decoration:none;display:grid}.episodes a:hover .ep-title{color:var(--pen)}.ep-n{font:800 1.25rem var(--display);font-variant-numeric:tabular-nums}.ep-title{font-weight:600}.ep-guests{color:var(--ink-soft);font-weight:400;display:block}.episodes time{color:var(--ink-soft);white-space:nowrap;font-size:.95rem}.feeds{flex-wrap:wrap;gap:.75rem 2rem;margin:0;padding:0;list-style:none;display:flex}.feeds a{color:var(--pen);text-underline-offset:4px;text-decoration-thickness:1px}.feeds a:hover{text-decoration-thickness:2px}footer{border-top:2px solid var(--ink);flex-wrap:wrap;justify-content:space-between;align-items:baseline;gap:.5rem 2rem;margin-top:clamp(5rem,14vw,9rem);padding-top:1.25rem;display:flex}footer p{margin:0}.motto{font:800 clamp(.85rem, 2.2vw, 1.05rem) / 1.3 var(--display);letter-spacing:.02em;font-stretch:125%}.credit{color:var(--ink-soft);font-style:italic}.credit a{color:var(--pen);text-underline-offset:4px;font-style:normal;text-decoration-thickness:1px}.credit a:hover{text-decoration-thickness:2px}