:root{--bg:#0a0a0a;--card:#111;--text:#fafafa;--muted:#a1a1aa;--brand:#fff;--brand-2:#d4d4d4;--ring:color-mix(in oklch,var(--math-violet)20%,transparent);--grid-gap:12px;--grid-x:0px;--grid-y:0px;--grid-opacity:.22;--grid-color-1:#ffffff0d;--grid-color-2:#ffffff0a;--spot-x:50%;--spot-y:20%;--spot-rx:1000px;--spot-ry:700px;--spot-scale:1;--spot-fade:1;--math-gold:#cfb656;--math-teal:#1db8ce;--math-violet:#908aea}@supports (color:color(display-p3 0 0 0)){:root{--math-gold:color(display-p3 .796984 .718907 .394178);--math-teal:color(display-p3 .342083 .712581 .795578);--math-violet:color(display-p3 .561563 .542019 .89419)}}@supports (color:lab(0% 0 0)){:root{--math-gold:lab(74.9549% .741214 51.5503);--math-teal:lab(68.422% -33.1133 -22.2254);--math-violet:lab(61.1891% 19.9406 -48.6403)}}@media (prefers-color-scheme:light){:root{--bg:#f5f3f0;--card:#fdfcfb;--text:#1a1816;--muted:#6b6662;--brand:#1a1816;--brand-2:#3d3935;--ring:#1a181614;--grid-opacity:.12;--grid-color-1:#1a181609;--grid-color-2:#1a181606;--math-gold:#e1a035;--math-teal:#00a4a5;--math-violet:#8673d9;--spot-light-teal:#a9e4e4;--spot-light-violet:#ccc7f9;--spot-light-gold:#f2daba}@supports (color:color(display-p3 0 0 0)){:root{--math-gold:color(display-p3 .844286 .636386 .294285);--math-teal:color(display-p3 .197768 .642747 .651291);--math-violet:color(display-p3 .514728 .454368 .826007);--spot-light-teal:color(display-p3 .71257 .889577 .889668);--spot-light-violet:color(display-p3 .79759 .779882 .961936);--spot-light-gold:color(display-p3 .93331 .858308 .743829)}}@supports (color:lab(0% 0 0)){:root{--math-gold:lab(70.8816% 18.4726 62.0335);--math-teal:lab(60.7698% -42.5601 -12.7063);--math-violet:lab(53.8958% 25.93 -50.5145);--spot-light-teal:lab(86.7211% -19.5866 -6.0088);--spot-light-violet:lab(81.859% 9.59548 -24.2654);--spot-light-gold:lab(88.4503% 4.9783 19.0112)}}}*{box-sizing:border-box}html{max-width:100vw;overflow-x:hidden}html,body,#root{height:100%}body{color:var(--text);background:var(--bg);max-width:100vw;margin:0;font-family:ui-sans-serif,system-ui,-apple-system,BlinkMacSystemFont,Segoe UI,Roboto,Noto Sans,Ubuntu,Cantarell,Helvetica Neue,Helvetica,Arial,Apple Color Emoji,Segoe UI Emoji;position:relative;overflow-x:hidden}body:before{content:"";pointer-events:none;background:repeating-linear-gradient(0deg,var(--grid-color-1)0,var(--grid-color-1)1px,transparent 1px,transparent var(--grid-gap)),repeating-linear-gradient(90deg,var(--grid-color-2)0,var(--grid-color-2)1px,transparent 1px,transparent var(--grid-gap));background-position:var(--grid-x)var(--grid-y),calc(var(--grid-x)*-1)calc(var(--grid-y)*-1);opacity:var(--grid-opacity);mix-blend-mode:normal;position:fixed;top:0;bottom:0;left:0;right:0}@supports (height:100svh){body:before{height:100svh;top:0;bottom:auto;left:0;right:0}}@supports (height:100dvh){body:before{height:100dvh;top:0;bottom:auto;left:0;right:0}}.page{z-index:1;grid-template-rows:auto 1fr auto;max-width:100vw;min-height:100%;display:grid;position:relative;overflow:hidden auto}body:after{content:"";z-index:0;pointer-events:none;opacity:var(--spot-fade);background:  radial-gradient(calc(var(--spot-rx)*var(--spot-scale))calc(var(--spot-ry)*var(--spot-scale))at var(--spot-x)var(--spot-y),color-mix(in oklch,var(--math-teal)22%,transparent)0%,color-mix(in oklch,var(--math-teal)14%,transparent)40%,transparent 75%),radial-gradient(calc(var(--spot-rx)*.9*var(--spot-scale))calc(var(--spot-ry)*.9*var(--spot-scale))at calc(var(--spot-x) + 18%)calc(var(--spot-y) + 8%),color-mix(in oklch,var(--math-violet)20%,transparent)0%,color-mix(in oklch,var(--math-violet)12%,transparent)45%,transparent 78%),radial-gradient(calc(var(--spot-rx)*.75*var(--spot-scale))calc(var(--spot-ry)*.75*var(--spot-scale))at calc(var(--spot-x) - 22%)calc(var(--spot-y) + 24%),color-mix(in oklch,var(--math-gold)18%,transparent)0%,color-mix(in oklch,var(--math-gold)10%,transparent)50%,transparent 80%);transition:opacity .35s;position:fixed;top:0;bottom:0;left:0;right:0}@supports (height:100svh){body:after{height:100svh;top:0;bottom:auto;left:0;right:0}}@supports (height:100dvh){body:after{height:100dvh;top:0;bottom:auto;left:0;right:0}}@media (prefers-color-scheme:light){body:after{background:  radial-gradient(calc(var(--spot-rx)*var(--spot-scale))calc(var(--spot-ry)*var(--spot-scale))at var(--spot-x)var(--spot-y),var(--spot-light-teal)0%,color-mix(in oklch,var(--spot-light-teal)75%,transparent)35%,transparent 70%),radial-gradient(calc(var(--spot-rx)*.9*var(--spot-scale))calc(var(--spot-ry)*.9*var(--spot-scale))at calc(var(--spot-x) + 18%)calc(var(--spot-y) + 8%),var(--spot-light-violet)0%,color-mix(in oklch,var(--spot-light-violet)70%,transparent)40%,transparent 75%),radial-gradient(calc(var(--spot-rx)*.75*var(--spot-scale))calc(var(--spot-ry)*.75*var(--spot-scale))at calc(var(--spot-x) - 22%)calc(var(--spot-y) + 24%),var(--spot-light-gold)0%,color-mix(in oklch,var(--spot-light-gold)65%,transparent)45%,transparent 78%)}}.hero{text-align:center;max-width:100%;padding:28px 20px 8px;overflow:hidden}.brand{flex-wrap:wrap;justify-content:center;align-items:center;gap:12px;max-width:100%;margin-bottom:6px;display:flex}.logo{justify-content:center;align-items:center;max-width:100%;margin:0;display:flex}.katex-logo .katex{color:var(--brand);font-size:clamp(28px,5.5vw,56px);line-height:1}.katex-logo{max-width:100%;overflow:hidden}.title{letter-spacing:.5px;color:var(--text);margin:0;font-size:clamp(32px,6vw,56px)}.title-animated{max-width:100%;padding-bottom:10px;display:inline-block;position:relative}.title-animated .title-ink{pointer-events:none;height:16px;position:absolute;bottom:-2px;left:0;right:0;overflow:hidden}.title-text{will-change:transform;display:inline-block;transform:translateZ(0)}.title-a11y-btn{min-width:36px;min-height:36px;color:var(--text);cursor:pointer;background:#ffffff0f;border:1px solid #ffffff29;border-radius:999px;margin-left:10px;padding:8px 10px;font-size:12px;line-height:1}.title-a11y-btn:hover{background:#ffffff1a}@media (prefers-color-scheme:light){.title-a11y-btn{background:#1a18160d;border:1px solid #1a181624}.title-a11y-btn:hover{background:#1a181617}}.title-a11y-btn:focus-visible{outline:2px solid var(--math-teal);outline-offset:2px}@media (prefers-contrast:more){.title-animated .title-ink path{stroke-width:3.25px}}@media (prefers-contrast:less){.title-animated .title-ink path{stroke-width:2px}}@media (forced-colors:active){.title-animated .title-ink path{stroke:canvastext;fill:none}}.subtitle{color:var(--muted);word-wrap:break-word;overflow-wrap:break-word;-webkit-hyphens:auto;hyphens:auto;max-width:100%;margin-top:8px}.container{width:100%;max-width:1100px;margin:0 auto;padding:12px 20px 40px;overflow:hidden}.section-title{color:var(--muted);margin:24px 0;font-weight:600}.group-section{grid-template-columns:1fr;gap:16px;max-width:100%;margin:10px 0 28px;display:grid;overflow:hidden}@media (min-width:900px){.group-section{grid-template-columns:1.2fr 1fr;gap:20px}}.panel{background:linear-gradient(180deg,#ffffff0a,#ffffff05)padding-box,linear-gradient(135deg,color-mix(in oklch,var(--math-teal)22%,#ffffff1a),color-mix(in oklch,var(--math-violet)18%,#ffffff14))border-box;border:1px solid #0000;border-radius:14px;max-width:100%;padding:16px;overflow:hidden}@media (prefers-color-scheme:light){.panel{background:linear-gradient(180deg,#fdfcfbcc,#fdfcfbf2)padding-box,linear-gradient(135deg,color-mix(in oklch,var(--math-teal)18%,#1a181614),color-mix(in oklch,var(--math-violet)16%,#1a18160f))border-box;box-shadow:0 2px 8px #1a18160f,inset 0 0 0 1px #1a18160a}}.panel-title{color:var(--text);margin:6px 0 12px;font-weight:600}.panel-head{flex-wrap:wrap;justify-content:space-between;align-items:center;gap:12px;margin:6px 0 12px;display:flex}.panel-head .panel-title{margin:0}.muted{color:var(--muted);margin:8px 0 0}.katex-block .katex{max-width:100%;font-size:clamp(14px,4vw,20px);display:inline-block}.katex-block{-webkit-overflow-scrolling:touch;scrollbar-width:thin;scrollbar-color:#fff3 transparent;max-width:100%;min-height:2em;overflow:auto hidden}.katex-block::-webkit-scrollbar{height:6px}.katex-block::-webkit-scrollbar-track{background:0 0}.katex-block::-webkit-scrollbar-thumb{background:#fff3;border-radius:3px}.katex-block::-webkit-scrollbar-thumb:hover{background:#ffffff4d}@media (prefers-color-scheme:light){.katex-block{scrollbar-color:#1a18162e transparent}.katex-block::-webkit-scrollbar-thumb{background:#1a181626}.katex-block::-webkit-scrollbar-thumb:hover{background:#1a181640}}@media (max-width:400px){.katex-block .katex{font-size:clamp(12px,3.5vw,16px)}.panel{padding:12px}.panel-head{gap:8px}.container{padding:12px 16px 32px}.hero{padding:24px 16px 8px}}.cayley-wrap{aspect-ratio:4/3;background:#ffffff08;border-radius:12px;width:100%;overflow:hidden}@media (prefers-color-scheme:light){.cayley-wrap{background:#1a181608}}.cayley-canvas{touch-action:none;-ms-touch-action:none;-webkit-user-select:none;user-select:none;cursor:grab;width:100%;height:100%;display:block}.cayley-canvas:active{cursor:grabbing}.cayley-tooltip{color:var(--text);background:color-mix(in oklch,var(--math-teal)8%,#00000059);-webkit-backdrop-filter:blur(6px)saturate(1.1);backdrop-filter:blur(6px)saturate(1.1);pointer-events:none;white-space:nowrap;border:1px solid #ffffff1f;border-radius:10px;padding:6px 10px;font-size:12px;line-height:1;position:absolute;box-shadow:0 6px 20px #00000040,inset 0 0 0 1px #ffffff0d}@media (prefers-color-scheme:light){.cayley-tooltip{background:color-mix(in oklch,var(--math-teal)10%,#fdfcfbf5);border:1px solid #1a18161f;box-shadow:0 6px 20px #1a181626,inset 0 0 0 1px #1a18160d}}.grid{--cols:3;--gap:18px;--card-w:calc((100% - (var(--cols) - 1)*var(--gap))/var(--cols));--card-h:calc(var(--card-w)*.66);grid-template-columns:repeat(var(--cols),var(--card-w));gap:var(--gap);content-visibility:auto;contain-intrinsic-size:auto 1000px;max-width:100%;display:grid;overflow:hidden}.card{opacity:1;background:linear-gradient(180deg,#ffffff0a,#ffffff05)padding-box,linear-gradient(135deg,color-mix(in oklch,var(--math-gold)18%,#ffffff1a),color-mix(in oklch,var(--math-violet)16%,#ffffff14))border-box;perspective:800px;min-height:var(--card-h);contain:layout paint;will-change:transform;border:1px solid #0000;border-radius:14px;padding:14px;transition:transform .25s,border-color .25s,box-shadow .25s;position:relative}@media (prefers-color-scheme:light){.card{background:linear-gradient(180deg,#fdfcfbe6,#fdfcfbfa)padding-box,linear-gradient(135deg,color-mix(in oklch,var(--math-gold)16%,#1a181614),color-mix(in oklch,var(--math-violet)14%,#1a18160f))border-box;box-shadow:0 1px 4px #1a18160d,inset 0 0 0 1px #1a181608}}.card:before{content:"";pointer-events:none;border-radius:inherit;background-image:var(--avatar-bg,none);opacity:.14;filter:saturate(.95)contrast(1.05)brightness(1.03);background-position:50%;background-repeat:no-repeat;background-size:cover;position:absolute;top:0;bottom:0;left:0;right:0}.card:hover{border-color:#ffffff29;transform:translateY(-4px);box-shadow:0 6px 24px #00000040,inset 0 0 0 1px #ffffff0f}@media (prefers-color-scheme:light){.card:hover{border-color:#1a181624;box-shadow:0 8px 32px #1a18161a,inset 0 0 0 1px #1a18160f}}.card-inner{min-height:120px;transition:transform .6s;position:relative}.card-face{grid-template-columns:72px 1fr;gap:14px;padding:0;display:grid;position:absolute;top:0;bottom:0;left:0;right:0}.avatar-wrap{border-radius:12px;width:72px;height:72px;position:relative;overflow:hidden}.avatar{object-fit:cover;width:100%;height:100%;transition:transform .4s;display:block}.card:hover .avatar{transform:scale(1.05)rotate(.5deg)}.meta{min-width:0}.name{margin:2px 0 6px;font-size:18px}.badges{flex-wrap:wrap;align-items:center;gap:10px;margin:0;display:flex}.badge{color:var(--text);opacity:.9;justify-content:center;align-items:center;text-decoration:none;transition:color .15s,opacity .15s,transform .15s;display:inline-flex}.badge:hover{opacity:1;transform:translateY(-1px)}.badge:focus-visible{outline:2px solid var(--math-teal);outline-offset:2px;border-radius:6px}.badge svg,.badge .iconify{width:20px;height:20px;display:block}.special-member{margin-top:14px}.intro{color:var(--muted);white-space:nowrap;text-overflow:ellipsis;margin:0 0 10px;overflow:hidden}.sr-only{clip:rect(0,0,0,0);white-space:nowrap;border:0;width:1px;height:1px;margin:-1px;padding:0;position:absolute;overflow:hidden}.links{flex-wrap:nowrap;gap:10px;display:flex;overflow:hidden}.link{color:var(--text);background:color-mix(in oklch,var(--math-violet)8%,#ffffff08);border:1px solid #ffffff1a;border-radius:999px;padding:6px 10px;font-size:13px;text-decoration:none;transition:background .25s,transform .25s,box-shadow .25s,border-color .25s}.link:hover{box-shadow:0 0 0 6px var(--ring);background:#ffffff0f;border-color:#ffffff2e;transform:translateY(-1px)}@media (prefers-color-scheme:light){.link{background:color-mix(in oklch,var(--math-violet)8%,#fdfcfbb3);border:1px solid #1a18161f}.link:hover{background:#1a18160f;border-color:#1a181633}}.link.strong{font-size:14px;font-weight:600}.back-links{gap:12px}.hint{color:var(--muted);opacity:.8;margin-top:8px;font-size:12px;display:inline-block}.footer{text-align:center;color:var(--muted);padding:28px 20px 40px}@media (prefers-reduced-motion:reduce){*{transition:none!important;animation:none!important}}