@import url('https://fonts.googleapis.com/css2?family=DM+Mono:wght@400;500&family=DM+Sans:wght@400;500;600;700&family=Instrument+Serif:ital@0;1&display=swap');
:root{color-scheme:dark;--bg:#080f1b;--panel:#101d2c;--line:#263747;--text:#eaf2fa;--muted:#94a9ba;--violet:#70b8fa;--mint:#69c6df;--font: 'DM Sans',system-ui,sans-serif;--mono:'DM Mono',monospace}*{box-sizing:border-box}html{scroll-behavior:smooth}body{margin:0;background:var(--bg);color:var(--text);font-family:var(--font);-webkit-font-smoothing:antialiased}button,a{font:inherit}a{color:inherit;text-decoration:none}button{cursor:pointer}.container{max-width:1240px;padding:0 clamp(22px,5.1vw,76px);margin:auto}.topbar{position:sticky;z-index:9;top:0;border-bottom:1px solid #ffffff12;background:#080f1be8;backdrop-filter:blur(20px)}.topbar .inner{min-height:77px;display:flex;align-items:center;justify-content:space-between;gap:20px}.logo{font-size:28px;font-weight:700;letter-spacing:-2px}.logo b{color:var(--violet)}.nav{display:flex;gap:clamp(14px,2.8vw,36px)}.nav a{font-size:12px;color:#afc0d1}.nav a:hover,.nav a:focus{color:white}.tag{font:10px var(--mono);letter-spacing:1.6px;color:var(--mint);text-transform:uppercase}.hero{min-height:660px;display:grid;grid-template-columns:45% 55%;align-items:center;position:relative;padding-top:45px;padding-bottom:60px}.hero-copy{position:relative;z-index:2;pointer-events:none}.hero-copy a,.hero-copy button{pointer-events:auto}h1{font-weight:500;letter-spacing:-.063em;line-height:1.03;font-size:clamp(52px,5.6vw,84px);margin:27px 0 22px}h1 em,.serif{font-family:'Instrument Serif',Georgia,serif;font-weight:400;letter-spacing:-.035em;color:#93cfff}.intro{line-height:1.8;font-size:15px;color:#aabccc;max-width:420px}.cta{margin-top:30px;display:flex;flex-wrap:wrap;gap:11px}.btn{border:1px solid #3d5d79;border-radius:5px;background:transparent;color:#eaf2fa;font-size:12px;padding:13px 17px;display:inline-flex;align-items:center;gap:13px;transition:background .2s}.btn:hover{background:#152a3e}.btn.primary{background:#78bcf8;color:#081423;border-color:#78bcf8;font-weight:700}.btn.primary:hover{background:#a8d8ff}.attractor-area{height:590px;min-width:0;position:relative;align-self:stretch;display:flex;align-items:center}.canvas-shell{position:absolute;inset:0 -2vw 0 -5vw;overflow:hidden;touch-action:pan-y}canvas{width:100%;height:100%;display:block;cursor:grab;touch-action:pan-y}canvas:active{cursor:grabbing}.attractor-label{position:absolute;right:6px;bottom:104px;text-align:right;font:10px var(--mono);letter-spacing:.6px;color:#90aabd;pointer-events:none}.attractor-label strong{display:block;color:#dcecf9;font-weight:400;margin-bottom:5px}.controls{position:absolute;z-index:3;bottom:0;left:0;right:0;border:1px solid #34506a;background:#0d1b2bea;backdrop-filter:blur(13px);border-radius:8px;padding:14px 15px;display:flex;gap:10px;align-items:center;flex-wrap:wrap;justify-content:space-between}.choices{display:flex;gap:4px;align-items:center}.choice,.control{font:10px var(--mono);border:1px solid transparent;background:transparent;color:#9db5c9;border-radius:4px;padding:8px 10px}.choice.active{color:#0b1c2c;background:var(--violet);border-color:var(--violet)}.control{border-color:#33516b;color:#d3e3ef}.control:hover,.control:focus,.choice:hover{border-color:#70b8fa}.hint{position:absolute;right:8px;top:30px;font:10px var(--mono);color:#849fb4;pointer-events:none}.separator{height:1px;background:var(--line)}.section{padding:90px 0}.section-head{display:flex;align-items:end;justify-content:space-between;gap:20px;margin-bottom:34px}.section h2{font-size:clamp(32px,4vw,47px);font-weight:500;letter-spacing:-1.6px;line-height:1.1;margin:15px 0 0}.section h2 span{color:var(--violet)}.section-counter{font:10px var(--mono);color:#849bb0}.work-grid{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:16px}.work-card{min-width:0;min-height:332px;display:flex;flex-direction:column;padding:23px;border:1px solid #284159;background:linear-gradient(145deg,#13253a,#0e1a29);border-radius:8px;transition:border-color .25s,transform .25s}.work-card:hover{transform:translateY(-5px);border-color:#6bb5ed}.card-top{display:flex;justify-content:space-between;color:#a2b8cb;font:10px var(--mono)}.card-art{height:145px;display:grid;place-items:center;font-family:'Instrument Serif',serif;font-size:clamp(26px,3.3vw,44px);font-style:italic;color:#93cfff;text-align:center}.work-card:nth-child(2) .card-art{color:var(--mint)}.work-card:nth-child(3) .card-art{color:#91bff3}.work-card h3{font-weight:600;letter-spacing:-.4px;font-size:19px;margin:auto 0 9px}.work-card p{color:#a4bacb;line-height:1.6;font-size:12px;margin:0}.entries{margin-top:30px}.entry{display:grid;grid-template-columns:110px 1fr 25px;gap:20px;padding:22px 0;border-bottom:1px solid var(--line);align-items:center;transition:color .2s}.entry:first-child{border-top:1px solid var(--line)}.entry:hover{color:var(--violet)}.entry small{font:10px var(--mono);color:#94a9bd}.entry span{font-size:16px}.about-grid{display:grid;grid-template-columns:1fr 1fr;gap:60px;align-items:start}.about-statement{font-size:clamp(32px,4vw,52px);line-height:1.12;letter-spacing:-1.8px}.about-text{font-size:15px;color:#aabfd0;line-height:1.9}.footer{padding:30px 0 50px;display:flex;justify-content:space-between;flex-wrap:wrap;gap:15px;font:10px var(--mono);color:#91a9bc}.footer a:hover{color:var(--violet)}.note{font:10px var(--mono);line-height:1.6;color:#829caf;margin-top:14px}.mode-indicator{color:var(--mint)}
@media(max-width:900px){.hero{grid-template-columns:1fr;min-height:0;padding-top:82px}.hero-copy{max-width:660px}.attractor-area{height:500px;margin-top:-20px}.canvas-shell{inset:0 -4vw 0 -4vw}.work-grid{grid-template-columns:1fr 1fr}.work-card:last-child{grid-column:1/-1}.work-card{min-height:275px}.card-art{height:100px}}@media(max-width:600px){.topbar .inner{min-height:65px}.logo{font-size:24px}.nav{gap:12px}.nav a{font-size:10px}.hero{padding-top:55px;padding-bottom:55px}h1{font-size:clamp(49px,13vw,68px)}.intro{font-size:14px}.attractor-area{height:420px;margin-top:0}.canvas-shell{inset:0 -22px 0 -22px}.controls{bottom:4px;gap:6px;padding:9px}.choice,.control{font-size:9px;padding:7px}.hint,.attractor-label{display:none}.section{padding:63px 0}.work-grid{grid-template-columns:1fr}.work-card:last-child{grid-column:auto}.work-card{min-height:245px}.card-art{height:80px}.entry{grid-template-columns:74px 1fr 12px;gap:10px}.entry span{font-size:14px}.about-grid{grid-template-columns:1fr;gap:20px}.about-statement{font-size:37px}}@media(prefers-reduced-motion:reduce){html{scroll-behavior:auto}.work-card{transition:none}}

/* Shared interior layout */
.page-hero{padding:100px 0 64px;max-width:900px}.page-hero h1{margin:15px 0 20px}.page-hero p{max-width:690px;line-height:1.85;color:var(--muted);font-size:16px}.section-tight{padding:35px 0 90px}.paper-group{margin-bottom:65px}.paper-group h2{font-size:clamp(25px,3vw,36px);margin:0 0 25px;letter-spacing:-1px;font-weight:500}.paper-row{display:grid;grid-template-columns:1fr auto;gap:25px;align-items:center;padding:23px 0;border-top:1px solid var(--line)}.paper-row:last-child{border-bottom:1px solid var(--line)}.paper-row h3{font-size:18px;font-weight:550;margin:0 0 8px;letter-spacing:-.35px}.paper-row p{font:11px var(--mono);color:var(--muted);margin:0}.chip{border:1px solid #375a74;border-radius:5px;padding:10px 16px;color:#9bd0fa;font:11px var(--mono);white-space:nowrap}.chip:hover{background:#18324b}.notice{padding:15px 19px;border:1px solid #35516a;border-radius:7px;color:#adc2d2;font-size:13px;line-height:1.7;margin:14px 0 35px}.note-list{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:15px}.note-card{display:block;border:1px solid var(--line);border-radius:8px;background:linear-gradient(135deg,#13263a,#0d1a28);padding:27px;min-height:150px;transition:border-color .2s,transform .2s}.note-card:hover{border-color:var(--violet);transform:translateY(-3px)}.note-card .subject{font:10px var(--mono);color:var(--mint);margin-bottom:18px}.note-card h3{font-size:21px;font-weight:500;margin:0 0 12px}.note-card p{font-size:13px;line-height:1.65;color:var(--muted);margin:0}.article{max-width:850px;margin:0 auto;padding:55px 0 120px;font-size:16px;line-height:1.95;color:#d6e5f0}.article h2{font-weight:550;font-size:31px;letter-spacing:-1px;margin:60px 0 20px;color:#f1f7fc}.article h3{font-size:16px;margin:25px 0 10px;color:var(--mint)}.article p{margin:17px 0}.article .definition{border-left:2px solid var(--violet);background:#112538;border-radius:0 7px 7px 0;padding:18px 22px;margin:25px 0}.article .proof{color:var(--mint);font-weight:600;margin-top:24px}.article .math-content{padding:20px 8px;overflow-x:auto}.article mjx-container[display="true"]{overflow-x:auto;overflow-y:hidden;padding:5px 0}.article a{color:var(--violet);text-decoration:underline}.backlink{font:12px var(--mono);color:var(--mint)}.project-status{min-height:40px;color:var(--muted);font-size:13px;margin-bottom:25px}.repo-grid{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:15px}.repo{border:1px solid var(--line);border-radius:8px;padding:27px;background:#101f30;min-width:0}.repo h3{font-size:19px;letter-spacing:-.5px;font-weight:550;margin:10px 0}.repo h3 a:hover{color:var(--violet)}.repo p{color:var(--muted);font-size:13px;line-height:1.65;min-height:42px;overflow-wrap:anywhere}.repo-meta{font:10px var(--mono);color:var(--mint);display:flex;justify-content:space-between;margin-top:24px;gap:8px}.social-links{display:flex;gap:10px;flex-wrap:wrap;margin-top:20px}.social-links a{border:1px solid #34536d;padding:10px 15px;border-radius:5px;font:11px var(--mono)}.social-links a:hover{border-color:var(--violet)}.footer-links{display:flex;gap:20px;flex-wrap:wrap}.math-hero{padding-bottom:25px}@media(max-width:700px){.page-hero{padding:65px 0 40px}.note-list,.repo-grid{grid-template-columns:1fr}.paper-row{gap:12px}.paper-row h3{font-size:16px}.article{font-size:15px}.article h2{font-size:25px}.paper-group{margin-bottom:40px}}

/* Refined blue research-studio theme */
:focus-visible{outline:2px solid #7dc7ff;outline-offset:4px}::selection{background:#2d6598;color:#ffffff}.work-card:hover{box-shadow:0 16px 40px #050c1655}.section#about{padding-top:76px;padding-bottom:76px}.about-text .btn{margin-top:14px}.hero{min-height:630px}@media(max-width:600px){.section#about{padding-top:56px;padding-bottom:56px}}

/* Content-rich profile and mathematical journal */
.about-text p{margin:0 0 17px}.about-facts{display:flex;flex-wrap:wrap;gap:9px;margin-top:28px}.about-facts span,.about-highlights span{font:10px var(--mono);letter-spacing:.25px;border:1px solid #34516b;background:#10243a;border-radius:4px;padding:9px 11px;color:#b4d8f5}.about-highlights{display:flex;flex-wrap:wrap;gap:8px;margin-top:24px}.journal-intro{max-width:720px}.journal-tools{display:flex;gap:12px;flex-wrap:wrap;margin:0 0 28px}.journal-search{width:100%;max-width:420px;border:1px solid #39566f;background:#0e1d2e;color:#eaf2fa;border-radius:6px;padding:14px 16px;font:14px var(--font)}.journal-search::placeholder{color:#87a1b8}.journal-group-label{font:11px var(--mono);letter-spacing:1.3px;color:var(--mint);margin:40px 0 18px}.note-card .subject{line-height:1.7}.note-card .meta-line{font:10px var(--mono);color:#91adc5;margin-top:18px}.journal-empty{color:var(--muted);font-size:14px;display:none}.reading-lead{color:#b4cce0;font-size:16px;line-height:1.85;max-width:780px}.article .example{background:#0c2435;border:1px solid #2a4d67;border-radius:7px;padding:17px 22px;margin:25px 0}.article .note-provenance{font-size:12px;color:#91adc5;border-bottom:1px solid var(--line);padding-bottom:20px}.article .article-nav{border-top:1px solid var(--line);margin-top:65px;padding-top:25px}.article .article-nav a{font:12px var(--mono)}
.journal-card[hidden]{display:none!important}
/* Prominent Mathematics Journal knowledge-map entry */
.graph-invite-feature{display:grid;grid-template-columns:minmax(0,1.5fr) minmax(220px,.7fr);align-items:center;gap:24px;position:relative;overflow:hidden;padding:clamp(25px,4vw,49px);border:1px solid #498cc4;background:radial-gradient(ellipse at 95% 10%,rgba(55,140,212,.24),transparent 57%),linear-gradient(125deg,#0d273f,#102337 65%,#0c1b2d);box-shadow:0 0 0 1px #64b9ff12,0 20px 80px #0004;border-radius:18px}
.graph-invite-feature .tag{color:#88d0ff;letter-spacing:.13em;font-weight:700}
.graph-invite-feature h2{font-size:clamp(30px,4vw,50px);letter-spacing:-.045em;line-height:1.09;margin:14px 0;color:#f2f8ff}
.graph-invite-feature p{color:#c7dbed;line-height:1.7;max-width:55ch}
.graph-feature-dot{color:#78c7ff}
.graph-invite-feature .graph-feature-cta{display:inline-flex;align-items:center;justify-content:space-between;gap:26px;margin-top:18px;padding:16px 22px;background:#9fd6ff;color:#051627!important;border:1px solid #b6e2ff;border-radius:8px;text-decoration:none;font-weight:800;letter-spacing:.045em;font-size:12px;box-shadow:0 8px 35px #78bfff32;transition:transform .2s,background .2s,box-shadow .2s}
.graph-invite-feature .graph-feature-cta:hover,.graph-invite-feature .graph-feature-cta:focus-visible{background:#d1efff;transform:translateY(-2px);box-shadow:0 10px 45px #78bfff60}
.graph-feature-art{display:flex;flex-direction:column;align-items:center;gap:14px;color:#91b4cf;font:11px ui-monospace,monospace;letter-spacing:.05em}
.graph-feature-art svg{width:100%;max-width:310px;filter:drop-shadow(0 4px 18px #65bfff30)}
.graph-feature-art span{color:#67c8e4}
@media(max-width:750px){.graph-invite-feature{grid-template-columns:1fr}.graph-feature-art{display:none}.graph-invite-feature .graph-feature-cta{width:100%}}