:root{--color-primary:#2ee6a6;--color-primary-hover:#5ef0c0;--color-primary-glow:#2ee6a633;--color-accent:#f5a524;--color-accent-glow:#f5a52433;--color-bg:#0b0f14;--color-surface:#121821;--color-surface-2:#1a2330;--color-text:#e6edf3;--color-text-muted:#8b9bb0;--color-border:#2a3544;--color-grid:#1c2633;--color-danger:#f07178;--color-success:#2ee6a6;--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;--radius-sm:4px;--radius-md:8px;--radius-lg:12px;--content-width:42rem;--page-width:72rem;--header-height:3.5rem;--text-xs:.75rem;--text-sm:.875rem;--text-base:1rem;--text-lg:1.125rem;--text-xl:1.25rem;--text-2xl:1.5rem;--text-3xl:2rem;--text-4xl:2.5rem;--shadow-glow:0 0 0 1px var(--color-primary), 0 0 16px var(--color-primary-glow);--transition-fast:.15s ease;--transition-med:.28s ease;color-scheme:dark}[data-theme=light]{--color-primary:#0d9f6e;--color-primary-hover:#0b7f58;--color-primary-glow:#0d9f6e26;--color-accent:#c47a0a;--color-accent-glow:#c47a0a26;--color-bg:#f4f6f8;--color-surface:#fff;--color-surface-2:#e8eef4;--color-text:#1a2330;--color-text-muted:#5a6a7a;--color-border:#d0d8e0;--color-grid:#e2e8ee;--color-danger:#c23b44;--color-success:#0d9f6e;--shadow-glow:0 0 0 1px var(--color-primary), 0 0 16px var(--color-primary-glow);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.7}.has-grid{background-image:linear-gradient(var(--color-grid) 1px, transparent 1px), linear-gradient(90deg, var(--color-grid) 1px, transparent 1px);background-position:top;background-size:32px 32px}.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:var(--color-primary-glow);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:var(--text-3xl);margin-bottom:var(--space-3);font-weight:600;line-height:1.2}.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-7) 0}.section-head{justify-content:space-between;align-items:baseline;gap:var(--space-4);margin-bottom:var(--space-4);display:flex}.section-head h2{font-family:var(--font-display);font-size:var(--text-xl);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:1px solid var(--color-border);color:var(--color-text);font-weight:500;font-size:var(--text-sm);transition:border-color var(--transition-fast), box-shadow var(--transition-fast), color var(--transition-fast), background var(--transition-fast);background:0 0;border-radius:999px;padding:.55rem 1rem;text-decoration:none;display:inline-flex}.btn:hover{border-color:var(--color-primary);color:var(--color-primary);box-shadow:var(--shadow-glow)}.btn-primary{border-color:var(--color-primary);color:var(--color-primary);background:color-mix(in srgb, var(--color-primary) 12%, transparent)}.hero{gap:var(--space-6);margin-bottom:var(--space-8);grid-template-columns:1.1fr .9fr;align-items:center;display:grid}@media (width<=900px){.hero{grid-template-columns:1fr}}.hero-title{font-family:var(--font-display);font-size:clamp(var(--text-3xl), 4.5vw, var(--text-4xl));margin-bottom:var(--space-4);font-weight:600;line-height:1.12}.hero-title .glow{color:var(--color-primary)}.hero-title .amber{color:var(--color-accent)}.hero-copy{color:var(--color-text-muted);font-size:var(--text-lg);max-width:48ch;margin-bottom:var(--space-5)}.hero-actions{gap:var(--space-3);flex-wrap:wrap;display:flex}.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}.entry-point-grid .card{position:relative}.entry-point-grid .card:before{content:"";background:var(--color-primary);width:6px;height:6px;box-shadow:8px 0 0 -1px var(--color-border), 16px 0 0 -2px var(--color-border);border-radius:50%;position:absolute;top:12px;left:12px}.entry-point-grid .card .card-title{padding-left:1.5rem}.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), box-shadow var(--transition-fast);padding:.45rem .8rem}.gate-choices button[aria-pressed=true]{border-color:var(--color-primary);box-shadow:var(--shadow-glow);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);border-bottom:1px solid #0000;padding:.2rem 0;text-decoration:none}.nav-link[data-astro-cid-3o5q7yvo]:hover,.nav-link[data-astro-cid-3o5q7yvo].is-current{color:var(--color-primary);border-bottom-color:var(--color-primary)}.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-accent);transition:border-color var(--transition-fast), box-shadow var(--transition-fast);justify-content:center;align-items:center;display:inline-flex}.theme-toggle[data-astro-cid-l6lhmie6]:hover{border-color:var(--color-primary);box-shadow:var(--shadow-glow)}.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-primary);border-bottom-color:var(--color-primary)}.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}