@import"https://fonts.googleapis.com/css2?family=EB+Garamond:ital,wght@0,400;0,500;0,600;0,700;1,400;1,500&family=JetBrains+Mono:wght@400;500&family=Libre+Baskerville:ital,wght@0,400;0,700;1,400&display=swap";*,*:before,*:after{box-sizing:border-box;margin:0;padding:0}:root{--blue: #1a4b8c;--blue-mid: #2563b0;--blue-light: #dbeafe;--blue-pale: #eff6ff;--blue-dark: #0f2d5a;--ink: #0f1923;--ink-mid: #2c3e50;--ink-soft: #5a6a7a;--rule: #c8d6e5;--rule-light: #e8f0f8;--bg: #f9fafc;--white: #ffffff;--amber: #b45309;--topbar-h: 56px;--bottomnav-h: 56px}html{font-size:16px}body{font-family:EB Garamond,Georgia,serif;background:var(--bg);color:var(--ink);min-height:100vh;overflow-x:hidden}.layout{display:grid;grid-template-columns:260px 1fr;min-height:100vh}.topbar{grid-column:1 / -1;background:var(--blue-dark);display:flex;align-items:center;padding:0 20px;gap:12px;border-bottom:3px solid var(--blue-mid);position:sticky;top:0;z-index:200;height:var(--topbar-h)}.topbar-logo{font-family:Libre Baskerville,serif;font-size:1.1rem;font-weight:700;color:var(--white);letter-spacing:.02em;display:flex;align-items:center;gap:10px;white-space:nowrap}.topbar-logo-icon{width:30px;height:30px;background:var(--blue-mid);color:#fff;display:flex;align-items:center;justify-content:center;font-size:1rem;font-family:JetBrains Mono,monospace;border:1.5px solid rgba(255,255,255,.2);flex-shrink:0}.topbar-divider{width:1px;height:24px;background:#ffffff26;margin:0 2px}.topbar-subtitle{font-size:.72rem;color:#ffffff80;letter-spacing:.1em;text-transform:uppercase;font-family:JetBrains Mono,monospace;white-space:nowrap}.topbar-spacer{flex:1}.topbar-search{display:flex;align-items:center;gap:8px;background:#ffffff14;border:1px solid rgba(255,255,255,.15);padding:6px 12px;width:220px;flex-shrink:0}.topbar-search input{background:none;border:none;outline:none;color:#fff;font-family:JetBrains Mono,monospace;font-size:.78rem;width:100%}.topbar-search input::placeholder{color:#ffffff59}.topbar-search-icon{color:#fff6;font-size:.8rem;flex-shrink:0}.topbar-badge{background:var(--blue-mid);color:#fff;font-family:JetBrains Mono,monospace;font-size:.68rem;padding:3px 10px;letter-spacing:.08em;border:1px solid rgba(255,255,255,.2);white-space:nowrap;flex-shrink:0}.hamburger{display:none;background:none;border:1px solid rgba(255,255,255,.25);color:#fff;width:34px;height:34px;align-items:center;justify-content:center;cursor:pointer;font-size:1.1rem;flex-shrink:0}.topbar-search-btn{display:none;background:none;border:1px solid rgba(255,255,255,.25);color:#ffffffb3;width:34px;height:34px;align-items:center;justify-content:center;cursor:pointer;font-size:1rem;flex-shrink:0}.mobile-search-bar{display:none;background:var(--blue-dark);border-top:1px solid rgba(255,255,255,.1);border-bottom:2px solid var(--blue-mid);padding:10px 16px;position:sticky;top:var(--topbar-h);z-index:190}.mobile-search-bar.open{display:flex;align-items:center;gap:8px}.mobile-search-bar input{flex:1;background:#ffffff14;border:1px solid rgba(255,255,255,.2);outline:none;color:#fff;font-family:JetBrains Mono,monospace;font-size:.82rem;padding:7px 12px;width:100%}.mobile-search-bar input::placeholder{color:#ffffff59}.mobile-search-close{background:none;border:none;color:#ffffff80;font-size:1rem;cursor:pointer;padding:4px 6px}.sidebar{background:var(--white);border-right:1px solid var(--rule);padding:24px 0 40px;overflow-y:auto;position:sticky;top:var(--topbar-h);height:calc(100vh - var(--topbar-h))}.sidebar-section-label{font-family:JetBrains Mono,monospace;font-size:.63rem;letter-spacing:.15em;text-transform:uppercase;color:var(--blue);padding:0 20px 8px;margin-top:20px;border-bottom:1px solid var(--rule-light);margin-bottom:4px}.sidebar-item{display:flex;align-items:center;gap:10px;padding:9px 20px;cursor:pointer;font-size:.92rem;color:var(--ink-mid);transition:background .15s,color .15s;border-left:3px solid transparent;font-family:EB Garamond,serif}.sidebar-item:hover{background:var(--blue-pale);color:var(--blue)}.sidebar-item.active{background:var(--blue-light);color:var(--blue-dark);border-left-color:var(--blue);font-weight:600}.sidebar-item-icon{font-size:.85rem;width:18px;text-align:center;color:var(--blue-mid)}.sidebar-count{margin-left:auto;font-family:JetBrains Mono,monospace;font-size:.65rem;color:var(--ink-soft);background:var(--rule-light);padding:1px 6px}.sidebar-overlay{display:none;position:fixed;inset:0;background:#00000073;z-index:150}.main{padding:32px 44px;overflow-y:auto;max-width:960px;width:100%}.page-header{margin-bottom:28px;padding-bottom:18px;border-bottom:2px solid var(--blue)}.page-header-breadcrumb{font-family:JetBrains Mono,monospace;font-size:.7rem;color:var(--ink-soft);letter-spacing:.08em;margin-bottom:8px;display:flex;align-items:center;gap:6px}.breadcrumb-sep{color:var(--blue-mid)}.page-header h1{font-family:Libre Baskerville,serif;font-size:2rem;font-weight:700;color:var(--blue-dark);line-height:1.2;margin-bottom:6px}.page-header-meta{font-size:.87rem;color:var(--ink-soft);font-style:italic}.stats-strip{display:flex;margin-bottom:28px;border:1px solid var(--rule);overflow-x:auto;-webkit-overflow-scrolling:touch}.stat-item{flex:1;min-width:80px;padding:14px 16px;border-right:1px solid var(--rule);background:var(--white);white-space:nowrap}.stat-item:last-child{border-right:none}.stat-value{font-family:JetBrains Mono,monospace;font-size:1.5rem;font-weight:500;color:var(--blue);line-height:1;margin-bottom:4px}.stat-label{font-family:JetBrains Mono,monospace;font-size:.62rem;text-transform:uppercase;letter-spacing:.1em;color:var(--ink-soft)}.featured-note{background:var(--white);border:1px solid var(--rule);margin-bottom:28px}.featured-note-header{background:var(--blue-dark);color:#fff;padding:18px 22px;display:flex;align-items:flex-start;justify-content:space-between;gap:14px}.featured-note-header h2{font-family:Libre Baskerville,serif;font-size:1.3rem;font-weight:700;line-height:1.3}.featured-note-header-meta{font-size:.75rem;color:#ffffff8c;font-family:JetBrains Mono,monospace;margin-top:4px}.featured-note-close{background:#ffffff1a;border:1px solid rgba(255,255,255,.2);color:#fff;padding:4px 12px;cursor:pointer;font-family:JetBrains Mono,monospace;font-size:.72rem;white-space:nowrap;flex-shrink:0;transition:background .15s}.featured-note-close:hover{background:#fff3}.featured-note-body{padding:24px 28px}.article-section{margin-bottom:28px}.article-section-title{font-family:Libre Baskerville,serif;font-size:1.05rem;font-weight:700;color:var(--blue-dark);margin-bottom:12px;padding-bottom:6px;border-bottom:1px solid var(--rule-light)}.body-text{font-size:1rem;line-height:1.9;color:var(--ink-mid);margin:10px 0}.body-text+.body-text{margin-top:0}.katex-block{background:var(--blue-pale);border:1px solid var(--rule);border-left:4px solid var(--blue);padding:18px 24px;margin:20px 0;overflow-x:auto;text-align:center}.katex-block .katex-display{margin:0}.katex-inline{display:inline}.box{border:1px solid var(--rule);padding:16px 20px;margin:20px 0}.box-definition{border-left:4px solid var(--amber);background:#fffbeb}.box-theorem{border-left:4px solid var(--blue);background:var(--blue-pale)}.box-lemma{border-left:4px solid #15803d;background:#f0fdf4}.box-proof{border-left:4px solid #6b7280;background:#f9fafb}.box-corollary{border-left:4px solid #7c3aed;background:#f5f3ff}.box-remark{border-left:4px solid #0891b2;background:#ecfeff}.box-label{font-family:Libre Baskerville,serif;font-size:.75rem;font-weight:700;text-transform:uppercase;letter-spacing:.1em;margin-bottom:8px}.box-definition .box-label{color:var(--amber)}.box-theorem .box-label{color:var(--blue)}.box-lemma .box-label{color:#15803d}.box-proof .box-label{color:#4b5563}.box-corollary .box-label{color:#6d28d9}.box-remark .box-label{color:#0891b2}.box-title{font-family:Libre Baskerville,serif;font-style:italic;font-size:.92rem;color:var(--ink-soft);margin-bottom:4px}.proof-qed{text-align:right;font-size:1.1rem;color:var(--ink-soft);margin-top:10px}.proof-steps{list-style:none;padding:0}.proof-steps li{display:flex;gap:12px;margin-bottom:8px;font-size:1rem;line-height:1.8;color:var(--ink-mid)}.proof-step-num{font-family:JetBrains Mono,monospace;font-size:.72rem;color:var(--ink-soft);padding-top:5px;flex-shrink:0;min-width:22px}.action-bar{display:flex;align-items:center;justify-content:space-between;margin-bottom:20px;gap:10px}.section-title{font-family:Libre Baskerville,serif;font-size:1.15rem;font-weight:700;color:var(--blue-dark);display:flex;align-items:center;gap:12px}.section-title:after{content:"";flex:1;height:1px;background:var(--rule)}.tags-row{display:flex;flex-wrap:wrap;gap:7px;margin-bottom:24px;overflow-x:auto;-webkit-overflow-scrolling:touch}.tag{font-family:JetBrains Mono,monospace;font-size:.67rem;padding:4px 10px;text-transform:uppercase;letter-spacing:.08em;cursor:pointer;transition:background .15s,color .15s;white-space:nowrap;flex-shrink:0}.tag-default{background:var(--white);border:1px solid var(--rule);color:var(--ink-soft)}.tag-default:hover{background:var(--blue-light);border-color:var(--blue);color:var(--blue)}.tag-active{background:var(--blue);border:1px solid var(--blue);color:#fff}.notes-grid{display:grid;grid-template-columns:repeat(auto-fill,minmax(280px,1fr));gap:18px;margin-bottom:36px}.note-card{background:var(--white);border:1px solid var(--rule);border-top:3px solid var(--blue);padding:18px;cursor:pointer;transition:box-shadow .2s,transform .15s;display:flex;flex-direction:column}.note-card:hover{box-shadow:0 4px 20px #1a4b8c1f;transform:translateY(-2px)}.note-card.open{border-top-color:var(--blue-mid);background:var(--blue-pale)}.note-card-tag{font-family:JetBrains Mono,monospace;font-size:.63rem;letter-spacing:.12em;text-transform:uppercase;color:var(--blue-mid);margin-bottom:7px}.note-card h3{font-family:Libre Baskerville,serif;font-size:1.02rem;font-weight:700;color:var(--ink);margin-bottom:7px;line-height:1.3}.note-card p{font-size:.87rem;color:var(--ink-soft);line-height:1.6;margin-bottom:12px;flex:1}.note-card-formula{background:var(--blue-pale);border-left:3px solid var(--blue);padding:8px 12px;margin-bottom:12px;overflow-x:auto;font-size:.82rem}.note-card-formula .katex-display{margin:0;font-size:.9rem}.note-card-footer{display:flex;align-items:center;justify-content:space-between;border-top:1px solid var(--rule-light);padding-top:9px}.note-card-date{font-family:JetBrains Mono,monospace;font-size:.66rem;color:var(--ink-soft)}.note-card-status{font-family:JetBrains Mono,monospace;font-size:.63rem;padding:2px 8px;text-transform:uppercase;letter-spacing:.08em}.status-theorem{background:#dbeafe;color:#1e40af}.status-lemma{background:#d1fae5;color:#065f46}.status-definition{background:#fef3c7;color:#92400e}.status-proof{background:#fce7f3;color:#9d174d}.status-corollary{background:#ede9fe;color:#4c1d95}.toc{background:var(--white);border:1px solid var(--rule);padding:18px;margin-bottom:32px}.toc-title{font-family:Libre Baskerville,serif;font-size:.88rem;font-weight:700;color:var(--blue-dark);margin-bottom:12px;text-transform:uppercase;letter-spacing:.05em;padding-bottom:8px;border-bottom:1px solid var(--rule-light)}.toc-list{list-style:none;display:flex;flex-direction:column;gap:7px}.toc-list li{display:flex;align-items:baseline;gap:10px;font-size:.9rem;color:var(--blue-mid);cursor:pointer}.toc-list li:hover{text-decoration:underline}.toc-num{font-family:JetBrains Mono,monospace;font-size:.68rem;color:var(--ink-soft);width:20px;flex-shrink:0}.btn-primary{background:var(--blue);color:#fff;border:none;padding:8px 16px;font-family:JetBrains Mono,monospace;font-size:.75rem;letter-spacing:.08em;cursor:pointer;transition:background .15s;display:inline-flex;align-items:center;gap:6px;white-space:nowrap}.btn-primary:hover{background:var(--blue-mid)}.btn-outline{background:transparent;color:var(--blue);border:1px solid var(--blue);padding:7px 14px;font-family:JetBrains Mono,monospace;font-size:.75rem;letter-spacing:.08em;cursor:pointer;transition:background .15s,color .15s;display:inline-flex;align-items:center;gap:6px;white-space:nowrap}.btn-outline:hover{background:var(--blue);color:#fff}.bottom-nav{display:none;position:fixed;bottom:0;left:0;right:0;height:var(--bottomnav-h);background:var(--blue-dark);border-top:2px solid var(--blue-mid);z-index:200;align-items:stretch}.bottom-nav-item{flex:1;display:flex;flex-direction:column;align-items:center;justify-content:center;gap:3px;cursor:pointer;font-family:JetBrains Mono,monospace;font-size:.6rem;letter-spacing:.06em;text-transform:uppercase;color:#ffffff80;border:none;background:none;transition:color .15s;padding:0}.bottom-nav-item.active{color:#fff}.bottom-nav-item-icon{font-size:1.1rem}::-webkit-scrollbar{width:5px;height:5px}::-webkit-scrollbar-track{background:var(--bg)}::-webkit-scrollbar-thumb{background:var(--rule)}::-webkit-scrollbar-thumb:hover{background:var(--blue-mid)}@media(max-width:900px){.layout{grid-template-columns:1fr}.topbar-subtitle,.topbar-divider,.topbar-badge,.topbar-search{display:none}.hamburger,.topbar-search-btn{display:flex}.sidebar{position:fixed;top:0;left:0;width:280px;height:100vh;z-index:160;transform:translate(-100%);transition:transform .25s ease;padding-top:calc(var(--topbar-h) + 16px);box-shadow:4px 0 24px #00000026}.sidebar.open{transform:translate(0)}.sidebar-overlay.open{display:block}.main{padding:24px 20px 80px}.page-header h1{font-size:1.6rem}.notes-grid{grid-template-columns:1fr 1fr;gap:14px}.featured-note-body{padding:18px}}@media(max-width:580px){.notes-grid{grid-template-columns:1fr}.page-header h1{font-size:1.4rem}.stat-item{min-width:72px;padding:12px}.stat-value{font-size:1.3rem}.action-bar{flex-wrap:wrap;gap:8px}.featured-note-header{flex-direction:column;gap:10px}.featured-note-close{align-self:flex-end}.featured-note-header h2{font-size:1.1rem}.bottom-nav{display:flex}.main{padding-bottom:calc(var(--bottomnav-h) + 20px)}.tags-row{flex-wrap:nowrap}}.blog-layout{background:var(--bg);min-height:calc(100vh - var(--topbar-h));padding:40px 20px}.blog-container{max-width:800px;margin:0 auto;background:var(--white);border:1px solid var(--rule);border-top:4px solid var(--blue);padding:50px 60px;box-shadow:0 10px 30px #0f2d5a0d}.blog-back-btn{display:inline-flex;align-items:center;gap:8px;color:var(--ink-soft);text-decoration:none;font-family:JetBrains Mono,monospace;font-size:.8rem;margin-bottom:30px;transition:color .15s}.blog-back-btn:hover{color:var(--blue)}.blog-header{margin-bottom:30px;padding-bottom:20px;border-bottom:1px solid var(--rule-light)}.blog-meta{display:flex;align-items:center;gap:12px;margin-bottom:12px}.blog-tag{font-family:JetBrains Mono,monospace;font-size:.7rem;color:var(--blue-mid);letter-spacing:.1em}.blog-date{font-family:JetBrains Mono,monospace;font-size:.75rem;color:var(--ink-soft)}.blog-title{font-family:Libre Baskerville,serif;font-size:2.2rem;font-weight:700;color:var(--ink);line-height:1.2;margin-bottom:16px}.blog-content{font-size:1.05rem;line-height:1.8;color:var(--ink-mid)}@media(max-width:600px){.blog-container{padding:20px 15px;border:none;box-shadow:none;border-top:3px solid var(--blue);margin-top:10px}.blog-title{font-size:1.6rem}.blog-content{font-size:1rem}.main{padding:12px 10px 80px}}