:root{--bg: #ffffff;--panel: #f5f5f5;--ink: #000000;--muted: #757575;--faint: #9e9e9e;--line: #e0e0e0;--line-strong: #000000;--white: #000000;--link: #057dbc;--display: "Playfair Display", Georgia, serif;--serif: "Lora", Georgia, serif;--sans: "Inter", system-ui, -apple-system, sans-serif;--mono: "Roboto Mono", ui-monospace, SFMono-Regular, Menlo, monospace;--t-display: clamp(38px, 5.6vw, 64px);--t-h1: clamp(30px, 4.2vw, 48px);--t-h2: clamp(24px, 3vw, 32px);--t-h3: clamp(19px, 2.2vw, 26px);--t-body: 17px;--t-small: 14px;--t-label: 12px;--measure: 68ch}*{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.55;min-height:100vh}a{color:inherit;text-decoration:none}a:hover{opacity:.72}a:focus-visible,button:focus-visible,summary:focus-visible,input:focus-visible,[tabindex]:focus-visible{outline:2px solid var(--ink);outline-offset:3px}img,svg{display:block;max-width:100%}::selection{background:var(--ink);color:#fff}.wrap{max-width:1140px;margin-inline:auto;padding-inline:clamp(20px,4vw,40px)}.measure{max-width:var(--measure)}.display{font-family:var(--display);font-weight:400;font-size:var(--t-display);line-height:.96;letter-spacing:-.008em}.h1{font-family:var(--display);font-weight:400;font-size:var(--t-h1);line-height:1.04;letter-spacing:-.008em}.h2{font-family:var(--display);font-weight:400;font-size:var(--t-h2);line-height:1.1}.h3{font-family:var(--display);font-weight:400;font-size:var(--t-h3);line-height:1.14}.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(--sans);font-size:var(--t-label);font-weight:700;letter-spacing:.1em;text-transform:uppercase;color:var(--muted)}.spec{display:flex;align-items:center;gap:14px;font-family:var(--sans);font-size:var(--t-label);font-weight:700;letter-spacing:.1em;text-transform:uppercase;color:var(--ink)}.spec:after{content:"";flex:1;border-top:1px solid var(--line)}.rule{border:none;border-top:1px solid var(--line)}.chip,.chip-strong{transition:background .15s ease,color .15s ease,border-color .15s ease}.chip{border:1px solid var(--line);color:var(--muted);background:none;cursor:pointer}.chip-strong{border:1px solid var(--ink);color:var(--ink)}.chip:hover,.chip-strong:hover{background:var(--ink);border-color:var(--ink);color:#fff;opacity:1}.link-row{transition:opacity .15s ease}.link-row:hover{opacity:1}.row-title{text-decoration:underline transparent;text-underline-offset:4px;text-decoration-thickness:1px;transition:text-decoration-color .15s ease}.link-row:hover .row-title{text-decoration-color:currentColor}.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:19px;line-height:1.55;color:var(--ink);max-width:var(--measure)}.prose>*+*{margin-top:1.25em}.prose h2{font-family:var(--display);font-weight:400;font-size:1.45em;line-height:1.1;margin-top:1.7em}.prose h3{font-family:var(--display);font-weight:400;font-size:1.2em;margin-top:1.4em}.prose a{color:var(--link);text-decoration:underline;text-underline-offset:3px;text-decoration-color:var(--link)}.prose blockquote{border-left:2px solid var(--ink);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:#0000000d;padding:.1em .4em;border-radius:0}.prose hr{border:none;border-top:1px solid var(--line);margin:2em 0}.prose img{border:1px solid var(--line);border-radius:0;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}}.masthead[data-astro-cid-3ef6ksr2]{display:grid;grid-template-columns:1fr auto 1fr;align-items:center;height:64px;gap:16px}.mast-nav[data-astro-cid-3ef6ksr2]{display:flex;align-items:center;gap:22px}.wordmark[data-astro-cid-3ef6ksr2]{display:flex;align-items:center;justify-content:center;gap:10px;color:var(--ink);min-width:0}.wm[data-astro-cid-3ef6ksr2]{font-family:var(--display);font-weight:400;font-size:21px;letter-spacing:.01em;white-space:nowrap;color:var(--ink)}.mast-cta[data-astro-cid-3ef6ksr2]{display:flex;justify-content:flex-end}.navlink[data-astro-cid-3ef6ksr2]{font-family:var(--sans);font-size:13px;font-weight:700;letter-spacing:.02em;color:var(--ink);transition:opacity .15s ease}.navcta[data-astro-cid-3ef6ksr2]{font-family:var(--sans);font-size:13px;font-weight:700;letter-spacing:.03em;color:#fff;background:var(--ink);padding:9px 16px;border-radius:0;transition:opacity .15s ease;white-space:nowrap}.navcta[data-astro-cid-3ef6ksr2]:hover{opacity:.85}@media(max-width:640px){.masthead[data-astro-cid-3ef6ksr2]{display:flex;flex-wrap:wrap;align-items:center;height:auto;padding-block:11px;gap:8px 14px}.wordmark[data-astro-cid-3ef6ksr2]{order:1;flex:1 1 auto;justify-content:flex-start}.wm[data-astro-cid-3ef6ksr2]{font-size:17px}.mast-cta[data-astro-cid-3ef6ksr2]{order:2;flex:0 0 auto}.navcta[data-astro-cid-3ef6ksr2]{padding:8px 13px;font-size:12px}.mast-nav[data-astro-cid-3ef6ksr2]{order:3;flex-basis:100%;gap:20px;border-top:1px solid var(--line);margin-top:2px;padding-top:10px}}@media(max-width:360px){.wm[data-astro-cid-3ef6ksr2]{font-size:15px}}