@import "https://fonts.googleapis.com/css2?family=Source+Serif+4:ital,opsz,wght@0,8..60,300..900;1,8..60,300..900&family=Inter+Tight:wght@300;400;500;600;700&family=Caveat:wght@400;500;600;700&family=JetBrains+Mono:wght@400;500;600&display=swap";:root{--paper-50:#fbf7ef;--paper-100:#f5efe2;--paper-200:#eadfc9;--paper-300:#d9c9a8;--ink-900:#2a211a;--ink-700:#4a3d33;--ink-500:#6e5f52;--ink-400:#8e7f71;--ink-300:#b5a696;--terracotta-50:#fbeee6;--terracotta-100:#f4d6c3;--terracotta-300:#e39f7e;--terracotta-500:#c8633b;--terracotta-700:#9a4724;--terracotta-900:#5c2812;--olive-50:#eef0e3;--olive-100:#dadfbf;--olive-300:#a8b381;--olive-500:#6b7a3e;--olive-700:#4a5528;--olive-900:#242c0f;--saffron-50:#fcf3dc;--saffron-100:#f7e2a8;--saffron-300:#ebc25f;--saffron-500:#d69e2e;--saffron-700:#96690d;--indigo-50:#e6e8f0;--indigo-300:#8891b5;--indigo-500:#3e4a7a;--indigo-700:#242d53;--success-500:#5a7a3e;--success-50:#e8eed9;--warning-500:#d69e2e;--warning-50:#fcf3dc;--danger-500:#b33a2e;--danger-50:#fbe4e0;--bg:var(--paper-50);--bg-raised:#fff;--bg-sunken:var(--paper-100);--bg-inverse:var(--ink-900);--fg:var(--ink-900);--fg-secondary:var(--ink-700);--fg-muted:var(--ink-500);--fg-placeholder:var(--ink-400);--fg-inverse:var(--paper-50);--fg-on-accent:var(--paper-50);--border:var(--paper-200);--border-strong:var(--paper-300);--border-ink:var(--ink-900);--accent:var(--terracotta-500);--accent-hover:var(--terracotta-700);--accent-soft:var(--terracotta-50);--accent-2:var(--olive-500);--accent-2-soft:var(--olive-50);--accent-3:var(--saffron-500);--accent-3-soft:var(--saffron-50);--link:var(--terracotta-700);--focus-ring:var(--terracotta-500);--font-serif:"Source Serif 4", "Iowan Old Style", Georgia, serif;--font-sans:"Inter Tight", system-ui, -apple-system, sans-serif;--font-hand:"Caveat", "Bradley Hand", cursive;--font-mono:"JetBrains Mono", ui-monospace, Menlo, monospace;--text-xs:12px;--text-sm:14px;--text-base:16px;--text-md:18px;--text-lg:20px;--text-xl:24px;--text-2xl:30px;--text-3xl:38px;--text-4xl:48px;--text-5xl:64px;--text-6xl:84px;--leading-tight:1.15;--leading-snug:1.3;--leading-normal:1.5;--leading-loose:1.75;--tracking-tight:-.02em;--tracking-normal:0;--tracking-wide:.04em;--tracking-allcaps:.12em;--space-1:4px;--space-2:8px;--space-3:12px;--space-4:16px;--space-5:20px;--space-6:24px;--space-8:32px;--space-10:40px;--space-12:48px;--space-16:64px;--space-20:80px;--radius-xs:4px;--radius-sm:6px;--radius-md:10px;--radius-lg:14px;--radius-xl:20px;--radius-2xl:28px;--radius-pill:999px;--shadow-xs:0 1px 2px #4a3d330f;--shadow-sm:0 1px 3px #4a3d3314, 0 1px 2px #4a3d330a;--shadow-md:0 4px 12px #4a3d3314, 0 2px 4px #4a3d330a;--shadow-lg:0 12px 28px #4a3d331a, 0 4px 8px #4a3d330d;--shadow-xl:0 24px 48px #4a3d3324, 0 8px 16px #4a3d330f;--shadow-inset:inset 0 1px 2px #4a3d3314;--ease-out:cubic-bezier(.22, 1, .36, 1);--ease-in-out:cubic-bezier(.65, 0, .35, 1);--ease-gentle:cubic-bezier(.4, 0, .2, 1);--dur-fast:.12s;--dur-base:.2s;--dur-slow:.4s}body{font-family:var(--font-sans);font-size:var(--text-base);line-height:var(--leading-normal);color:var(--fg);background:var(--bg);-webkit-font-smoothing:antialiased;text-rendering:optimizelegibility}h1,.h1{font-family:var(--font-serif);font-weight:500;font-size:var(--text-4xl);line-height:var(--leading-tight);letter-spacing:var(--tracking-tight);font-variation-settings:"opsz" 44;color:var(--fg);margin:0}h2,.h2{font-family:var(--font-serif);font-weight:500;font-size:var(--text-3xl);line-height:var(--leading-snug);letter-spacing:var(--tracking-tight);font-variation-settings:"opsz" 36;color:var(--fg);margin:0}h3,.h3{font-family:var(--font-serif);font-weight:500;font-size:var(--text-2xl);line-height:var(--leading-snug);color:var(--fg);margin:0}h4,.h4{font-family:var(--font-sans);font-weight:600;font-size:var(--text-lg);line-height:var(--leading-snug);color:var(--fg);margin:0}.display{font-family:var(--font-serif);font-weight:400;font-size:var(--text-6xl);letter-spacing:-.03em;font-variation-settings:"opsz" 60;color:var(--fg);line-height:1.05}.overline{font-family:var(--font-sans);font-weight:600;font-size:var(--text-xs);letter-spacing:var(--tracking-allcaps);text-transform:uppercase;color:var(--fg-muted)}p{font-family:var(--font-sans);font-size:var(--text-base);line-height:var(--leading-normal);color:var(--fg-secondary);margin:0}.body-lg{font-size:var(--text-md);line-height:var(--leading-normal);color:var(--fg-secondary)}.body-sm{font-size:var(--text-sm);line-height:var(--leading-normal);color:var(--fg-secondary)}.caption{font-size:var(--text-xs);color:var(--fg-muted);letter-spacing:.01em}.hand{font-family:var(--font-hand);font-weight:500;font-size:var(--text-xl);color:var(--terracotta-700);line-height:1.2}.hand-sm{font-family:var(--font-hand);font-weight:500;font-size:var(--text-md);color:var(--terracotta-700);line-height:1.2}.mono,code,pre,.numeric{font-family:var(--font-mono);font-variant-numeric:tabular-nums}.numeric-display{font-family:var(--font-serif);font-variation-settings:"opsz" 60;font-variant-numeric:lining-nums tabular-nums;letter-spacing:-.02em;font-weight:400}a{color:var(--link);-webkit-text-decoration-color:var(--terracotta-100);text-decoration-color:var(--terracotta-100);text-underline-offset:3px;transition:text-decoration-color var(--dur-base) var(--ease-out);text-decoration-thickness:1.5px}a:hover{-webkit-text-decoration-color:var(--terracotta-500);text-decoration-color:var(--terracotta-500)}::selection{background:var(--saffron-100);color:var(--ink-900)}:focus-visible{outline:2px solid var(--focus-ring);outline-offset:2px;border-radius:var(--radius-xs)}*{box-sizing:border-box}html,body{background:var(--bg);color:var(--fg);scroll-behavior:smooth;margin:0;padding:0}body{font-feature-settings:"ss01", "kern"}a{color:inherit}.page{background:var(--paper-50);min-height:100vh;position:relative;overflow-x:hidden}.container{max-width:1200px;padding:0 var(--space-8);margin:0 auto}.container-wide{max-width:1320px;padding:0 var(--space-8);margin:0 auto}.container-narrow{max-width:760px;padding:0 var(--space-8);margin:0 auto}.topbar{z-index:40;-webkit-backdrop-filter:blur(12px);border-bottom:1px solid var(--paper-200);background:#fbf7efd9;position:sticky;top:0}.topbar-inner{padding:14px var(--space-8);justify-content:space-between;align-items:center;max-width:1320px;margin:0 auto;display:flex}.brand{font-family:var(--font-serif);letter-spacing:-.02em;font-variation-settings:"opsz" 24;color:var(--ink-900);align-items:baseline;gap:10px;font-size:22px;font-weight:500;display:flex}.brand-dot{background:var(--terracotta-500);border-radius:50%;width:7px;height:7px;display:inline-block;transform:translateY(-2px)}.brand-tag{font-family:var(--font-sans);letter-spacing:var(--tracking-allcaps);text-transform:uppercase;color:var(--ink-500);border-left:1px solid var(--paper-300);margin-left:4px;padding-left:12px;font-size:11px;font-weight:500}.nav{align-items:center;gap:22px;display:flex}.nav-sep{background:var(--paper-200);width:1px;height:18px}.nav-secondary{color:var(--ink-700)!important}.nav a{color:var(--ink-700);transition:color var(--dur-fast) var(--ease-out);font-size:14px;font-weight:500;text-decoration:none}.nav a:hover{color:var(--terracotta-500)}.nav-cta{background:var(--ink-900);border-radius:var(--radius-md);transition:all var(--dur-fast) var(--ease-out);padding:8px 16px;font-size:14px;font-weight:500;text-decoration:none;color:#fff!important}.nav-cta:hover{background:var(--ink-700)}.hero{border-bottom:1px solid var(--paper-200);padding:80px 0 48px;position:relative;overflow:hidden}.hero-pattern{opacity:.035;pointer-events:none;background-image:url(/pattern-geometric.svg);background-repeat:repeat;background-size:240px;position:absolute;inset:0}.hero-grid{grid-template-columns:1.1fr 1fr;align-items:start;gap:64px;display:grid;position:relative}.hero-eyebrow{background:var(--terracotta-50);border:1px solid var(--terracotta-100);border-radius:var(--radius-pill);color:var(--terracotta-700);letter-spacing:.02em;align-items:center;gap:10px;margin-bottom:28px;padding:6px 14px 6px 10px;font-size:12px;font-weight:500;display:inline-flex}.eyebrow-dot{background:var(--terracotta-500);width:6px;height:6px;animation:pulse 2.4s var(--ease-out) infinite;border-radius:50%}@keyframes pulse{0%,to{opacity:1;transform:scale(1)}50%{opacity:.4;transform:scale(.8)}}.hero-title{font-family:var(--font-serif);letter-spacing:-.035em;font-variation-settings:"opsz" 60;color:var(--ink-900);margin:0 0 8px;font-size:clamp(48px,6vw,84px);font-weight:400;line-height:1}.hero-title em{color:var(--terracotta-700);font-style:italic;font-weight:300}.hero-sub{font-family:var(--font-serif);color:var(--ink-700);font-variation-settings:"opsz" 28;max-width:540px;margin:24px 0 0;font-size:24px;font-style:italic;font-weight:300;line-height:1.35}.hero-quote{border-left:2px solid var(--terracotta-300);max-width:480px;margin-top:40px;padding:20px 0 20px 24px}.hero-quote-text{font-family:var(--font-hand);color:var(--terracotta-700);margin-bottom:8px;font-size:26px;font-weight:500;line-height:1.25}.hero-quote-attr{color:var(--ink-500);font-size:13px;font-style:italic}.hero-ctas{flex-wrap:wrap;gap:14px;margin-top:36px;display:flex}.btn{border-radius:var(--radius-md);cursor:pointer;transition:all var(--dur-fast) var(--ease-out);font-size:15px;font-weight:500;font-family:var(--font-sans);border:1px solid #0000;align-items:center;gap:10px;padding:13px 22px;text-decoration:none;display:inline-flex}.btn-primary{background:var(--ink-900);color:var(--paper-50)}.btn-primary:hover{background:var(--ink-700);box-shadow:var(--shadow-md);transform:translateY(-1px)}.btn-secondary{color:var(--ink-900);border-color:var(--paper-300);background:0 0}.btn-secondary:hover{background:var(--paper-100);border-color:var(--ink-700)}.btn-ghost{color:var(--ink-700);background:0 0;padding:8px 0}.btn-ghost:hover{color:var(--terracotta-500)}.btn-arrow{transition:transform var(--dur-fast) var(--ease-out)}.btn:hover .btn-arrow{transform:translate(3px)}.hero-meta{border-top:1px solid var(--paper-200);grid-template-columns:repeat(4,1fr);gap:28px;margin-top:56px;padding-top:28px;display:grid}.hero-meta-item{flex-direction:column;gap:4px;display:flex}.hero-meta-num{font-family:var(--font-serif);color:var(--ink-900);font-variant-numeric:lining-nums tabular-nums;letter-spacing:-.01em;font-size:30px;font-weight:400;line-height:1}.hero-meta-label{color:var(--ink-500);letter-spacing:var(--tracking-allcaps);text-transform:uppercase;margin-top:6px;font-size:12px;font-weight:500}.theorem-card-link{transition:transform var(--dur-fast) var(--ease-out), box-shadow var(--dur-fast) var(--ease-out);text-decoration:none;display:block}.theorem-card-link:hover{box-shadow:var(--shadow-lg);transform:translateY(-2px)}.theorem-card{background:var(--bg-raised);border:1px solid var(--paper-200);border-radius:var(--radius-lg);box-shadow:var(--shadow-md);position:relative;overflow:hidden}.theorem-card-head{border-bottom:1px solid var(--paper-200);background:var(--paper-50);justify-content:space-between;align-items:center;gap:12px;padding:14px 20px;display:flex}.theorem-card-id{font-family:var(--font-mono);color:var(--ink-500);letter-spacing:.04em;font-size:11px}.verified-badge{background:var(--olive-50);color:var(--olive-700);border-radius:var(--radius-pill);letter-spacing:.04em;text-transform:uppercase;align-items:center;gap:6px;padding:4px 10px;font-size:11px;font-weight:600;display:inline-flex}.verified-dot{background:var(--olive-500);border-radius:50%;width:6px;height:6px}.theorem-card-body{padding:28px 24px 8px}.theorem-statement{color:var(--ink-900);text-align:center;justify-content:center;align-items:center;height:140px;padding:16px 12px;font-family:STIX Two Math,Cambria Math,"Source Serif 4",serif;font-size:clamp(16px,2.4vw,22px);font-style:italic;font-weight:400;line-height:1.4;display:flex;overflow:hidden}.theorem-statement>*{text-overflow:ellipsis;max-width:100%;overflow:hidden}.theorem-statement .katex-display,.theorem-statement .katex{max-width:100%;margin:0;overflow:hidden}.theorem-statement .var{font-style:italic}.theorem-statement .op{padding:0 4px;font-style:normal}.theorem-name{text-align:center;font-family:var(--font-serif);color:var(--ink-900);margin-bottom:4px;font-size:18px;font-weight:500}.theorem-tag{text-align:center;color:var(--ink-500);letter-spacing:.04em;text-transform:uppercase;font-size:12px;font-weight:500}.theorem-card-proof{background:var(--ink-900);color:var(--paper-100);border-radius:var(--radius-md);font-family:var(--font-mono);margin:20px;padding:16px 18px;font-size:12.5px;line-height:1.6;overflow-x:auto}.theorem-card-proof .kw{color:#e39f7e}.theorem-card-proof .fn{color:#ebc25f}.theorem-card-proof .str{color:#a8b381}.theorem-card-proof .cm{color:var(--ink-400)}.theorem-card-proof .nm{color:#fff}.theorem-card-foot{border-top:1px solid var(--paper-200);background:var(--paper-50);color:var(--ink-500);justify-content:space-between;align-items:center;padding:12px 20px;font-size:12px;display:flex}.theorem-card-foot .meta-row{gap:16px;display:flex}.theorem-card-foot strong{color:var(--ink-900);font-weight:500}.ticker{border:1px dashed var(--paper-300);border-radius:var(--radius-md);background:var(--paper-50);color:var(--ink-700);align-items:center;gap:12px;min-height:48px;margin-top:16px;padding:14px 18px;font-size:13px;display:flex;position:relative;overflow:hidden}.ticker-label{letter-spacing:var(--tracking-allcaps);text-transform:uppercase;color:var(--ink-500);border-right:1px solid var(--paper-300);flex-shrink:0;padding-right:12px;font-size:11px;font-weight:600}.ticker-text{font-family:var(--font-mono);white-space:nowrap;text-overflow:ellipsis;color:var(--ink-700);flex:1;font-size:12.5px;overflow:hidden}.ticker-text .ok{color:var(--olive-700)}.ticker-text .reject{color:var(--ink-400)}.section{border-bottom:1px solid var(--paper-200);padding:96px 0;position:relative}.section.compact{padding:64px 0}.section-head{grid-template-columns:auto 1fr;align-items:end;gap:32px;margin-bottom:48px;display:grid}.section-num{font-family:var(--font-serif);color:var(--terracotta-500);font-variant-numeric:lining-nums;border-right:1px solid var(--paper-300);align-self:stretch;align-items:flex-end;padding-right:32px;font-size:14px;font-style:italic;font-weight:400;display:flex}.section-title-block .overline{margin-bottom:12px;display:block}.section-title{font-family:var(--font-serif);letter-spacing:-.025em;color:var(--ink-900);font-variation-settings:"opsz" 44;max-width:720px;margin:0;font-size:44px;font-weight:400;line-height:1.05}.section-title em{color:var(--terracotta-700);font-style:italic;font-weight:300}.section-lede{color:var(--ink-700);max-width:620px;margin-top:16px;font-size:17px;line-height:1.55}.margin-note{font-family:var(--font-hand);color:var(--terracotta-700);font-size:22px;font-weight:500;line-height:1.2}.pipeline{background:var(--bg-raised);border:1px solid var(--paper-200);border-radius:var(--radius-xl);grid-template-columns:1fr;gap:0;padding:40px;display:grid;position:relative;overflow:hidden}.pipe-row{grid-template-columns:200px 1fr;align-items:center;gap:32px;padding:18px 0;display:grid;position:relative}.pipe-row+.pipe-row{border-top:1px dashed var(--paper-200)}.pipe-stage{align-items:center;gap:14px;display:flex}.pipe-stage-num{font-family:var(--font-serif);color:var(--terracotta-500);text-align:right;width:36px;font-size:28px;font-style:italic;font-weight:400}.pipe-stage-name{font-family:var(--font-serif);color:var(--ink-900);font-size:19px;font-weight:500}.pipe-stage-sub{font-family:var(--font-sans);color:var(--ink-500);letter-spacing:.01em;margin-top:2px;font-size:12px;font-weight:400;display:block}.pipe-viz{align-items:center;min-height:80px;display:flex;position:relative}.rediscover-grid{grid-template-columns:repeat(3,1fr);gap:20px;display:grid}.rediscover-card{background:var(--bg-raised);border:1px solid var(--paper-200);border-radius:var(--radius-lg);transition:all var(--dur-base) var(--ease-out);flex-direction:column;min-height:280px;padding:28px;display:flex;position:relative}.rediscover-card:hover{box-shadow:var(--shadow-md);border-color:var(--paper-300)}.rediscover-card.aspirational{background:var(--paper-50);border-style:dashed}.rediscover-formula{color:var(--ink-900);margin-bottom:16px;font-family:STIX Two Math,Cambria Math,"Source Serif 4",serif;font-size:38px;font-style:italic;font-weight:400;line-height:1}.rediscover-formula .op{padding:0 2px;font-style:normal}.rediscover-formula sup{font-size:.6em}.rediscover-name{font-family:var(--font-serif);color:var(--ink-900);margin-bottom:4px;font-size:19px;font-weight:500}.rediscover-domain{letter-spacing:var(--tracking-allcaps);text-transform:uppercase;color:var(--ink-500);margin-bottom:18px;font-size:11px;font-weight:600}.rediscover-meta{border-top:1px solid var(--paper-200);grid-template-columns:1fr 1fr;gap:12px;margin-top:auto;padding-top:18px;font-size:12px;display:grid}.rediscover-meta-label{color:var(--ink-500)}.rediscover-meta-val{font-family:var(--font-mono);color:var(--ink-900);margin-top:2px;font-size:12px;font-weight:500}.rediscover-status{letter-spacing:var(--tracking-allcaps);text-transform:uppercase;font-size:10px;font-weight:600;position:absolute;top:20px;right:20px}.rediscover-status.found{color:var(--olive-700)}.rediscover-status.pending{color:var(--ink-400);font-style:italic}.ga-viz{background:var(--bg-raised);border:1px solid var(--paper-200);border-radius:var(--radius-xl);padding:32px;position:relative;overflow:hidden}.ga-rows{grid-template-columns:1fr;gap:18px;display:grid}.ga-row{border:1px solid var(--paper-200);border-radius:var(--radius-md);background:var(--paper-50);transition:all var(--dur-base) var(--ease-out);grid-template-columns:88px 1fr 120px;align-items:center;gap:16px;padding:12px 16px;display:grid}.ga-row.accepted{border-color:var(--olive-300);background:var(--olive-50)}.ga-row.rejected{opacity:.45}.ga-op{letter-spacing:var(--tracking-allcaps);text-transform:uppercase;color:var(--terracotta-700);font-size:11px;font-weight:600}.ga-expr{color:var(--ink-900);font-family:STIX Two Math,"Source Serif 4",serif;font-size:18px;font-style:italic}.ga-result{text-align:right;font-family:var(--font-mono);font-size:11px;font-weight:500}.ga-result.ok{color:var(--olive-700)}.ga-result.no{color:var(--ink-400)}.network-grid{grid-template-columns:1.4fr 1fr;align-items:stretch;gap:28px;display:grid}.network-map{background:var(--bg-raised);border:1px solid var(--paper-200);border-radius:var(--radius-xl);min-height:420px;padding:24px;position:relative;overflow:hidden}.network-stats{grid-template-rows:auto 1fr;gap:20px;display:grid}.network-stat-card{background:var(--bg-raised);border:1px solid var(--paper-200);border-radius:var(--radius-lg);padding:24px}.network-big-num{font-family:var(--font-serif);letter-spacing:-.02em;color:var(--ink-900);font-variant-numeric:lining-nums tabular-nums;font-size:56px;font-weight:400;line-height:1}.network-label{letter-spacing:var(--tracking-allcaps);text-transform:uppercase;color:var(--ink-500);margin-top:8px;font-size:12px;font-weight:600}.worker-list{flex-direction:column;gap:0;margin:0;padding:0;list-style:none;display:flex}.worker-list li{border-bottom:1px dashed var(--paper-200);grid-template-columns:auto 1fr auto auto;align-items:center;gap:12px;padding:10px 0;font-size:13px;display:grid}.worker-list li:last-child{border-bottom:none}.worker-flag{font-family:var(--font-mono);color:var(--ink-500);width:32px;font-size:11px}.worker-name{color:var(--ink-900);font-weight:500}.worker-rate{font-family:var(--font-mono);color:var(--ink-700);font-size:12px}.worker-status-dot{background:var(--olive-500);width:7px;height:7px;box-shadow:0 0 0 3px var(--olive-50);border-radius:50%}.worker-status-dot.idle{background:var(--saffron-500);box-shadow:0 0 0 3px var(--saffron-50)}.worker-status-dot.off{background:var(--paper-300);box-shadow:0 0 0 3px var(--paper-100)}.browser{background:var(--bg-raised);border:1px solid var(--paper-200);border-radius:var(--radius-xl);overflow:hidden}.browser-head{border-bottom:1px solid var(--paper-200);background:var(--paper-50);flex-wrap:wrap;justify-content:space-between;align-items:center;gap:16px;padding:16px 24px;display:flex}.browser-search{background:var(--bg-raised);border:1px solid var(--paper-200);border-radius:var(--radius-md);max-width:400px;color:var(--ink-500);font-size:13px;font-family:var(--font-mono);flex:1;align-items:center;gap:10px;padding:8px 14px;display:flex}.browser-filters{flex-wrap:wrap;gap:6px;display:flex}.filter-chip{border-radius:var(--radius-pill);border:1px solid var(--paper-200);color:var(--ink-700);cursor:pointer;font-size:12px;font-weight:500;font-family:var(--font-sans);transition:all var(--dur-fast) var(--ease-out);background:0 0;padding:6px 12px}.filter-chip:hover{border-color:var(--ink-700)}.filter-chip.active{background:var(--ink-900);color:var(--paper-50);border-color:var(--ink-900)}.browser-table{display:grid}.browser-row{border-bottom:1px solid var(--paper-200);cursor:pointer;transition:background var(--dur-fast) var(--ease-out);grid-template-columns:90px 1.2fr 1fr 110px 90px 24px;align-items:center;gap:16px;padding:16px 24px;display:grid}.browser-row:hover,.browser-row.expanded{background:var(--paper-50)}.browser-row.head{background:var(--paper-50);cursor:default;letter-spacing:var(--tracking-allcaps);text-transform:uppercase;color:var(--ink-500);padding:10px 24px;font-size:11px;font-weight:600}.browser-row.head:hover{background:var(--paper-50)}.browser-id{font-family:var(--font-mono);color:var(--ink-500);font-size:12px}.browser-stmt{color:var(--ink-900);white-space:nowrap;text-overflow:ellipsis;font-family:STIX Two Math,"Source Serif 4",serif;font-size:16px;font-style:italic;overflow:hidden}.browser-name{color:var(--ink-700);font-size:14px;font-family:var(--font-serif)}.browser-dom{letter-spacing:var(--tracking-allcaps);text-transform:uppercase;color:var(--ink-500);font-size:11px;font-weight:600}.browser-status{letter-spacing:var(--tracking-allcaps);text-transform:uppercase;color:var(--olive-700);font-size:11px;font-weight:600}.browser-chev{color:var(--ink-400);transition:transform var(--dur-fast) var(--ease-out)}.browser-row.expanded .browser-chev{transform:rotate(180deg)}.browser-detail{background:var(--paper-50);border-bottom:1px solid var(--paper-200);grid-template-columns:1fr 1fr;gap:24px;padding:0 24px 24px;display:grid}.browser-detail-block h5{font-family:var(--font-sans);letter-spacing:var(--tracking-allcaps);text-transform:uppercase;color:var(--ink-500);margin:0 0 10px;font-size:11px;font-weight:600}.browser-detail-block .full-stmt{color:var(--ink-900);padding:16px 0;font-family:STIX Two Math,"Source Serif 4",serif;font-size:22px;font-style:italic}.browser-detail-block .descr{color:var(--ink-700);margin-bottom:16px;font-size:14px;line-height:1.5}.browser-detail-block .meta-row{color:var(--ink-500);grid-template-columns:1fr 1fr;gap:8px 16px;font-size:12px;display:grid}.browser-detail-block .meta-row strong{color:var(--ink-900);font-weight:500;font-family:var(--font-mono);font-size:12px}.browser-proof{background:var(--ink-900);color:var(--paper-100);border-radius:var(--radius-md);font-family:var(--font-mono);white-space:pre;padding:16px 18px;font-size:12px;line-height:1.6;overflow-x:auto}.browser-proof .kw{color:#e39f7e}.browser-proof .fn{color:#ebc25f}.browser-proof .str{color:#a8b381}.browser-proof .cm{color:var(--ink-400)}.browser-detail-actions{grid-column:1/-1;gap:10px;padding-top:4px;display:flex}.install{grid-template-columns:1fr 1fr;gap:28px;display:grid}.install-cli{background:var(--ink-900);border-radius:var(--radius-xl);position:relative;overflow:hidden}.install-cli-bar{background:#ffffff08;border-bottom:1px solid #ffffff0f;align-items:center;gap:12px;padding:12px 20px;display:flex}.cli-dot{background:#ffffff2e;border-radius:50%;width:11px;height:11px}.cli-title{font-family:var(--font-mono);color:var(--paper-300);margin-left:auto;font-size:12px}.install-cli-body{font-family:var(--font-mono);color:var(--paper-100);min-height:320px;max-height:320px;padding:24px;font-size:13px;line-height:1.7;overflow-y:auto}.install-cli-body .prompt{color:var(--terracotta-300)}.install-cli-body .out{color:var(--paper-300)}.install-cli-body .ok{color:var(--olive-300)}.install-cli-body .dim{color:var(--ink-400)}.install-cli-body .high{color:var(--saffron-300)}.install-cli-body .cursor{background:var(--paper-100);vertical-align:text-bottom;width:8px;height:1em;margin-left:2px;animation:1.1s steps(2,end) infinite blink;display:inline-block}@keyframes blink{50%{opacity:0}}.install-side h3{margin-bottom:18px}.install-reqs{flex-direction:column;margin:0;padding:0;list-style:none;display:flex}.install-reqs li{border-bottom:1px dashed var(--paper-200);grid-template-columns:24px 1fr auto;align-items:baseline;gap:12px;padding:14px 0;display:grid}.install-reqs li:last-child{border-bottom:none}.install-req-num{font-family:var(--font-serif);color:var(--terracotta-500);font-size:14px;font-style:italic}.install-req-name{font-family:var(--font-serif);color:var(--ink-900);font-size:16px;font-weight:500}.install-req-name span{font-family:var(--font-sans);color:var(--ink-500);margin-top:2px;font-size:13px;font-weight:400;display:block}.install-req-val{font-family:var(--font-mono);color:var(--ink-700);background:var(--paper-100);border-radius:var(--radius-sm);padding:4px 10px;font-size:12px}.footer{background:var(--ink-900);color:var(--paper-200);padding:64px 0 48px}.footer-grid{grid-template-columns:2fr 1fr 1fr 1fr;gap:40px;margin-bottom:48px;display:grid}.footer-brand{font-family:var(--font-serif);color:var(--paper-50);letter-spacing:-.02em;margin-bottom:12px;font-size:32px;font-weight:400}.footer-tag{font-family:var(--font-hand);color:var(--terracotta-300);max-width:320px;font-size:22px;font-weight:500;line-height:1.3}.footer-col h5{font-family:var(--font-sans);letter-spacing:var(--tracking-allcaps);text-transform:uppercase;color:var(--paper-300);margin:0 0 18px;font-size:11px;font-weight:600}.footer-col ul{flex-direction:column;gap:12px;margin:0;padding:0;list-style:none;display:flex}.footer-col a{color:var(--paper-200);transition:color var(--dur-fast) var(--ease-out);font-size:14px;text-decoration:none}.footer-col a:hover{color:var(--terracotta-300)}.footer-bottom{color:var(--ink-300);border-top:1px solid #ffffff14;flex-wrap:wrap;justify-content:space-between;gap:12px;padding-top:24px;font-size:12px;display:flex}.density-loose .section{padding:128px 0}.density-loose .section-head{margin-bottom:64px}.density-loose .hero{padding:112px 0 64px}.density-tight .section{padding:64px 0}.density-tight .hero{padding:48px 0 32px}.density-tight .section-head{margin-bottom:32px}.accent-olive{--accent:var(--olive-500);--accent-hover:var(--olive-700);--accent-soft:var(--olive-50);--link:var(--olive-700);--focus-ring:var(--olive-500)}.accent-olive .hero-eyebrow{background:var(--olive-50);border-color:var(--olive-100);color:var(--olive-700)}.accent-olive .eyebrow-dot{background:var(--olive-500)}.accent-olive .hero-quote{border-left-color:var(--olive-300)}.accent-olive .hero-quote-text,.accent-olive .margin-note,.accent-olive .hero-title em,.accent-olive .section-title em,.accent-olive .ga-op,.accent-olive .section-num,.accent-olive .install-req-num{color:var(--olive-700)}.accent-olive .footer-tag{color:var(--olive-300)}.accent-olive .brand-dot{background:var(--olive-500)}.accent-indigo{--accent:var(--indigo-500);--accent-hover:var(--indigo-700);--link:var(--indigo-700);--focus-ring:var(--indigo-500)}.accent-indigo .hero-eyebrow{background:var(--indigo-50);border-color:var(--indigo-300);color:var(--indigo-700)}.accent-indigo .eyebrow-dot{background:var(--indigo-500)}.accent-indigo .hero-quote{border-left-color:var(--indigo-300)}.accent-indigo .hero-quote-text,.accent-indigo .margin-note,.accent-indigo .hero-title em,.accent-indigo .section-title em,.accent-indigo .ga-op,.accent-indigo .section-num,.accent-indigo .install-req-num{color:var(--indigo-700)}.accent-indigo .footer-tag{color:var(--indigo-300)}.accent-indigo .brand-dot{background:var(--indigo-500)}@media (width<=1024px){.hero-grid{grid-template-columns:1fr;gap:48px}.install,.network-grid{grid-template-columns:1fr}.rediscover-grid{grid-template-columns:repeat(2,1fr)}.footer-grid{grid-template-columns:1fr 1fr}.section-title{font-size:36px}.hero-meta{grid-template-columns:repeat(2,1fr);gap:20px}}@media (width<=640px){.container,.container-wide{padding:0 var(--space-5)}.nav{display:none}.nav-cta{display:inline-flex}.topbar-inner{padding:12px var(--space-5)}.brand-tag{display:none}.brand{font-size:20px}.hero{padding:48px 0 32px}.hero-eyebrow{margin-bottom:20px;padding:5px 12px 5px 8px;font-size:11px}.hero-title{font-size:clamp(40px,9vw,56px)}.hero-sub{margin-top:18px;font-size:18px}.hero-quote{margin-top:28px;padding:16px 0 16px 18px}.hero-quote-text{font-size:20px}.hero-ctas{gap:10px;margin-top:28px}.hero-ctas .btn{justify-content:center;width:100%}.hero-meta{gap:18px;margin-top:36px;padding-top:20px}.hero-meta-num{font-size:24px}.section{padding:56px 0}.section.compact{padding:40px 0}.section-head{grid-template-columns:1fr;gap:16px;margin-bottom:28px}.section-num{border-right:none;border-bottom:1px solid var(--paper-300);padding:0 0 12px}.section-title{font-size:28px}.section-lede{margin-top:12px;font-size:15px}.rediscover-grid{grid-template-columns:1fr}.browser-row{grid-template-columns:80px 1fr 24px}.browser-row>:nth-child(3),.browser-row>:nth-child(4),.browser-row>:nth-child(5),.browser-row.head>:nth-child(3),.browser-row.head>:nth-child(4),.browser-row.head>:nth-child(5){display:none}.browser-detail{grid-template-columns:1fr}.pipe-row{grid-template-columns:1fr;gap:12px}.theorem-statement{height:120px;padding:12px 8px}.theorem-card-body{padding:20px 18px 8px}.theorem-card-head{padding:12px 16px}.ticker{min-height:44px;padding:12px 14px}.install-cli-body{padding:18px;font-size:12px}}@media (width<=480px){.container,.container-wide{padding:0 16px}.topbar-inner{padding:10px 16px}.hero{padding:32px 0 24px}.hero-title{font-size:clamp(32px,9vw,44px)}.hero-sub{font-size:16px}.hero-quote-text{font-size:18px}.hero-meta{gap:14px}.hero-meta-num{font-size:22px}.hero-meta-label{font-size:11px}.section{padding:40px 0}.section.compact{padding:32px 0}.section-title{font-size:24px}.theorem-statement{height:100px;font-size:clamp(14px,4vw,18px)}.theorem-card-body{padding:16px 14px 8px}.theorem-card-head{padding:10px 14px}.theorem-name{font-size:16px}.theorem-tag{font-size:11px}.ticker{min-height:40px;padding:10px 12px;font-size:12px}.ticker-text{font-size:11.5px}.nav-cta{padding:6px 12px;font-size:13px}.footer{padding:48px 0 32px}.footer-grid{grid-template-columns:1fr;gap:32px;margin-bottom:32px}.footer-brand{font-size:26px}.footer-tag{font-size:18px}.footer-bottom{flex-direction:column;gap:8px}}.run-worker{grid-template-columns:1fr 320px;align-items:start;gap:48px;display:grid}@media (width<=960px){.run-worker{grid-template-columns:1fr}}.run-worker-steps{gap:32px;margin:0 0 32px;padding:0;list-style:none;display:grid}.run-worker-step{grid-template-columns:56px 1fr;align-items:start;gap:24px;display:grid}.run-worker-step-num{background:var(--terracotta-300);width:40px;height:40px;color:var(--paper-50);font-family:var(--font-serif);border-radius:50%;justify-content:center;align-items:center;font-size:22px;display:flex}.run-worker-step-body h3{font-family:var(--font-serif);margin:4px 0 12px;font-size:22px}.run-worker-tabs{margin-bottom:12px}.run-worker-cards{grid-template-columns:repeat(3,1fr);gap:16px;margin:16px 0;display:grid}@media (width<=720px){.run-worker-cards{grid-template-columns:1fr}}.run-worker-card{border:1px solid var(--paper-300);background:var(--paper-50);border-radius:12px;flex-direction:column;gap:12px;padding:20px;display:flex;position:relative}.run-worker-card.detected{border-color:var(--terracotta-300);box-shadow:0 0 0 2px var(--terracotta-50)}.run-worker-card-badge{background:var(--terracotta-300);color:var(--paper-50);letter-spacing:var(--tracking-allcaps);text-transform:uppercase;border-radius:999px;padding:2px 8px;font-size:11px;position:absolute;top:-10px;right:16px}.run-worker-card-os{font-family:var(--font-serif);font-size:18px}.run-worker-card-btn{text-align:center;width:100%}.run-worker-card-sha{color:var(--ink-500);font-family:var(--font-mono);text-align:center;font-size:12px}.run-worker-disclosure{color:var(--terracotta-700);font-family:var(--font-mono);cursor:pointer;background:0 0;border:none;padding:8px 0;font-size:13px}.run-worker-all-builds{border-top:1px dashed var(--paper-300);margin:0;padding:12px 0 0;list-style:none}.run-worker-all-builds li{font-family:var(--font-mono);grid-template-columns:1fr auto auto auto;align-items:center;gap:16px;padding:8px 0;font-size:13px;display:grid}.run-worker-build-arch{color:var(--ink-500);font-size:12px}.run-worker-preview{margin:32px 0}.run-worker-aside{position:sticky;top:24px}@media (width<=960px){.run-worker-aside{position:static}}.terminal-preview .cli-badge{font-family:var(--font-mono);color:var(--ink-500);text-transform:uppercase;letter-spacing:var(--tracking-allcaps);margin-left:auto;font-size:11px}.term-line.header{color:var(--terracotta-300)}.term-line.high{color:var(--saffron-300)}.term-line.ok{color:var(--olive-500)}.term-line.no{color:var(--terracotta-700)}.term-line.out{color:var(--ink-500)}.code-block-wrap{position:relative}.copy-btn{background:var(--paper-50);border:1px solid var(--paper-300);font-family:var(--font-mono);color:var(--ink-700);cursor:pointer;border-radius:6px;padding:4px 10px;font-size:11px;position:absolute;top:8px;right:8px}.copy-btn:hover{background:var(--paper-100)}.pulse-strip{font-family:var(--font-mono);color:var(--ink-700);background:var(--paper-50);border:1px solid var(--paper-300);border-radius:8px;flex-wrap:wrap;align-items:center;gap:8px;padding:10px 16px;font-size:13px;display:flex}.pulse-strip .pulse-dot{background:var(--olive-500);width:8px;height:8px;animation:pulse 2.4s var(--ease-out) infinite;border-radius:50%;flex-shrink:0}.pulse-strip .pulse-stat{white-space:nowrap}.pulse-strip .pulse-stat strong{color:var(--ink-900);font-weight:600}.pulse-strip .pulse-sep{color:var(--ink-400)}.pulse-strip .pulse-domain{color:var(--terracotta-700);background:var(--paper-100);border-radius:4px;padding:1px 6px;font-size:12px}.network-breakdown{flex-direction:column;gap:10px;display:flex}.network-breakdown-title{font-family:var(--font-mono);letter-spacing:var(--tracking-allcaps);text-transform:uppercase;color:var(--ink-500);margin:0;font-size:11px}.network-breakdown-row{font-family:var(--font-mono);grid-template-columns:160px 1fr 60px;align-items:center;gap:12px;font-size:13px;display:grid}.network-breakdown-domain{color:var(--ink-700);white-space:nowrap;text-overflow:ellipsis;overflow:hidden}.network-breakdown-bar{background:var(--paper-200);border-radius:3px;height:6px;overflow:hidden}.network-breakdown-fill{background:var(--olive-500);height:100%;transition:width .4s var(--ease-out);border-radius:3px}.network-breakdown-count{color:var(--ink-900);text-align:right;font-weight:600}.network-breakdown-empty{font-family:var(--font-mono);color:var(--ink-500);font-size:12px;font-style:italic}.funnel-chart{background:var(--paper-50);border:1px solid var(--paper-300);border-radius:8px;flex-direction:column;gap:12px;padding:16px 20px;display:flex}.funnel-head{flex-wrap:wrap;justify-content:space-between;align-items:baseline;gap:12px;display:flex}.funnel-title{font-family:var(--font-mono);letter-spacing:var(--tracking-allcaps);text-transform:uppercase;color:var(--ink-500);margin:0;font-size:11px}.funnel-survival{font-family:var(--font-mono);color:var(--ink-700);font-size:12px}.funnel-survival strong{color:var(--olive-700);font-weight:600}.funnel-empty{font-family:var(--font-mono);color:var(--ink-500);margin:0;font-size:12px;font-style:italic}.funnel-rows{flex-direction:column;gap:10px;display:flex}.funnel-row{font-family:var(--font-mono);grid-template-columns:200px 1fr 80px;align-items:center;gap:14px;font-size:13px;display:grid}.funnel-row-label{flex-direction:column;gap:2px;display:flex}.funnel-row-name{color:var(--ink-900);font-weight:600}.funnel-row-sub{color:var(--ink-500);font-size:11px}.funnel-row-bar{background:var(--paper-200);border-radius:4px;height:8px;overflow:hidden}.funnel-row-fill{height:100%;transition:width .4s var(--ease-out);border-radius:4px}.funnel-row-fill--olive{background:var(--olive-500)}.funnel-row-fill--terracotta{background:var(--terracotta-500)}.funnel-row-fill--saffron{background:var(--saffron-500)}.funnel-row-fill--ink{background:var(--ink-700)}.funnel-row-count{color:var(--ink-900);text-align:right;font-weight:600}.funnel-note{font-family:var(--font-serif);color:var(--ink-500);margin:4px 0 0;font-size:13px;font-style:italic}.app{background:var(--paper-50);flex-direction:column;min-height:100vh;display:flex;overflow-x:hidden}.app>*{min-width:0;max-width:100%}.app .container-wide,.app .container,.app .container-narrow{max-width:min(var(--container-cap,1320px), 100vw);width:100%}.app .container{--container-cap:1200px}.app .container-narrow{--container-cap:760px}.app-header{z-index:40;-webkit-backdrop-filter:blur(14px);border-bottom:1px solid var(--paper-200);background:#fbf7efeb;position:sticky;top:0}.app-header-inner{max-width:1320px;padding:12px var(--space-8);grid-template-columns:auto 1fr auto;align-items:center;gap:24px;margin:0 auto;display:grid}.app-brand{font-family:var(--font-serif);letter-spacing:-.02em;color:var(--ink-900);align-items:baseline;gap:10px;font-size:20px;font-weight:500;text-decoration:none;display:flex}.app-brand .brand-dot{background:var(--terracotta-500);border-radius:50%;width:6px;height:6px;display:inline-block;transform:translateY(-2px)}.app-search{background:var(--bg-raised);border:1px solid var(--paper-200);border-radius:var(--radius-md);color:var(--ink-500);font-size:13px;font-family:var(--font-mono);cursor:text;width:100%;max-width:480px;transition:all var(--dur-fast) var(--ease-out);align-items:center;gap:10px;margin:0 auto;padding:9px 14px;display:flex}.app-search:hover{border-color:var(--paper-300)}.app-search kbd{font-family:var(--font-mono);background:var(--paper-100);color:var(--ink-500);border:1px solid var(--paper-200);border-radius:3px;margin-left:auto;padding:2px 6px;font-size:10px}.app-actions{align-items:center;gap:16px;display:flex}.app-nav-link{color:var(--ink-700);transition:color var(--dur-fast) var(--ease-out);font-size:13px;font-weight:500;text-decoration:none}.app-nav-link:hover{color:var(--terracotta-500)}.app-avatar{background:var(--terracotta-500);width:32px;height:32px;color:var(--paper-50);font-family:var(--font-serif);cursor:pointer;transition:box-shadow var(--dur-fast) var(--ease-out);border-radius:50%;justify-content:center;align-items:center;font-size:14px;font-weight:500;display:inline-flex}.app-avatar:hover{box-shadow:0 0 0 3px var(--terracotta-50)}.app-subnav{border-bottom:1px solid var(--paper-200);background:var(--paper-50)}.app-subnav-inner{max-width:1320px;padding:0 var(--space-8);gap:28px;margin:0 auto;display:flex;overflow-x:auto}.app-subnav a{color:var(--ink-500);transition:all var(--dur-fast) var(--ease-out);white-space:nowrap;border-bottom:2px solid #0000;padding:14px 0;font-size:13px;font-weight:500;text-decoration:none;display:inline-block}.app-subnav a:hover{color:var(--ink-900)}.app-subnav a.active{color:var(--ink-900);border-bottom-color:var(--terracotta-500)}.crumbs{color:var(--ink-500);letter-spacing:.02em;font-size:12px;font-family:var(--font-mono);align-items:center;gap:8px;display:flex}.crumbs a{color:var(--ink-500);text-decoration:none}.crumbs a:hover{color:var(--ink-900)}.crumbs .sep{color:var(--paper-300)}.crumbs .current{color:var(--ink-900)}.page-head{border-bottom:1px solid var(--paper-200);padding:48px 0 32px}.page-head h1{font-family:var(--font-serif);letter-spacing:-.025em;color:var(--ink-900);margin:16px 0 8px;font-size:44px;font-weight:400;line-height:1.05}.page-head .lede{color:var(--ink-700);max-width:620px;font-size:17px;line-height:1.5}.page-body{padding:40px 0 80px}.card{background:var(--bg-raised);border:1px solid var(--paper-200);border-radius:var(--radius-lg);padding:24px}.card-elevated{background:var(--bg-raised);border-radius:var(--radius-lg);box-shadow:var(--shadow-md);padding:24px}.thm-page{grid-template-columns:1fr 320px;gap:48px;display:grid}.thm-side{border-left:1px dashed var(--paper-300);padding-left:32px}.thm-eyebrow{font-family:var(--font-mono);color:var(--ink-500);align-items:center;gap:12px;margin-bottom:12px;font-size:12px;display:flex}.thm-name{font-family:var(--font-serif);letter-spacing:-.025em;color:var(--ink-900);margin:0 0 24px;font-size:56px;font-weight:400;line-height:1.05}.thm-statement-block{background:var(--bg-raised);border:1px solid var(--paper-200);border-radius:var(--radius-lg);text-align:center;margin-bottom:32px;padding:48px 32px}.thm-statement-big{color:var(--ink-900);font-family:STIX Two Math,"Source Serif 4",serif;font-size:38px;font-style:italic;font-weight:400;line-height:1.4}.thm-statement-big sup,.thm-statement-big sub{font-size:.55em}.thm-statement-big .op{padding:0 6px;font-style:normal}.thm-actions{flex-wrap:wrap;justify-content:center;gap:12px;margin-top:24px;display:flex}.thm-section{margin-top:48px}.thm-section h3{font-family:var(--font-serif);color:var(--ink-900);margin-bottom:16px;font-size:24px;font-weight:500}.thm-section p{color:var(--ink-700);font-size:16px;line-height:1.6}.thm-proof-pre{background:var(--ink-900);color:var(--paper-100);border-radius:var(--radius-md);font-family:var(--font-mono);white-space:pre;padding:24px 28px;font-size:13px;line-height:1.7;overflow-x:auto}.thm-proof-pre .kw{color:#e39f7e}.thm-proof-pre .fn{color:#ebc25f}.thm-proof-pre .nm{color:#fff}.thm-proof-pre .cm{color:var(--ink-400)}.thm-proof-bar{font-family:var(--font-mono);color:var(--ink-500);justify-content:space-between;align-items:center;margin-bottom:12px;font-size:11px;display:flex}.thm-proof-bar .copy{cursor:pointer;border-radius:var(--radius-sm);background:var(--paper-100);color:var(--ink-700);border:1px solid var(--paper-200);padding:4px 10px}.thm-proof-bar .copy:hover{background:var(--paper-200)}.lineage{margin:0;padding:0;list-style:none;position:relative}.lineage li{border-bottom:1px dashed var(--paper-200);grid-template-columns:32px 1fr;align-items:baseline;gap:16px;padding:14px 0;display:grid}.lineage li:last-child{border-bottom:none}.lineage-step{font-family:var(--font-serif);color:var(--terracotta-500);font-size:14px;font-style:italic}.lineage-name{font-family:var(--font-serif);color:var(--ink-900);margin-bottom:2px;font-size:16px;font-weight:500;display:block}.lineage-id{font-family:var(--font-mono);color:var(--ink-500);font-size:11px}.lineage-stmt{color:var(--ink-700);margin-top:4px;font-family:STIX Two Math,"Source Serif 4",serif;font-size:14px;font-style:italic}.uses-grid{grid-template-columns:repeat(2,1fr);gap:12px;display:grid}.uses-item{border:1px solid var(--paper-200);border-radius:var(--radius-md);background:var(--paper-50);cursor:pointer;transition:all var(--dur-fast) var(--ease-out);padding:14px 16px}.uses-item:hover{background:var(--bg-raised);border-color:var(--paper-300)}.uses-item .uses-stmt{color:var(--ink-900);margin-bottom:4px;font-family:STIX Two Math,"Source Serif 4",serif;font-size:15px;font-style:italic}.uses-item .uses-name{color:var(--ink-500);font-size:12px}.thm-side h4{font-family:var(--font-sans);letter-spacing:var(--tracking-allcaps);text-transform:uppercase;color:var(--ink-500);margin:0 0 12px;font-size:11px;font-weight:600}.thm-side .meta-list{margin:0 0 32px;padding:0;list-style:none}.thm-side .meta-list li{border-bottom:1px dashed var(--paper-200);color:var(--ink-500);justify-content:space-between;align-items:baseline;gap:12px;padding:10px 0;font-size:13px;display:flex}.thm-side .meta-list strong{color:var(--ink-900);font-family:var(--font-mono);text-align:right;font-size:12px;font-weight:500}.cite-box{background:var(--paper-50);border:1px dashed var(--paper-300);border-radius:var(--radius-md);font-family:var(--font-mono);color:var(--ink-700);white-space:pre-wrap;margin-top:12px;padding:16px;font-size:11.5px;line-height:1.6}.search-layout{grid-template-columns:240px 1fr;gap:32px;display:grid}.facet-group{margin-bottom:28px}.facet-group h5{font-family:var(--font-sans);letter-spacing:var(--tracking-allcaps);text-transform:uppercase;color:var(--ink-500);margin:0 0 12px;font-size:11px;font-weight:600}.facet-list{flex-direction:column;gap:6px;margin:0;padding:0;list-style:none;display:flex}.facet-list li{color:var(--ink-700);cursor:pointer;border-radius:var(--radius-sm);transition:background var(--dur-fast) var(--ease-out);justify-content:space-between;align-items:center;padding:6px 8px;font-size:13px;display:flex}.facet-list li:hover{background:var(--paper-100)}.facet-list li.active{background:var(--ink-900);color:var(--paper-50)}.facet-list li.active .count{color:var(--paper-300)}.facet-list .count{font-family:var(--font-mono);color:var(--ink-500);font-size:11px}.search-results-bar{border-bottom:1px solid var(--paper-200);color:var(--ink-500);justify-content:space-between;align-items:center;margin-bottom:16px;padding-bottom:16px;font-size:13px;display:flex}.search-results-bar strong{color:var(--ink-900);font-family:var(--font-mono)}.sort-select{border:1px solid var(--paper-200);border-radius:var(--radius-md);font-size:12px;font-family:var(--font-sans);color:var(--ink-700);cursor:pointer;background:0 0;padding:6px 12px}.result-card{border-bottom:1px solid var(--paper-200);cursor:pointer;transition:padding var(--dur-fast) var(--ease-out);grid-template-columns:1fr auto;gap:16px;padding:20px 0;display:grid}.result-card:hover{padding-left:8px}.result-stmt{color:var(--ink-900);margin-bottom:8px;font-family:STIX Two Math,"Source Serif 4",serif;font-size:22px;font-style:italic;line-height:1.4}.result-stmt sup,.result-stmt sub{font-size:.55em}.result-stmt .op{padding:0 4px;font-style:normal}.result-name{font-family:var(--font-serif);color:var(--ink-900);margin-bottom:6px;font-size:17px}.result-name a{color:inherit;text-decoration:none}.result-name a:hover{color:var(--terracotta-500)}.result-meta{color:var(--ink-500);font-size:12px;font-family:var(--font-mono);gap:16px;display:flex}.result-meta .dot{color:var(--paper-300)}.result-side{text-align:right;color:var(--ink-500);font-size:11px}.result-side .verified-badge{margin-bottom:8px}.jobs-row{border-top:1px solid var(--paper-200);flex-wrap:wrap;align-items:baseline;gap:12px;padding:12px 0;display:flex}.jobs-row-date{font-family:var(--font-mono);color:var(--ink-500);flex:none;font-size:12px}.jobs-row-link{min-width:0;font-family:var(--font-sans);flex:200px}.search-shell{grid-template-columns:minmax(0,1fr) 280px;align-items:start;gap:32px;display:grid}.search-aside-blurb{border:1px solid var(--paper-200);background:var(--paper-50);border-radius:10px;padding:16px;position:sticky;top:96px}.concept-search-bar{flex-wrap:wrap;align-items:center;gap:12px;margin-bottom:16px;display:flex}.concept-search-input{min-width:0;font-size:15px;font-family:var(--font-sans);background:var(--bg-raised);border:1px solid var(--paper-200);border-radius:var(--radius-md);color:var(--ink-900);flex:240px;padding:10px 14px}.concept-search-toggle{color:var(--ink-700);align-items:center;gap:6px;font-size:13px;display:flex}.library-grid{grid-template-columns:minmax(180px,220px) 1fr;align-items:start;gap:32px;display:grid}.library-folders{position:sticky;top:24px}.profile-head{border-bottom:1px solid var(--paper-200);grid-template-columns:auto 1fr auto;align-items:center;gap:32px;padding:48px 0 32px;display:grid}.profile-avatar{background:linear-gradient(135deg, var(--terracotta-500), var(--terracotta-700));width:96px;height:96px;color:var(--paper-50);font-family:var(--font-serif);border-radius:50%;justify-content:center;align-items:center;font-size:40px;font-style:italic;font-weight:400;display:inline-flex}.profile-name{font-family:var(--font-serif);color:var(--ink-900);margin:0 0 6px;font-size:36px;font-weight:400;line-height:1.05}.profile-handle{font-family:var(--font-mono);color:var(--ink-500);margin-bottom:8px;font-size:13px}.profile-bio{color:var(--ink-700);max-width:580px;font-size:15px;line-height:1.5}.profile-tier{text-align:right}.tier-pill{background:var(--saffron-50);color:var(--saffron-700);border-radius:var(--radius-pill);letter-spacing:.04em;text-transform:uppercase;border:1px solid var(--saffron-100);align-items:center;gap:6px;padding:6px 14px;font-size:12px;font-weight:600;display:inline-flex}.stat-row{background:var(--paper-200);border:1px solid var(--paper-200);border-radius:var(--radius-lg);grid-template-columns:repeat(4,1fr);gap:1px;margin:32px 0;display:grid;overflow:hidden}.stat-row-3{grid-template-columns:repeat(3,1fr)}.lead-table-scroll{-webkit-overflow-scrolling:touch;width:100%;max-width:calc(100vw - 32px);overflow-x:auto}.lead-table-scroll .lead-table{min-width:720px}.stat-cell{background:var(--bg-raised);padding:24px}.stat-cell .label{letter-spacing:var(--tracking-allcaps);text-transform:uppercase;color:var(--ink-500);margin-bottom:8px;font-size:11px;font-weight:600}.stat-cell .num{font-family:var(--font-serif);letter-spacing:-.02em;color:var(--ink-900);font-variant-numeric:lining-nums tabular-nums;font-size:36px;font-weight:400;line-height:1}.stat-cell .delta{font-size:12px;font-family:var(--font-mono);color:var(--olive-700);margin-top:8px}.stat-cell .delta.down{color:var(--ink-500)}.profile-grid{grid-template-columns:1.4fr 1fr;gap:32px;display:grid}.section-h{font-family:var(--font-serif);color:var(--ink-900);margin:0 0 16px;font-size:22px;font-weight:500}.saved-list{margin:0;padding:0;list-style:none}.saved-list li{border-bottom:1px dashed var(--paper-200);grid-template-columns:1fr auto auto;align-items:baseline;gap:12px;padding:14px 0;display:grid}.saved-stmt{color:var(--ink-900);font-family:STIX Two Math,"Source Serif 4",serif;font-size:16px;font-style:italic}.saved-domain{letter-spacing:var(--tracking-allcaps);text-transform:uppercase;color:var(--ink-500);font-size:11px;font-weight:600}.saved-date{font-family:var(--font-mono);color:var(--ink-500);font-size:11px}.activity-feed{margin:0;padding:0;list-style:none}.activity-feed li{border-bottom:1px dashed var(--paper-200);grid-template-columns:80px 1fr;gap:12px;padding:12px 0;font-size:13px;display:grid}.activity-time{font-family:var(--font-mono);color:var(--ink-500);font-size:11px}.activity-text{color:var(--ink-700);line-height:1.5}.activity-text strong{color:var(--ink-900);font-weight:500}.activity-text .ic{background:var(--terracotta-500);vertical-align:middle;border-radius:50%;width:4px;height:4px;margin:0 8px 2px 0;display:inline-block}.targeted-search-card{background:var(--paper-100);border:1px dashed var(--terracotta-300);border-radius:var(--radius-xl);grid-template-columns:1fr auto;align-items:center;gap:24px;margin-top:40px;padding:32px;display:grid}.targeted-search-card h4{font-family:var(--font-serif);color:var(--ink-900);margin:0 0 6px;font-size:22px}.targeted-search-card p{color:var(--ink-700);margin:0;font-size:14px}.pricing-hero{text-align:center;padding:64px 0 32px}.pricing-hero h1{font-family:var(--font-serif);letter-spacing:-.03em;color:var(--ink-900);margin:0 0 16px;font-size:56px;font-weight:400;line-height:1.05}.pricing-hero h1 em{color:var(--terracotta-700);font-style:italic;font-weight:300}.pricing-hero .lede{max-width:620px;color:var(--ink-700);margin:0 auto;font-size:18px;line-height:1.5}.tier-grid{grid-template-columns:repeat(4,1fr);gap:16px;margin:56px 0 32px;display:grid}.tier{background:var(--bg-raised);border:1px solid var(--paper-200);border-radius:var(--radius-xl);flex-direction:column;padding:32px 24px;display:flex;position:relative}.tier.featured{background:var(--ink-900);color:var(--paper-100);border-color:var(--ink-900)}.tier.featured .tier-name,.tier.featured .tier-price-num,.tier.featured .tier-tagline{color:var(--paper-50)}.tier.featured .tier-features li{color:var(--paper-200);border-color:#ffffff14}.tier.featured .tier-features svg{color:var(--terracotta-300)}.tier.featured .tier-price-period{color:var(--paper-300)}.tier-popular{background:var(--terracotta-500);color:var(--paper-50);letter-spacing:.08em;text-transform:uppercase;border-radius:var(--radius-pill);padding:4px 12px;font-size:10px;font-weight:600;position:absolute;top:-10px;right:24px}.tier-name{font-family:var(--font-serif);color:var(--ink-900);margin:0 0 6px;font-size:22px;font-weight:500}.tier-tagline{color:var(--ink-500);min-height:36px;margin-bottom:20px;font-size:13px}.tier-price{align-items:baseline;gap:6px;margin-bottom:8px;display:flex}.tier-price-num{font-family:var(--font-serif);letter-spacing:-.02em;color:var(--ink-900);font-size:48px;font-weight:400;line-height:1}.tier-price-period{color:var(--ink-500);font-size:13px}.tier-price-sub{color:var(--ink-500);min-height:18px;margin-bottom:24px;font-size:12px}.tier .btn{justify-content:center;width:100%;margin-bottom:24px}.tier-features{flex-direction:column;flex:1;gap:12px;margin:0;padding:0;list-style:none;display:flex}.tier-features li{color:var(--ink-700);border-bottom:1px dashed var(--paper-200);grid-template-columns:16px 1fr;align-items:baseline;gap:10px;padding-bottom:12px;font-size:13.5px;line-height:1.45;display:grid}.tier-features li:last-child{border-bottom:none}.tier-features svg{color:var(--olive-700);flex-shrink:0;margin-top:4px}.targeted-band{background:var(--paper-100);border-radius:var(--radius-xl);grid-template-columns:1.3fr 1fr;align-items:center;gap:48px;margin:64px 0;padding:48px;display:grid}.targeted-band h2{font-family:var(--font-serif);letter-spacing:-.025em;color:var(--ink-900);margin:0 0 16px;font-size:36px;font-weight:400}.targeted-band h2 em{color:var(--terracotta-700);font-style:italic;font-weight:300}.targeted-band p{color:var(--ink-700);margin-bottom:20px;font-size:16px;line-height:1.55}.targeted-quote{background:var(--bg-raised);border:1px solid var(--paper-200);border-radius:var(--radius-lg);font-family:var(--font-mono);color:var(--ink-700);padding:24px;font-size:13px;line-height:1.6}.targeted-quote .label{font-family:var(--font-sans);letter-spacing:var(--tracking-allcaps);text-transform:uppercase;color:var(--ink-500);margin-bottom:8px;font-size:11px;font-weight:600}.targeted-quote .stmt{color:var(--ink-900);padding:12px 0;font-family:STIX Two Math,"Source Serif 4",serif;font-size:22px;font-style:italic}.targeted-quote .price{border-top:1px dashed var(--paper-200);justify-content:space-between;align-items:baseline;margin-top:8px;padding-top:12px;display:flex}.targeted-quote .price strong{font-family:var(--font-serif);color:var(--terracotta-700);font-size:22px;font-weight:400}.donate-band{text-align:center;padding:64px 0}.donate-quote{font-family:var(--font-hand);color:var(--terracotta-700);max-width:640px;margin:0 auto 32px;font-size:32px;font-weight:500;line-height:1.3}.faq-grid{grid-template-columns:repeat(2,1fr);gap:32px 48px;margin-top:32px;display:grid}.faq-item h4{font-family:var(--font-serif);color:var(--ink-900);margin:0 0 8px;font-size:18px;font-weight:500}.faq-item p{color:var(--ink-700);font-size:14px;line-height:1.5}.api-hero{text-align:center;padding:56px 0 24px}.api-grid{grid-template-columns:280px minmax(0,1fr);gap:48px;display:grid}.api-toc{border-left:1px dashed var(--paper-300);align-self:start;padding-left:20px;position:sticky;top:72px}.api-toc h6{font-family:var(--font-sans);letter-spacing:var(--tracking-allcaps);text-transform:uppercase;color:var(--ink-500);margin:0 0 12px;font-size:11px;font-weight:600}.api-toc ul{flex-direction:column;gap:8px;margin:0;padding:0;list-style:none;display:flex}.api-toc a{color:var(--ink-700);font-size:13px;font-family:var(--font-mono);text-decoration:none}.api-toc a:hover,.api-toc a.active{color:var(--terracotta-500)}.endpoint{margin-bottom:56px}.endpoint-head{background:var(--ink-900);color:var(--paper-100);border-radius:var(--radius-md);font-family:var(--font-mono);align-items:baseline;gap:12px;margin-bottom:16px;padding:14px 18px;font-size:14px;display:flex}.method{border-radius:var(--radius-sm);letter-spacing:.04em;padding:3px 10px;font-size:11px;font-weight:600}.method.get{background:var(--olive-500);color:var(--paper-50)}.method.post{background:var(--terracotta-500);color:var(--paper-50)}.endpoint-path{color:var(--paper-50)}.endpoint-tier{letter-spacing:.08em;text-transform:uppercase;color:var(--saffron-300);margin-left:auto;font-size:10px}.endpoint h3{font-family:var(--font-serif);margin:0 0 8px;font-size:22px}.endpoint .desc{color:var(--ink-700);margin-bottom:16px;font-size:14px;line-height:1.5}.code-block{background:var(--ink-900);color:var(--paper-100);border-radius:var(--radius-md);font-family:var(--font-mono);white-space:pre;max-width:100%;padding:16px 20px;font-size:12.5px;line-height:1.7;overflow-x:auto}.code-block .kw{color:#e39f7e}.code-block .str{color:#a8b381}.code-block .nm{color:#ebc25f}.code-block .cm{color:var(--ink-400)}.code-block .key{color:#8891b5}.code-tabs{gap:4px;margin-bottom:-1px;display:flex}.code-tab{font-size:12px;font-family:var(--font-mono);color:var(--ink-500);cursor:pointer;background:0 0;border:1px solid #0000;border-radius:4px 4px 0 0;padding:8px 16px}.code-tab.active{background:var(--ink-900);color:var(--paper-100)}.lead-podium{grid-template-columns:1fr 1.2fr 1fr;align-items:end;gap:16px;margin:32px 0 48px;display:grid}.lead-step{background:var(--bg-raised);border:1px solid var(--paper-200);border-radius:var(--radius-lg);text-align:center;padding:28px 20px}.lead-step.gold{border-color:var(--saffron-300);background:var(--saffron-50)}.lead-step.silver{border-color:var(--paper-300)}.lead-step.bronze{border-color:var(--terracotta-100);background:var(--terracotta-50)}.lead-rank{font-family:var(--font-serif);color:var(--ink-500);font-size:36px;font-style:italic;line-height:1}.lead-step.gold .lead-rank{color:var(--saffron-700)}.lead-step.bronze .lead-rank{color:var(--terracotta-700)}.lead-handle{font-family:var(--font-serif);color:var(--ink-900);margin:12px 0 4px;font-size:22px}.lead-num{font-family:var(--font-mono);color:var(--ink-700);font-size:14px;font-weight:500}.lead-table{border-collapse:separate;border-spacing:0;width:100%}.lead-table th{text-align:left;letter-spacing:var(--tracking-allcaps);text-transform:uppercase;color:var(--ink-500);border-bottom:1px solid var(--paper-200);background:var(--paper-50);padding:12px 16px;font-size:11px;font-weight:600}.lead-table td{border-bottom:1px solid var(--paper-200);color:var(--ink-700);padding:14px 16px;font-size:14px}.lead-table .rank-cell{font-family:var(--font-serif);color:var(--ink-500);width:60px;font-style:italic}.lead-table .handle-cell{font-family:var(--font-serif);color:var(--ink-900);font-weight:500}.lead-table .num-cell{font-family:var(--font-mono);text-align:right;color:var(--ink-900);font-weight:500}.lead-table tr:hover td{background:var(--paper-50)}.lead-tabs{gap:4px;margin:24px 0 16px;display:flex}.lead-tab{border:1px solid var(--paper-200);border-radius:var(--radius-md);color:var(--ink-700);cursor:pointer;font-size:13px;font-family:var(--font-sans);background:0 0;padding:8px 16px;font-weight:500}.lead-tab.active{background:var(--ink-900);color:var(--paper-50);border-color:var(--ink-900)}.auth-page{grid-template-columns:1fr 1fr;min-height:100vh;display:grid}.auth-side{background:var(--ink-900);color:var(--paper-100);flex-direction:column;justify-content:space-between;padding:64px;display:flex;position:relative;overflow:hidden}.auth-side-pattern{opacity:.06;pointer-events:none;background-image:url(/pattern-geometric.svg);background-size:320px;position:absolute;inset:0}.auth-side-brand{font-family:var(--font-serif);color:var(--paper-50);letter-spacing:-.02em;font-size:28px;font-weight:400;position:relative}.auth-side-quote{font-family:var(--font-serif);color:var(--paper-50);max-width:480px;margin-bottom:16px;font-size:32px;font-style:italic;line-height:1.3;position:relative}.auth-side-quote em{color:var(--terracotta-300);font-style:italic}.auth-side-attr{font-family:var(--font-hand);color:var(--terracotta-300);font-size:22px;position:relative}.auth-stat-row{border-top:1px solid #ffffff14;grid-template-columns:repeat(3,1fr);gap:24px;padding-top:24px;display:grid;position:relative}.auth-stat .num{font-family:var(--font-serif);color:var(--paper-50);font-variant-numeric:lining-nums tabular-nums;font-size:28px;font-weight:400;line-height:1}.auth-stat .lbl{letter-spacing:var(--tracking-allcaps);text-transform:uppercase;color:var(--paper-300);margin-top:6px;font-size:11px;font-weight:600}.auth-form-wrap{flex-direction:column;justify-content:center;max-width:540px;padding:64px;display:flex}.auth-form-wrap h1{font-family:var(--font-serif);letter-spacing:-.025em;color:var(--ink-900);margin:0 0 8px;font-size:38px;font-weight:400}.auth-form-wrap .lede{color:var(--ink-500);margin-bottom:32px;font-size:15px}.auth-tabs{border-bottom:1px solid var(--paper-200);gap:4px;margin-bottom:32px;display:flex}.auth-tab{color:var(--ink-500);cursor:pointer;font-size:14px;font-family:var(--font-sans);background:0 0;border:none;border-bottom:2px solid #0000;margin-right:32px;padding:12px 0;font-weight:500}.auth-tab.active{color:var(--ink-900);border-bottom-color:var(--terracotta-500)}.field{flex-direction:column;gap:8px;margin-bottom:20px;display:flex}.field label{letter-spacing:var(--tracking-allcaps);text-transform:uppercase;color:var(--ink-500);font-size:12px;font-weight:600}.field input{background:var(--bg-raised);border:1px solid var(--paper-200);border-radius:var(--radius-md);font-family:var(--font-sans);color:var(--ink-900);transition:all var(--dur-fast) var(--ease-out);padding:12px 14px;font-size:15px}.field input:focus{border-color:var(--terracotta-500);box-shadow:0 0 0 3px var(--terracotta-50);outline:none}.field .hint{color:var(--ink-500);font-size:12px}.oauth-grid{grid-template-columns:1fr 1fr;gap:12px;margin-top:24px;display:grid}.oauth-btn{border:1px solid var(--paper-200);border-radius:var(--radius-md);color:var(--ink-700);cursor:pointer;font-size:13px;font-weight:500;font-family:var(--font-sans);background:0 0;justify-content:center;align-items:center;gap:8px;padding:12px;display:inline-flex}.oauth-btn:hover{background:var(--paper-100)}.oauth-primary{border-radius:var(--radius-md);border:1px solid var(--paper-200);background:var(--paper-50);width:100%;color:var(--ink-900);cursor:pointer;font-size:15px;font-weight:500;font-family:var(--font-sans);justify-content:center;align-items:center;gap:10px;padding:12px 16px;text-decoration:none;transition:background .12s;display:flex}.oauth-primary:hover{background:var(--paper-100)}.oauth-primary:disabled{opacity:.6;cursor:not-allowed}.oauth-primary svg{width:18px;height:18px}.divider{letter-spacing:var(--tracking-allcaps);text-transform:uppercase;color:var(--ink-500);align-items:center;gap:12px;margin:24px 0;font-size:11px;font-weight:600;display:flex}.divider:before,.divider:after{content:"";background:var(--paper-200);flex:1;height:1px}@media (width<=1024px){.thm-page{grid-template-columns:1fr}.thm-side{border-left:none;border-top:1px dashed var(--paper-300);padding-top:32px;padding-left:0}.search-layout,.search-shell{grid-template-columns:1fr}.search-aside-blurb{position:static}.api-grid{grid-template-columns:minmax(0,1fr)}.api-toc{border-left:none;border-bottom:1px dashed var(--paper-300);padding-bottom:16px;padding-left:0;position:static}.tier-grid{grid-template-columns:repeat(2,1fr)}.targeted-band{grid-template-columns:1fr;padding:32px}.auth-page{grid-template-columns:1fr}.auth-side{min-height:320px;padding:32px}.auth-form-wrap{max-width:100%;padding:40px 32px}.profile-grid{grid-template-columns:1fr}.stat-row,.stat-row-3{grid-template-columns:repeat(2,1fr)}.lead-podium{grid-template-columns:1fr}.app-header-inner{grid-template-columns:auto auto;gap:12px}.app-search{display:none}}@media (width<=640px){.app-header-inner{padding:10px var(--space-5)}.app-actions{gap:12px}.app-nav-link{display:none}.app-subnav-inner{padding:0 var(--space-5);gap:20px}.page-head{padding:32px 0 24px}.page-head h1{font-size:32px}.page-head .lede{font-size:15px}.page-body{padding:28px 0 56px}.crumbs{gap:6px;font-size:11px}.result-meta{flex-wrap:wrap;gap:6px 12px}.result-stmt{font-size:19px}.library-grid{grid-template-columns:1fr;gap:20px}.library-folders{position:static}.saved-list .saved-date{display:none}.facet-group{margin-bottom:16px}.facet-group h5{margin-bottom:8px}.facet-list li{padding:4px 8px;font-size:12.5px}.concept-search-bar{gap:8px}.concept-search-input{flex:100%;font-size:16px}.concept-search-submit{justify-content:center;width:100%}.lead-tabs{flex-wrap:wrap}.lead-tab{padding:6px 12px;font-size:12px}.thm-page{gap:28px}.thm-name{font-size:clamp(32px,8vw,44px)}.thm-statement-block{margin-bottom:24px;padding:32px 20px}.thm-statement-big{font-size:clamp(22px,6vw,32px)}.thm-section{margin-top:32px}.thm-section h3{font-size:20px}.thm-actions{gap:8px}.thm-actions .btn{flex:auto;min-width:0}.uses-grid{grid-template-columns:1fr}.lineage li{grid-template-columns:24px 1fr;gap:12px}.thm-proof-pre{padding:18px 16px;font-size:12.5px}.thm-side .meta-list li{font-size:12.5px}.profile-head{grid-template-columns:64px 1fr;gap:16px;padding:32px 0 20px}.profile-avatar{width:64px;height:64px;font-size:28px}.profile-name{font-size:28px}.profile-bio{font-size:14px}.profile-tier{text-align:left;grid-column:1/-1}.stat-row{grid-template-columns:repeat(2,1fr);margin:24px 0}.stat-cell{padding:18px}.stat-cell .num{font-size:28px}.saved-list li{grid-template-columns:1fr auto;gap:8px}.saved-date{display:none}.activity-feed li{grid-template-columns:1fr;gap:4px}.targeted-search-card{grid-template-columns:1fr;gap:16px;padding:20px}.lead-step{padding:20px 14px}.lead-rank{font-size:28px}.lead-handle{font-size:18px}.api-hero{padding:36px 0 16px}.api-grid{gap:28px}.api-toc{padding-left:12px}.api-toc a{font-size:12px}.endpoint{margin-bottom:40px}.endpoint-head{flex-wrap:wrap;padding:12px 14px;font-size:13px}.endpoint-tier{width:100%;margin-top:4px;margin-left:0}.endpoint h3{font-size:20px}.code-block{padding:14px 16px;font-size:11.5px}.code-tabs{flex-wrap:wrap}.auth-page{grid-template-columns:1fr}.auth-side{display:none}.auth-form-wrap{max-width:100%;padding:32px 20px}.auth-form-wrap h1{font-size:28px}.auth-form-wrap .lede{margin-bottom:24px;font-size:14px}.field input{font-size:16px}.oauth-grid{grid-template-columns:1fr}.auth-tabs{margin-bottom:24px}.pricing-hero{padding:40px 0 20px}.pricing-hero h1{font-size:clamp(32px,9vw,44px)}.pricing-hero .lede{font-size:16px}.tier-grid{grid-template-columns:1fr;gap:16px;margin:32px 0 24px}.tier{padding:24px 20px}.tier-name{font-size:20px}.tier-price-num{font-size:40px}.targeted-band{grid-template-columns:1fr;gap:24px;margin:40px 0;padding:28px 20px}.targeted-band h2{font-size:26px}.targeted-band p{font-size:15px}.donate-quote{font-size:24px}.faq-grid{grid-template-columns:1fr;gap:24px}.donate-band{padding:40px 0}}@media (width<=480px){.app-header-inner{padding:8px 16px}.app-brand{font-size:17px}.page-head{padding:24px 0 16px}.page-head h1{font-size:26px}.page-head .lede{font-size:14px}.page-body{padding:20px 0 40px}.card,.card-elevated{padding:16px}.result-card{grid-template-columns:1fr;gap:8px;padding:16px 0}.result-side{text-align:left}.result-stmt{font-size:17px}.result-name{word-break:break-all;font-size:15px}.result-meta{font-size:11px}.thm-name{font-size:clamp(26px,9vw,36px)}.thm-statement-block{padding:24px 14px}.thm-statement-big{font-size:clamp(18px,6.5vw,26px)}.thm-proof-pre{padding:16px 14px;font-size:12px}.thm-side .meta-list li{gap:8px;font-size:12px}.thm-actions{flex-direction:column}.thm-actions .btn{justify-content:center;width:100%}.profile-name{font-size:24px}.profile-handle{font-size:12px}.stat-cell{padding:14px}.stat-cell .num{font-size:24px}.stat-cell .label{font-size:10px}.pricing-hero h1{font-size:clamp(26px,9vw,36px)}.tier{padding:20px 16px}.tier-features li{font-size:13px}.targeted-band h2{font-size:22px}.donate-quote{font-size:20px}.endpoint h3{font-size:18px}.endpoint .desc{font-size:13px}.code-block{padding:12px 14px;font-size:11px}.lead-step{padding:16px 10px}.lead-handle{font-size:16px}.lead-num{font-size:12px}.auth-form-wrap{padding:24px 16px}.auth-form-wrap h1{font-size:24px}.auth-tab{margin-right:20px;font-size:13px}}