:root{--color-primary: #2d9e5e;--color-primary-light: #e8f5ee;--color-accent: #3b82f6;--color-accent-light: #eff6ff;--color-text: #1a1a2e;--color-text-secondary: #64748b;--color-bg: #f8fafc;--color-surface: #fff;--color-border: #e2e8f0;--color-border-light: #f1f5f9;--max-width: 1100px;--sidebar-width: 300px;--radius: 8px;--shadow-sm: 0 1px 2px rgba(0, 0, 0, .05);--shadow-md: 0 4px 12px rgba(0, 0, 0, .08);--shadow-lg: 0 8px 24px rgba(0, 0, 0, .1);--transition: .2s ease}*,*:before,*:after{box-sizing:border-box;margin:0;padding:0}html{font-size:16px;scroll-behavior:smooth}body{font-family:Inter,-apple-system,BlinkMacSystemFont,Segoe UI,Hiragino Sans,Hiragino Kaku Gothic ProN,Noto Sans JP,sans-serif;color:var(--color-text);background:var(--color-bg);line-height:1.85;-webkit-font-smoothing:antialiased;display:flex;flex-direction:column;min-height:100vh}a{color:var(--color-accent);text-decoration:none;transition:color var(--transition)}a[href^=http]:after{content:"↗";font-size:.75em;margin-left:.15em;vertical-align:super}.site-header a[href^=http]:after,.site-footer a[href^=http]:after,.post-card a[href^=http]:after,.sidebar a[href^=http]:after,.pagination a[href^=http]:after,a[href^=http]:has(img):after{content:none}a:hover{color:#2563eb}img{max-width:100%;height:auto;border-radius:4px}.site-header{background:var(--color-surface);border-bottom:none;box-shadow:var(--shadow-sm);position:sticky;top:0;z-index:100}.site-header .inner{max-width:var(--max-width);margin:0 auto;padding:.8rem 1.5rem;display:flex;align-items:center;justify-content:space-between}.site-title{font-size:1.4rem;font-weight:800;letter-spacing:-.02em}.site-title a{color:var(--color-primary)}.site-title a:hover{text-decoration:none;opacity:.85}.site-nav{display:flex;gap:.25rem}.site-nav a{color:var(--color-text-secondary);font-size:.85rem;font-weight:500;padding:.4rem .75rem;border-radius:6px;transition:all var(--transition)}.site-nav a:hover{color:var(--color-primary);background:var(--color-primary-light);text-decoration:none}.main-container{max-width:var(--max-width);margin:2rem auto;padding:0 1.5rem;display:flex;gap:2.5rem}.main-content{flex:1;min-width:0}.sidebar{width:var(--sidebar-width);flex-shrink:0}.site-footer{background:var(--color-text);color:#94a3b8;padding:2rem 0;text-align:center;font-size:.8rem;margin-top:auto;letter-spacing:.02em}.site-footer a{color:#fff}.post-card{background:var(--color-surface);border-radius:var(--radius);overflow:hidden;margin-bottom:1rem;box-shadow:var(--shadow-sm);border:1px solid var(--color-border-light);transition:all var(--transition)}.post-card:hover{box-shadow:var(--shadow-md);transform:translateY(-2px)}.post-card a{display:block;padding:1.25rem 1.5rem;color:var(--color-text)}.post-card a:hover{text-decoration:none}.post-card .post-title{font-size:1.05rem;font-weight:600;margin-bottom:.4rem;line-height:1.55}.post-card .post-meta{font-size:.78rem;color:var(--color-text-secondary)}.post-card .post-categories{margin-top:.5rem}.category-tag{display:inline-block;background:var(--color-primary);color:#fff;font-size:.7rem;font-weight:600;padding:.15rem .55rem;border-radius:4px;margin-right:.3rem;letter-spacing:.01em}a.category-tag{color:#fff;transition:opacity var(--transition)}a.category-tag:hover{opacity:.85;text-decoration:none}.article{background:var(--color-surface);border-radius:var(--radius);padding:2.5rem;box-shadow:var(--shadow-sm);border:1px solid var(--color-border-light)}.article h1{font-size:1.65rem;font-weight:800;line-height:1.4;margin-bottom:.75rem;letter-spacing:-.01em}.article-meta{color:var(--color-text-secondary);font-size:.82rem;margin-bottom:2rem;padding-bottom:1.25rem;border-bottom:1px solid var(--color-border);display:flex;flex-wrap:wrap;align-items:center;gap:.5rem 1rem}.article-body h2{font-size:1.3rem;font-weight:700;margin:2.5rem 0 1rem;padding:.6rem 0 .6rem 1rem;border-left:4px solid var(--color-primary);background:var(--color-primary-light);border-radius:0 var(--radius) var(--radius) 0}.article-body h3{font-size:1.1rem;font-weight:700;margin:2rem 0 .75rem;padding-bottom:.4rem;border-bottom:2px solid var(--color-border)}.article-body h4{font-size:1rem;font-weight:700;margin:1.5rem 0 .5rem;color:var(--color-text-secondary)}.article-body p{margin-bottom:1.1rem}.article-body ul,.article-body ol{margin:.5rem 0 1.2rem 1.5rem}.article-body li{margin-bottom:.35rem}.article-body li::marker{color:var(--color-primary)}.article-body pre{background:#1e293b;border-radius:var(--radius);padding:1.2rem 1.4rem;overflow-x:auto;margin:1.2rem 0;font-size:.88rem;line-height:1.7}.article-body code{font-family:JetBrains Mono,SFMono-Regular,Consolas,Liberation Mono,Menlo,monospace;font-size:.88em}.article-body :not(pre)>code{background:#f1f5f9;color:#e11d48;padding:.15rem .45rem;border-radius:4px;font-size:.85em}.article-body blockquote{position:relative;background:var(--color-surface);border:2px solid var(--color-border);border-radius:1rem;padding:.8rem 1.2rem;margin:1.2rem 1rem 1.2rem 0;color:var(--color-text)}.article-body blockquote:after{content:"";position:absolute;top:50%;right:-7px;width:12px;height:12px;background:var(--color-surface);border-right:2px solid var(--color-border);border-top:2px solid var(--color-border);transform:translateY(-50%) rotate(45deg)}.article-body table{width:100%;border-collapse:collapse;margin:1.2rem 0;font-size:.92rem}.article-body th,.article-body td{border:1px solid var(--color-border);padding:.6rem .85rem;text-align:left}.article-body th{background:var(--color-bg);font-weight:600;color:var(--color-text-secondary)}.article-body tr:hover td{background:#fafbfc}.box{border-radius:var(--radius);padding:1.2rem 1.5rem;margin:1.5rem 0;position:relative}.box:has(.box-title){margin-top:2.5rem;border-top-left-radius:0}.box.blue{background:var(--color-accent-light);border:1px solid #bfdbfe}.box.default{background:var(--color-bg);border:1px solid var(--color-border)}.box-title{font-weight:600;font-size:.78rem;display:inline-block;padding:.35rem 1rem;border-radius:var(--radius) var(--radius) 0 0;position:absolute;top:0;left:0;transform:translateY(-100%);letter-spacing:.02em}.box.blue .box-title{background:var(--color-accent);color:#fff}.box.default .box-title{background:#64748b;color:#fff}.box.red{background:#fef2f2;border:1px solid #fecaca}.box.red .box-title{background:#ef4444;color:#fff}.box.green{background:#f0fdf4;border:1px solid #bbf7d0}.box.green .box-title{background:#22c55e;color:#fff}.kanren-card{margin:1rem 0 1.5rem;border:1px solid var(--color-border);border-radius:var(--radius);background:var(--color-surface);transition:all var(--transition)}.kanren-card:hover{box-shadow:var(--shadow-md);transform:translateY(-2px)}.kanren-card a{display:block;padding:1rem 1.25rem;color:var(--color-text)}.kanren-card a:hover{text-decoration:none}.kanren-card a:after{content:none!important}.kanren-label{display:inline-block;font-size:.7rem;font-weight:600;background:var(--color-primary);color:#fff;padding:.15rem .5rem;border-radius:3px;margin-bottom:.4rem}.kanren-title{display:block;font-size:.95rem;font-weight:600;line-height:1.55;margin-bottom:.3rem}.kanren-date{display:block;font-size:.75rem;color:var(--color-text-secondary)}aside.note{background:#fefce8;border:1px solid #fde68a;border-left:4px solid #f59e0b;padding:.85rem 1.2rem .85rem 2.8rem;margin:1.5rem 0;border-radius:0 var(--radius) var(--radius) 0;font-size:.9rem;color:var(--color-text-secondary);position:relative}aside.note:before{content:"ℹ";position:absolute;left:.85rem;top:50%;transform:translateY(-50%);font-size:1rem;font-style:normal;color:#f59e0b;font-weight:700}aside.warning{background:#fef2f2;border:1px solid #fecaca;border-left:4px solid #ef4444;padding:.85rem 1.2rem .85rem 2.8rem;margin:1.5rem 0;border-radius:0 var(--radius) var(--radius) 0;font-size:.9rem;color:var(--color-text-secondary);position:relative}aside.warning:before{content:"⚠";position:absolute;left:.85rem;top:50%;transform:translateY(-50%);font-size:1rem;font-style:normal;color:#ef4444;font-weight:700}strong.emphasis{background:linear-gradient(transparent 65%,#fde68a 65%);font-weight:700;padding:0 .1rem}strong.bold{font-weight:700}a.btn-yellow{display:block;width:fit-content;margin:1rem auto;background:#ffc107;color:#fff;font-weight:700;text-decoration:none;padding:.7rem 2rem;border-radius:6px;text-align:center;transition:background .2s;box-shadow:0 2px 4px #00000026}a.btn-yellow:hover{background:#e0a800;color:#fff}strong.positive-emphasis{background:linear-gradient(transparent 65%,#bbf7d0 65%);font-weight:700;padding:0 .1rem}.conversation{margin:1.5rem 0;display:flex;flex-direction:column;gap:.6rem}.speech{max-width:80%}.speech.is-reply{align-self:flex-end}.speech-name{display:block;font-size:.73rem;font-weight:600;color:var(--color-text-secondary);margin-bottom:.15rem;padding-left:.85rem}.speech.is-reply .speech-name{text-align:right;padding-left:0;padding-right:.85rem}.speech>p{background:var(--color-surface);border:1px solid var(--color-border);border-radius:1.1rem;padding:.6rem 1rem;margin:0;line-height:1.6;font-size:.93rem}.speech.is-reply>p{background:var(--color-primary-light);border-color:transparent}.kanren-link{display:block;background:var(--color-surface);border:1px solid var(--color-border);border-radius:var(--radius);padding:.85rem 1.2rem;margin:.5rem 0;transition:all var(--transition);font-weight:500}.kanren-link:hover{box-shadow:var(--shadow-md);border-color:var(--color-accent);text-decoration:none;transform:translateY(-1px)}.article-body a[href^="#fn-"]{vertical-align:super;font-size:.72em;line-height:0;font-weight:600;color:var(--color-accent)}.article-body .footnotes{margin-top:2rem;padding-top:1rem;border-top:1px solid var(--color-border);font-size:.85rem;color:var(--color-text-secondary)}.article-body .footnotes ol{margin-left:1.2rem}.article-body .footnotes li{margin-bottom:.4rem}.content-tags{display:flex;flex-wrap:wrap;gap:.4rem;margin:.8rem 0 1.2rem}.content-tag{display:inline-block;background:var(--color-primary-light);color:var(--color-primary);border:1px solid #a7d9be;font-size:.75rem;font-weight:600;padding:.25rem .75rem;border-radius:20px;letter-spacing:.02em}.article-body p.img-caption{background:#c0392b;color:#fff;font-size:.78rem;font-weight:600;padding:.3rem .9rem;border-radius:var(--radius);margin:.6rem 0 .2rem;display:inline-block;letter-spacing:.02em}.article-body p.code_title{background:#334155;color:#94a3b8;font-size:.78rem;font-weight:600;padding:.35rem 1rem;border-radius:var(--radius) var(--radius) 0 0;margin-bottom:0;display:inline-block;letter-spacing:.02em}p.code_title+pre,p.code_title+p:empty+pre{border-top-left-radius:0;margin-top:0}p.code_title+p:empty{display:none}figure{margin:1.5rem 0;text-align:center}figure figcaption{font-size:.82rem;color:var(--color-text-secondary);margin-top:.5rem}.sidebar-section{background:var(--color-surface);border-radius:var(--radius);padding:1.5rem;margin-bottom:1.25rem;box-shadow:var(--shadow-sm);border:1px solid var(--color-border-light)}.sidebar-section h3{font-size:.88rem;font-weight:700;margin-bottom:.85rem;padding-bottom:.5rem;border-bottom:2px solid var(--color-primary);color:var(--color-text);letter-spacing:.04em}.sidebar-section ul{list-style:none}.sidebar-section li{font-size:.88rem}.sidebar-section li a{color:var(--color-text);display:block;padding:.35rem 0;border-bottom:1px solid var(--color-border-light);transition:all var(--transition)}.sidebar-section li:last-child a{border-bottom:none}.sidebar-section li a:hover{color:var(--color-accent);padding-left:.3rem;text-decoration:none}.cat-group{border-bottom:1px solid var(--color-border-light)}.cat-group:last-child{border-bottom:none}.cat-group summary{display:flex;align-items:center;padding:.6rem 0;cursor:pointer;font-size:.9rem;font-weight:600;color:var(--color-text);list-style:none;transition:color var(--transition)}.cat-group summary span:first-of-type{flex:1;text-align:left}.cat-group summary::-webkit-details-marker{display:none}.cat-group summary:before{content:"▸";font-size:.7rem;margin-right:.5rem;color:var(--color-text-secondary);transition:transform var(--transition)}.cat-group[open] summary:before{transform:rotate(90deg)}.cat-group summary:hover{color:var(--color-accent)}.cat-count{font-size:.72rem;font-weight:500;color:var(--color-text-secondary);background:var(--color-bg);padding:.1rem .45rem;border-radius:10px;min-width:1.5rem;text-align:center}.cat-children{padding-left:1.2rem;padding-bottom:.4rem}.cat-children li a{display:flex;align-items:center;justify-content:space-between;padding:.3rem 0;font-size:.84rem;border-bottom:1px dotted var(--color-border-light)}.cat-children li:last-child a{border-bottom:none}.cat-children li a:hover{color:var(--color-accent);padding-left:.2rem;text-decoration:none}.pagination{display:flex;justify-content:center;gap:.4rem;margin-top:2.5rem}.pagination a,.pagination span{display:inline-flex;align-items:center;justify-content:center;min-width:2.2rem;height:2.2rem;padding:0 .6rem;border-radius:6px;font-size:.88rem;font-weight:500;transition:all var(--transition)}.pagination a{background:var(--color-surface);border:1px solid var(--color-border);color:var(--color-text)}.pagination a:hover{background:var(--color-primary-light);border-color:var(--color-primary);color:var(--color-primary);text-decoration:none}.pagination .current{background:var(--color-primary);color:#fff;border:1px solid var(--color-primary)}.pagination .ellipsis{color:var(--color-text-secondary);pointer-events:none}.search-btn{display:inline-flex;align-items:center;justify-content:center;background:none;border:none;cursor:pointer;color:var(--color-text-secondary);margin-left:.5rem;padding:.4rem .4rem .4rem .9rem;border-left:1px solid var(--color-border);border-radius:0;transition:color var(--transition)}.search-btn:hover{color:var(--color-primary);background:var(--color-primary-light)}.search-modal{display:none;position:fixed;inset:0;z-index:200}.search-modal.is-open{display:flex;align-items:flex-start;justify-content:center;padding-top:10vh}.search-overlay{position:fixed;inset:0;background:#00000080}.search-dialog{position:relative;background:var(--color-surface);border-radius:12px;box-shadow:var(--shadow-lg);width:90%;max-width:600px;max-height:70vh;display:flex;flex-direction:column;overflow:hidden}.search-header{display:flex;align-items:center;border-bottom:1px solid var(--color-border);padding:.5rem}.search-input-wrapper{flex:1;display:flex;align-items:center;gap:.5rem;padding:0 .75rem}.search-input-icon{color:var(--color-text-secondary);flex-shrink:0}#search-input{flex:1;border:none;outline:none;font-size:1rem;padding:.75rem 0;background:transparent;color:var(--color-text);font-family:inherit}#search-input::placeholder{color:var(--color-text-secondary)}.search-close{background:none;border:none;cursor:pointer;font-size:1.5rem;color:var(--color-text-secondary);padding:.5rem .75rem;line-height:1;border-radius:6px;transition:all var(--transition)}.search-close:hover{color:var(--color-text);background:var(--color-bg)}.search-results{overflow-y:auto;padding:.5rem}.search-message{text-align:center;color:var(--color-text-secondary);padding:2rem 1rem;font-size:.9rem}.search-result-item{display:block;padding:.75rem 1rem;border-radius:var(--radius);color:var(--color-text);transition:background var(--transition)}.search-result-item:hover{background:var(--color-bg);text-decoration:none}.search-result-title{display:block;font-weight:600;font-size:.95rem;margin-bottom:.25rem}.search-result-excerpt{display:block;font-size:.82rem;color:var(--color-text-secondary);line-height:1.5}.search-result-excerpt mark{background:#fde68a;color:inherit;padding:0 .1rem;border-radius:2px}@media(max-width:768px){.main-container{flex-direction:column;gap:1.5rem}.sidebar{width:100%}.article{padding:1.5rem}.article h1{font-size:1.35rem}.article-body h2{font-size:1.15rem;padding:.5rem 0 .5rem .85rem}.site-header .inner{flex-direction:column;gap:.5rem}.site-nav{flex-wrap:wrap;justify-content:center}.site-nav a{font-size:.78rem;padding:.3rem .5rem}}@media(max-width:480px){.article{padding:1rem;border-radius:0}.post-card{border-radius:0}.main-container{padding:0 .75rem}}