.astro-route-announcer{position:absolute;left:0;top:0;clip:rect(0 0 0 0);clip-path:inset(50%);overflow:hidden;white-space:nowrap;width:1px;height:1px}html{scroll-padding-top:6rem}:root{--bg-dark: #07090e;--bg-gradient: radial-gradient(circle at 50% -20%, #1e293b 0%, #0f172a 45%, #07090e 100%);--primary: #60a5fa;--primary-glow: rgba(96, 165, 250, .25);--secondary: #34d399;--accent: #a78bfa;--text-main: #f8fafc;--text-muted: #94a3b8;--text-subtle: #64748b;--glass-bg: rgba(15, 23, 42, .65);--glass-border: rgba(255, 255, 255, .08);--glass-hover-border: rgba(96, 165, 250, .3);--card-bg: rgba(30, 41, 59, .4);--shadow-glow: 0 10px 30px -10px rgba(96, 165, 250, .15)}*{box-sizing:border-box}body{font-family:Plus Jakarta Sans,Outfit,Inter,system-ui,-apple-system,sans-serif;background:var(--bg-gradient);color:var(--text-main);min-height:100vh;margin:0;padding:0;overflow-x:hidden;line-height:1.7;display:flex;flex-direction:column}.glass{background:var(--glass-bg);backdrop-filter:blur(16px) saturate(130%);-webkit-backdrop-filter:blur(16px) saturate(130%);border:1px solid var(--glass-border);border-radius:16px;box-shadow:0 8px 32px #0000005e;transition:all .3s cubic-bezier(.4,0,.2,1)}.glass-hover{transition:all .3s cubic-bezier(.4,0,.2,1)}.glass-hover:hover{border-color:var(--glass-hover-border);transform:translateY(-3px);box-shadow:var(--shadow-glow),0 12px 40px #00000080}.site-header{position:sticky;top:0;z-index:100;background:#07090ecc;backdrop-filter:blur(20px);-webkit-backdrop-filter:blur(20px);border-bottom:1px solid var(--glass-border)}.header-inner{max-width:1200px;margin:0 auto;padding:1rem 1.5rem;display:flex;align-items:center;justify-content:space-between}.site-logo{display:flex;align-items:center;gap:.75rem;text-decoration:none;color:var(--text-main);font-weight:700;font-size:1.35rem;font-family:Outfit,sans-serif;white-space:nowrap}.logo-badge{background:linear-gradient(135deg,#3b82f6,#10b981);padding:.35rem .65rem;border-radius:8px;font-size:.9rem;font-weight:800;color:#fff;box-shadow:0 4px 12px #3b82f64d}.nav-links{display:flex;align-items:center;gap:1.5rem;list-style:none;margin:0;padding:0}.nav-link{color:var(--text-muted);text-decoration:none;font-size:.95rem;font-weight:500;white-space:nowrap;transition:color .2s ease}.nav-link:hover{color:var(--primary)}main.main-content{flex:1;max-width:1200px;width:100%;margin:0 auto;padding:2.5rem 1.5rem 4rem}.site-footer{background:#07090ef2;border-top:1px solid var(--glass-border);padding:2.5rem 1.5rem;margin-top:auto;color:var(--text-subtle);font-size:.9rem}.footer-inner{max-width:1200px;margin:0 auto;display:flex;flex-wrap:wrap;justify-content:space-between;align-items:center;gap:1.5rem}mjx-container{max-width:100%;overflow-x:auto;min-width:0!important}mjx-container[display=true]{padding:1.25rem;background:#0000004d;border-radius:12px;overflow-x:auto;margin:1.5rem 0}a{color:#60a5fa;text-decoration:none;transition:all .2s ease}a:hover{color:#93c5fd}.markdown-body a{color:#60a5fa;text-decoration:none;border-bottom:1px dashed rgba(96,165,250,.5);padding-bottom:2px;transition:all .2s ease}.markdown-body a:hover{color:#93c5fd;border-bottom-style:solid;border-bottom-color:#93c5fd;text-shadow:0 0 10px rgba(147,197,253,.4)}.markdown-body{color:#e2e8f0;line-height:1.8}.markdown-body h1{font-size:1.8rem;font-weight:700;color:#f8fafc;border-bottom:1px solid rgba(255,255,255,.1);padding-bottom:.5rem;margin-top:1.5rem;margin-bottom:1rem}.markdown-body h2{font-size:1.4rem;font-weight:600;color:var(--primary);margin-top:1.75rem;margin-bottom:.75rem}.markdown-body h3{font-size:1.15rem;font-weight:600;color:var(--secondary);margin-top:1.5rem;margin-bottom:.5rem}.markdown-body .case-block{margin:1.5rem 0;padding:.1rem 1.25rem 1rem;border-left:3px solid var(--accent);background:#a78bfa0d;border-radius:0 10px 10px 0}.markdown-body .case-block+.case-block{margin-top:1.5rem}.markdown-body h4{font-size:1rem;font-weight:600;color:var(--accent);margin-top:1rem;margin-bottom:.5rem}.markdown-body .math-card{margin:1.75rem 0;padding:1.1rem 1.35rem 1.25rem;border-radius:0 12px 12px 0;background:#0f172a8c;border:1px solid var(--glass-border);box-shadow:0 4px 20px -5px #0000004d;position:relative}.markdown-body .math-card.theorem,.markdown-body .math-card.lemma,.markdown-body .math-card.proposition,.markdown-body .math-card.corollary{border-left:4px solid var(--primary);background:linear-gradient(90deg,#60a5fa14,#0f172a80)}.markdown-body .math-card.definition{border-left:4px solid #38bdf8;background:linear-gradient(90deg,#38bdf814,#0f172a80)}.markdown-body .math-card.proof{border-left:4px solid var(--secondary);background:linear-gradient(90deg,#34d3990f,#0f172a73)}.markdown-body .math-card-header{font-size:1.02rem;font-weight:700;letter-spacing:.02em;margin-bottom:.75rem;display:flex;align-items:center;gap:.5rem}.markdown-body .math-card.theorem .math-card-header,.markdown-body .math-card.lemma .math-card-header,.markdown-body .math-card.proposition .math-card-header,.markdown-body .math-card.corollary .math-card-header{color:var(--primary)}.markdown-body .math-card.definition .math-card-header{color:#38bdf8}.markdown-body .math-card.proof .math-card-header{color:var(--secondary)}.markdown-body .math-card-body{color:var(--text-main);line-height:1.75}.markdown-body .math-card-body>:last-child{margin-bottom:0}.markdown-body .qed-symbol{text-align:right;color:var(--secondary);font-size:1.15rem;line-height:1;margin-top:.5rem;user-select:none}.markdown-body .editorial-note{margin:0 0 1.5rem;padding:.7rem 1.1rem;border-left:3px solid #fbbf24;border-radius:10px;background:#fbbf2414;color:var(--text-muted);font-size:.88rem;font-style:italic}.markdown-body table{width:auto;max-width:100%;border-collapse:collapse;margin:1.5rem auto;background:#0003;border-radius:10px;overflow:hidden}.markdown-body th,.markdown-body td{padding:.75rem 1.25rem;border:1px solid rgba(255,255,255,.08);text-align:left}.markdown-body th{background:#ffffff0f;color:var(--text-main);font-weight:600;border-bottom:2px solid var(--glass-hover-border)}.markdown-body p{margin-bottom:1rem}.markdown-body img{max-width:100%;height:auto;border-radius:10px;background:#fffffff2;padding:.5rem;box-shadow:0 4px 20px #0006}.markdown-body .center{text-align:center;margin:1rem 0}.badge{display:inline-flex;align-items:center;padding:.3rem .75rem;border-radius:9999px;font-size:.85rem;font-weight:700;line-height:1.2;box-shadow:0 2px 8px #00000040}.badge-utokyo{background:#e11d4880;color:#ffe4e6;border:1px solid #fb7185}.badge-ukyoto{background:#6b21a880;color:#f3e8ff;border:1px solid #c084fc}.badge-titech{background:#065f4680;color:#d1fae5;border:1px solid #34d399}.badge-summary{background:#6b21a880;color:#f3e8ff;border:1px solid #c084fc}.badge-problem{background:#92400e80;color:#fef08a;border:1px solid #fbbf24}.badge-solution{background:#1e40af80;color:#dbeafe;border:1px solid #60a5fa}figure{display:flex;flex-direction:column;align-items:center;justify-content:center;margin:2.5rem auto;text-align:center}figure img{max-width:100%;min-width:min(220px,100%);height:auto;border-radius:8px;margin-bottom:.75rem;box-shadow:0 4px 20px #0000004d}figcaption{font-size:.9rem;color:var(--text-muted);font-weight:500}@media (max-width: 640px){.header-inner{flex-wrap:wrap;gap:.6rem 1rem;padding:.85rem 1rem}.nav-links{flex-wrap:wrap;gap:.5rem 1rem}.nav-link{font-size:.85rem}.site-logo{font-size:1.15rem}main.main-content{padding:1.5rem .5rem 3rem}.site-footer{padding:1.75rem 1rem}.markdown-body h1{font-size:1.4rem}.markdown-body h2{font-size:1.15rem}.markdown-body h3{font-size:1.02rem}mjx-container[display=true]{padding:.6rem;margin:1.1rem 0}mjx-container:not([display=true]){font-size:90%}.markdown-body th,.markdown-body td{padding:.5rem .6rem}.markdown-body .case-block{padding:.1rem .75rem 1rem}.markdown-body .math-card{padding:.85rem 1rem 1rem;margin:1.25rem 0}}