:root{--color-primary:#2aa882;--color-primary-hover:#34c297;--color-primary-glow:#2aa88226;--color-accent:#c48a1a;--color-accent-glow:#c48a1a26;--color-bg:#0a0e14;--color-surface:#0f1520;--color-surface-2:#161e2a;--color-text:#e6edf3;--color-text-muted:#8b9bb0;--color-border:#243041;--color-grid:#141b26;--color-danger:#e06a72;--color-success:#2aa882;--font-sans:"IBM Plex Sans", system-ui, -apple-system, "Segoe UI", Roboto, "Noto Sans", "PingFang SC", "Hiragino Sans GB", "Microsoft YaHei", sans-serif;--font-mono:"IBM Plex Mono", ui-monospace, "SFMono-Regular", Menlo, Consolas, "Liberation Mono", monospace;--font-display:"IBM Plex Sans", var(--font-sans);--space-1:.25rem;--space-2:.5rem;--space-3:.75rem;--space-4:1rem;--space-5:1.5rem;--space-6:2rem;--space-7:3rem;--space-8:4rem;--space-9:6rem;--radius-sm:4px;--radius-md:6px;--radius-lg:8px;--content-width:42rem;--page-width:72rem;--header-height:3.5rem;--text-xs:.75rem;--text-sm:.875rem;--text-base:1.0625rem;--text-lg:1.1875rem;--text-xl:1.375rem;--text-2xl:1.75rem;--text-3xl:2.25rem;--text-4xl:3rem;--text-5xl:3.75rem;--shadow-glow:0 0 0 1px var(--color-border);--ease-out:cubic-bezier(.22, 1, .36, 1);--transition-fast:.15s var(--ease-out);--transition-med:.22s var(--ease-out);color-scheme:dark}[data-theme=light]{--color-primary:#1a8f6a;--color-primary-hover:#147a5a;--color-primary-glow:#1a8f6a26;--color-accent:#a86e0c;--color-accent-glow:#a86e0c26;--color-bg:#f3f5f8;--color-surface:#fff;--color-surface-2:#e8eef4;--color-text:#121820;--color-text-muted:#5a6a7a;--color-border:#d0d8e0;--color-grid:#e4eaf0;--color-danger:#c23b44;--color-success:#1a8f6a;--shadow-glow:0 0 0 1px var(--color-border);color-scheme:light}*,:before,:after{box-sizing:border-box}html{-webkit-text-size-adjust:100%;scroll-behavior:smooth}body{margin:0}img,svg{max-width:100%;display:block}button,input,select,textarea{font:inherit;color:inherit}button{cursor:pointer}a{color:inherit}ul,ol{margin:0;padding:0}h1,h2,h3,h4,h5,h6,p{margin:0}.prose{max-width:var(--content-width);font-size:var(--text-base);color:var(--color-text);line-height:1.7}.prose>*+*{margin-top:1.1em}.prose h2,.prose h3,.prose h4{font-family:var(--font-display);scroll-margin-top:calc(var(--header-height) + 1rem);margin-top:1.75em;font-weight:600;line-height:1.3}.prose h2{font-size:var(--text-2xl)}.prose h3{font-size:var(--text-xl)}.prose a{color:var(--color-primary);text-underline-offset:3px;text-decoration:underline}.prose a:hover{color:var(--color-primary-hover)}.prose code{font-family:var(--font-mono);background:var(--color-surface-2);border-radius:var(--radius-sm);padding:.1em .35em;font-size:.9em}.prose pre{background:var(--color-surface-2);border:1px solid var(--color-border);border-radius:var(--radius-md);padding:var(--space-4);overflow-x:auto}.prose pre code{background:0 0;padding:0}.prose blockquote{padding:var(--space-2) var(--space-4);border-left:3px solid var(--color-accent);color:var(--color-text-muted);margin-left:0}.prose table{border-collapse:collapse;width:100%;font-size:var(--text-sm)}.prose th,.prose td{border:1px solid var(--color-border);padding:var(--space-2) var(--space-3);text-align:left}.prose th{background:var(--color-surface-2)}.prose .proof,.prose .netlist{border-left:3px solid var(--color-primary);padding:var(--space-3) var(--space-4);background:var(--color-surface);border-radius:0 var(--radius-md) var(--radius-md) 0}.prose ul,.prose ol{padding-left:1.25em}.prose li+li{margin-top:.35em}body{min-height:100vh;font-family:var(--font-sans);font-size:var(--text-base);color:var(--color-text);background-color:var(--color-bg);line-height:1.65}.has-grid{background-image:linear-gradient(var(--color-grid) 1px, transparent 1px), linear-gradient(90deg, var(--color-grid) 1px, transparent 1px);opacity:1;background-position:top;background-size:40px 40px}.site-shell{flex-direction:column;min-height:100vh;display:flex}.container{width:min(100% - 2 * var(--space-5), var(--page-width));margin-inline:auto}.skip-link{left:var(--space-4);z-index:1000;background:var(--color-accent);color:#111;padding:var(--space-2) var(--space-4);border-radius:var(--radius-md);font-weight:600;text-decoration:none;position:absolute;top:-100px}.skip-link:focus{top:var(--space-4)}a:focus-visible,button:focus-visible,summary:focus-visible,[tabindex]:focus-visible{outline:2px solid var(--color-primary);outline-offset:2px}::selection{background:color-mix(in srgb, var(--color-primary) 28%, transparent);color:var(--color-text)}.site-main{padding:var(--space-7) 0 var(--space-8);flex:1}.page-kicker{font-family:var(--font-mono);font-size:var(--text-xs);color:var(--color-primary);letter-spacing:.12em;text-transform:uppercase;margin-bottom:var(--space-2)}.page-title{font-family:var(--font-display);font-size:clamp(var(--text-3xl), 5vw, var(--text-4xl));letter-spacing:-.025em;margin-bottom:var(--space-3);font-weight:600;line-height:1.15}.page-lead{color:var(--color-text-muted);font-size:var(--text-lg);max-width:60ch;margin-bottom:var(--space-6)}.card-grid{gap:var(--space-5);grid-template-columns:repeat(auto-fill,minmax(16rem,1fr));display:grid}.section{margin:var(--space-8) 0}.section-head{justify-content:space-between;align-items:baseline;gap:var(--space-4);margin-bottom:var(--space-5);display:flex}.section-head h2{font-family:var(--font-display);font-size:var(--text-xl);letter-spacing:-.02em;font-weight:600}.section-head a{color:var(--color-primary);text-underline-offset:3px;font-size:var(--text-sm);text-decoration:underline}.btn{justify-content:center;align-items:center;gap:var(--space-2);border-radius:var(--radius-md);border:1px solid var(--color-border);color:var(--color-text);font-weight:500;font-size:var(--text-sm);transition:border-color var(--transition-fast), color var(--transition-fast), background var(--transition-fast);background:0 0;padding:.55rem 1.1rem;text-decoration:none;display:inline-flex}.btn:hover{border-color:var(--color-text-muted);background:var(--color-surface-2);color:var(--color-text)}.btn-primary{border-color:var(--color-primary);color:var(--color-bg);background:var(--color-primary)}.btn-primary:hover{border-color:var(--color-primary-hover);background:var(--color-primary-hover);color:var(--color-bg)}.hero{gap:var(--space-5);margin-bottom:var(--space-8);padding-bottom:var(--space-6);border-bottom:1px solid var(--color-border);grid-template-columns:1fr;align-items:start;display:grid}.hero-title{font-family:var(--font-display);font-size:clamp(var(--text-3xl), 6vw, var(--text-5xl));letter-spacing:-.035em;margin-bottom:var(--space-3);font-weight:600;line-height:1.08}.hero-sub{font-family:var(--font-mono);font-size:var(--text-sm);color:var(--color-text-muted);margin-bottom:var(--space-4)}.hero-copy{color:var(--color-text-muted);font-size:var(--text-lg);max-width:52ch;margin-bottom:var(--space-5);line-height:1.6}.hero-actions{gap:var(--space-3);flex-wrap:wrap;display:flex}.compact-links{gap:var(--space-2) var(--space-4);margin:var(--space-6) 0 var(--space-8);padding:var(--space-4) 0;border-top:1px solid var(--color-border);border-bottom:1px solid var(--color-border);font-size:var(--text-sm);flex-wrap:wrap;align-items:center;display:flex}.compact-links a{color:var(--color-text-muted);transition:color var(--transition-fast);font-weight:500;text-decoration:none}.compact-links a:hover,.compact-links a:focus-visible{color:var(--color-primary)}.compact-links .sep{color:var(--color-border);user-select:none}.writing-list{flex-direction:column;margin:0;padding:0;list-style:none;display:flex}.writing-item{gap:var(--space-4);padding:var(--space-4) 0;border-bottom:1px solid var(--color-border);color:inherit;transition:opacity var(--transition-fast);grid-template-columns:7.5rem 1fr;align-items:baseline;text-decoration:none;display:grid}.writing-list:hover .writing-item{opacity:.45}.writing-list:hover .writing-item:hover,.writing-list .writing-item:focus-visible{opacity:1}.writing-date{font-family:var(--font-mono);font-size:var(--text-xs);color:var(--color-text-muted);white-space:nowrap}.writing-kind{font-family:var(--font-mono);font-size:var(--text-xs);color:var(--color-text-muted);margin-left:var(--space-2);opacity:.7}.writing-title{font-family:var(--font-display);font-size:var(--text-lg);letter-spacing:-.02em;margin-bottom:var(--space-1);transition:color var(--transition-fast);font-weight:600;line-height:1.35}.writing-item:hover .writing-title,.writing-item:focus-visible .writing-title{color:var(--color-primary)}.writing-summary{color:var(--color-text-muted);font-size:var(--text-sm);max-width:62ch;line-height:1.55}@media (width<=640px){.writing-item{gap:var(--space-1);grid-template-columns:1fr}}.meta-row{gap:var(--space-2) var(--space-4);color:var(--color-text-muted);font-family:var(--font-mono);font-size:var(--text-sm);margin-bottom:var(--space-5);flex-wrap:wrap;display:flex}.empty-state{padding:var(--space-5);border:1px dashed var(--color-border);border-radius:var(--radius-lg);color:var(--color-text-muted);background:var(--color-surface)}.list-rail{gap:var(--space-3);flex-direction:column;display:flex}.game-panel{border:1px solid var(--color-border);border-radius:var(--radius-lg);background:var(--color-surface);padding:var(--space-5);max-width:640px}.game-toolbar{gap:var(--space-3);margin-bottom:var(--space-4);flex-wrap:wrap;align-items:center;display:flex}.truth-table{border-collapse:collapse;width:100%;font-family:var(--font-mono);font-size:var(--text-sm)}.truth-table th,.truth-table td{border:1px solid var(--color-border);padding:var(--space-2) var(--space-3);text-align:center}.truth-table th{background:var(--color-surface-2);color:var(--color-primary)}.gate-choices{gap:var(--space-2);margin:var(--space-4) 0;flex-wrap:wrap;display:flex}.gate-choices button{font-family:var(--font-mono);background:var(--color-surface-2);border:1px solid var(--color-border);color:var(--color-text);border-radius:var(--radius-md);transition:border-color var(--transition-fast), background var(--transition-fast), color var(--transition-fast);padding:.45rem .8rem}.gate-choices button[aria-pressed=true]{border-color:var(--color-primary);background:color-mix(in srgb, var(--color-primary) 14%, var(--color-surface-2));color:var(--color-primary)}.game-status{min-height:1.5em;font-family:var(--font-mono);font-size:var(--text-sm)}.game-status.ok{color:var(--color-success)}.game-status.bad{color:var(--color-danger)}.badge{font-family:var(--font-mono);font-size:var(--text-xs);color:var(--color-accent);align-items:center;gap:.35rem;display:inline-flex}@media (prefers-reduced-motion:reduce){*,:before,:after{scroll-behavior:auto!important;transition-duration:.01ms!important;animation-duration:.01ms!important;animation-iteration-count:1!important}}.nav-link[data-astro-cid-3o5q7yvo]{color:var(--color-text-muted);font-size:var(--text-sm);transition:color var(--transition-fast), border-color var(--transition-fast), font-weight var(--transition-fast);border-bottom:1px solid #0000;padding:.2rem 0;font-weight:500;text-decoration:none}.nav-link[data-astro-cid-3o5q7yvo]:hover{color:var(--color-text)}.nav-link[data-astro-cid-3o5q7yvo].is-current{color:var(--color-text);border-bottom-color:var(--color-text);font-weight:600}.theme-toggle[data-astro-cid-l6lhmie6]{border-radius:var(--radius-md);border:1px solid var(--color-border);background:var(--color-surface-2);width:2.25rem;height:2.25rem;color:var(--color-text-muted);transition:border-color var(--transition-fast), color var(--transition-fast), background var(--transition-fast);justify-content:center;align-items:center;display:inline-flex}.theme-toggle[data-astro-cid-l6lhmie6]:hover{border-color:var(--color-text-muted);color:var(--color-text);background:var(--color-surface)}.site-header[data-astro-cid-nen7h5rs]{z-index:50;backdrop-filter:blur(12px);background:color-mix(in srgb, var(--color-surface) 88%, transparent);border-bottom:1px solid var(--color-border);height:auto;position:sticky;top:0}.header-inner[data-astro-cid-nen7h5rs]{min-height:var(--header-height);justify-content:space-between;align-items:center;gap:var(--space-4);display:flex}.brand[data-astro-cid-nen7h5rs]{align-items:center;gap:var(--space-2);font-family:var(--font-display);color:var(--color-text);font-weight:600;text-decoration:none;display:inline-flex}.brand-mark[data-astro-cid-nen7h5rs]{border:1.5px solid var(--color-primary);border-radius:var(--radius-sm);width:1.35rem;height:1.35rem;position:relative}.brand-mark[data-astro-cid-nen7h5rs]:before,.brand-mark[data-astro-cid-nen7h5rs]:after{content:"";background:var(--color-accent);position:absolute}.brand-mark[data-astro-cid-nen7h5rs]:before{height:1.5px;top:50%;left:3px;right:3px;transform:translateY(-50%)}.brand-mark[data-astro-cid-nen7h5rs]:after{width:1.5px;top:3px;bottom:3px;left:50%;transform:translate(-50%)}.desktop-nav[data-astro-cid-nen7h5rs]{align-items:center;gap:var(--space-3) var(--space-4);flex-wrap:wrap;justify-content:flex-end;display:flex}.library[data-astro-cid-nen7h5rs]{position:relative}.library[data-astro-cid-nen7h5rs] summary[data-astro-cid-nen7h5rs]{cursor:pointer;color:var(--color-text-muted);font-size:var(--text-sm);border-bottom:1px solid #0000;list-style:none}.library[data-astro-cid-nen7h5rs] summary[data-astro-cid-nen7h5rs]::-webkit-details-marker{display:none}.library[data-astro-cid-nen7h5rs] summary[data-astro-cid-nen7h5rs].is-current,.library[data-astro-cid-nen7h5rs][open] summary[data-astro-cid-nen7h5rs]{color:var(--color-text);border-bottom-color:var(--color-text);font-weight:600}.library-panel[data-astro-cid-nen7h5rs]{gap:var(--space-2);min-width:9rem;padding:var(--space-3);background:var(--color-surface);border:1px solid var(--color-border);border-radius:var(--radius-md);flex-direction:column;display:flex;position:absolute;top:calc(100% + .5rem);left:0;box-shadow:0 8px 24px #00000040}.library-panel[data-astro-cid-nen7h5rs] a[data-astro-cid-nen7h5rs]{color:var(--color-text-muted);font-size:var(--text-sm);text-decoration:none}.library-panel[data-astro-cid-nen7h5rs] a[data-astro-cid-nen7h5rs]:hover,.library-panel[data-astro-cid-nen7h5rs] a[data-astro-cid-nen7h5rs][aria-current=page]{color:var(--color-primary)}.mobile-tools[data-astro-cid-nen7h5rs]{align-items:center;gap:var(--space-2);display:none}.nav-toggle[data-astro-cid-nen7h5rs]{border:1px solid var(--color-border);background:var(--color-surface-2);color:var(--color-text);border-radius:var(--radius-md);font-size:var(--text-sm);padding:.35rem .7rem}.mobile-nav[data-astro-cid-nen7h5rs]{padding-bottom:var(--space-4);border-top:1px solid var(--color-border);display:none}.mobile-nav[data-astro-cid-nen7h5rs] nav[data-astro-cid-nen7h5rs]{gap:var(--space-3);padding-top:var(--space-3);flex-direction:column;display:flex}@media (width<=860px){.desktop-nav[data-astro-cid-nen7h5rs]{display:none}.mobile-tools[data-astro-cid-nen7h5rs]{display:inline-flex}.mobile-nav[data-astro-cid-nen7h5rs]:not([hidden]){display:block}}.site-footer[data-astro-cid-jo6i4kqk]{border-top:1px solid var(--color-border);background:var(--color-surface);padding:var(--space-5) 0;color:var(--color-text-muted);font-size:var(--text-sm)}.footer-inner[data-astro-cid-jo6i4kqk]{gap:var(--space-3) var(--space-5);flex-wrap:wrap;justify-content:space-between;display:flex}.footer-links[data-astro-cid-jo6i4kqk]{gap:var(--space-2);flex-wrap:wrap;display:flex}.footer-links[data-astro-cid-jo6i4kqk] a[data-astro-cid-jo6i4kqk]{color:var(--color-primary);text-underline-offset:3px;text-decoration:underline}