*,:after,:before{--tw-border-spacing-x:0;--tw-border-spacing-y:0;--tw-translate-x:0;--tw-translate-y:0;--tw-rotate:0;--tw-skew-x:0;--tw-skew-y:0;--tw-scale-x:1;--tw-scale-y:1;--tw-pan-x: ;--tw-pan-y: ;--tw-pinch-zoom: ;--tw-scroll-snap-strictness:proximity;--tw-gradient-from-position: ;--tw-gradient-via-position: ;--tw-gradient-to-position: ;--tw-ordinal: ;--tw-slashed-zero: ;--tw-numeric-figure: ;--tw-numeric-spacing: ;--tw-numeric-fraction: ;--tw-ring-inset: ;--tw-ring-offset-width:0px;--tw-ring-offset-color:#fff;--tw-ring-color:rgba(59,130,246,.5);--tw-ring-offset-shadow:0 0 #0000;--tw-ring-shadow:0 0 #0000;--tw-shadow:0 0 #0000;--tw-shadow-colored:0 0 #0000;--tw-blur: ;--tw-brightness: ;--tw-contrast: ;--tw-grayscale: ;--tw-hue-rotate: ;--tw-invert: ;--tw-saturate: ;--tw-sepia: ;--tw-drop-shadow: ;--tw-backdrop-blur: ;--tw-backdrop-brightness: ;--tw-backdrop-contrast: ;--tw-backdrop-grayscale: ;--tw-backdrop-hue-rotate: ;--tw-backdrop-invert: ;--tw-backdrop-opacity: ;--tw-backdrop-saturate: ;--tw-backdrop-sepia: ;--tw-contain-size: ;--tw-contain-layout: ;--tw-contain-paint: ;--tw-contain-style: }::backdrop{--tw-border-spacing-x:0;--tw-border-spacing-y:0;--tw-translate-x:0;--tw-translate-y:0;--tw-rotate:0;--tw-skew-x:0;--tw-skew-y:0;--tw-scale-x:1;--tw-scale-y:1;--tw-pan-x: ;--tw-pan-y: ;--tw-pinch-zoom: ;--tw-scroll-snap-strictness:proximity;--tw-gradient-from-position: ;--tw-gradient-via-position: ;--tw-gradient-to-position: ;--tw-ordinal: ;--tw-slashed-zero: ;--tw-numeric-figure: ;--tw-numeric-spacing: ;--tw-numeric-fraction: ;--tw-ring-inset: ;--tw-ring-offset-width:0px;--tw-ring-offset-color:#fff;--tw-ring-color:rgba(59,130,246,.5);--tw-ring-offset-shadow:0 0 #0000;--tw-ring-shadow:0 0 #0000;--tw-shadow:0 0 #0000;--tw-shadow-colored:0 0 #0000;--tw-blur: ;--tw-brightness: ;--tw-contrast: ;--tw-grayscale: ;--tw-hue-rotate: ;--tw-invert: ;--tw-saturate: ;--tw-sepia: ;--tw-drop-shadow: ;--tw-backdrop-blur: ;--tw-backdrop-brightness: ;--tw-backdrop-contrast: ;--tw-backdrop-grayscale: ;--tw-backdrop-hue-rotate: ;--tw-backdrop-invert: ;--tw-backdrop-opacity: ;--tw-backdrop-saturate: ;--tw-backdrop-sepia: ;--tw-contain-size: ;--tw-contain-layout: ;--tw-contain-paint: ;--tw-contain-style: }/*
! tailwindcss v3.4.19 | MIT License | https://tailwindcss.com
*/*,:after,:before{box-sizing:border-box;border:0 solid #e5e7eb}:after,:before{--tw-content:""}:host,html{line-height:1.5;-webkit-text-size-adjust:100%;-moz-tab-size:4;tab-size:4;font-family:ui-sans-serif,system-ui,sans-serif,Apple Color Emoji,Segoe UI Emoji,Segoe UI Symbol,Noto Color Emoji;font-feature-settings:normal;font-variation-settings:normal;-webkit-tap-highlight-color:transparent}body{line-height:inherit}hr{height:0;color:inherit;border-top-width:1px}abbr:where([title]){text-decoration:underline dotted}h1,h2,h3,h4,h5,h6{font-size:inherit;font-weight:inherit}a{color:inherit;text-decoration:inherit}b,strong{font-weight:bolder}code,kbd,pre,samp{font-family:ui-monospace,SFMono-Regular,Menlo,Monaco,Consolas,Liberation Mono,Courier New,monospace;font-feature-settings:normal;font-variation-settings:normal;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}table{text-indent:0;border-color:inherit;border-collapse:collapse}button,input,optgroup,select,textarea{font-family:inherit;font-feature-settings:inherit;font-variation-settings:inherit;font-size:100%;font-weight:inherit;line-height:inherit;letter-spacing:inherit;color:inherit;margin:0;padding:0}button,select{text-transform:none}button,input:where([type=button]),input:where([type=reset]),input:where([type=submit]){-webkit-appearance:button;background-color:transparent;background-image:none}:-moz-focusring{outline:auto}:-moz-ui-invalid{box-shadow:none}progress{vertical-align:baseline}::-webkit-inner-spin-button,::-webkit-outer-spin-button{height:auto}[type=search]{-webkit-appearance:textfield;outline-offset:-2px}::-webkit-search-decoration{-webkit-appearance:none}::-webkit-file-upload-button{-webkit-appearance:button;font:inherit}summary{display:list-item}blockquote,dd,dl,figure,h1,h2,h3,h4,h5,h6,hr,p,pre{margin:0}fieldset{margin:0}fieldset,legend{padding:0}menu,ol,ul{list-style:none;margin:0;padding:0}dialog{padding:0}textarea{resize:vertical}input::placeholder,textarea::placeholder{opacity:1;color:#9ca3af}[role=button],button{cursor:pointer}:disabled{cursor:default}audio,canvas,embed,iframe,img,object,svg,video{display:block;vertical-align:middle}img,video{max-width:100%;height:auto}[hidden]:where(:not([hidden=until-found])){display:none}.fixed{position:fixed}.relative{position:relative}.table{display:table}:root{--bg:#070a16;--surface:#0e1428;--surface-hover:#16203d;--accent:#6d8cff;--accent-hover:#8aa4ff;--accent-glow:rgba(109,140,255,.16);--accent-secondary:#22d3ee;--text:#e8ecf8;--text-muted:#9aa7c7;--text-dim:#5c6a8c;--border:#1e2a4a;--code-bg:#0b1122;--success:#34d399;--warning:#fbbf24;--font-heading:var(--font-spectral),Georgia,"Times New Roman",serif;--font-body:var(--font-inter),system-ui,-apple-system,sans-serif}*{box-sizing:border-box}html{scroll-behavior:smooth;scroll-padding-top:130px;-webkit-text-size-adjust:100%}@media (min-width:1024px){html{scroll-padding-top:84px}}.md-content h2,.md-content h3,.paper-content h2,.paper-content h3,.paper-content h4{scroll-margin-top:110px}body{background:var(--bg);color:var(--text);font-family:var(--font-body);line-height:1.65;margin:0;overflow-x:hidden}a{color:var(--accent);text-decoration:none}a:hover{color:var(--accent-hover)}h1,h2,h3,h4,h5{font-family:var(--font-heading);color:var(--text);line-height:1.25;overflow-wrap:break-word}.site-header{position:sticky;top:0;z-index:50;background:rgba(7,10,22,.92);backdrop-filter:blur(10px);border-bottom:1px solid var(--border)}.site-header-inner{max-width:1120px;margin:0 auto;padding:.75rem 1rem;flex-wrap:wrap;gap:.5rem 1.25rem}.site-header-inner,.site-title{display:flex;align-items:center}.site-title{font-family:var(--font-heading);font-weight:700;font-size:1.05rem;letter-spacing:.04em;color:var(--text);gap:.55rem;min-width:0;flex:1 1 auto}.site-title .mark{color:var(--accent-secondary);font-family:var(--font-body);font-size:.72rem;font-weight:600;letter-spacing:.18em;border:1px solid var(--border);border-radius:4px;padding:.15rem .4rem;white-space:nowrap}.site-nav{display:flex;flex-wrap:wrap;gap:.35rem 1rem;font-size:.88rem}.site-nav a{color:var(--text-muted);padding:.25rem 0;border-bottom:2px solid transparent}.site-nav a:hover{color:var(--text);border-bottom-color:var(--accent)}.hero{position:relative;padding:3rem 1rem 2.25rem;overflow:hidden;border-bottom:1px solid var(--border)}@media (min-width:768px){.hero{padding:5.5rem 1.5rem 4.5rem}}.hero-bg{background:radial-gradient(900px 380px at 82% -10%,rgba(109,140,255,.18),transparent 65%),radial-gradient(700px 320px at 8% 110%,rgba(34,211,238,.12),transparent 60%)}.hero-bg,.hero-grid-lines{position:absolute;inset:0;pointer-events:none}.hero-grid-lines{opacity:.5;background-image:linear-gradient(var(--border) 1px,transparent 1px),linear-gradient(90deg,var(--border) 1px,transparent 1px);background-size:72px 72px;mask-image:radial-gradient(ellipse 90% 80% at 50% 0,#000 20%,transparent 78%);-webkit-mask-image:radial-gradient(ellipse 90% 80% at 50% 0,#000 20%,transparent 78%)}.hero-inner{position:relative;max-width:1120px;margin:0 auto}.hero-kicker{color:var(--accent-secondary);font-size:.78rem;font-weight:600;letter-spacing:.22em;text-transform:uppercase;margin:0 0 1rem}.hero h1{font-size:clamp(1.9rem,5.4vw,3.4rem);margin:0 0 1rem;max-width:20em}.hero h1 .em{color:var(--accent);font-style:italic}.hero-sub{color:var(--text-muted);font-size:clamp(1rem,2.2vw,1.18rem);max-width:46em;margin:0 0 1.5rem}.hero-meta{display:flex;flex-wrap:wrap;gap:.6rem 1.4rem;color:var(--text-dim);font-size:.85rem}.hero-meta b{color:var(--text);font-weight:600}.hero-actions{display:flex;flex-wrap:wrap;gap:.75rem;margin-top:1.75rem}.btn{display:inline-flex;align-items:center;gap:.45rem;padding:.65rem 1.15rem;border-radius:8px;font-size:.92rem;font-weight:600;border:1px solid transparent;transition:all .18s ease}.btn-primary{background:var(--accent);color:#071022}.btn-primary:hover{background:var(--accent-hover);color:#071022;box-shadow:0 6px 24px var(--accent-glow)}.btn-ghost{border-color:var(--border);color:var(--text);background:transparent}.btn-ghost:hover{border-color:var(--accent);color:var(--accent-hover)}.section{max-width:1120px;margin:0 auto;padding:2.75rem 1rem}@media (min-width:768px){.section{padding:4rem 1.5rem}}.section-head{display:flex;flex-wrap:wrap;align-items:baseline;justify-content:space-between;gap:.75rem;margin-bottom:1.75rem}.section-head h2{font-size:clamp(1.45rem,3.2vw,2.1rem);margin:0}.section-head .hint{color:var(--text-dim);font-size:.85rem}.paper-grid{display:grid;grid-template-columns:1fr;gap:1.15rem}@media (min-width:640px){.paper-grid{grid-template-columns:repeat(2,1fr)}}@media (min-width:1024px){.paper-grid{grid-template-columns:repeat(3,1fr)}}.paper-card{position:relative;display:flex;flex-direction:column;background:var(--surface);border:1px solid var(--border);border-radius:12px;padding:1.25rem 1.25rem 1.15rem;min-height:100%;transition:transform .18s ease,border-color .18s ease,box-shadow .18s ease;overflow:hidden}.paper-card:before{content:"";position:absolute;top:0;left:0;right:0;height:3px;background:linear-gradient(90deg,var(--accent),var(--accent-secondary));opacity:.75}.paper-card:hover{transform:translateY(-3px);border-color:var(--accent);box-shadow:0 14px 36px rgba(0,0,0,.35),0 0 0 1px var(--accent-glow)}.card-part{display:flex;justify-content:space-between;align-items:center;gap:.5rem;margin-bottom:.75rem;font-size:.75rem;letter-spacing:.12em;text-transform:uppercase;color:var(--accent-secondary);font-weight:600}.card-part .cat{color:var(--text-dim);letter-spacing:.06em;text-transform:none;font-family:ui-monospace,monospace}.paper-card h3{font-size:1.13rem;margin:0 0 .55rem}.paper-card h3 a{color:var(--text)}.paper-card:hover h3 a{color:var(--accent-hover)}.card-sub{color:var(--text-dim);font-size:.8rem;margin:0 0 .75rem}.card-abstract{color:var(--text-muted);font-size:.88rem;margin:0 0 1.15rem;flex:1}.card-foot{display:flex;flex-wrap:wrap;align-items:center;gap:.55rem .9rem;border-top:1px solid var(--border);padding-top:.85rem;font-size:.82rem;color:var(--text-dim)}.card-foot .read{color:var(--accent);font-weight:600}.card-foot .pdf-link{color:var(--text-muted);border:1px solid var(--border);border-radius:6px;padding:.18rem .55rem}.card-foot .pdf-link:hover{color:var(--accent-hover);border-color:var(--accent)}.paper-layout{max-width:1120px;margin:0 auto;padding:1.5rem 1rem 4rem;display:grid;grid-template-columns:1fr;gap:2rem}.paper-layout--solo{max-width:1280px}.paper-layout>*{min-width:0}.paper-layout--toc>aside{order:-1}@media (min-width:1024px){.paper-layout{padding:2.5rem 1.5rem 5rem;gap:3rem}.paper-layout--toc{grid-template-columns:240px minmax(0,1fr)}.paper-layout--toc>aside{grid-column:1;grid-row:1}.paper-layout--toc>article{grid-column:2;grid-row:1}}.paper-header{margin-bottom:1.75rem}.paper-header .kicker{color:var(--accent-secondary);font-size:.76rem;font-weight:600;letter-spacing:.2em;text-transform:uppercase;margin:0 0 .75rem}.paper-header h1{font-size:clamp(1.65rem,4.5vw,2.55rem);margin:0 0 .75rem}.paper-header .sub{color:var(--text-muted);font-size:1.02rem;margin:0 0 1rem}.paper-meta{display:flex;flex-wrap:wrap;gap:.45rem 1.15rem;color:var(--text-dim);font-size:.83rem}.paper-meta b{color:var(--text-muted);font-weight:600}.pdf-btn{position:fixed;right:1rem;bottom:1rem;z-index:40;box-shadow:0 10px 30px rgba(0,0,0,.45)}@media (min-width:1024px){.pdf-btn-fixed{display:none}}.paper-abstract{border:1px solid var(--border);border-left:3px solid var(--accent);background:var(--surface);border-radius:10px;padding:1.15rem 1.25rem;margin:1.5rem 0 2.25rem}.paper-abstract h2{font-size:1.05rem;margin:0 0 .65rem;color:var(--accent-hover);font-family:var(--font-body);letter-spacing:.08em;text-transform:uppercase}.paper-abstract p{margin:0 0 .75rem;color:var(--text-muted);font-size:.96rem}.paper-abstract p:last-child{margin-bottom:0}.paper-content{min-width:0;max-width:100%;overflow-wrap:break-word;word-break:normal;font-size:1.02rem;color:var(--text)}.paper-content .katex-display,.paper-content h1,.paper-content h2,.paper-content h3,.paper-content h4{max-width:100%}.paper-content h2{font-size:clamp(1.35rem,3.2vw,1.85rem);margin:2.75rem 0 1rem;padding-top:.5rem;border-top:1px solid var(--border)}.paper-content h3{font-size:clamp(1.12rem,2.6vw,1.38rem);margin:2.1rem 0 .85rem}.paper-content h4{font-size:1.05rem;margin:1.6rem 0 .7rem;color:var(--text-muted)}.paper-content p{margin:0 0 1.05rem}.paper-content ol,.paper-content ul{margin:0 0 1.15rem;padding-left:1.4rem}.paper-content li{margin-bottom:.45rem}.paper-content blockquote{margin:1.25rem 0;padding:.15rem 0 .15rem 1.1rem;border-left:3px solid var(--border);color:var(--text-muted)}.paper-content code{font-family:ui-monospace,SFMono-Regular,Menlo,monospace;font-size:.88em;background:var(--code-bg);border:1px solid var(--border);border-radius:4px;padding:.08em .35em}.paper-content pre{background:var(--code-bg);border:1px solid var(--border);border-radius:8px;padding:.95rem 1.05rem;overflow-x:auto;max-width:100%;margin:0 0 1.25rem}.paper-content pre code{background:none;border:none;padding:0;font-size:.82rem;line-height:1.55}.paper-content .conjecture,.paper-content .corollary,.paper-content .definition,.paper-content .example,.paper-content .lemma,.paper-content .proof,.paper-content .proposition,.paper-content .remark,.paper-content .theorem{border:1px solid var(--border);border-radius:10px;padding:1rem 1.15rem;margin:1.35rem 0;background:rgba(14,20,40,.55)}.paper-content .definition{border-left:3px solid var(--accent)}.paper-content .proposition,.paper-content .theorem{border-left:3px solid var(--accent-secondary)}.paper-content .corollary,.paper-content .lemma{border-left:3px solid #7dd3fc}.paper-content .conjecture{border-left:3px solid var(--warning)}.paper-content .example,.paper-content .remark{border-left:3px solid var(--border)}.paper-content .proof{background:transparent;border-style:dashed}.paper-content .conjecture p,.paper-content .corollary p,.paper-content .definition p,.paper-content .lemma p,.paper-content .proposition p,.paper-content .theorem p{margin-bottom:.65rem}.paper-content .definition p:last-child,.paper-content .proposition p:last-child,.paper-content .theorem p:last-child{margin-bottom:0}.table-scroll{max-width:100%;overflow-x:auto;margin:1.5rem 0}.paper-content table{width:100%;max-width:100%;border-collapse:collapse;margin:1.5rem 0;font-size:.86rem}.paper-content .table-scroll table{margin:0}.paper-content caption{caption-side:top;text-align:left;color:var(--text-muted);font-size:.85rem;padding:0 0 .65rem;line-height:1.5}.paper-content caption .tbl-num{color:var(--accent-secondary);font-weight:600;margin-right:.35rem}.paper-content td,.paper-content th{border:1px solid var(--border);padding:.55rem .75rem;text-align:left;vertical-align:top;min-width:4rem;overflow-wrap:break-word}.paper-content th{background:#22335f;color:var(--text);font-weight:600}.paper-content tr:nth-child(2n) td{background:rgba(14,20,40,.4)}.paper-content .math-display-rendered,.paper-content .math.display{display:block;overflow-x:auto;overflow-y:hidden;max-width:100%;padding:.35rem 0}.paper-content .math-inline-rendered,.paper-content .math.inline{display:inline;max-width:100%}.paper-content .katex-display{margin:.55rem 0;overflow-x:auto;overflow-y:hidden}.paper-content .katex{font-size:1.06em}.paper-content .math-display-rendered .katex-display>.katex{text-align:left}.paper-content .katex-error{color:var(--warning);font-family:ui-monospace,monospace;font-size:.85em}.paper-content a.citation{color:var(--accent-secondary);font-size:.85em;white-space:nowrap}.paper-content .thebibliography{font-size:.88rem;color:var(--text-muted)}.paper-content .bibitem{margin:0 0 .85rem;padding-left:2.2rem;text-indent:-2.2rem}.paper-content .bibitem .bib-num{color:var(--accent-secondary);margin-right:.45rem;font-weight:600}.toc-wrap{min-width:0}.toc-toggle{width:100%;text-align:left;background:var(--surface);color:var(--text);border:1px solid var(--border);border-radius:8px;padding:.65rem .95rem;font-size:.88rem;font-weight:600;cursor:pointer}@media (min-width:1024px){.toc-toggle{display:none}}.toc{display:none;flex-direction:column;gap:.15rem;margin-top:.65rem}.toc-open{display:flex}@media (min-width:1024px){.toc-wrap{position:sticky;top:5.25rem;max-height:calc(100vh - 7rem);overflow-y:auto}.toc{display:flex;position:static;margin-top:0}}.toc-item{color:var(--text-muted);font-size:.83rem;line-height:1.45;padding:.32rem .65rem;border-left:2px solid transparent;border-radius:0 6px 6px 0}.toc-item:hover{color:var(--text);background:var(--surface)}.toc-level-3{padding-left:1.35rem;font-size:.8rem}.toc-level-4{padding-left:2.05rem;font-size:.78rem;color:var(--text-dim)}.toc-active{color:var(--accent-hover);border-left-color:var(--accent);background:var(--accent-glow)}.paper-nav{display:grid;grid-template-columns:1fr;gap:1rem;margin-top:3.5rem;padding-top:1.75rem;border-top:1px solid var(--border)}@media (min-width:640px){.paper-nav{grid-template-columns:1fr 1fr}}.paper-nav .nav-link{display:block;border:1px solid var(--border);border-radius:10px;padding:1rem 1.15rem;color:var(--text);transition:border-color .18s ease}.paper-nav .nav-link:hover{border-color:var(--accent);color:var(--text)}.paper-nav .dir{color:var(--text-dim);font-size:.75rem;letter-spacing:.16em;text-transform:uppercase;margin-bottom:.35rem}.paper-nav .nav-title{font-family:var(--font-heading);font-size:1rem}.paper-nav .next{text-align:left}@media (min-width:640px){.paper-nav .next{text-align:right}}.md-content{min-width:0;overflow-wrap:break-word;font-size:.97rem}.md-content h2{font-size:clamp(1.35rem,3vw,1.8rem);margin:2.75rem 0 1rem;padding-top:.5rem;border-top:1px solid var(--border)}.md-content h3{font-size:clamp(1.1rem,2.4vw,1.35rem);margin:2.1rem 0 .85rem}.md-content p{margin:0 0 1.05rem;color:var(--text-muted)}.md-content strong{color:var(--text)}.md-content table{width:100%;max-width:100%;border-collapse:collapse;margin:1.35rem 0;font-size:.82rem}.md-content .table-scroll table{margin:0}.md-content td,.md-content th{border:1px solid var(--border);padding:.55rem .75rem;text-align:left;vertical-align:top;min-width:4rem;overflow-wrap:break-word}.md-content th{background:#22335f;color:var(--text);font-weight:600}.md-content tr:nth-child(2n) td{background:rgba(14,20,40,.4)}.md-content hr{border:none;border-top:1px solid var(--border);margin:2.25rem 0}.status-proven{color:var(--success);font-weight:600}.status-claimed{color:var(--warning);font-weight:600}.status-open{color:var(--accent);font-weight:600}.status-impossible{color:#f87171;font-weight:600}.site-footer{border-top:1px solid var(--border);margin-top:2rem;background:rgba(14,20,40,.4)}.site-footer-inner{max-width:1120px;margin:0 auto;padding:2.25rem 1rem;display:grid;gap:1.25rem;color:var(--text-dim);font-size:.85rem}@media (min-width:768px){.site-footer-inner{grid-template-columns:2fr 1fr 1fr;padding:2.75rem 1.5rem}}.site-footer h3{font-family:var(--font-body);font-size:.78rem;letter-spacing:.18em;text-transform:uppercase;color:var(--text-muted);margin:0 0 .65rem}.site-footer p{margin:0 0 .55rem;max-width:42em}.site-footer a{color:var(--text-muted)}.site-footer a:hover{color:var(--accent-hover)}.site-footer ul{list-style:none;margin:0;padding:0}.site-footer li{margin-bottom:.45rem}