:root { color-scheme: dark; --bg: #0b0b0b; --ink: #e9e9e7; --muted: #a9a9a7; --faint: #858583; --rule: #303030; }
* { box-sizing: border-box; }
html { background: var(--bg); color: var(--ink); font-size: 16px; }
body { min-height: 100vh; min-height: 100svh; display: flex; flex-direction: column; width: min(100% - 48px, 690px); margin: 0 auto; padding: clamp(32px, 5vh, 56px) 0 40px; font-family: -apple-system, BlinkMacSystemFont, "Segoe UI", Helvetica, Arial, sans-serif; font-size: clamp(1.02rem, 1.5vw, 1.12rem); line-height: 1.65; -webkit-font-smoothing: antialiased; }
h1 { margin: 0; font-size: clamp(2.5rem, 6vw, 4.35rem); font-weight: 550; line-height: 1.08; letter-spacing: -0.065em; }
p { margin: 0 0 20px; color: var(--muted); }
.tagline { margin: 16px 0 0; font-size: 1.25rem; color: var(--ink); }
hr { border: 0; border-top: 1px solid var(--rule); margin: 32px 0; }
.copy { margin: 0 0 20px; }
a { color: var(--faint); text-decoration: underline; text-underline-offset: .2em; }
a:hover { color: var(--ink); }
a:focus-visible { outline: 2px solid currentColor; outline-offset: 5px; }
nav { display: flex; flex-wrap: wrap; gap: 12px 24px; margin: 32px 0 0; font-size: .92rem; }
footer { margin-top: auto; padding-top: 24px; font-size: .92rem; color: var(--faint); }
::selection { background: var(--ink); color: var(--bg); }
body.brief { width: min(100% - 48px, 900px); }
.paper { max-width: 100%; font-size: inherit; line-height: 1.65; }
.paper .kicker, .paper .meta { font-size: .92rem; color: var(--faint); margin: 0 0 20px; }
.paper h1 { margin: 0 0 32px; }
.paper .subtitle { font-size: 1.25rem; margin: 0 0 20px; }
.paper .abstract { margin: 32px 0; padding-left: 20px; border-left: 1px solid var(--rule); }
.paper .closing { margin-top: 32px; }
.paper h2 { font-size: 1.25rem; font-weight: 550; color: var(--ink); margin: 36px 0 12px; letter-spacing: -.02em; }
.paper figure { margin: 32px auto; max-width: 760px; }
.paper figure.portrait { max-width: 540px; }
.paper figcaption { font-size: .92rem; color: var(--muted); margin-top: 12px; }
.paper figure svg { display: block; width: 100%; height: auto; color: var(--ink); }
.paper figure svg text { font-family: inherit; fill: var(--ink); }
.paper svg [stroke="#000"] { stroke: var(--ink); }
.paper svg [fill="#000"] { fill: var(--ink); }
.paper svg [fill="#faf9f6"] { fill: var(--bg); }
.paper code, .paper pre { font-family: ui-monospace, Menlo, Consolas, monospace; font-size: .92em; }
.paper pre { margin: 12px 0 20px; padding: 12px 16px; border: 1px solid var(--rule); overflow-x: auto; line-height: 1.4; }
.paper table { border-collapse: collapse; margin: 12px 0 20px; width: 100%; }
.paper td { vertical-align: top; padding: 8px 16px 8px 0; border-bottom: 1px solid var(--rule); }
.paper td:first-child { width: 38%; }
@media (max-width: 600px) { body, body.brief { width: calc(100% - 40px); padding-top: 48px; } p, .paper { line-height: 1.7; } .tagline { font-size: 1.1rem; } .paper td { overflow-wrap: anywhere; } }