:root{--bg: #0a0a0a;--panel: #0f0f0f;--ink: #f2f2f2;--muted: #9a9a9a;--faint: #5f5f5f;--line: rgba(255, 255, 255, .12);--line-strong: rgba(255, 255, 255, .24);--white: #fff;--sans: "Roboto", system-ui, -apple-system, sans-serif;--serif: "Open Sans", system-ui, sans-serif;--mono: "Roboto Mono", ui-monospace, SFMono-Regular, Menlo, monospace;--t-display: clamp(46px, 8.5vw, 108px);--t-h1: clamp(32px, 5vw, 62px);--t-h2: clamp(24px, 3.2vw, 38px);--t-h3: clamp(19px, 2.2vw, 25px);--t-body: 18px;--t-small: 14px;--t-label: 12px;--measure: 70ch}*{box-sizing:border-box;margin:0;padding:0}html{background:var(--bg);color:var(--ink);-webkit-font-smoothing:antialiased;text-rendering:optimizeLegibility;scroll-behavior:smooth}body{font-family:var(--serif);font-size:var(--t-body);line-height:1.6;min-height:100vh}a{color:inherit;text-decoration:none}a:hover{opacity:.78}img,svg{display:block;max-width:100%}::selection{background:var(--white);color:#000}.wrap{max-width:1140px;margin-inline:auto;padding-inline:clamp(20px,4vw,40px)}.measure{max-width:var(--measure)}.display{font-family:var(--sans);font-weight:700;font-size:var(--t-display);line-height:.96;letter-spacing:-.03em}.h1{font-family:var(--sans);font-weight:700;font-size:var(--t-h1);line-height:1.02;letter-spacing:-.02em}.h2{font-family:var(--sans);font-weight:600;font-size:var(--t-h2);line-height:1.08;letter-spacing:-.01em}.h3{font-family:var(--sans);font-weight:600;font-size:var(--t-h3);line-height:1.15}.serif{font-family:var(--serif)}.mono{font-family:var(--mono)}.muted{color:var(--muted)}.faint{color:var(--faint)}.tnum{font-variant-numeric:tabular-nums}.label{font-family:var(--mono);font-size:var(--t-label);letter-spacing:.22em;text-transform:uppercase;color:var(--muted)}.spec{display:flex;align-items:center;gap:14px;font-family:var(--mono);font-size:var(--t-label);letter-spacing:.22em;text-transform:uppercase;color:var(--muted)}.spec:after{content:"";flex:1;border-top:1px solid var(--line)}.rule{border:none;border-top:1px solid var(--line)}.grid-bg{background-image:linear-gradient(var(--line) 1px,transparent 1px),linear-gradient(90deg,var(--line) 1px,transparent 1px);background-size:40px 40px}.ticked{position:relative}.ticked:before,.ticked:after{content:"";position:absolute;width:9px;height:9px;border:1px solid var(--line-strong)}.ticked:before{top:-1px;left:-1px;border-right:none;border-bottom:none}.ticked:after{bottom:-1px;right:-1px;border-left:none;border-top:none}.prose{font-family:var(--serif);font-size:20px;line-height:1.78;color:var(--ink);max-width:var(--measure)}.prose>*+*{margin-top:1.25em}.prose h2{font-family:var(--sans);font-weight:600;font-size:1.55em;line-height:1.12;letter-spacing:-.01em;margin-top:1.7em}.prose h3{font-family:var(--sans);font-weight:600;font-size:1.25em;margin-top:1.4em}.prose a{text-decoration:underline;text-underline-offset:3px;text-decoration-color:var(--faint)}.prose blockquote{border-left:2px solid var(--line-strong);padding-left:1.1em;color:var(--muted);font-style:italic}.prose ul,.prose ol{padding-left:1.3em}.prose li+li{margin-top:.4em}.prose code{font-family:var(--mono);font-size:.82em;background:#ffffff0f;padding:.1em .4em;border-radius:4px}.prose hr{border:none;border-top:1px solid var(--line);margin:2em 0}.prose img{border:1px solid var(--line);border-radius:8px;margin:1.6em 0}.thesis-grid,.axioms{display:grid;grid-template-columns:1fr}@media(min-width:760px){.thesis-grid{grid-template-columns:1.15fr .85fr;align-items:start}.axioms{grid-template-columns:repeat(3,1fr)}}@media(prefers-reduced-motion:reduce){*{animation:none!important;transition:none!important}}.navlink[data-astro-cid-3ef6ksr2]{font-family:var(--mono);font-size:12.5px;letter-spacing:.03em;color:#666;transition:color .15s ease}.navlink[data-astro-cid-3ef6ksr2]:hover{color:#fff;opacity:1}.navcta[data-astro-cid-3ef6ksr2]{font-family:var(--mono);font-size:12px;letter-spacing:.05em;color:var(--white);border:1px solid var(--line-strong);padding:7px 13px;transition:background .15s ease,color .15s ease}.navcta[data-astro-cid-3ef6ksr2]:hover{background:var(--white);color:#000;opacity:1}@media(max-width:560px){.navlink[data-astro-cid-3ef6ksr2]{display:none}}