@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: #FFFFFF;--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 rgba(74, 61, 51, .06);--shadow-sm: 0 1px 3px rgba(74, 61, 51, .08), 0 1px 2px rgba(74, 61, 51, .04);--shadow-md: 0 4px 12px rgba(74, 61, 51, .08), 0 2px 4px rgba(74, 61, 51, .04);--shadow-lg: 0 12px 28px rgba(74, 61, 51, .1), 0 4px 8px rgba(74, 61, 51, .05);--shadow-xl: 0 24px 48px rgba(74, 61, 51, .14), 0 8px 16px rgba(74, 61, 51, .06);--shadow-inset: inset 0 1px 2px rgba(74, 61, 51, .08);--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);line-height:1.05;letter-spacing:-.03em;font-variation-settings:"opsz" 60;color:var(--fg)}.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-weight:400;font-variant-numeric:lining-nums tabular-nums;letter-spacing:-.02em}a{color:var(--link);text-decoration-color:var(--terracotta-100);text-underline-offset:3px;text-decoration-thickness:1.5px;transition:text-decoration-color var(--dur-base) var(--ease-out)}a:hover{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{margin:0;padding:0;background:var(--bg);color:var(--fg);scroll-behavior:smooth}body{font-feature-settings:"ss01","kern"}a{color:inherit}.page{min-height:100vh;background:var(--paper-50);position:relative;overflow-x:hidden}.container{max-width:1200px;margin:0 auto;padding:0 var(--space-8)}.container-wide{max-width:1320px;margin:0 auto;padding:0 var(--space-8)}.container-narrow{max-width:760px;margin:0 auto;padding:0 var(--space-8)}.topbar{position:sticky;top:0;z-index:40;background:#fbf7efd9;backdrop-filter:blur(12px);-webkit-backdrop-filter:blur(12px);border-bottom:1px solid var(--paper-200)}.topbar-inner{display:flex;align-items:center;justify-content:space-between;padding:14px var(--space-8);max-width:1320px;margin:0 auto}.brand{display:flex;align-items:baseline;gap:10px;font-family:var(--font-serif);font-size:22px;font-weight:500;letter-spacing:-.02em;font-variation-settings:"opsz" 24;color:var(--ink-900)}.brand-dot{width:7px;height:7px;border-radius:50%;background:var(--terracotta-500);display:inline-block;transform:translateY(-2px)}.brand-tag{font-family:var(--font-sans);font-size:11px;letter-spacing:var(--tracking-allcaps);text-transform:uppercase;color:var(--ink-500);font-weight:500;border-left:1px solid var(--paper-300);padding-left:12px;margin-left:4px}.nav{display:flex;align-items:center;gap:22px}.nav-sep{width:1px;height:18px;background:var(--paper-200)}.nav-secondary{color:var(--ink-700)!important}.nav a{font-size:14px;color:var(--ink-700);text-decoration:none;font-weight:500;transition:color var(--dur-fast) var(--ease-out)}.nav a:hover{color:var(--terracotta-500)}.nav-cta{background:var(--ink-900);color:var(--paper-50);padding:8px 16px;border-radius:var(--radius-md);font-size:14px;font-weight:500;text-decoration:none;transition:all var(--dur-fast) var(--ease-out)}.nav-cta:hover{background:var(--ink-700)}.hero{position:relative;padding:80px 0 48px;border-bottom:1px solid var(--paper-200);overflow:hidden}.hero-pattern{position:absolute;inset:0;background-image:url(/pattern-geometric.svg);background-size:240px;background-repeat:repeat;opacity:.035;pointer-events:none}.hero-grid{display:grid;grid-template-columns:1.1fr 1fr;gap:64px;align-items:start;position:relative}.hero-eyebrow{display:inline-flex;align-items:center;gap:10px;padding:6px 14px 6px 10px;background:var(--terracotta-50);border:1px solid var(--terracotta-100);border-radius:var(--radius-pill);color:var(--terracotta-700);font-size:12px;font-weight:500;letter-spacing:.02em;margin-bottom:28px}.eyebrow-dot{width:6px;height:6px;border-radius:50%;background:var(--terracotta-500);animation:pulse 2.4s var(--ease-out) infinite}@keyframes pulse{0%,to{opacity:1;transform:scale(1)}50%{opacity:.4;transform:scale(.8)}}.hero-title{font-family:var(--font-serif);font-weight:400;font-size:clamp(48px,6vw,84px);line-height:1;letter-spacing:-.035em;font-variation-settings:"opsz" 60;color:var(--ink-900);margin:0 0 8px}.hero-title em{font-style:italic;font-weight:300;color:var(--terracotta-700)}.hero-sub{font-family:var(--font-serif);font-size:24px;line-height:1.35;font-style:italic;font-weight:300;color:var(--ink-700);margin:24px 0 0;max-width:540px;font-variation-settings:"opsz" 28}.hero-quote{margin-top:40px;padding:20px 0 20px 24px;border-left:2px solid var(--terracotta-300);max-width:480px}.hero-quote-text{font-family:var(--font-hand);font-size:26px;line-height:1.25;color:var(--terracotta-700);font-weight:500;margin-bottom:8px}.hero-quote-attr{font-size:13px;color:var(--ink-500);font-style:italic}.hero-ctas{display:flex;gap:14px;margin-top:36px;flex-wrap:wrap}.btn{display:inline-flex;align-items:center;gap:10px;padding:13px 22px;border-radius:var(--radius-md);font-size:15px;font-weight:500;text-decoration:none;border:1px solid transparent;cursor:pointer;transition:all var(--dur-fast) var(--ease-out);font-family:var(--font-sans)}.btn-primary{background:var(--ink-900);color:var(--paper-50)}.btn-primary:hover{background:var(--ink-700);transform:translateY(-1px);box-shadow:var(--shadow-md)}.btn-secondary{background:transparent;color:var(--ink-900);border-color:var(--paper-300)}.btn-secondary:hover{background:var(--paper-100);border-color:var(--ink-700)}.btn-ghost{background:transparent;color:var(--ink-700);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{margin-top:56px;padding-top:28px;border-top:1px solid var(--paper-200);display:grid;grid-template-columns:repeat(4,1fr);gap:28px}.hero-meta-item{display:flex;flex-direction:column;gap:4px}.hero-meta-num{font-family:var(--font-serif);font-size:30px;font-weight:400;color:var(--ink-900);font-variant-numeric:lining-nums tabular-nums;letter-spacing:-.01em;line-height:1}.hero-meta-label{font-size:12px;color:var(--ink-500);letter-spacing:var(--tracking-allcaps);text-transform:uppercase;font-weight:500;margin-top:6px}.theorem-card{background:var(--bg-raised);border:1px solid var(--paper-200);border-radius:var(--radius-lg);box-shadow:var(--shadow-md);overflow:hidden;position:relative}.theorem-card-head{padding:14px 20px;border-bottom:1px solid var(--paper-200);display:flex;align-items:center;justify-content:space-between;gap:12px;background:var(--paper-50)}.theorem-card-id{font-family:var(--font-mono);font-size:11px;color:var(--ink-500);letter-spacing:.04em}.verified-badge{display:inline-flex;align-items:center;gap:6px;padding:4px 10px;background:var(--olive-50);color:var(--olive-700);border-radius:var(--radius-pill);font-size:11px;font-weight:600;letter-spacing:.04em;text-transform:uppercase}.verified-dot{width:6px;height:6px;border-radius:50%;background:var(--olive-500)}.theorem-card-body{padding:28px 24px 8px}.theorem-statement{font-family:"STIX Two Math","Cambria Math","Source Serif 4",serif;font-size:22px;line-height:1.4;color:var(--ink-900);text-align:center;padding:16px 0 24px;min-height:70px;font-style:italic;font-weight:400}.theorem-statement .var{font-style:italic}.theorem-statement .op{font-style:normal;padding:0 4px}.theorem-name{text-align:center;font-family:var(--font-serif);font-size:18px;font-weight:500;color:var(--ink-900);margin-bottom:4px}.theorem-tag{text-align:center;font-size:12px;color:var(--ink-500);letter-spacing:.04em;text-transform:uppercase;font-weight:500}.theorem-card-proof{margin:20px;padding:16px 18px;background:var(--ink-900);color:var(--paper-100);border-radius:var(--radius-md);font-family:var(--font-mono);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{display:flex;align-items:center;justify-content:space-between;padding:12px 20px;border-top:1px solid var(--paper-200);background:var(--paper-50);font-size:12px;color:var(--ink-500)}.theorem-card-foot .meta-row{display:flex;gap:16px}.theorem-card-foot strong{color:var(--ink-900);font-weight:500}.ticker{margin-top:16px;padding:14px 18px;border:1px dashed var(--paper-300);border-radius:var(--radius-md);background:var(--paper-50);display:flex;align-items:center;gap:12px;font-size:13px;color:var(--ink-700);overflow:hidden;position:relative}.ticker-label{flex-shrink:0;font-size:11px;letter-spacing:var(--tracking-allcaps);text-transform:uppercase;color:var(--ink-500);font-weight:600;border-right:1px solid var(--paper-300);padding-right:12px}.ticker-text{flex:1;font-family:var(--font-mono);font-size:12.5px;white-space:nowrap;overflow:hidden;text-overflow:ellipsis;color:var(--ink-700)}.ticker-text .ok{color:var(--olive-700)}.ticker-text .reject{color:var(--ink-400)}.section{padding:96px 0;border-bottom:1px solid var(--paper-200);position:relative}.section.compact{padding:64px 0}.section-head{display:grid;grid-template-columns:auto 1fr;gap:32px;align-items:end;margin-bottom:48px}.section-num{font-family:var(--font-serif);font-size:14px;color:var(--terracotta-500);font-style:italic;font-variant-numeric:lining-nums;font-weight:400;border-right:1px solid var(--paper-300);padding-right:32px;align-self:stretch;display:flex;align-items:flex-end}.section-title-block .overline{display:block;margin-bottom:12px}.section-title{font-family:var(--font-serif);font-size:44px;font-weight:400;line-height:1.05;letter-spacing:-.025em;color:var(--ink-900);font-variation-settings:"opsz" 44;margin:0;max-width:720px}.section-title em{font-style:italic;color:var(--terracotta-700);font-weight:300}.section-lede{margin-top:16px;font-size:17px;line-height:1.55;color:var(--ink-700);max-width:620px}.margin-note{font-family:var(--font-hand);font-size:22px;color:var(--terracotta-700);line-height:1.2;font-weight:500}.pipeline{display:grid;grid-template-columns:1fr;gap:0;background:var(--bg-raised);border:1px solid var(--paper-200);border-radius:var(--radius-xl);padding:40px;position:relative;overflow:hidden}.pipe-row{display:grid;grid-template-columns:200px 1fr;gap:32px;align-items:center;padding:18px 0;position:relative}.pipe-row+.pipe-row{border-top:1px dashed var(--paper-200)}.pipe-stage{display:flex;align-items:center;gap:14px}.pipe-stage-num{font-family:var(--font-serif);font-size:28px;font-weight:400;font-style:italic;color:var(--terracotta-500);width:36px;text-align:right}.pipe-stage-name{font-family:var(--font-serif);font-size:19px;font-weight:500;color:var(--ink-900)}.pipe-stage-sub{display:block;font-family:var(--font-sans);font-size:12px;color:var(--ink-500);font-weight:400;margin-top:2px;letter-spacing:.01em}.pipe-viz{position:relative;min-height:80px;display:flex;align-items:center}.rediscover-grid{display:grid;grid-template-columns:repeat(3,1fr);gap:20px}.rediscover-card{background:var(--bg-raised);border:1px solid var(--paper-200);border-radius:var(--radius-lg);padding:28px;position:relative;transition:all var(--dur-base) var(--ease-out);display:flex;flex-direction:column;min-height:280px}.rediscover-card:hover{box-shadow:var(--shadow-md);border-color:var(--paper-300)}.rediscover-card.aspirational{border-style:dashed;background:var(--paper-50)}.rediscover-formula{font-family:"STIX Two Math","Cambria Math","Source Serif 4",serif;font-size:38px;font-style:italic;color:var(--ink-900);line-height:1;margin-bottom:16px;font-weight:400}.rediscover-formula .op{font-style:normal;padding:0 2px}.rediscover-formula sup{font-size:.6em}.rediscover-name{font-family:var(--font-serif);font-size:19px;color:var(--ink-900);font-weight:500;margin-bottom:4px}.rediscover-domain{font-size:11px;letter-spacing:var(--tracking-allcaps);text-transform:uppercase;color:var(--ink-500);font-weight:600;margin-bottom:18px}.rediscover-meta{margin-top:auto;padding-top:18px;border-top:1px solid var(--paper-200);display:grid;grid-template-columns:1fr 1fr;gap:12px;font-size:12px}.rediscover-meta-label{color:var(--ink-500)}.rediscover-meta-val{font-family:var(--font-mono);color:var(--ink-900);font-weight:500;margin-top:2px;font-size:12px}.rediscover-status{position:absolute;top:20px;right:20px;font-size:10px;letter-spacing:var(--tracking-allcaps);text-transform:uppercase;font-weight:600}.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{display:grid;grid-template-columns:1fr;gap:18px}.ga-row{display:grid;grid-template-columns:88px 1fr 120px;align-items:center;gap:16px;padding:12px 16px;border:1px solid var(--paper-200);border-radius:var(--radius-md);background:var(--paper-50);transition:all var(--dur-base) var(--ease-out)}.ga-row.accepted{border-color:var(--olive-300);background:var(--olive-50)}.ga-row.rejected{opacity:.45}.ga-op{font-size:11px;font-weight:600;letter-spacing:var(--tracking-allcaps);text-transform:uppercase;color:var(--terracotta-700)}.ga-expr{font-family:"STIX Two Math","Source Serif 4",serif;font-style:italic;font-size:18px;color:var(--ink-900)}.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{display:grid;grid-template-columns:1.4fr 1fr;gap:28px;align-items:stretch}.network-map{background:var(--bg-raised);border:1px solid var(--paper-200);border-radius:var(--radius-xl);padding:24px;position:relative;overflow:hidden;min-height:420px}.network-stats{display:grid;grid-template-rows:auto 1fr;gap:20px}.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);font-size:56px;font-weight:400;line-height:1;letter-spacing:-.02em;color:var(--ink-900);font-variant-numeric:lining-nums tabular-nums}.network-label{font-size:12px;letter-spacing:var(--tracking-allcaps);text-transform:uppercase;color:var(--ink-500);font-weight:600;margin-top:8px}.worker-list{list-style:none;margin:0;padding:0;display:flex;flex-direction:column;gap:0}.worker-list li{display:grid;grid-template-columns:auto 1fr auto auto;gap:12px;align-items:center;padding:10px 0;border-bottom:1px dashed var(--paper-200);font-size:13px}.worker-list li:last-child{border-bottom:none}.worker-flag{font-family:var(--font-mono);font-size:11px;color:var(--ink-500);width:32px}.worker-name{color:var(--ink-900);font-weight:500}.worker-rate{font-family:var(--font-mono);font-size:12px;color:var(--ink-700)}.worker-status-dot{width:7px;height:7px;border-radius:50%;background:var(--olive-500);box-shadow:0 0 0 3px var(--olive-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{display:flex;align-items:center;justify-content:space-between;padding:16px 24px;border-bottom:1px solid var(--paper-200);background:var(--paper-50);gap:16px;flex-wrap:wrap}.browser-search{flex:1;max-width:400px;display:flex;align-items:center;gap:10px;padding:8px 14px;background:var(--bg-raised);border:1px solid var(--paper-200);border-radius:var(--radius-md);font-size:13px;color:var(--ink-500);font-family:var(--font-mono)}.browser-filters{display:flex;gap:6px;flex-wrap:wrap}.filter-chip{font-size:12px;padding:6px 12px;border-radius:var(--radius-pill);border:1px solid var(--paper-200);background:transparent;color:var(--ink-700);cursor:pointer;font-weight:500;font-family:var(--font-sans);transition:all var(--dur-fast) var(--ease-out)}.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{display:grid;grid-template-columns:90px 1.2fr 1fr 110px 90px 24px;gap:16px;align-items:center;padding:16px 24px;border-bottom:1px solid var(--paper-200);cursor:pointer;transition:background var(--dur-fast) var(--ease-out)}.browser-row:hover,.browser-row.expanded{background:var(--paper-50)}.browser-row.head{background:var(--paper-50);cursor:default;padding:10px 24px;font-size:11px;letter-spacing:var(--tracking-allcaps);text-transform:uppercase;color:var(--ink-500);font-weight:600}.browser-row.head:hover{background:var(--paper-50)}.browser-id{font-family:var(--font-mono);font-size:12px;color:var(--ink-500)}.browser-stmt{font-family:"STIX Two Math","Source Serif 4",serif;font-style:italic;font-size:16px;color:var(--ink-900);white-space:nowrap;overflow:hidden;text-overflow:ellipsis}.browser-name{font-size:14px;color:var(--ink-700);font-family:var(--font-serif)}.browser-dom{font-size:11px;letter-spacing:var(--tracking-allcaps);text-transform:uppercase;color:var(--ink-500);font-weight:600}.browser-status{font-size:11px;letter-spacing:var(--tracking-allcaps);text-transform:uppercase;color:var(--olive-700);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{padding:0 24px 24px;background:var(--paper-50);border-bottom:1px solid var(--paper-200);display:grid;grid-template-columns:1fr 1fr;gap:24px}.browser-detail-block h5{font-family:var(--font-sans);font-size:11px;letter-spacing:var(--tracking-allcaps);text-transform:uppercase;color:var(--ink-500);margin:0 0 10px;font-weight:600}.browser-detail-block .full-stmt{font-family:"STIX Two Math","Source Serif 4",serif;font-size:22px;font-style:italic;padding:16px 0;color:var(--ink-900)}.browser-detail-block .descr{font-size:14px;line-height:1.5;color:var(--ink-700);margin-bottom:16px}.browser-detail-block .meta-row{display:grid;grid-template-columns:1fr 1fr;gap:8px 16px;font-size:12px;color:var(--ink-500)}.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);padding:16px 18px;border-radius:var(--radius-md);font-family:var(--font-mono);font-size:12px;line-height:1.6;overflow-x:auto;white-space:pre}.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;display:flex;gap:10px;padding-top:4px}.install{display:grid;grid-template-columns:1fr 1fr;gap:28px}.install-cli{background:var(--ink-900);border-radius:var(--radius-xl);overflow:hidden;position:relative}.install-cli-bar{padding:12px 20px;background:#ffffff08;border-bottom:1px solid rgba(255,255,255,.06);display:flex;align-items:center;gap:12px}.cli-dot{width:11px;height:11px;border-radius:50%;background:#ffffff2e}.cli-title{font-family:var(--font-mono);font-size:12px;color:var(--paper-300);margin-left:auto}.install-cli-body{padding:24px;font-family:var(--font-mono);font-size:13px;line-height:1.7;color:var(--paper-100);min-height:320px}.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{display:inline-block;width:8px;height:1em;background:var(--paper-100);vertical-align:text-bottom;margin-left:2px;animation:blink 1.1s steps(2) infinite}@keyframes blink{50%{opacity:0}}.install-side h3{margin-bottom:18px}.install-reqs{list-style:none;margin:0;padding:0;display:flex;flex-direction:column}.install-reqs li{display:grid;grid-template-columns:24px 1fr auto;gap:12px;align-items:baseline;padding:14px 0;border-bottom:1px dashed var(--paper-200)}.install-reqs li:last-child{border-bottom:none}.install-req-num{font-family:var(--font-serif);font-style:italic;color:var(--terracotta-500);font-size:14px}.install-req-name{font-family:var(--font-serif);font-size:16px;color:var(--ink-900);font-weight:500}.install-req-name span{font-family:var(--font-sans);font-size:13px;color:var(--ink-500);font-weight:400;display:block;margin-top:2px}.install-req-val{font-family:var(--font-mono);font-size:12px;color:var(--ink-700);background:var(--paper-100);padding:4px 10px;border-radius:var(--radius-sm)}.footer{padding:64px 0 48px;background:var(--ink-900);color:var(--paper-200)}.footer-grid{display:grid;grid-template-columns:2fr 1fr 1fr 1fr;gap:40px;margin-bottom:48px}.footer-brand{font-family:var(--font-serif);font-size:32px;font-weight:400;color:var(--paper-50);letter-spacing:-.02em;margin-bottom:12px}.footer-tag{font-family:var(--font-hand);font-size:22px;color:var(--terracotta-300);font-weight:500;line-height:1.3;max-width:320px}.footer-col h5{font-family:var(--font-sans);font-size:11px;letter-spacing:var(--tracking-allcaps);text-transform:uppercase;color:var(--paper-300);margin:0 0 18px;font-weight:600}.footer-col ul{list-style:none;margin:0;padding:0;display:flex;flex-direction:column;gap:12px}.footer-col a{font-size:14px;color:var(--paper-200);text-decoration:none;transition:color var(--dur-fast) var(--ease-out)}.footer-col a:hover{color:var(--terracotta-300)}.footer-bottom{border-top:1px solid rgba(255,255,255,.08);padding-top:24px;display:flex;justify-content:space-between;font-size:12px;color:var(--ink-300);flex-wrap:wrap;gap:12px}.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(max-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(max-width:640px){.container,.container-wide{padding:0 var(--space-5)}.nav{display:none}.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}.section-head{grid-template-columns:1fr;gap:16px}.section-num{padding:0 0 12px;border-right:none;border-bottom:1px solid var(--paper-300)}}.app{min-height:100vh;background:var(--paper-50);display:flex;flex-direction:column}.app-header{position:sticky;top:0;z-index:40;background:#fbf7efeb;backdrop-filter:blur(14px);-webkit-backdrop-filter:blur(14px);border-bottom:1px solid var(--paper-200)}.app-header-inner{max-width:1320px;margin:0 auto;padding:12px var(--space-8);display:grid;grid-template-columns:auto 1fr auto;gap:24px;align-items:center}.app-brand{display:flex;align-items:baseline;gap:10px;font-family:var(--font-serif);font-size:20px;font-weight:500;letter-spacing:-.02em;color:var(--ink-900);text-decoration:none}.app-brand .brand-dot{width:6px;height:6px;border-radius:50%;background:var(--terracotta-500);display:inline-block;transform:translateY(-2px)}.app-search{display:flex;align-items:center;gap:10px;padding:9px 14px;background:var(--bg-raised);border:1px solid var(--paper-200);border-radius:var(--radius-md);font-size:13px;color:var(--ink-500);font-family:var(--font-mono);max-width:480px;width:100%;margin:0 auto;cursor:text;transition:all var(--dur-fast) var(--ease-out)}.app-search:hover{border-color:var(--paper-300)}.app-search kbd{margin-left:auto;font-family:var(--font-mono);font-size:10px;background:var(--paper-100);padding:2px 6px;border-radius:3px;color:var(--ink-500);border:1px solid var(--paper-200)}.app-actions{display:flex;align-items:center;gap:16px}.app-nav-link{font-size:13px;color:var(--ink-700);text-decoration:none;font-weight:500;transition:color var(--dur-fast) var(--ease-out)}.app-nav-link:hover{color:var(--terracotta-500)}.app-avatar{width:32px;height:32px;border-radius:50%;background:var(--terracotta-500);color:var(--paper-50);display:inline-flex;align-items:center;justify-content:center;font-family:var(--font-serif);font-size:14px;font-weight:500;cursor:pointer;transition:box-shadow var(--dur-fast) var(--ease-out)}.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;margin:0 auto;padding:0 var(--space-8);display:flex;gap:28px;overflow-x:auto}.app-subnav a{display:inline-block;padding:14px 0;font-size:13px;color:var(--ink-500);text-decoration:none;font-weight:500;border-bottom:2px solid transparent;transition:all var(--dur-fast) var(--ease-out);white-space:nowrap}.app-subnav a:hover{color:var(--ink-900)}.app-subnav a.active{color:var(--ink-900);border-bottom-color:var(--terracotta-500)}.crumbs{font-size:12px;color:var(--ink-500);letter-spacing:.02em;font-family:var(--font-mono);display:flex;gap:8px;align-items:center}.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{padding:48px 0 32px;border-bottom:1px solid var(--paper-200)}.page-head h1{font-family:var(--font-serif);font-size:44px;font-weight:400;line-height:1.05;letter-spacing:-.025em;color:var(--ink-900);margin:16px 0 8px}.page-head .lede{font-size:17px;color:var(--ink-700);max-width:620px;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{display:grid;grid-template-columns:1fr 320px;gap:48px}.thm-side{border-left:1px dashed var(--paper-300);padding-left:32px}.thm-eyebrow{display:flex;align-items:center;gap:12px;font-family:var(--font-mono);font-size:12px;color:var(--ink-500);margin-bottom:12px}.thm-name{font-family:var(--font-serif);font-size:56px;font-weight:400;line-height:1.05;letter-spacing:-.025em;color:var(--ink-900);margin:0 0 24px}.thm-statement-block{background:var(--bg-raised);border:1px solid var(--paper-200);border-radius:var(--radius-lg);padding:48px 32px;margin-bottom:32px;text-align:center}.thm-statement-big{font-family:"STIX Two Math","Source Serif 4",serif;font-style:italic;font-size:38px;color:var(--ink-900);line-height:1.4;font-weight:400}.thm-statement-big sup,.thm-statement-big sub{font-size:.55em}.thm-statement-big .op{font-style:normal;padding:0 6px}.thm-actions{display:flex;gap:12px;margin-top:24px;flex-wrap:wrap;justify-content:center}.thm-section{margin-top:48px}.thm-section h3{font-family:var(--font-serif);font-size:24px;font-weight:500;margin-bottom:16px;color:var(--ink-900)}.thm-section p{font-size:16px;line-height:1.6;color:var(--ink-700)}.thm-proof-pre{background:var(--ink-900);color:var(--paper-100);padding:24px 28px;border-radius:var(--radius-md);font-family:var(--font-mono);font-size:13px;line-height:1.7;overflow-x:auto;white-space:pre}.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{display:flex;justify-content:space-between;align-items:center;margin-bottom:12px;font-family:var(--font-mono);font-size:11px;color:var(--ink-500)}.thm-proof-bar .copy{cursor:pointer;padding:4px 10px;border-radius:var(--radius-sm);background:var(--paper-100);color:var(--ink-700);border:1px solid var(--paper-200)}.thm-proof-bar .copy:hover{background:var(--paper-200)}.lineage{list-style:none;margin:0;padding:0;position:relative}.lineage li{display:grid;grid-template-columns:32px 1fr;gap:16px;padding:14px 0;border-bottom:1px dashed var(--paper-200);align-items:baseline}.lineage li:last-child{border-bottom:none}.lineage-step{font-family:var(--font-serif);font-style:italic;color:var(--terracotta-500);font-size:14px}.lineage-name{font-family:var(--font-serif);font-size:16px;color:var(--ink-900);font-weight:500;display:block;margin-bottom:2px}.lineage-id{font-family:var(--font-mono);font-size:11px;color:var(--ink-500)}.lineage-stmt{font-family:"STIX Two Math","Source Serif 4",serif;font-style:italic;font-size:14px;color:var(--ink-700);margin-top:4px}.uses-grid{display:grid;grid-template-columns:repeat(2,1fr);gap:12px}.uses-item{padding:14px 16px;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)}.uses-item:hover{background:var(--bg-raised);border-color:var(--paper-300)}.uses-item .uses-stmt{font-family:"STIX Two Math","Source Serif 4",serif;font-style:italic;font-size:15px;color:var(--ink-900);margin-bottom:4px}.uses-item .uses-name{font-size:12px;color:var(--ink-500)}.thm-side h4{font-family:var(--font-sans);font-size:11px;letter-spacing:var(--tracking-allcaps);text-transform:uppercase;color:var(--ink-500);margin:0 0 12px;font-weight:600}.thm-side .meta-list{list-style:none;margin:0 0 32px;padding:0}.thm-side .meta-list li{padding:10px 0;border-bottom:1px dashed var(--paper-200);font-size:13px;color:var(--ink-500);display:flex;justify-content:space-between;align-items:baseline;gap:12px}.thm-side .meta-list strong{color:var(--ink-900);font-family:var(--font-mono);font-size:12px;font-weight:500;text-align:right}.cite-box{background:var(--paper-50);border:1px dashed var(--paper-300);border-radius:var(--radius-md);padding:16px;font-family:var(--font-mono);font-size:11.5px;line-height:1.6;color:var(--ink-700);margin-top:12px;white-space:pre-wrap}.search-layout{display:grid;grid-template-columns:240px 1fr;gap:32px}.facet-group{margin-bottom:28px}.facet-group h5{font-family:var(--font-sans);font-size:11px;letter-spacing:var(--tracking-allcaps);text-transform:uppercase;color:var(--ink-500);margin:0 0 12px;font-weight:600}.facet-list{list-style:none;margin:0;padding:0;display:flex;flex-direction:column;gap:6px}.facet-list li{display:flex;justify-content:space-between;align-items:center;padding:6px 8px;font-size:13px;color:var(--ink-700);cursor:pointer;border-radius:var(--radius-sm);transition:background var(--dur-fast) var(--ease-out)}.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);font-size:11px;color:var(--ink-500)}.search-results-bar{display:flex;justify-content:space-between;align-items:center;padding-bottom:16px;border-bottom:1px solid var(--paper-200);margin-bottom:16px;font-size:13px;color:var(--ink-500)}.search-results-bar strong{color:var(--ink-900);font-family:var(--font-mono)}.sort-select{background:transparent;border:1px solid var(--paper-200);border-radius:var(--radius-md);padding:6px 12px;font-size:12px;font-family:var(--font-sans);color:var(--ink-700);cursor:pointer}.result-card{display:grid;grid-template-columns:1fr auto;gap:16px;padding:20px 0;border-bottom:1px solid var(--paper-200);cursor:pointer;transition:padding var(--dur-fast) var(--ease-out)}.result-card:hover{padding-left:8px}.result-stmt{font-family:"STIX Two Math","Source Serif 4",serif;font-style:italic;font-size:22px;color:var(--ink-900);margin-bottom:8px;line-height:1.4}.result-stmt sup,.result-stmt sub{font-size:.55em}.result-stmt .op{font-style:normal;padding:0 4px}.result-name{font-family:var(--font-serif);font-size:17px;color:var(--ink-900);margin-bottom:6px}.result-name a{color:inherit;text-decoration:none}.result-name a:hover{color:var(--terracotta-500)}.result-meta{display:flex;gap:16px;font-size:12px;color:var(--ink-500);font-family:var(--font-mono)}.result-meta .dot{color:var(--paper-300)}.result-side{text-align:right;font-size:11px;color:var(--ink-500)}.result-side .verified-badge{margin-bottom:8px}.profile-head{display:grid;grid-template-columns:auto 1fr auto;gap:32px;padding:48px 0 32px;align-items:center;border-bottom:1px solid var(--paper-200)}.profile-avatar{width:96px;height:96px;border-radius:50%;background:linear-gradient(135deg,var(--terracotta-500),var(--terracotta-700));color:var(--paper-50);display:inline-flex;align-items:center;justify-content:center;font-family:var(--font-serif);font-size:40px;font-weight:400;font-style:italic}.profile-name{font-family:var(--font-serif);font-size:36px;font-weight:400;line-height:1.05;color:var(--ink-900);margin:0 0 6px}.profile-handle{font-family:var(--font-mono);font-size:13px;color:var(--ink-500);margin-bottom:8px}.profile-bio{font-size:15px;color:var(--ink-700);line-height:1.5;max-width:580px}.profile-tier{text-align:right}.tier-pill{display:inline-flex;align-items:center;gap:6px;padding:6px 14px;background:var(--saffron-50);color:var(--saffron-700);border-radius:var(--radius-pill);font-size:12px;font-weight:600;letter-spacing:.04em;text-transform:uppercase;border:1px solid var(--saffron-100)}.stat-row{display:grid;grid-template-columns:repeat(4,1fr);gap:1px;background:var(--paper-200);border:1px solid var(--paper-200);border-radius:var(--radius-lg);overflow:hidden;margin:32px 0}.stat-cell{background:var(--bg-raised);padding:24px}.stat-cell .label{font-size:11px;letter-spacing:var(--tracking-allcaps);text-transform:uppercase;color:var(--ink-500);font-weight:600;margin-bottom:8px}.stat-cell .num{font-family:var(--font-serif);font-size:36px;font-weight:400;line-height:1;letter-spacing:-.02em;color:var(--ink-900);font-variant-numeric:lining-nums tabular-nums}.stat-cell .delta{margin-top:8px;font-size:12px;font-family:var(--font-mono);color:var(--olive-700)}.stat-cell .delta.down{color:var(--ink-500)}.profile-grid{display:grid;grid-template-columns:1.4fr 1fr;gap:32px}.section-h{font-family:var(--font-serif);font-size:22px;font-weight:500;margin:0 0 16px;color:var(--ink-900)}.saved-list{list-style:none;margin:0;padding:0}.saved-list li{display:grid;grid-template-columns:1fr auto auto;gap:12px;padding:14px 0;border-bottom:1px dashed var(--paper-200);align-items:baseline}.saved-stmt{font-family:"STIX Two Math","Source Serif 4",serif;font-style:italic;font-size:16px;color:var(--ink-900)}.saved-domain{font-size:11px;letter-spacing:var(--tracking-allcaps);text-transform:uppercase;color:var(--ink-500);font-weight:600}.saved-date{font-family:var(--font-mono);font-size:11px;color:var(--ink-500)}.activity-feed{list-style:none;margin:0;padding:0}.activity-feed li{display:grid;grid-template-columns:80px 1fr;gap:12px;padding:12px 0;border-bottom:1px dashed var(--paper-200);font-size:13px}.activity-time{font-family:var(--font-mono);font-size:11px;color:var(--ink-500)}.activity-text{color:var(--ink-700);line-height:1.5}.activity-text strong{color:var(--ink-900);font-weight:500}.activity-text .ic{display:inline-block;width:4px;height:4px;border-radius:50%;background:var(--terracotta-500);margin:0 8px 2px 0;vertical-align:middle}.targeted-search-card{margin-top:40px;padding:32px;background:var(--paper-100);border:1px dashed var(--terracotta-300);border-radius:var(--radius-xl);display:grid;grid-template-columns:1fr auto;align-items:center;gap:24px}.targeted-search-card h4{font-family:var(--font-serif);font-size:22px;margin:0 0 6px;color:var(--ink-900)}.targeted-search-card p{font-size:14px;color:var(--ink-700);margin:0}.pricing-hero{text-align:center;padding:64px 0 32px}.pricing-hero h1{font-family:var(--font-serif);font-size:56px;font-weight:400;line-height:1.05;letter-spacing:-.03em;margin:0 0 16px;color:var(--ink-900)}.pricing-hero h1 em{font-style:italic;color:var(--terracotta-700);font-weight:300}.pricing-hero .lede{max-width:620px;margin:0 auto;font-size:18px;line-height:1.5;color:var(--ink-700)}.tier-grid{display:grid;grid-template-columns:repeat(4,1fr);gap:16px;margin:56px 0 32px}.tier{background:var(--bg-raised);border:1px solid var(--paper-200);border-radius:var(--radius-xl);padding:32px 24px;display:flex;flex-direction:column;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{position:absolute;top:-10px;right:24px;background:var(--terracotta-500);color:var(--paper-50);padding:4px 12px;font-size:10px;letter-spacing:.08em;text-transform:uppercase;font-weight:600;border-radius:var(--radius-pill)}.tier-name{font-family:var(--font-serif);font-size:22px;font-weight:500;color:var(--ink-900);margin:0 0 6px}.tier-tagline{font-size:13px;color:var(--ink-500);margin-bottom:20px;min-height:36px}.tier-price{display:flex;align-items:baseline;gap:6px;margin-bottom:8px}.tier-price-num{font-family:var(--font-serif);font-size:48px;font-weight:400;letter-spacing:-.02em;color:var(--ink-900);line-height:1}.tier-price-period{font-size:13px;color:var(--ink-500)}.tier-price-sub{font-size:12px;color:var(--ink-500);margin-bottom:24px;min-height:18px}.tier .btn{width:100%;justify-content:center;margin-bottom:24px}.tier-features{list-style:none;margin:0;padding:0;flex:1;display:flex;flex-direction:column;gap:12px}.tier-features li{display:grid;grid-template-columns:16px 1fr;gap:10px;align-items:baseline;font-size:13.5px;line-height:1.45;color:var(--ink-700);padding-bottom:12px;border-bottom:1px dashed var(--paper-200)}.tier-features li:last-child{border-bottom:none}.tier-features svg{color:var(--olive-700);flex-shrink:0;margin-top:4px}.targeted-band{margin:64px 0;padding:48px;background:var(--paper-100);border-radius:var(--radius-xl);display:grid;grid-template-columns:1.3fr 1fr;gap:48px;align-items:center}.targeted-band h2{font-family:var(--font-serif);font-size:36px;font-weight:400;letter-spacing:-.025em;color:var(--ink-900);margin:0 0 16px}.targeted-band h2 em{font-style:italic;color:var(--terracotta-700);font-weight:300}.targeted-band p{font-size:16px;line-height:1.55;color:var(--ink-700);margin-bottom:20px}.targeted-quote{background:var(--bg-raised);border:1px solid var(--paper-200);border-radius:var(--radius-lg);padding:24px;font-family:var(--font-mono);font-size:13px;color:var(--ink-700);line-height:1.6}.targeted-quote .label{font-family:var(--font-sans);font-size:11px;letter-spacing:var(--tracking-allcaps);text-transform:uppercase;color:var(--ink-500);font-weight:600;margin-bottom:8px}.targeted-quote .stmt{font-family:"STIX Two Math","Source Serif 4",serif;font-style:italic;font-size:22px;color:var(--ink-900);padding:12px 0}.targeted-quote .price{display:flex;justify-content:space-between;align-items:baseline;padding-top:12px;border-top:1px dashed var(--paper-200);margin-top:8px}.targeted-quote .price strong{font-family:var(--font-serif);font-size:22px;color:var(--terracotta-700);font-weight:400}.donate-band{text-align:center;padding:64px 0}.donate-quote{font-family:var(--font-hand);font-size:32px;color:var(--terracotta-700);line-height:1.3;font-weight:500;max-width:640px;margin:0 auto 32px}.faq-grid{display:grid;grid-template-columns:repeat(2,1fr);gap:32px 48px;margin-top:32px}.faq-item h4{font-family:var(--font-serif);font-size:18px;font-weight:500;margin:0 0 8px;color:var(--ink-900)}.faq-item p{font-size:14px;line-height:1.5;color:var(--ink-700)}.api-hero{text-align:center;padding:56px 0 24px}.api-grid{display:grid;grid-template-columns:280px 1fr;gap:48px}.api-toc{position:sticky;top:72px;align-self:start;border-left:1px dashed var(--paper-300);padding-left:20px}.api-toc h6{font-family:var(--font-sans);font-size:11px;letter-spacing:var(--tracking-allcaps);text-transform:uppercase;color:var(--ink-500);font-weight:600;margin:0 0 12px}.api-toc ul{list-style:none;margin:0;padding:0;display:flex;flex-direction:column;gap:8px}.api-toc a{font-size:13px;color:var(--ink-700);text-decoration:none;font-family:var(--font-mono)}.api-toc a:hover,.api-toc a.active{color:var(--terracotta-500)}.endpoint{margin-bottom:56px}.endpoint-head{display:flex;align-items:baseline;gap:12px;padding:14px 18px;background:var(--ink-900);color:var(--paper-100);border-radius:var(--radius-md);font-family:var(--font-mono);font-size:14px;margin-bottom:16px}.method{padding:3px 10px;border-radius:var(--radius-sm);font-size:11px;font-weight:600;letter-spacing:.04em}.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{margin-left:auto;font-size:10px;letter-spacing:.08em;text-transform:uppercase;color:var(--saffron-300)}.endpoint h3{font-family:var(--font-serif);font-size:22px;margin:0 0 8px}.endpoint .desc{font-size:14px;color:var(--ink-700);margin-bottom:16px;line-height:1.5}.code-block{background:var(--ink-900);color:var(--paper-100);padding:16px 20px;border-radius:var(--radius-md);font-family:var(--font-mono);font-size:12.5px;line-height:1.7;overflow-x:auto;white-space:pre}.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{display:flex;gap:4px;margin-bottom:-1px}.code-tab{padding:8px 16px;font-size:12px;font-family:var(--font-mono);background:transparent;border:1px solid transparent;color:var(--ink-500);cursor:pointer;border-radius:4px 4px 0 0}.code-tab.active{background:var(--ink-900);color:var(--paper-100)}.lead-podium{display:grid;grid-template-columns:1fr 1.2fr 1fr;gap:16px;align-items:end;margin:32px 0 48px}.lead-step{background:var(--bg-raised);border:1px solid var(--paper-200);border-radius:var(--radius-lg);padding:28px 20px;text-align:center}.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);font-size:36px;font-style:italic;color:var(--ink-500);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);font-size:22px;color:var(--ink-900);margin:12px 0 4px}.lead-num{font-family:var(--font-mono);font-size:14px;color:var(--ink-700);font-weight:500}.lead-table{width:100%;border-collapse:separate;border-spacing:0}.lead-table th{text-align:left;padding:12px 16px;font-size:11px;letter-spacing:var(--tracking-allcaps);text-transform:uppercase;color:var(--ink-500);font-weight:600;border-bottom:1px solid var(--paper-200);background:var(--paper-50)}.lead-table td{padding:14px 16px;border-bottom:1px solid var(--paper-200);font-size:14px;color:var(--ink-700)}.lead-table .rank-cell{font-family:var(--font-serif);font-style:italic;color:var(--ink-500);width:60px}.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{display:flex;gap:4px;margin:24px 0 16px}.lead-tab{padding:8px 16px;font-size:13px;background:transparent;border:1px solid var(--paper-200);border-radius:var(--radius-md);color:var(--ink-700);cursor:pointer;font-family:var(--font-sans);font-weight:500}.lead-tab.active{background:var(--ink-900);color:var(--paper-50);border-color:var(--ink-900)}.auth-page{min-height:100vh;display:grid;grid-template-columns:1fr 1fr}.auth-side{background:var(--ink-900);color:var(--paper-100);padding:64px;display:flex;flex-direction:column;justify-content:space-between;position:relative;overflow:hidden}.auth-side-pattern{position:absolute;inset:0;background-image:url(/pattern-geometric.svg);background-size:320px;opacity:.06;pointer-events:none}.auth-side-brand{font-family:var(--font-serif);font-size:28px;font-weight:400;color:var(--paper-50);letter-spacing:-.02em;position:relative}.auth-side-quote{font-family:var(--font-serif);font-style:italic;font-size:32px;line-height:1.3;color:var(--paper-50);position:relative;max-width:480px;margin-bottom:16px}.auth-side-quote em{color:var(--terracotta-300);font-style:italic}.auth-side-attr{font-family:var(--font-hand);font-size:22px;color:var(--terracotta-300);position:relative}.auth-stat-row{position:relative;display:grid;grid-template-columns:repeat(3,1fr);gap:24px;padding-top:24px;border-top:1px solid rgba(255,255,255,.08)}.auth-stat .num{font-family:var(--font-serif);font-size:28px;font-weight:400;color:var(--paper-50);line-height:1;font-variant-numeric:lining-nums tabular-nums}.auth-stat .lbl{font-size:11px;letter-spacing:var(--tracking-allcaps);text-transform:uppercase;color:var(--paper-300);font-weight:600;margin-top:6px}.auth-form-wrap{padding:64px;display:flex;flex-direction:column;justify-content:center;max-width:540px}.auth-form-wrap h1{font-family:var(--font-serif);font-size:38px;font-weight:400;letter-spacing:-.025em;margin:0 0 8px;color:var(--ink-900)}.auth-form-wrap .lede{font-size:15px;color:var(--ink-500);margin-bottom:32px}.auth-tabs{display:flex;gap:4px;margin-bottom:32px;border-bottom:1px solid var(--paper-200)}.auth-tab{padding:12px 0;margin-right:32px;font-size:14px;background:transparent;border:none;border-bottom:2px solid transparent;color:var(--ink-500);cursor:pointer;font-family:var(--font-sans);font-weight:500}.auth-tab.active{color:var(--ink-900);border-bottom-color:var(--terracotta-500)}.field{margin-bottom:20px;display:flex;flex-direction:column;gap:8px}.field label{font-size:12px;letter-spacing:var(--tracking-allcaps);text-transform:uppercase;color:var(--ink-500);font-weight:600}.field input{background:var(--bg-raised);border:1px solid var(--paper-200);border-radius:var(--radius-md);padding:12px 14px;font-family:var(--font-sans);font-size:15px;color:var(--ink-900);transition:all var(--dur-fast) var(--ease-out)}.field input:focus{outline:none;border-color:var(--terracotta-500);box-shadow:0 0 0 3px var(--terracotta-50)}.field .hint{font-size:12px;color:var(--ink-500)}.oauth-grid{display:grid;grid-template-columns:1fr 1fr;gap:12px;margin-top:24px}.oauth-btn{padding:12px;background:transparent;border:1px solid var(--paper-200);border-radius:var(--radius-md);font-size:13px;color:var(--ink-700);font-weight:500;cursor:pointer;display:inline-flex;align-items:center;justify-content:center;gap:8px;font-family:var(--font-sans)}.oauth-btn:hover{background:var(--paper-100)}.divider{display:flex;align-items:center;gap:12px;margin:24px 0;font-size:11px;letter-spacing:var(--tracking-allcaps);text-transform:uppercase;color:var(--ink-500);font-weight:600}.divider:before,.divider:after{content:"";flex:1;height:1px;background:var(--paper-200)}@media(max-width:1024px){.thm-page{grid-template-columns:1fr}.thm-side{border-left:none;padding-left:0;border-top:1px dashed var(--paper-300);padding-top:32px}.search-layout,.api-grid{grid-template-columns:1fr}.api-toc{position:static;border-left:none;padding-left:0;border-bottom:1px dashed var(--paper-300);padding-bottom:16px}.tier-grid{grid-template-columns:repeat(2,1fr)}.targeted-band{grid-template-columns:1fr;padding:32px}.auth-page{grid-template-columns:1fr}.auth-side{padding:32px;min-height:320px}.auth-form-wrap{padding:40px 32px;max-width:100%}.profile-grid{grid-template-columns:1fr}.stat-row{grid-template-columns:repeat(2,1fr)}.lead-podium,.app-header-inner{grid-template-columns:1fr}.app-search{display:none}}@font-face{font-display:block;font-family:KaTeX_AMS;font-style:normal;font-weight:400;src:url(/assets/KaTeX_AMS-Regular-BQhdFMY1.woff2) format("woff2"),url(/assets/KaTeX_AMS-Regular-DMm9YOAa.woff) format("woff"),url(/assets/KaTeX_AMS-Regular-DRggAlZN.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Caligraphic;font-style:normal;font-weight:700;src:url(/assets/KaTeX_Caligraphic-Bold-Dq_IR9rO.woff2) format("woff2"),url(/assets/KaTeX_Caligraphic-Bold-BEiXGLvX.woff) format("woff"),url(/assets/KaTeX_Caligraphic-Bold-ATXxdsX0.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Caligraphic;font-style:normal;font-weight:400;src:url(/assets/KaTeX_Caligraphic-Regular-Di6jR-x-.woff2) format("woff2"),url(/assets/KaTeX_Caligraphic-Regular-CTRA-rTL.woff) format("woff"),url(/assets/KaTeX_Caligraphic-Regular-wX97UBjC.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Fraktur;font-style:normal;font-weight:700;src:url(/assets/KaTeX_Fraktur-Bold-CL6g_b3V.woff2) format("woff2"),url(/assets/KaTeX_Fraktur-Bold-BsDP51OF.woff) format("woff"),url(/assets/KaTeX_Fraktur-Bold-BdnERNNW.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Fraktur;font-style:normal;font-weight:400;src:url(/assets/KaTeX_Fraktur-Regular-CTYiF6lA.woff2) format("woff2"),url(/assets/KaTeX_Fraktur-Regular-Dxdc4cR9.woff) format("woff"),url(/assets/KaTeX_Fraktur-Regular-CB_wures.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:normal;font-weight:700;src:url(/assets/KaTeX_Main-Bold-Cx986IdX.woff2) format("woff2"),url(/assets/KaTeX_Main-Bold-Jm3AIy58.woff) format("woff"),url(/assets/KaTeX_Main-Bold-waoOVXN0.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:italic;font-weight:700;src:url(/assets/KaTeX_Main-BoldItalic-DxDJ3AOS.woff2) format("woff2"),url(/assets/KaTeX_Main-BoldItalic-SpSLRI95.woff) format("woff"),url(/assets/KaTeX_Main-BoldItalic-DzxPMmG6.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:italic;font-weight:400;src:url(/assets/KaTeX_Main-Italic-NWA7e6Wa.woff2) format("woff2"),url(/assets/KaTeX_Main-Italic-BMLOBm91.woff) format("woff"),url(/assets/KaTeX_Main-Italic-3WenGoN9.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:normal;font-weight:400;src:url(/assets/KaTeX_Main-Regular-B22Nviop.woff2) format("woff2"),url(/assets/KaTeX_Main-Regular-Dr94JaBh.woff) format("woff"),url(/assets/KaTeX_Main-Regular-ypZvNtVU.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Math;font-style:italic;font-weight:700;src:url(/assets/KaTeX_Math-BoldItalic-CZnvNsCZ.woff2) format("woff2"),url(/assets/KaTeX_Math-BoldItalic-iY-2wyZ7.woff) format("woff"),url(/assets/KaTeX_Math-BoldItalic-B3XSjfu4.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Math;font-style:italic;font-weight:400;src:url(/assets/KaTeX_Math-Italic-t53AETM-.woff2) format("woff2"),url(/assets/KaTeX_Math-Italic-DA0__PXp.woff) format("woff"),url(/assets/KaTeX_Math-Italic-flOr_0UB.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_SansSerif;font-style:normal;font-weight:700;src:url(/assets/KaTeX_SansSerif-Bold-D1sUS0GD.woff2) format("woff2"),url(/assets/KaTeX_SansSerif-Bold-DbIhKOiC.woff) format("woff"),url(/assets/KaTeX_SansSerif-Bold-CFMepnvq.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_SansSerif;font-style:italic;font-weight:400;src:url(/assets/KaTeX_SansSerif-Italic-C3H0VqGB.woff2) format("woff2"),url(/assets/KaTeX_SansSerif-Italic-DN2j7dab.woff) format("woff"),url(/assets/KaTeX_SansSerif-Italic-YYjJ1zSn.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_SansSerif;font-style:normal;font-weight:400;src:url(/assets/KaTeX_SansSerif-Regular-DDBCnlJ7.woff2) format("woff2"),url(/assets/KaTeX_SansSerif-Regular-CS6fqUqJ.woff) format("woff"),url(/assets/KaTeX_SansSerif-Regular-BNo7hRIc.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Script;font-style:normal;font-weight:400;src:url(/assets/KaTeX_Script-Regular-D3wIWfF6.woff2) format("woff2"),url(/assets/KaTeX_Script-Regular-D5yQViql.woff) format("woff"),url(/assets/KaTeX_Script-Regular-C5JkGWo-.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size1;font-style:normal;font-weight:400;src:url(/assets/KaTeX_Size1-Regular-mCD8mA8B.woff2) format("woff2"),url(/assets/KaTeX_Size1-Regular-C195tn64.woff) format("woff"),url(/assets/KaTeX_Size1-Regular-Dbsnue_I.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size2;font-style:normal;font-weight:400;src:url(/assets/KaTeX_Size2-Regular-Dy4dx90m.woff2) format("woff2"),url(/assets/KaTeX_Size2-Regular-oD1tc_U0.woff) format("woff"),url(/assets/KaTeX_Size2-Regular-B7gKUWhC.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size3;font-style:normal;font-weight:400;src:url(data:font/woff2;base64,d09GMgABAAAAAA4oAA4AAAAAHbQAAA3TAAEAAAAAAAAAAAAAAAAAAAAAAAAAAAAABmAAgRQIDgmcDBEICo1oijYBNgIkA14LMgAEIAWJAAeBHAyBHBvbGiMRdnO0IkRRkiYDgr9KsJ1NUAf2kILNxgUmgqIgq1P89vcbIcmsQbRps3vCcXdYOKSWEPEKgZgQkprQQsxIXUgq0DqpGKmIvrgkeVGtEQD9DzAO29fM9jYhxZEsL2FeURH2JN4MIcTdO049NCVdxQ/w9NrSYFEBKTDKpLKfNkCGDc1RwjZLQcm3vqJ2UW9Xfa3tgAHz6ivp6vgC2yD4/6352ndnN0X0TL7seypkjZlMsjmZnf0Mm5Q+JykRWQBKCVCVPbARPXWyQtb5VgLB6Biq7/Uixcj2WGqdI8tGSgkuRG+t910GKP2D7AQH0DB9FMDW/obJZ8giFI3Wg8Cvevz0M+5m0rTh7XDBlvo9Y4vm13EXmfttwI4mBo1EG15fxJhUiCLbiiyCf/ZA6MFAhg3pGIZGdGIVjtPn6UcMk9A/UUr9PhoNsCENw1APAq0gpH73e+M+0ueyHbabc3vkbcdtzcf/fiy+NxQEjf9ud/ELBHAXJ0nk4z+MXH2Ev/kWyV4k7SkvpPc9Qr38F6RPWnM9cN6DJ0AdD1BhtgABtmoRoFCvPsBAumNm6soZG2Gk5GyVTo2sJncSyp0jQTYoR6WDvTwaaEcHsxHfvuWhHA3a6bN7twRKtcGok6NsCi7jYRrM2jExsUFMxMQYuJbMhuWNOumEJy9hi29Dmg5zMp/A5+hhPG19j1vBrq8JTLr8ki5VLPmG/PynJHVul440bxg5xuymHUFPBshC+nA9I1FmwbRBTNHAcik3Oae0cxKoI3MOriM42UrPe51nsaGxJ+WfXubAsP84aabUlQSJ1IiE0iPETLUU4CATgfXSCSpuRFRmCGbO+wSpAnzaeaCYW1VNEysRtuXCEL1kUFUbbtMv3Tilt/1c11jt3Q5bbMa84cpWipp8Elw3MZhOHsOlwwVUQM3lAR35JiFQbaYCRnMF2lxAWoOg2gyoIV4PouX8HytNIfLhqpJtXB4vjiViUI8IJ7bkC4ikkQvKksnOTKICwnqWSZ9YS5f0WCxmpgjbIq7EJcM4aI2nmhLNY2JIUgOjXZFWBHb+x5oh6cwb0Tv1ackHdKi0I9OO2wE9aogIOn540CCCziyhN+IaejtgAONKznHlHyutPrHGwCx9S6B8kfS4Mfi4Eyv7OU730bT1SCBjt834cXsf43zVjPUqqJjgrjeGnBxSG4aYAKFuVbeCfkDIjAqMb6yLNIbCuvXhMH2/+k2vkNpkORhR59N1CkzoOENvneIosjYmuTxlhUzaGEJQ/iWqx4dmwpmKjrwTiTGTCVozNAYqk/zXOndWxuWSmJkQpJw3pK5KX6QrLt5LATMqpmPAQhkhK6PUjzHUn7E0gHE0kPE0iKkolgkUx9SZmVAdDgpffdyJKg3k7VmzYGCwVXGz/tXmkOIp+vcWs+EMuhhvN0h9uhfzWJziBQmCREGSIFmQIkgVpAnSBRmC//6hkLZwaVhwxlrJSOdqlFtOYxlau9F2QN5Y98xmIAsiM1HVp2VFX+DHHGg6Ecjh3vmqtidX3qHI2qycTk/iwxSt5UzTmEP92ZBnEWTk4Mx8Mpl78ZDokxg/KWb+Q0QkvdKVmq3TMW+RXEgrsziSAfNXFMhDc60N5N9jQzjfO0kBKpUZl0ZmwJ41j/B9Hz6wmRaJB84niNmQrzp9eSlQCDDzazGDdVi3P36VZQ+Jy4f9UBNp+3zTjqI4abaFAm+GShVaXlsGdF3FYzZcDI6cori4kMxUECl9IjJZpzkvitAoxKue+90pDMvcKRxLl53TmOKCmV/xRolNKSqqUxc6LStOETmFOiLZZptlZepcKiAzteG8PEdpnQpbOMNcMsR4RR2Bs0cKFEvSmIjAFcnarqwUL4lDhHmnVkwu1IwshbiCcgvOheZuYyOteufZZwlcTlLgnZ3o/WcYdzZHW/WGaqaVfmTZ1aWCceJjkbZqsfbkOtcFlUZM/jy+hXHDbaUobWqqXaeWobbLO99yG5N3U4wxco0rQGGcOLASFMXeJoham8M+/x6O2WywK2l4HGbq1CoUyC/IZikQhdq3SiuNrvAEj0AVu9x2x3lp/xWzahaxidezFVtdcb5uEnzyl0ZmYiuKI0exvCd4Xc9CV1KB0db00z92wDPde0kukbvZIWN6jUWFTmPIC/Y4UPCm8UfDTFZpZNon1qLFTkBhxzB+FjQRA2Q/YRJT8pQigslMaUpFyAG8TMlXigiqmAZX4xgijKjRlGpLE0GdplRfCaJo0JQaSxNBk6ZmMzcya0FmrcisDdn0Q3HI2sWSppYigmlM1XT/kLQZSNpMJG0WkjYbSZuDpM1F0uYhFc1HxU4m1QJjDK6iL0S5uSj5rgXc3RejEigtcRBtqYPQsiTskmO5vosV+q4VGIKbOkDg0jtRrq+Em1YloaTFar3EGr1EUC8R0kus1Uus00usL97ABr2BjXoDm/QGNhuWtMVBKOwg/i78lT7hBsAvDmwHc/ao3vmUbBmhjeYySZNWvGkfZAgISDSaDo1SVpzGDsAEkF8B+gEapViUoZgUWXcRIGFZNm6gWbAKk0bp0k1MHG9fLYtV4iS2SmLEQFARzRcnf9PUS0LVn05/J9MiRRBU3v2IrvW974v4N00L7ZMk0wXP1409CHo/an8zTRHD3eSJ6m8D4YMkZNl3M79sqeuAsr/m3f+8/yl7A50aiAEJgeBeMWzu7ui9UfUBCe2TIqZIoOd/3/udRBOQidQZUERzb2/VwZN1H/Sju82ew2H2Wfr6qvfVf3hqwDvAIpkQVFy4B9Pe9e4/XvPeceu7h3dvO56iJPf0+A6cqA2ip18ER+iFgggiuOkvj24bby0N9j2UHIkgqIt+sVgfodC4YghLSMjSZbH0VR/6dMDrYJeKHilKTemt6v6kvzvn3/RrdWtr0GoN/xL+Sex/cPYLUpepx9cz/D46UPU5KXgAQa+NDps1v6J3xP1i2HtaDB0M9aX2deA7SYff//+gUCovMmIK/qfsFcOk+4Y5ZN97XlG6zebqtMbKgeRFi51vnxTQYBUik2rS/Cn6PC8ADR8FGxsRPB82dzfND90gIcshOcYUkfjherBz53odpm6TP8txlwOZ71xmfHHOvq053qFF/MRlS3jP0ELudrf2OeN8DHvp6ZceLe8qKYvWz/7yp0u4dKPfli3CYq0O13Ih71mylJ80tOi10On8wi+F4+LWgDPeJ30msSQt9/vkmHq9/Lvo2b461mP801v3W4xTcs6CbvF9UDdrSt+A8OUbpSh55qAUFXWznBBfdeJ8a4d7ugT5tvxUza3h9m4H7ptTqiG4z0g5dc0X29OcGlhpGFMpQo9ytTS+NViZpNdvU4kWx+LKxNY10kQ1yqGXrhe4/1nvP7E+nd5A92TtaRplbHSqoIdOqtRWti+fkB5/n1+/VvCmz12pG1kpQWsfi1ftlBobm0bpngs16CHkbIwdLnParxtTV3QYRlfJ0KFskH7pdN/YDn+yRuSd7sNH3aO0DYPggk6uWuXrfOc+fa3VTxFVvKaNxHsiHmsXyCLIE5yuOeN3/Jdf8HBL/5M6shjyhxHx9BjB1O0+4NLOnjLLSxwO7ukN4jMbOIcD879KLSi6Pk61Oqm2377n8079PXEEQ7cy7OKEC9nbpet118fxweTafpt69x/Bt8UqGzNQt7aelpc44dn5cqhwf71+qKp/Zf/+a0zcizOUWpl/iBcSXip0pplkatCchoH5c5aUM8I7/dWxAej8WicPL1URFZ9BDJelUwEwTkGqUhgSlydVes95YdXvhh9Gfz/aeFWvgVb4tuLbcv4+wLdutVZv/cUonwBD/6eDlE0aSiKK/uoH3+J1wDE/jMVqY2ysGufN84oIXB0sPzy8ollX/LegY74DgJXJR57sn+VGza0x3DnuIgABFM15LmajjjsNlYj+JEZGbuRYcAMOWxFkPN2w6Wd46xo4gVWQR/X4lyI/R6K/YK0110GzudPRW7Y+UOBGTfNNzHeYT0fiH0taunBpq9HEW8OKSaBGj21L0MqenEmNRWBAWDWAk4CpNoEZJ2tTaPFgbQYj8HxtFilErs3BTRwT8uO1NXQaWfIotchmPkAF5mMBAliEmZiOGVgCG9LgRzpscMAOOwowlT3JhusdazXGSC/hxR3UlmWVwWHpOIKheqONvjyhSiTHIkVUco5bnji8m//zL7PKaT1Vl5I6UE609f+gkr6MZKVyKc7zJRmCahLsdlyA5fdQkRSan9LgnnLEyGSkaKJCJog0wAgvepWBt80+1yKln1bMVtCljfNWDueKLsWwaEbBSfSPTEmVRsUcYYMnEjcjeyCZzBXK9E9BYBXLKjOSpUDR+nEV3TFSUdQaz+ot98QxgXwx0GQ+EEUAKB2qZPkQQ0GqFD8UPFMqyaCHM24BZmSGic9EYMagKizOw9Hz50DMrDLrqqLkTAhplMictiCAx5S3BIUQdeJeLnBy2CNtMfz6cV4u8XKoFZQesbf9YZiIERiHjaNodDW6LgcirX/mPnJIkBGDUpTBhSa0EIr38D5hCIszhCM8URGBqImoWjpvpt1ebu/v3Gl3qJfMnNM+9V+kiRFyROTPHQWOcs1dNW94/ukKMPZBvDi55i5CttdeJz84DLngLqjcdwEZ87bFFR8CIG35OAkDVN6VRDZ7aq67NteYqZ2lpT8oYB2CytoBd6VuAx4WgiAsnuj3WohG+LugzXiQRDeM3XYXlULv4dp5VFYC) format("woff2"),url(/assets/KaTeX_Size3-Regular-CTq5MqoE.woff) format("woff"),url(/assets/KaTeX_Size3-Regular-DgpXs0kz.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size4;font-style:normal;font-weight:400;src:url(/assets/KaTeX_Size4-Regular-Dl5lxZxV.woff2) format("woff2"),url(/assets/KaTeX_Size4-Regular-BF-4gkZK.woff) format("woff"),url(/assets/KaTeX_Size4-Regular-DWFBv043.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Typewriter;font-style:normal;font-weight:400;src:url(/assets/KaTeX_Typewriter-Regular-CO6r4hn1.woff2) format("woff2"),url(/assets/KaTeX_Typewriter-Regular-C0xS9mPB.woff) format("woff"),url(/assets/KaTeX_Typewriter-Regular-D3Ib7_Hf.ttf) format("truetype")}.katex{font: 1.21em KaTeX_Main,Times New Roman,serif;line-height:1.2;text-indent:0;text-rendering:auto}.katex *{-ms-high-contrast-adjust:none!important;border-color:currentColor}.katex .katex-version:after{content:"0.16.28"}.katex .katex-mathml{clip:rect(1px,1px,1px,1px);border:0;height:1px;overflow:hidden;padding:0;position:absolute;width:1px}.katex .katex-html>.newline{display:block}.katex .base{position:relative;white-space:nowrap;width:-webkit-min-content;width:-moz-min-content;width:min-content}.katex .base,.katex .strut{display:inline-block}.katex .textbf{font-weight:700}.katex .textit{font-style:italic}.katex .textrm{font-family:KaTeX_Main}.katex .textsf{font-family:KaTeX_SansSerif}.katex .texttt{font-family:KaTeX_Typewriter}.katex .mathnormal{font-family:KaTeX_Math;font-style:italic}.katex .mathit{font-family:KaTeX_Main;font-style:italic}.katex .mathrm{font-style:normal}.katex .mathbf{font-family:KaTeX_Main;font-weight:700}.katex .boldsymbol{font-family:KaTeX_Math;font-style:italic;font-weight:700}.katex .amsrm,.katex .mathbb,.katex .textbb{font-family:KaTeX_AMS}.katex .mathcal{font-family:KaTeX_Caligraphic}.katex .mathfrak,.katex .textfrak{font-family:KaTeX_Fraktur}.katex .mathboldfrak,.katex .textboldfrak{font-family:KaTeX_Fraktur;font-weight:700}.katex .mathtt{font-family:KaTeX_Typewriter}.katex .mathscr,.katex .textscr{font-family:KaTeX_Script}.katex .mathsf,.katex .textsf{font-family:KaTeX_SansSerif}.katex .mathboldsf,.katex .textboldsf{font-family:KaTeX_SansSerif;font-weight:700}.katex .mathitsf,.katex .mathsfit,.katex .textitsf{font-family:KaTeX_SansSerif;font-style:italic}.katex .mainrm{font-family:KaTeX_Main;font-style:normal}.katex .vlist-t{border-collapse:collapse;display:inline-table;table-layout:fixed}.katex .vlist-r{display:table-row}.katex .vlist{display:table-cell;position:relative;vertical-align:bottom}.katex .vlist>span{display:block;height:0;position:relative}.katex .vlist>span>span{display:inline-block}.katex .vlist>span>.pstrut{overflow:hidden;width:0}.katex .vlist-t2{margin-right:-2px}.katex .vlist-s{display:table-cell;font-size:1px;min-width:2px;vertical-align:bottom;width:2px}.katex .vbox{align-items:baseline;display:inline-flex;flex-direction:column}.katex .hbox{width:100%}.katex .hbox,.katex .thinbox{display:inline-flex;flex-direction:row}.katex .thinbox{max-width:0;width:0}.katex .msupsub{text-align:left}.katex .mfrac>span>span{text-align:center}.katex .mfrac .frac-line{border-bottom-style:solid;display:inline-block;width:100%}.katex .hdashline,.katex .hline,.katex .mfrac .frac-line,.katex .overline .overline-line,.katex .rule,.katex .underline .underline-line{min-height:1px}.katex .mspace{display:inline-block}.katex .clap,.katex .llap,.katex .rlap{position:relative;width:0}.katex .clap>.inner,.katex .llap>.inner,.katex .rlap>.inner{position:absolute}.katex .clap>.fix,.katex .llap>.fix,.katex .rlap>.fix{display:inline-block}.katex .llap>.inner{right:0}.katex .clap>.inner,.katex .rlap>.inner{left:0}.katex .clap>.inner>span{margin-left:-50%;margin-right:50%}.katex .rule{border:0 solid;display:inline-block;position:relative}.katex .hline,.katex .overline .overline-line,.katex .underline .underline-line{border-bottom-style:solid;display:inline-block;width:100%}.katex .hdashline{border-bottom-style:dashed;display:inline-block;width:100%}.katex .sqrt>.root{margin-left:.2777777778em;margin-right:-.5555555556em}.katex .fontsize-ensurer.reset-size1.size1,.katex .sizing.reset-size1.size1{font-size:1em}.katex .fontsize-ensurer.reset-size1.size2,.katex .sizing.reset-size1.size2{font-size:1.2em}.katex .fontsize-ensurer.reset-size1.size3,.katex .sizing.reset-size1.size3{font-size:1.4em}.katex .fontsize-ensurer.reset-size1.size4,.katex .sizing.reset-size1.size4{font-size:1.6em}.katex .fontsize-ensurer.reset-size1.size5,.katex .sizing.reset-size1.size5{font-size:1.8em}.katex .fontsize-ensurer.reset-size1.size6,.katex .sizing.reset-size1.size6{font-size:2em}.katex .fontsize-ensurer.reset-size1.size7,.katex .sizing.reset-size1.size7{font-size:2.4em}.katex .fontsize-ensurer.reset-size1.size8,.katex .sizing.reset-size1.size8{font-size:2.88em}.katex .fontsize-ensurer.reset-size1.size9,.katex .sizing.reset-size1.size9{font-size:3.456em}.katex .fontsize-ensurer.reset-size1.size10,.katex .sizing.reset-size1.size10{font-size:4.148em}.katex .fontsize-ensurer.reset-size1.size11,.katex .sizing.reset-size1.size11{font-size:4.976em}.katex .fontsize-ensurer.reset-size2.size1,.katex .sizing.reset-size2.size1{font-size:.8333333333em}.katex .fontsize-ensurer.reset-size2.size2,.katex .sizing.reset-size2.size2{font-size:1em}.katex .fontsize-ensurer.reset-size2.size3,.katex .sizing.reset-size2.size3{font-size:1.1666666667em}.katex .fontsize-ensurer.reset-size2.size4,.katex .sizing.reset-size2.size4{font-size:1.3333333333em}.katex .fontsize-ensurer.reset-size2.size5,.katex .sizing.reset-size2.size5{font-size:1.5em}.katex .fontsize-ensurer.reset-size2.size6,.katex .sizing.reset-size2.size6{font-size:1.6666666667em}.katex .fontsize-ensurer.reset-size2.size7,.katex .sizing.reset-size2.size7{font-size:2em}.katex .fontsize-ensurer.reset-size2.size8,.katex .sizing.reset-size2.size8{font-size:2.4em}.katex .fontsize-ensurer.reset-size2.size9,.katex .sizing.reset-size2.size9{font-size:2.88em}.katex .fontsize-ensurer.reset-size2.size10,.katex .sizing.reset-size2.size10{font-size:3.4566666667em}.katex .fontsize-ensurer.reset-size2.size11,.katex .sizing.reset-size2.size11{font-size:4.1466666667em}.katex .fontsize-ensurer.reset-size3.size1,.katex .sizing.reset-size3.size1{font-size:.7142857143em}.katex .fontsize-ensurer.reset-size3.size2,.katex .sizing.reset-size3.size2{font-size:.8571428571em}.katex .fontsize-ensurer.reset-size3.size3,.katex .sizing.reset-size3.size3{font-size:1em}.katex .fontsize-ensurer.reset-size3.size4,.katex .sizing.reset-size3.size4{font-size:1.1428571429em}.katex .fontsize-ensurer.reset-size3.size5,.katex .sizing.reset-size3.size5{font-size:1.2857142857em}.katex .fontsize-ensurer.reset-size3.size6,.katex .sizing.reset-size3.size6{font-size:1.4285714286em}.katex .fontsize-ensurer.reset-size3.size7,.katex .sizing.reset-size3.size7{font-size:1.7142857143em}.katex .fontsize-ensurer.reset-size3.size8,.katex .sizing.reset-size3.size8{font-size:2.0571428571em}.katex .fontsize-ensurer.reset-size3.size9,.katex .sizing.reset-size3.size9{font-size:2.4685714286em}.katex .fontsize-ensurer.reset-size3.size10,.katex .sizing.reset-size3.size10{font-size:2.9628571429em}.katex .fontsize-ensurer.reset-size3.size11,.katex .sizing.reset-size3.size11{font-size:3.5542857143em}.katex .fontsize-ensurer.reset-size4.size1,.katex .sizing.reset-size4.size1{font-size:.625em}.katex .fontsize-ensurer.reset-size4.size2,.katex .sizing.reset-size4.size2{font-size:.75em}.katex .fontsize-ensurer.reset-size4.size3,.katex .sizing.reset-size4.size3{font-size:.875em}.katex .fontsize-ensurer.reset-size4.size4,.katex .sizing.reset-size4.size4{font-size:1em}.katex .fontsize-ensurer.reset-size4.size5,.katex .sizing.reset-size4.size5{font-size:1.125em}.katex .fontsize-ensurer.reset-size4.size6,.katex .sizing.reset-size4.size6{font-size:1.25em}.katex .fontsize-ensurer.reset-size4.size7,.katex .sizing.reset-size4.size7{font-size:1.5em}.katex .fontsize-ensurer.reset-size4.size8,.katex .sizing.reset-size4.size8{font-size:1.8em}.katex .fontsize-ensurer.reset-size4.size9,.katex .sizing.reset-size4.size9{font-size:2.16em}.katex .fontsize-ensurer.reset-size4.size10,.katex .sizing.reset-size4.size10{font-size:2.5925em}.katex .fontsize-ensurer.reset-size4.size11,.katex .sizing.reset-size4.size11{font-size:3.11em}.katex .fontsize-ensurer.reset-size5.size1,.katex .sizing.reset-size5.size1{font-size:.5555555556em}.katex .fontsize-ensurer.reset-size5.size2,.katex .sizing.reset-size5.size2{font-size:.6666666667em}.katex .fontsize-ensurer.reset-size5.size3,.katex .sizing.reset-size5.size3{font-size:.7777777778em}.katex .fontsize-ensurer.reset-size5.size4,.katex .sizing.reset-size5.size4{font-size:.8888888889em}.katex .fontsize-ensurer.reset-size5.size5,.katex .sizing.reset-size5.size5{font-size:1em}.katex .fontsize-ensurer.reset-size5.size6,.katex .sizing.reset-size5.size6{font-size:1.1111111111em}.katex .fontsize-ensurer.reset-size5.size7,.katex .sizing.reset-size5.size7{font-size:1.3333333333em}.katex .fontsize-ensurer.reset-size5.size8,.katex .sizing.reset-size5.size8{font-size:1.6em}.katex .fontsize-ensurer.reset-size5.size9,.katex .sizing.reset-size5.size9{font-size:1.92em}.katex .fontsize-ensurer.reset-size5.size10,.katex .sizing.reset-size5.size10{font-size:2.3044444444em}.katex .fontsize-ensurer.reset-size5.size11,.katex .sizing.reset-size5.size11{font-size:2.7644444444em}.katex .fontsize-ensurer.reset-size6.size1,.katex .sizing.reset-size6.size1{font-size:.5em}.katex .fontsize-ensurer.reset-size6.size2,.katex .sizing.reset-size6.size2{font-size:.6em}.katex .fontsize-ensurer.reset-size6.size3,.katex .sizing.reset-size6.size3{font-size:.7em}.katex .fontsize-ensurer.reset-size6.size4,.katex .sizing.reset-size6.size4{font-size:.8em}.katex .fontsize-ensurer.reset-size6.size5,.katex .sizing.reset-size6.size5{font-size:.9em}.katex .fontsize-ensurer.reset-size6.size6,.katex .sizing.reset-size6.size6{font-size:1em}.katex .fontsize-ensurer.reset-size6.size7,.katex .sizing.reset-size6.size7{font-size:1.2em}.katex .fontsize-ensurer.reset-size6.size8,.katex .sizing.reset-size6.size8{font-size:1.44em}.katex .fontsize-ensurer.reset-size6.size9,.katex .sizing.reset-size6.size9{font-size:1.728em}.katex .fontsize-ensurer.reset-size6.size10,.katex .sizing.reset-size6.size10{font-size:2.074em}.katex .fontsize-ensurer.reset-size6.size11,.katex .sizing.reset-size6.size11{font-size:2.488em}.katex .fontsize-ensurer.reset-size7.size1,.katex .sizing.reset-size7.size1{font-size:.4166666667em}.katex .fontsize-ensurer.reset-size7.size2,.katex .sizing.reset-size7.size2{font-size:.5em}.katex .fontsize-ensurer.reset-size7.size3,.katex .sizing.reset-size7.size3{font-size:.5833333333em}.katex .fontsize-ensurer.reset-size7.size4,.katex .sizing.reset-size7.size4{font-size:.6666666667em}.katex .fontsize-ensurer.reset-size7.size5,.katex .sizing.reset-size7.size5{font-size:.75em}.katex .fontsize-ensurer.reset-size7.size6,.katex .sizing.reset-size7.size6{font-size:.8333333333em}.katex .fontsize-ensurer.reset-size7.size7,.katex .sizing.reset-size7.size7{font-size:1em}.katex .fontsize-ensurer.reset-size7.size8,.katex .sizing.reset-size7.size8{font-size:1.2em}.katex .fontsize-ensurer.reset-size7.size9,.katex .sizing.reset-size7.size9{font-size:1.44em}.katex .fontsize-ensurer.reset-size7.size10,.katex .sizing.reset-size7.size10{font-size:1.7283333333em}.katex .fontsize-ensurer.reset-size7.size11,.katex .sizing.reset-size7.size11{font-size:2.0733333333em}.katex .fontsize-ensurer.reset-size8.size1,.katex .sizing.reset-size8.size1{font-size:.3472222222em}.katex .fontsize-ensurer.reset-size8.size2,.katex .sizing.reset-size8.size2{font-size:.4166666667em}.katex .fontsize-ensurer.reset-size8.size3,.katex .sizing.reset-size8.size3{font-size:.4861111111em}.katex .fontsize-ensurer.reset-size8.size4,.katex .sizing.reset-size8.size4{font-size:.5555555556em}.katex .fontsize-ensurer.reset-size8.size5,.katex .sizing.reset-size8.size5{font-size:.625em}.katex .fontsize-ensurer.reset-size8.size6,.katex .sizing.reset-size8.size6{font-size:.6944444444em}.katex .fontsize-ensurer.reset-size8.size7,.katex .sizing.reset-size8.size7{font-size:.8333333333em}.katex .fontsize-ensurer.reset-size8.size8,.katex .sizing.reset-size8.size8{font-size:1em}.katex .fontsize-ensurer.reset-size8.size9,.katex .sizing.reset-size8.size9{font-size:1.2em}.katex .fontsize-ensurer.reset-size8.size10,.katex .sizing.reset-size8.size10{font-size:1.4402777778em}.katex .fontsize-ensurer.reset-size8.size11,.katex .sizing.reset-size8.size11{font-size:1.7277777778em}.katex .fontsize-ensurer.reset-size9.size1,.katex .sizing.reset-size9.size1{font-size:.2893518519em}.katex .fontsize-ensurer.reset-size9.size2,.katex .sizing.reset-size9.size2{font-size:.3472222222em}.katex .fontsize-ensurer.reset-size9.size3,.katex .sizing.reset-size9.size3{font-size:.4050925926em}.katex .fontsize-ensurer.reset-size9.size4,.katex .sizing.reset-size9.size4{font-size:.462962963em}.katex .fontsize-ensurer.reset-size9.size5,.katex .sizing.reset-size9.size5{font-size:.5208333333em}.katex .fontsize-ensurer.reset-size9.size6,.katex .sizing.reset-size9.size6{font-size:.5787037037em}.katex .fontsize-ensurer.reset-size9.size7,.katex .sizing.reset-size9.size7{font-size:.6944444444em}.katex .fontsize-ensurer.reset-size9.size8,.katex .sizing.reset-size9.size8{font-size:.8333333333em}.katex .fontsize-ensurer.reset-size9.size9,.katex .sizing.reset-size9.size9{font-size:1em}.katex .fontsize-ensurer.reset-size9.size10,.katex .sizing.reset-size9.size10{font-size:1.2002314815em}.katex .fontsize-ensurer.reset-size9.size11,.katex .sizing.reset-size9.size11{font-size:1.4398148148em}.katex .fontsize-ensurer.reset-size10.size1,.katex .sizing.reset-size10.size1{font-size:.2410800386em}.katex .fontsize-ensurer.reset-size10.size2,.katex .sizing.reset-size10.size2{font-size:.2892960463em}.katex .fontsize-ensurer.reset-size10.size3,.katex .sizing.reset-size10.size3{font-size:.337512054em}.katex .fontsize-ensurer.reset-size10.size4,.katex .sizing.reset-size10.size4{font-size:.3857280617em}.katex .fontsize-ensurer.reset-size10.size5,.katex .sizing.reset-size10.size5{font-size:.4339440694em}.katex .fontsize-ensurer.reset-size10.size6,.katex .sizing.reset-size10.size6{font-size:.4821600771em}.katex .fontsize-ensurer.reset-size10.size7,.katex .sizing.reset-size10.size7{font-size:.5785920926em}.katex .fontsize-ensurer.reset-size10.size8,.katex .sizing.reset-size10.size8{font-size:.6943105111em}.katex .fontsize-ensurer.reset-size10.size9,.katex .sizing.reset-size10.size9{font-size:.8331726133em}.katex .fontsize-ensurer.reset-size10.size10,.katex .sizing.reset-size10.size10{font-size:1em}.katex .fontsize-ensurer.reset-size10.size11,.katex .sizing.reset-size10.size11{font-size:1.1996142719em}.katex .fontsize-ensurer.reset-size11.size1,.katex .sizing.reset-size11.size1{font-size:.2009646302em}.katex .fontsize-ensurer.reset-size11.size2,.katex .sizing.reset-size11.size2{font-size:.2411575563em}.katex .fontsize-ensurer.reset-size11.size3,.katex .sizing.reset-size11.size3{font-size:.2813504823em}.katex .fontsize-ensurer.reset-size11.size4,.katex .sizing.reset-size11.size4{font-size:.3215434084em}.katex .fontsize-ensurer.reset-size11.size5,.katex .sizing.reset-size11.size5{font-size:.3617363344em}.katex .fontsize-ensurer.reset-size11.size6,.katex .sizing.reset-size11.size6{font-size:.4019292605em}.katex .fontsize-ensurer.reset-size11.size7,.katex .sizing.reset-size11.size7{font-size:.4823151125em}.katex .fontsize-ensurer.reset-size11.size8,.katex .sizing.reset-size11.size8{font-size:.578778135em}.katex .fontsize-ensurer.reset-size11.size9,.katex .sizing.reset-size11.size9{font-size:.6945337621em}.katex .fontsize-ensurer.reset-size11.size10,.katex .sizing.reset-size11.size10{font-size:.8336012862em}.katex .fontsize-ensurer.reset-size11.size11,.katex .sizing.reset-size11.size11{font-size:1em}.katex .delimsizing.size1{font-family:KaTeX_Size1}.katex .delimsizing.size2{font-family:KaTeX_Size2}.katex .delimsizing.size3{font-family:KaTeX_Size3}.katex .delimsizing.size4{font-family:KaTeX_Size4}.katex .delimsizing.mult .delim-size1>span{font-family:KaTeX_Size1}.katex .delimsizing.mult .delim-size4>span{font-family:KaTeX_Size4}.katex .nulldelimiter{display:inline-block;width:.12em}.katex .delimcenter,.katex .op-symbol{position:relative}.katex .op-symbol.small-op{font-family:KaTeX_Size1}.katex .op-symbol.large-op{font-family:KaTeX_Size2}.katex .accent>.vlist-t,.katex .op-limits>.vlist-t{text-align:center}.katex .accent .accent-body{position:relative}.katex .accent .accent-body:not(.accent-full){width:0}.katex .overlay{display:block}.katex .mtable .vertical-separator{display:inline-block;min-width:1px}.katex .mtable .arraycolsep{display:inline-block}.katex .mtable .col-align-c>.vlist-t{text-align:center}.katex .mtable .col-align-l>.vlist-t{text-align:left}.katex .mtable .col-align-r>.vlist-t{text-align:right}.katex .svg-align{text-align:left}.katex svg{fill:currentColor;stroke:currentColor;fill-rule:nonzero;fill-opacity:1;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1;display:block;height:inherit;position:absolute;width:100%}.katex svg path{stroke:none}.katex img{border-style:none;max-height:none;max-width:none;min-height:0;min-width:0}.katex .stretchy{display:block;overflow:hidden;position:relative;width:100%}.katex .stretchy:after,.katex .stretchy:before{content:""}.katex .hide-tail{overflow:hidden;position:relative;width:100%}.katex .halfarrow-left{left:0;overflow:hidden;position:absolute;width:50.2%}.katex .halfarrow-right{overflow:hidden;position:absolute;right:0;width:50.2%}.katex .brace-left{left:0;overflow:hidden;position:absolute;width:25.1%}.katex .brace-center{left:25%;overflow:hidden;position:absolute;width:50%}.katex .brace-right{overflow:hidden;position:absolute;right:0;width:25.1%}.katex .x-arrow-pad{padding:0 .5em}.katex .cd-arrow-pad{padding:0 .55556em 0 .27778em}.katex .mover,.katex .munder,.katex .x-arrow{text-align:center}.katex .boxpad{padding:0 .3em}.katex .fbox,.katex .fcolorbox{border:.04em solid;box-sizing:border-box}.katex .cancel-pad{padding:0 .2em}.katex .cancel-lap{margin-left:-.2em;margin-right:-.2em}.katex .sout{border-bottom-style:solid;border-bottom-width:.08em}.katex .angl{border-right:.049em solid;border-top:.049em solid;box-sizing:border-box;margin-right:.03889em}.katex .anglpad{padding:0 .03889em}.katex .eqn-num:before{content:"(" counter(katexEqnNo) ")";counter-increment:katexEqnNo}.katex .mml-eqn-num:before{content:"(" counter(mmlEqnNo) ")";counter-increment:mmlEqnNo}.katex .mtr-glue{width:50%}.katex .cd-vert-arrow{display:inline-block;position:relative}.katex .cd-label-left{display:inline-block;position:absolute;right:calc(50% + .3em);text-align:left}.katex .cd-label-right{display:inline-block;left:calc(50% + .3em);position:absolute;text-align:right}.katex-display{display:block;margin:1em 0;text-align:center}.katex-display>.katex{display:block;text-align:center;white-space:nowrap}.katex-display>.katex>.katex-html{display:block;position:relative}.katex-display>.katex>.katex-html>.tag{position:absolute;right:0}.katex-display.leqno>.katex>.katex-html>.tag{left:0;right:auto}.katex-display.fleqn>.katex{padding-left:2em;text-align:left}body{counter-reset:katexEqnNo mmlEqnNo}