@import"https://fonts.googleapis.com/css2?family=Lexend:wght@300;400;500;600;700;800&family=Lexend+Deca:wght@400;500;600;700&family=Roboto+Mono:ital,wght@0,400;0,500;0,700;1,400&display=swap";:root{--bg-primary: #ffffff;--bg-secondary: #f8fafc;--bg-tertiary: #f1f5f9;--bg-inverse: #0f172a;--text-primary: #0f172a;--text-secondary: #475569;--text-muted: #64748b;--text-inverse: #f8fafc;--border-primary: #e2e8f0;--border-secondary: #cbd5e1;--border-strong: #94a3b8;--brand-red: #dc2418;--brand-red-dark: #b21d12;--brand-red-soft: #fdecea;--brand-blue: #1e3a8a;--brand-blue-dark: #162a66;--brand-blue-soft: #e8edf9;--accent-primary: var(--brand-red);--accent-secondary: var(--brand-blue);--accent-terminal: #30631b;--link-color: var(--brand-blue);--link-hover: var(--brand-blue-dark);--score-good: #0f9d58;--score-bad: var(--brand-red);--color-agent-gpt5: var(--brand-blue);--color-agent-human: #50a4e7;--category-blue: #4477aa;--category-red: #ee6677;--category-green: #228833;--category-yellow: #ccbb44;--category-cyan: #66ccee;--category-purple: #aa3377;--category-gray: #bbbbbb;--wine-black: #09090b;--wine-dark-gray: #18181b;--wine-med-gray: #27272a;--wine-blue: #1e3a5f;--wine-light-blue: #3f3f46;--wine-tan: #fafafa;--wine-tan-transparent: rgba(250, 250, 250, .05);--wine-dark-tan: #a1a1aa;--wine-red: #3b82f6;--wine-gold: #f7b956;--wine-dark-gold: #e7a53b;--wine-green: #22c55e;--color-black: #000000;--color-white: #ffffff;--color-gray-50: #f8fafc;--color-gray-100: #f1f5f9;--color-gray-200: #e2e8f0;--color-gray-300: #cbd5e1;--color-gray-400: #94a3b8;--color-gray-500: #64748b;--color-gray-600: #475569;--color-gray-700: #334155;--color-gray-800: #1e293b;--color-gray-900: #0f172a;--color-gray-1000: #020617;--color-purple: #5451f4;--color-blue: #5451f4;--color-green: #34a29e;--color-red: #e84545;--color-yellow: #f7b956;--12px: .75rem;--14px: .875rem;--16px: 1rem;--18px: 1.125rem;--20px: 1.25rem;--22px: 1.375rem;--24px: 1.5rem;--28px: 1.75rem;--32px: 2rem;--36px: 2.25rem;--40px: 2.5rem;--44px: 2.75rem;--48px: 3rem;--56px: 3.5rem;--64px: 4rem;--80px: 5rem;--96px: 6rem;--112px: 7rem;--128px: 8rem;--sans: "Lexend", -apple-system, BlinkMacSystemFont, "Segoe UI", system-ui, sans-serif;--serif: "Lexend Deca", "Lexend", -apple-system, BlinkMacSystemFont, sans-serif;--mono: "Roboto Mono", ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;--space-xs: .25rem;--space-sm: .5rem;--space-md: 1rem;--space-lg: 1.5rem;--space-xl: 2rem;--space-2xl: 3rem;--radius: 8px;--radius-lg: 12px;--radius-sm: 4px;--shadow: 0 1px 3px rgba(15, 23, 42, .07), 0 1px 2px rgba(15, 23, 42, .05);--shadow-lg: 0 8px 24px rgba(15, 23, 42, .08), 0 2px 6px rgba(15, 23, 42, .04)}/*! normalize.css v8.0.1 | MIT License | github.com/necolas/normalize.css */html{line-height:1.15;-webkit-text-size-adjust:100%}body{margin:0;background:var(--bg-primary);color:var(--text-primary)}main{display:block}h1{font-size:2em;margin:.67em 0}hr{box-sizing:content-box;height:0;overflow:visible}pre{font-family:monospace,monospace;font-size:1em}a{background-color:transparent}abbr[title]{border-bottom:none;text-decoration:underline;text-decoration:underline dotted}b,strong{font-weight:bolder}code,kbd,samp{font-family:monospace,monospace;font-size:1em}small{font-size:80%}sub,sup{font-size:75%;line-height:0;position:relative;vertical-align:baseline}sub{bottom:-.25em}sup{top:-.5em}img{border-style:none}button,input,optgroup,select,textarea{font-family:inherit;font-size:100%;line-height:1.15;margin:0}button,input{overflow:visible}button,select{text-transform:none}button,[type=button],[type=reset],[type=submit]{-webkit-appearance:button}button::-moz-focus-inner,[type=button]::-moz-focus-inner,[type=reset]::-moz-focus-inner,[type=submit]::-moz-focus-inner{border-style:none;padding:0}button:-moz-focusring,[type=button]:-moz-focusring,[type=reset]:-moz-focusring,[type=submit]:-moz-focusring{outline:1px dotted ButtonText}fieldset{padding:.35em .75em .625em}legend{box-sizing:border-box;color:inherit;display:table;max-width:100%;padding:0;white-space:normal}progress{vertical-align:baseline}textarea{overflow:auto}[type=checkbox],[type=radio]{box-sizing:border-box;padding:0}[type=number]::-webkit-inner-spin-button,[type=number]::-webkit-outer-spin-button{height:auto}[type=search]{-webkit-appearance:textfield;outline-offset:-2px}[type=search]::-webkit-search-decoration{-webkit-appearance:none}::-webkit-file-upload-button{-webkit-appearance:button;font:inherit}details{display:block}summary{display:list-item}template{display:none}[hidden]{display:none}/*! https://github.com/a11yproject/a11yproject.com/blob/main/src/css/base/_resets.scss */*,*:before,*:after{box-sizing:border-box;margin:0;padding:0;vertical-align:baseline}a img{border:none}b,strong{font-weight:700}button,input[type=button]{border:0}em,cite,i{font-style:italic}img,figure,picture{border:0;display:block;height:auto;max-width:100%}h1,h2,h3,h4,h5,h6{font-weight:500}sub{text-transform:lowercase;font-size:inherit;font-variant-position:sub}sup{text-transform:lowercase;font-variant-position:super}textarea{overflow:auto;resize:vertical}body{background-color:var(--bg-primary);color:var(--text-primary);line-height:1.4;font-family:var(--font-body, serif);font-feature-settings:"kern" 1,"liga" 1,"calt" 1;text-rendering:optimizeLegibility;word-wrap:break-word;-webkit-tap-highlight-color:transparent;overflow-x:hidden}h1,h2,h3,h4,h5,h6,p{margin:16px 0}mark{background-color:var(--color-mark, yellow);padding:0 4px}a{color:var(--color-link, blue);text-decoration:none;border-bottom:1px solid currentColor}img,video{display:block;max-width:100%;height:auto}input,textarea{-webkit-appearance:none;-moz-appearance:none;appearance:none;background-color:var(--color-input-bg, whitesmoke);color:var(--color-input-fg, black);border-radius:var(--border-radius, 0);border:none;font-family:var(--font-form, sans-serif);font-size:inherit;outline:1px solid var(--color-border, ray);padding:8px}button,select,a[role=button],input[type=submit],input[type=reset],input[type=button]{-webkit-appearance:none;-moz-appearance:none;appearance:none;background-color:var(--color-button-bg, lightgray);color:var(--color-button-fg, black);border-radius:var(--border-radius, 0);border:none;font-family:var(--font-form, sans-serif);font-size:inherit;outline:none;padding:8px;text-decoration:none}button,a[role=button],input[type=button],input[type=checkbox],input[type=radio],input[type=range],input[type=submit],input[type=reset],select{cursor:pointer}input[type=button],input[type=range],input[type=submit],input[type=reset],select{display:inline-block}button:disabled,a[role=button]:disabled,input[type=button]:disabled,input[type=submit]:disabled,input[type=reset]:disabled{opacity:.5;cursor:not-allowed}input[type=range]{-webkit-appearance:auto;-moz-appearance:auto;appearance:auto;padding:0;outline:none}button:focus,a:focus,a[role=button]:focus,input:focus,select:focus,textarea:focus{outline:2px solid var(--color-focus);outline-offset:2px}button:focus:not(:focus-visible),a:focus:not(:focus-visible),a[role=button]:focus:not(:focus-visible),input:focus:not(:focus-visible),select:focus:not(:focus-visible),textarea:focus:not(:focus-visible){outline:2px solid transparent}button:disabled,a[role=button]:disabled,input:disabled,select:disabled,textarea:disabled{cursor:not-allowed;opacity:.5}table{border-collapse:collapse;width:100%;table-layout:fixed}table caption,td,th{text-align:left}td,th{padding:8px 0;vertical-align:top;word-wrap:break-word}thead{border-bottom:1px solid var(--color-border, lightgray)}tfoot{border-top:1px solid var(--color-border, lightgray)}::-moz-placeholder{color:var(--color-placeholder, gray)}:-ms-input-placeholder{color:var(--color-placeholder, gray)}::-ms-input-placeholder{color:var(--color-placeholder, gray)}::placeholder{color:var(--color-placeholder, gray)}::-moz-selection{background-color:var(--color-selection, lightgray)}::selection{background-color:var(--color-selection, lightgray)}select{padding-right:24px;background-image:url(data:image/svg+xml;charset=US-ASCII,%3Csvg%20xmlns%3D%22http%3A%2F%2Fwww.w3.org%2F2000%2Fsvg%22%20viewBox%3D%220%200%20256%20448%22%20enable-background%3D%22new%200%200%20256%20448%22%3E%3Cstyle%20type%3D%22text%2Fcss%22%3E.arrow%7Bfill%3A%23424242%3B%7D%3C%2Fstyle%3E%3Cpath%20class%3D%22arrow%22%20d%3D%22M255.9%20168c0-4.2-1.6-7.9-4.8-11.2-3.2-3.2-6.9-4.8-11.2-4.8H16c-4.2%200-7.9%201.6-11.2%204.8S0%20163.8%200%20168c0%204.4%201.6%208.2%204.8%2011.4l112%20112c3.1%203.1%206.8%204.6%2011.2%204.6%204.4%200%208.2-1.5%2011.4-4.6l112-112c3-3.2%204.5-7%204.5-11.4z%22%2F%3E%3C%2Fsvg%3E%0A);background-position:right 8px center;background-repeat:no-repeat;background-size:auto 50%}ol,ul{padding-left:16px}.skip-to-main{border:none;width:1px;height:1px;overflow:hidden;position:absolute}.skip-to-main:focus{background-color:var(--color-gray-900, black);color:var(--color-white, white);width:auto;height:auto;padding:8px;z-index:var(--z-overlay, 1000)}.sr-only{clip:rect(0 0 0 0);clip-path:inset(100%);height:1px;overflow:hidden;position:absolute;white-space:nowrap;width:1px}.text-outline{--stroke-width: 1px;--stroke-width-n: calc(var(--stroke-width) * -1);text-shadow:var(--stroke-width-n) var(--stroke-width-n) 0 var(--color-text-outline, #fff),0 var(--stroke-width-n) 0 var(--color-text-outline, #fff),var(--stroke-width) var(--stroke-width-n) 0 var(--color-text-outline, #fff),var(--stroke-width) 0 0 var(--color-text-outline, #fff),var(--stroke-width) var(--stroke-width) 0 var(--color-text-outline, #fff),0 var(--stroke-width) 0 var(--color-text-outline, #fff),var(--stroke-width-n) var(--stroke-width) 0 var(--color-text-outline, #fff),var(--stroke-width-n) 0 0 var(--color-text-outline, #fff)}@media (hover: hover) and (pointer: fine){button:hover,a[role=button]:hover,input[type=button]:hover,input[type=submit]:hover,input[type=reset]:hover{background:var(--color-button-hover, lightgray)}button:disabled:hover,a[role=button]:disabled:hover,input[type=button]:disabled:hover,input[type=submit]:disabled:hover,input[type=reset]:disabled:hover{opacity:.5;cursor:not-allowed;background:var(--color-button-bg, lightgray)}}:root{--z-bottom: -100;--z-middle: 0;--z-top: 100;--z-overlay: 1000;--navbar-height: 0px;--border-radius: var(--radius);--font-body: var(--sans);--font-form: var(--sans);--color-bg: var(--bg-primary);--color-fg: var(--text-primary);--color-primary: var(--text-primary);--color-link: var(--link-color);--color-focus: var(--accent-primary);--color-mark: #fef3c7;--color-selection: rgba(84, 81, 244, .18);--color-border: var(--border-primary);--color-button-bg: var(--bg-secondary);--color-button-fg: var(--text-primary);--color-button-hover: var(--bg-tertiary);--color-input-bg: var(--bg-primary);--color-input-fg: var(--text-primary);--color-placeholder: var(--text-muted);--250ms: .25s;--500ms: .5s;--750ms: .75s;--1000ms: 1s}@media (prefers-reduced-motion: reduce){:root{--250ms: 1ms;--500ms: 1ms;--750ms: 1ms;--1000ms: 1ms}}body{font-family:var(--sans);background:var(--bg-primary);color:var(--text-primary);line-height:1.6}a{color:var(--link-color);text-decoration:none}a:hover{text-decoration:underline}h1,h2,h3,h4,h5,h6{font-family:var(--sans);color:var(--text-primary);font-weight:600}h1{font-size:var(--40px)}h2{font-size:var(--32px)}h3{font-size:var(--24px)}h4{font-size:var(--20px)}h5{font-size:var(--18px)}h6{font-size:var(--16px)}@media (max-width: 600px){h1{font-size:var(--32px)}h2{font-size:var(--28px)}h3{font-size:var(--22px)}h4{font-size:var(--18px)}}.section-title,.section-label{font-family:var(--sans);font-variant:normal;font-weight:700;letter-spacing:-.01em;color:var(--text-primary);margin:0}.section-title{font-size:1.25rem}.section-label{display:block;font-size:1.25rem;margin-bottom:var(--space-md)}.section-subtitle{color:var(--text-muted);font-size:.875rem;margin-top:2px}.btn{display:inline-flex;align-items:center;gap:8px;padding:8px 16px;border-radius:var(--radius);font-family:var(--sans);font-size:.9rem;font-weight:600;border:1px solid var(--border-primary);background:var(--bg-primary);color:var(--text-primary);transition:all .12s;cursor:pointer;text-decoration:none}.btn:hover{text-decoration:none}.btn-primary{background:var(--accent-primary);color:#fff;border-color:var(--accent-primary)}.btn-primary:hover{background:var(--link-hover);box-shadow:var(--shadow-lg);color:#fff}.btn-secondary{background:var(--bg-primary);color:var(--text-primary)}.btn-secondary:hover{border-color:var(--accent-primary);color:var(--text-primary)}.btn-icon{width:15px;height:15px;flex-shrink:0}.btn-wide{width:100%;max-width:360px;justify-content:center;padding:11px 24px;font-size:1rem}.copy-btn{background:var(--bg-primary);border:1px solid var(--border-primary);border-radius:var(--radius);padding:4px 10px;font-size:.75rem;color:var(--text-muted);cursor:pointer;font-family:var(--sans);transition:color .12s,border-color .12s}.copy-btn:hover{color:var(--text-primary);border-color:var(--border-strong)}.stats-strip{display:grid;grid-template-columns:repeat(4,1fr);gap:var(--space-md);padding:var(--space-md) 0;border-top:1px solid var(--border-primary);border-bottom:1px solid var(--border-primary);margin:0}.stat-item{text-align:center}.stat-num{font-size:1.5rem;font-weight:700;color:var(--accent-primary);line-height:1.1;font-family:var(--sans)}.stat-label{font-size:.75rem;color:var(--text-muted);text-transform:uppercase;letter-spacing:.05em;margin-top:2px}@media (max-width: 640px){.stats-strip{grid-template-columns:repeat(2,1fr)}}.mathnet-main{max-width:1000px;margin:0 auto;padding:0 var(--space-md)}.mathnet-section{padding:var(--space-lg) 0}.mathnet-section-head{display:flex;justify-content:space-between;align-items:baseline;margin-bottom:var(--space-md);flex-wrap:wrap;gap:var(--space-sm)}.section-link{font-size:.875rem;font-weight:600;color:var(--link-color);text-decoration:none}.section-link:hover{text-decoration:underline}.panel{background:var(--bg-primary);border:1px solid var(--border-primary);border-radius:var(--radius);padding:var(--space-lg);box-shadow:var(--shadow)}.site-nav.svelte-17m4ru1.svelte-17m4ru1{position:sticky;top:0;width:100%;background:var(--bg-primary);color:var(--text-primary);z-index:50;border-bottom:1px solid var(--border-primary);padding:.75rem var(--space-md)}.nav-inner.svelte-17m4ru1.svelte-17m4ru1{max-width:1000px;margin:0 auto;display:-webkit-box;display:flex;-webkit-box-pack:justify;justify-content:space-between;-webkit-box-align:center;align-items:center;gap:var(--space-md)}.nav-brand.svelte-17m4ru1.svelte-17m4ru1{display:-webkit-box;display:flex;-webkit-box-align:center;align-items:center;gap:8px;font-family:var(--sans);font-weight:600;font-size:1.05rem;letter-spacing:-.015em;color:var(--text-primary);text-decoration:none}.nav-brand.svelte-17m4ru1.svelte-17m4ru1:hover{text-decoration:none;color:var(--accent-primary)}.brand-mark.svelte-17m4ru1.svelte-17m4ru1{display:inline-block;width:28px;height:28px;-o-object-fit:contain;object-fit:contain}.nav-links.svelte-17m4ru1.svelte-17m4ru1{display:none;gap:4px;flex-wrap:wrap;-webkit-box-align:center;align-items:center}.nav-links.svelte-17m4ru1 a.svelte-17m4ru1{font-family:var(--sans);font-size:.85rem;color:var(--text-muted);text-decoration:none;padding:6px 10px;border-radius:var(--radius);border:1px solid transparent;-webkit-transition:border-color .12s,color .12s;transition:border-color .12s,color .12s}.nav-links.svelte-17m4ru1 a.svelte-17m4ru1:hover{color:var(--text-primary);border-color:var(--border-primary);text-decoration:none}.nav-links.svelte-17m4ru1 a.active.svelte-17m4ru1{color:var(--text-primary);border-color:var(--border-primary)}.nav-cta.svelte-17m4ru1.svelte-17m4ru1{background:var(--accent-primary)!important;color:#fff!important;border-color:var(--accent-primary)!important;font-weight:600!important}.nav-cta.svelte-17m4ru1.svelte-17m4ru1:hover{background:var(--link-hover)!important;color:#fff!important;border-color:var(--link-hover)!important;-webkit-box-shadow:var(--shadow);box-shadow:var(--shadow)}.menu-button.svelte-17m4ru1.svelte-17m4ru1{background:none;border:none;color:var(--text-primary);cursor:pointer;display:block;padding:4px}.mobile-menu.svelte-17m4ru1.svelte-17m4ru1{max-width:1000px;margin:0 auto;padding:var(--space-sm) 0 var(--space-md);border-top:1px solid var(--border-primary);display:-webkit-box;display:flex;-webkit-box-orient:vertical;-webkit-box-direction:normal;flex-direction:column;gap:var(--space-xs);margin-top:var(--space-sm)}.mobile-menu.svelte-17m4ru1 a.svelte-17m4ru1{font-family:var(--sans);font-size:.95rem;color:var(--text-secondary);padding:.55rem 0;text-decoration:none}.mobile-menu.svelte-17m4ru1 a.active.svelte-17m4ru1{color:var(--accent-primary);font-weight:600}.mobile-menu.svelte-17m4ru1 a.cta.svelte-17m4ru1{margin-top:var(--space-xs);padding:.55rem var(--space-md);background:var(--accent-primary);color:#fff;border-radius:var(--radius);font-weight:600;text-align:center}@media (min-width: 768px){.nav-links.svelte-17m4ru1.svelte-17m4ru1{display:-webkit-box;display:flex}.menu-button.svelte-17m4ru1.svelte-17m4ru1{display:none}}