:root{--bg-primary: #ffffff;--bg-secondary: #f8f9fa;--bg-tertiary: #e9ecef;--text-primary: #212529;--text-secondary: #6c757d;--text-link: #0066cc;--text-link-hover: #004499;--border-color: #dee2e6;--shadow: rgba(0, 0, 0, 0.1);--box-theorem-bg: #e7f3ff;--box-theorem-border: #2196f3;--box-definition-bg: #f3e7ff;--box-definition-border: #9c27b0;--box-lemma-bg: #e7ffe7;--box-lemma-border: #4caf50;--box-proof-bg: #fff9e7;--box-proof-border: #ff9800;--box-note-bg: #e7f7ff;--box-note-border: #00bcd4;--box-warning-bg: #ffe7e7;--box-warning-border: #f44336;--box-example-bg: #f0f0f0;--box-example-border: #757575;--code-bg: #fafafa;--code-text: #24292e;--inline-code-bg: #f6f8fa;--inline-code-text: #d73a49}:root[data-theme=dark]{--bg-primary: #1a1a1a;--bg-secondary: #2d2d2d;--bg-tertiary: #3a3a3a;--text-primary: #e4e4e4;--text-secondary: #a0a0a0;--text-link: #5b9fff;--text-link-hover: #8bb9ff;--border-color: #404040;--shadow: rgba(0, 0, 0, 0.3);--box-theorem-bg: #1a2a3a;--box-theorem-border: #2196f3;--box-definition-bg: #2a1a3a;--box-definition-border: #9c27b0;--box-lemma-bg: #1a3a1a;--box-lemma-border: #4caf50;--box-proof-bg: #3a2f1a;--box-proof-border: #ff9800;--box-note-bg: #1a2f3a;--box-note-border: #00bcd4;--box-warning-bg: #3a1a1a;--box-warning-border: #f44336;--box-example-bg: #2a2a2a;--box-example-border: #757575;--code-bg: #1e1e1e;--code-text: #d4d4d4;--inline-code-bg: #2d2d2d;--inline-code-text: #ff79c6}@media (prefers-color-scheme: dark){:root:not([data-theme=light]){--bg-primary: #1a1a1a;--bg-secondary: #2d2d2d;--bg-tertiary: #3a3a3a;--text-primary: #e4e4e4;--text-secondary: #a0a0a0;--text-link: #5b9fff;--text-link-hover: #8bb9ff;--border-color: #404040;--shadow: rgba(0, 0, 0, 0.3);--box-theorem-bg: #1a2a3a;--box-theorem-border: #2196f3;--box-definition-bg: #2a1a3a;--box-definition-border: #9c27b0;--box-lemma-bg: #1a3a1a;--box-lemma-border: #4caf50;--box-proof-bg: #3a2f1a;--box-proof-border: #ff9800;--box-note-bg: #1a2f3a;--box-note-border: #00bcd4;--box-warning-bg: #3a1a1a;--box-warning-border: #f44336;--box-example-bg: #2a2a2a;--box-example-border: #757575;--code-bg: #1e1e1e;--code-text: #d4d4d4;--inline-code-bg: #2d2d2d;--inline-code-text: #ff79c6}}*{margin:0;padding:0;box-sizing:border-box}html{font-size:16px;line-height:1.6;scroll-behavior:smooth;height:100%}body{font-family:-apple-system,BlinkMacSystemFont,"Segoe UI",Roboto,"Helvetica Neue",Arial,sans-serif;background-color:var(--bg-primary);color:var(--text-primary);transition:background-color .3s ease,color .3s ease;min-height:100%;display:flex;flex-direction:column}h1,h2,h3,h4,h5,h6{font-weight:700;line-height:1.3;margin-top:1.5rem;margin-bottom:.75rem}h1{font-size:2.5rem}h2{font-size:2rem}h3{font-size:1.5rem}h4{font-size:1.25rem}h5{font-size:1.1rem}h6{font-size:1rem}p{margin-bottom:1rem}a{color:var(--text-link);text-decoration:none;transition:color .2s ease}a:hover{color:var(--text-link-hover);text-decoration:underline}.container{max-width:800px;margin:0 auto;padding:2rem 1.5rem}.nav{background-color:var(--bg-secondary);border-bottom:1px solid var(--border-color);position:sticky;top:0;z-index:100;transition:background-color .3s ease}.nav-container{max-width:1200px;margin:0 auto;padding:1rem 1.5rem;display:flex;justify-content:space-between;align-items:center}.nav-left .logo{font-size:1.5rem;font-weight:700;color:var(--text-primary);text-decoration:none}.nav-right{display:flex;gap:1.5rem;align-items:center}.nav-right a{color:var(--text-primary);font-weight:500;text-decoration:none}.nav-right a:hover{color:var(--text-link)}.theme-toggle{background:rgba(0,0,0,0);border:2px solid var(--border-color);border-radius:50%;width:2.5rem;height:2.5rem;cursor:pointer;display:flex;align-items:center;justify-content:center;transition:all .3s ease}.theme-toggle:hover{border-color:var(--text-link);transform:rotate(20deg)}.theme-toggle-icon::before{content:"☀️";font-size:1.25rem}[data-theme=dark] .theme-toggle-icon::before{content:"🌙"}.main{flex:1}.footer{background-color:var(--bg-secondary);border-top:1px solid var(--border-color);padding:2rem 1.5rem;text-align:center;color:var(--text-secondary);font-size:.9rem}.footer-container p{margin-bottom:.5rem}.footer a{color:var(--text-secondary)}.footer a:hover{color:var(--text-link)}.hero{text-align:center;padding:3rem 0;border-bottom:1px solid var(--border-color);margin-bottom:3rem}.hero h1{font-size:3rem;margin-bottom:.5rem}.hero-subtitle{font-size:1.25rem;color:var(--text-secondary)}.recent-posts h2{margin-bottom:2rem}.post-list{display:flex;flex-direction:column;gap:2rem}.post-preview{padding-bottom:2rem;border-bottom:1px solid var(--border-color)}.post-preview:last-child{border-bottom:none}.post-preview h2,.post-preview h3{margin-top:0;margin-bottom:.5rem}.post-preview h2 a,.post-preview h3 a{color:var(--text-primary);text-decoration:none}.post-preview h2 a:hover,.post-preview h3 a:hover{color:var(--text-link)}.post-meta{display:flex;gap:1rem;align-items:center;margin-bottom:.75rem;font-size:.9rem;color:var(--text-secondary)}.post-tags{display:flex;gap:.5rem}.tag{background-color:var(--bg-tertiary);padding:.25rem .5rem;border-radius:.25rem;font-size:.85rem;color:var(--text-secondary);text-decoration:none}.tag:hover{background-color:var(--border-color);color:var(--text-primary)}.read-more{display:inline-block;margin-top:.5rem;font-weight:500}.view-all{text-align:center;margin-top:3rem}.button{display:inline-block;padding:.75rem 1.5rem;background-color:var(--text-link);color:#fff;border-radius:.5rem;font-weight:500;text-decoration:none;transition:background-color .2s ease}.button:hover{background-color:var(--text-link-hover);text-decoration:none;color:#fff}.article-header{text-align:center;padding-bottom:2rem;border-bottom:2px solid var(--border-color);margin-bottom:2rem}.article-header h1{margin-bottom:1rem}.article-meta{display:flex;justify-content:center;gap:1rem;flex-wrap:wrap;color:var(--text-secondary);font-size:.9rem}.article-tags{display:flex;gap:.5rem}.article-content{font-size:1.1rem;line-height:1.8}.article-content>*:first-child{margin-top:0}.box{margin:1.5rem 0;padding:1rem 1.25rem;border-left:4px solid;border-radius:.375rem;background-color:var(--box-note-bg);border-color:var(--box-note-border)}.box-title{font-weight:700;font-size:1.1rem;margin-bottom:.75rem;color:var(--text-primary)}.box-content>*:first-child{margin-top:0}.box-content>*:last-child{margin-bottom:0}.box-qed{text-align:right;margin-top:.5rem;font-size:1.25rem}.box-theorem{background-color:var(--box-theorem-bg);border-color:var(--box-theorem-border)}.box-definition{background-color:var(--box-definition-bg);border-color:var(--box-definition-border)}.box-lemma{background-color:var(--box-lemma-bg);border-color:var(--box-lemma-border)}.box-proof{background-color:var(--box-proof-bg);border-color:var(--box-proof-border)}.box-note{background-color:var(--box-note-bg);border-color:var(--box-note-border)}.box-warning{background-color:var(--box-warning-bg);border-color:var(--box-warning-border)}.box-example{background-color:var(--box-example-bg);border-color:var(--box-example-border)}code{font-family:"SFMono-Regular",Consolas,"Liberation Mono",Menlo,monospace;font-size:.9em}p code,li code{background-color:var(--inline-code-bg);color:var(--inline-code-text);padding:.2em .4em;border-radius:.25rem}pre{background-color:var(--code-bg) !important;padding:1rem;border-radius:.5rem;overflow-x:auto;margin:1.5rem 0;border:1px solid var(--border-color)}pre code{background:none !important;padding:0}:root:not([data-theme=dark]) pre{background-color:#fff !important;border:1px solid #e1e4e8 !important}:root:not([data-theme=dark]) pre code{color:#1b1f23 !important}:root:not([data-theme=dark]) pre code span{filter:brightness(.5) saturate(2) contrast(1.2) !important}:root[data-theme=dark] pre{background-color:#0d1117 !important;border:1px solid #30363d !important}:root[data-theme=dark] pre code{color:#e6edf3 !important}:root[data-theme=dark] pre code span{filter:brightness(1.3) saturate(1.2) !important}@media (prefers-color-scheme: dark){:root:not([data-theme=light]) pre{background-color:#0d1117 !important;border:1px solid #30363d !important}:root:not([data-theme=light]) pre code{color:#e6edf3 !important}:root:not([data-theme=light]) pre code span{filter:brightness(1.3) saturate(1.2) !important}}:root:not([data-theme=dark]) pre code{color:#24292e}:root:not([data-theme=dark]) pre code .hljs-comment,:root:not([data-theme=dark]) pre code .hljs-quote{color:#6a737d;font-style:italic}:root:not([data-theme=dark]) pre code .hljs-keyword,:root:not([data-theme=dark]) pre code .hljs-selector-tag{color:#d73a49;font-weight:600}:root:not([data-theme=dark]) pre code .hljs-string,:root:not([data-theme=dark]) pre code .hljs-attr{color:#22863a}:root:not([data-theme=dark]) pre code .hljs-number,:root:not([data-theme=dark]) pre code .hljs-literal{color:#005cc5}:root:not([data-theme=dark]) pre code .hljs-function,:root:not([data-theme=dark]) pre code .hljs-title{color:#6f42c1;font-weight:600}:root[data-theme=dark] pre code .hljs-comment,:root[data-theme=dark] pre code .hljs-quote{color:#65737e}:root[data-theme=dark] pre code .hljs-keyword,:root[data-theme=dark] pre code .hljs-selector-tag{color:#c594c5}:root[data-theme=dark] pre code .hljs-string,:root[data-theme=dark] pre code .hljs-attr{color:#99c794}:root[data-theme=dark] pre code .hljs-number,:root[data-theme=dark] pre code .hljs-literal{color:#f99157}:root[data-theme=dark] pre code .hljs-function,:root[data-theme=dark] pre code .hljs-title{color:#69c}@media (prefers-color-scheme: dark){:root:not([data-theme=light]) pre code .hljs-comment,:root:not([data-theme=light]) pre code .hljs-quote{color:#65737e}:root:not([data-theme=light]) pre code .hljs-keyword,:root:not([data-theme=light]) pre code .hljs-selector-tag{color:#c594c5}:root:not([data-theme=light]) pre code .hljs-string,:root:not([data-theme=light]) pre code .hljs-attr{color:#99c794}:root:not([data-theme=light]) pre code .hljs-number,:root:not([data-theme=light]) pre code .hljs-literal{color:#f99157}:root:not([data-theme=light]) pre code .hljs-function,:root:not([data-theme=light]) pre code .hljs-title{color:#69c}}.katex{font-size:1.05em;font-family:"KaTeX_Main","Times New Roman",serif}.katex-display{margin:1rem 0;padding:.25rem 0;overflow-x:auto;overflow-y:visible;text-align:center}.katex-inline{padding:0 .1em;white-space:nowrap}.katex{display:inline-block}.katex-display{position:relative}.katex-display .katex .tag{display:none}.katex-display .equation-number{position:absolute;right:0;top:50%;transform:translateY(-50%);color:var(--text-secondary);font-size:.9em;padding-right:.5rem;user-select:none}.equation-ref{color:var(--text-link);text-decoration:none;font-weight:500}.equation-ref:hover{text-decoration:underline;color:var(--text-link-hover)}.equation-ref-error{color:var(--box-warning-border);font-weight:bold}.math-error{background-color:var(--box-warning-bg);color:var(--box-warning-border);padding:.5rem;border-radius:.25rem;font-family:monospace;display:block;margin:1rem 0}ul,ol{margin-bottom:1rem;padding-left:2rem}li{margin-bottom:.5rem}.article-content li>ol,.article-content li>ul{margin-top:.5rem;margin-bottom:.5rem;padding-left:1.5rem}blockquote{border-left:4px solid var(--border-color);padding-left:1rem;margin:1.5rem 0;color:var(--text-secondary);font-style:italic}table{width:100%;border-collapse:collapse;margin:1.5rem 0}th,td{padding:.75rem;border:1px solid var(--border-color);text-align:left}th{background-color:var(--bg-secondary);font-weight:700}img{max-width:100%;height:auto;border-radius:.5rem;margin:1.5rem 0}.pagination{display:flex;justify-content:space-between;align-items:center;margin-top:3rem;padding-top:2rem;border-top:1px solid var(--border-color)}.pagination-link{padding:.5rem 1rem;background-color:var(--bg-secondary);border-radius:.375rem;text-decoration:none}.pagination-link:hover{background-color:var(--bg-tertiary)}.pagination-info{color:var(--text-secondary);font-size:.9rem}.comments-section{margin-top:4rem;padding-top:2rem;border-top:2px solid var(--border-color)}.comments-placeholder{color:var(--text-secondary);font-style:italic;text-align:center;padding:2rem}@media (max-width: 768px){html{font-size:14px}.hero h1{font-size:2rem}.nav-container{flex-direction:column;gap:1rem}.nav-right{gap:1rem}.article-meta{flex-direction:column;gap:.5rem}.pagination{flex-direction:column;gap:1rem}}@media (max-width: 480px){.container{padding:1rem}.nav-container{padding:.75rem 1rem}h1{font-size:2rem}h2{font-size:1.5rem}h3{font-size:1.25rem}}.section-header{text-align:center;padding-bottom:2rem;border-bottom:2px solid var(--border-color);margin-bottom:2rem}.section-description{color:var(--text-secondary);font-size:1.1rem;margin-top:.5rem}