:root{--font-sans:system-ui, -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, Oxygen, Ubuntu, Cantarell, "Open Sans", "Helvetica Neue", sans-serif;--font-mono:"SFMono-Regular", Consolas, "Liberation Mono", Menlo, Courier, monospace;--color-bg-canvas:#fafafa;--color-bg-surface:#fff;--color-bg-subtle:#f4f4f5;--color-bg-muted:#e4e4e7;--color-border:#e4e4e7;--color-border-hover:#d4d4d8;--color-border-active:#a1a1aa;--color-text-primary:#18181b;--color-text-secondary:#52525b;--color-text-muted:#71717a;--color-text-inverse:#fff;--color-brand:#ea580c;--color-brand-hover:#c2410c;--color-brand-subtle:#fff7ed;--color-focus:#0284c7;--color-evidence-proof:#4f46e5;--color-evidence-proof-bg:#eef2ff;--color-evidence-verification:#059669;--color-evidence-verification-bg:#ecfdf5;--color-evidence-observation:#0284c7;--color-evidence-observation-bg:#f0f9ff;--color-evidence-claim:#d97706;--color-evidence-claim-bg:#fffbeb;--color-evidence-example:#64748b;--color-evidence-example-bg:#f8fafc;--color-success:#16a34a;--color-success-bg:#f0fdf4;--color-warning:#d97706;--color-warning-bg:#fffbeb;--color-danger:#dc2626;--color-danger-bg:#fef2f2;--shadow-sm:0 1px 2px 0 #0000000d;--shadow-md:0 4px 6px -1px #00000014, 0 2px 4px -2px #0000000d;--shadow-lg:0 10px 15px -3px #00000014, 0 4px 6px -4px #0000000d;--radius-sm:4px;--radius-md:6px;--radius-lg:8px;--radius-full:9999px}[data-theme=dark]{--color-bg-canvas:#09090b;--color-bg-surface:#121215;--color-bg-subtle:#18181b;--color-bg-muted:#27272a;--color-border:#27272a;--color-border-hover:#3f3f46;--color-border-active:#52525b;--color-text-primary:#f4f4f5;--color-text-secondary:#a1a1aa;--color-text-muted:#71717a;--color-text-inverse:#09090b;--color-brand:#f97316;--color-brand-hover:#ea580c;--color-brand-subtle:#431407;--color-focus:#38bdf8;--color-evidence-proof:#818cf8;--color-evidence-proof-bg:#1e1b4b;--color-evidence-verification:#34d399;--color-evidence-verification-bg:#064e3b;--color-evidence-observation:#38bdf8;--color-evidence-observation-bg:#082f49;--color-evidence-claim:#fbbf24;--color-evidence-claim-bg:#451a03;--color-evidence-example:#94a3b8;--color-evidence-example-bg:#0f172a;--color-success:#22c55e;--color-success-bg:#052e16;--color-warning:#f59e0b;--color-warning-bg:#451a03;--color-danger:#ef4444;--color-danger-bg:#450a0a;--shadow-sm:0 1px 2px 0 #0006;--shadow-md:0 4px 6px -1px #00000080;--shadow-lg:0 10px 15px -3px #0009}*,:before,:after{box-sizing:border-box}html{font-family:var(--font-sans);color:var(--color-text-primary);background-color:var(--color-bg-canvas);-webkit-font-smoothing:antialiased;text-rendering:optimizelegibility;font-size:16px;line-height:1.5}body{flex-direction:column;min-height:100vh;margin:0;display:flex}:focus-visible{outline:2px solid var(--color-focus);outline-offset:2px}a{color:var(--color-focus);text-decoration:none}a:hover{text-decoration:underline}.skip-link{background:var(--color-brand);color:#fff;z-index:1000;border-radius:var(--radius-sm);padding:.5rem 1rem;font-weight:600;position:absolute;top:-999px;left:1rem}.skip-link:focus{top:1rem}.app-header{z-index:100;background-color:var(--color-bg-surface);border-bottom:1px solid var(--color-border);backdrop-filter:blur(8px);position:sticky;top:0}.header-container{justify-content:space-between;align-items:center;gap:1rem;max-width:1400px;margin:0 auto;padding:.75rem 1.5rem;display:flex}.brand-group{color:var(--color-text-primary);align-items:center;gap:.75rem;font-size:1.15rem;font-weight:700;display:flex}.brand-group:hover{text-decoration:none}.brand-icon{color:#fff;background:linear-gradient(135deg,#f97316 0%,#ea580c 100%);border-radius:6px;justify-content:center;align-items:center;width:28px;height:28px;font-size:14px;font-weight:800;display:flex}.header-nav{align-items:center;gap:.5rem;margin:0;padding:0;list-style:none;display:flex}.header-nav a{color:var(--color-text-secondary);border-radius:var(--radius-md);padding:.5rem .75rem;font-size:.95rem;font-weight:500;transition:background-color .15s,color .15s}.header-nav a:hover,.header-nav a.active{color:var(--color-text-primary);background-color:var(--color-bg-subtle);text-decoration:none}.header-actions{align-items:center;gap:.75rem;display:flex}.btn{border-radius:var(--radius-md);cursor:pointer;border:1px solid #0000;justify-content:center;align-items:center;gap:.5rem;min-width:44px;min-height:40px;padding:.5rem 1rem;font-size:.9rem;font-weight:600;text-decoration:none;transition:background-color .15s,border-color .15s;display:inline-flex}.btn-primary{background-color:var(--color-brand);color:#fff}.btn-primary:hover{background-color:var(--color-brand-hover);text-decoration:none}.btn-secondary{background-color:var(--color-bg-subtle);border-color:var(--color-border);color:var(--color-text-primary)}.btn-secondary:hover{background-color:var(--color-bg-muted);border-color:var(--color-border-hover);text-decoration:none}.btn-outline{border-color:var(--color-border);color:var(--color-text-primary);background-color:#0000}.btn-outline:hover{background-color:var(--color-bg-subtle);border-color:var(--color-border-active);text-decoration:none}.badge{border-radius:var(--radius-full);align-items:center;gap:.35rem;padding:.2rem .55rem;font-size:.75rem;font-weight:600;line-height:1;display:inline-flex}.badge-proof{background-color:var(--color-evidence-proof-bg);color:var(--color-evidence-proof);border:1px solid var(--color-evidence-proof)}.badge-verification{background-color:var(--color-evidence-verification-bg);color:var(--color-evidence-verification);border:1px solid var(--color-evidence-verification)}.badge-observation{background-color:var(--color-evidence-observation-bg);color:var(--color-evidence-observation);border:1px solid var(--color-evidence-observation)}.badge-claim{background-color:var(--color-evidence-claim-bg);color:var(--color-evidence-claim);border:1px solid var(--color-evidence-claim)}.badge-example{background-color:var(--color-evidence-example-bg);color:var(--color-evidence-example);border:1px solid var(--color-evidence-example)}.layout-container{flex:1;width:100%;max-width:1400px;margin:0 auto;padding:2rem 1.5rem}.content-grid{grid-template-columns:260px 1fr 240px;gap:2rem;display:grid}@media (width<=1100px){.content-grid{grid-template-columns:240px 1fr}.content-toc{display:none}}@media (width<=768px){.content-grid{grid-template-columns:1fr}.content-sidebar{display:none}}.panel{background-color:var(--color-bg-surface);border:1px solid var(--color-border);border-radius:var(--radius-lg);box-shadow:var(--shadow-sm);padding:1.5rem}.panel-header{border-bottom:1px solid var(--color-border);justify-content:space-between;align-items:center;margin-bottom:1rem;padding-bottom:.75rem;display:flex}pre,code{font-family:var(--font-mono);font-size:.9em}code{background-color:var(--color-bg-subtle);border-radius:var(--radius-sm);border:1px solid var(--color-border);padding:.15em .35em}pre{background-color:var(--color-bg-subtle);border:1px solid var(--color-border);border-radius:var(--radius-md);padding:1rem;overflow-x:auto}pre code{background:0 0;border:none;padding:0}.app-footer{background-color:var(--color-bg-surface);border-top:1px solid var(--color-border);color:var(--color-text-muted);margin-top:auto;padding:2rem 1.5rem;font-size:.875rem}.footer-container{flex-wrap:wrap;justify-content:space-between;align-items:center;gap:1.5rem;max-width:1400px;margin:0 auto;display:flex}