:root{--lightningcss-light:initial;--lightningcss-dark: ;color-scheme:light;--bg:#fff;--surface:#f4f5f7;--text:#16181d;--muted:#4a515c;--border:#6b7280;--link:#0b57d0;--focus:#0b57d0;--button-bg:#0b57d0;--button-text:#fff;--error:#b3261e;--verified-bg:#e6f4ea;--verified-text:#0d5a26;--contradicted-bg:#fce8e6;--contradicted-text:#9b1c14;--inconclusive-bg:#fef7e0;--inconclusive-text:#6b4a00;--pending-bg:#fff1c2;--pending-text:#4d3600}@media (prefers-color-scheme:dark){:root:not([data-theme=light]){--lightningcss-light: ;--lightningcss-dark:initial;color-scheme:dark;--bg:#111317;--surface:#1c1f25;--text:#e8eaed;--muted:#b6bcc6;--border:#8a929e;--link:#8ab4f8;--focus:#8ab4f8;--button-bg:#8ab4f8;--button-text:#0b1a33;--error:#ffb4ab;--verified-bg:#0f2e1a;--verified-text:#8fe0a8;--contradicted-bg:#3b1311;--contradicted-text:#ffb4ab;--inconclusive-bg:#33280a;--inconclusive-text:#f6d77a;--pending-bg:#3d300a;--pending-text:#ffe08a}}:root[data-theme=dark]{--lightningcss-light: ;--lightningcss-dark:initial;color-scheme:dark;--bg:#111317;--surface:#1c1f25;--text:#e8eaed;--muted:#b6bcc6;--border:#8a929e;--link:#8ab4f8;--focus:#8ab4f8;--button-bg:#8ab4f8;--button-text:#0b1a33;--error:#ffb4ab;--verified-bg:#0f2e1a;--verified-text:#8fe0a8;--contradicted-bg:#3b1311;--contradicted-text:#ffb4ab;--inconclusive-bg:#33280a;--inconclusive-text:#f6d77a;--pending-bg:#3d300a;--pending-text:#ffe08a}*,:before,:after{box-sizing:border-box}html{font-size:100%}body{background:var(--bg);color:var(--text);margin:0;font-family:system-ui,-apple-system,Segoe UI,Roboto,Helvetica Neue,Arial,sans-serif;line-height:1.5}a{color:var(--link)}:focus-visible{outline:3px solid var(--focus);outline-offset:2px}code{overflow-wrap:anywhere;font-family:ui-monospace,SFMono-Regular,Consolas,monospace;font-size:.95em}.container{max-width:72rem;margin:0 auto;padding:0 1rem}main.container{padding-top:1.5rem;padding-bottom:3rem}main:focus,h1:focus{outline:none}.skip-link{background:var(--button-bg);color:var(--button-text);z-index:10;padding:.5rem 1rem;position:absolute;top:-4rem;left:1rem}.skip-link:focus{top:.5rem}.visually-hidden{clip:rect(0 0 0 0);white-space:nowrap;width:1px;height:1px;overflow:hidden;position:absolute!important}.site-header{border-bottom:1px solid var(--border);background:var(--surface)}.header-row{flex-wrap:wrap;align-items:center;gap:.75rem 1.5rem;padding-top:.75rem;padding-bottom:.75rem;display:flex}.brand{color:var(--text);letter-spacing:.04em;font-size:1.15rem;font-weight:700;text-decoration:none}.brand span{font-weight:400}nav ul{flex-wrap:wrap;gap:.25rem 1rem;margin:0;padding:0;list-style:none;display:flex}nav a{padding:.25rem 0;display:inline-block}nav a[aria-current=page]{font-weight:700;text-decoration-thickness:3px}.theme-toggle{margin-left:auto}.site-footer{border-top:1px solid var(--border);color:var(--muted);font-size:.95rem}.lead{max-width:60rem;font-size:1.1rem}.muted{color:var(--muted)}.small{font-size:.9rem}.error-text{color:var(--error);font-weight:600}.notice{border-left:4px solid var(--link);padding-left:.75rem}.grid{grid-template-columns:repeat(auto-fit,minmax(min(100%,22rem),1fr));align-items:start;gap:1.5rem;display:grid}.tile{background:var(--surface);border:1px solid var(--border);border-radius:8px;margin-bottom:1.5rem;padding:1rem 1.25rem}.tile h2{margin-top:0}.small-heading{margin:.75rem 0 .25rem;font-size:1rem}label{margin-top:.75rem;font-weight:600;display:block}input[type=text],input[type=password],input[type=number],input[type=datetime-local],input[type=file],select,textarea{width:100%;max-width:32rem;font:inherit;color:var(--text);background:var(--bg);border:1px solid var(--border);border-radius:4px;margin-top:.25rem;padding:.5rem;display:block}fieldset{border:1px solid var(--border);border-radius:4px;margin:1rem 0;padding:.5rem 1rem 1rem}legend{padding:0 .25rem;font-weight:700}button{font:inherit;border:2px solid var(--button-bg);background:var(--button-bg);min-height:2.75rem;color:var(--button-text);cursor:pointer;border-radius:4px;margin-top:1rem;padding:.5rem 1rem}button.secondary{color:var(--text);border-color:var(--border);background:0 0}button:disabled{cursor:not-allowed;opacity:.7}.theme-toggle{margin-top:0}.link-button{color:var(--link);background:0 0;border:none;min-height:0;margin:0;padding:.25rem 0;text-decoration:underline}.button-row{flex-wrap:wrap;gap:.75rem;display:flex}.plain-list{padding:0;list-style:none}.demo-list{grid-template-columns:repeat(auto-fill,minmax(min(100%,18rem),1fr));gap:1rem;display:grid}.demo-case{border:1px solid var(--border);background:var(--bg);border-radius:6px;padding:.75rem 1rem}.big-number{margin:.5rem 0;font-size:1.75rem;font-weight:700}.sparkline{width:100%;height:4rem;color:var(--link)}.verdict-card{border:2px solid var(--border);background:var(--surface);border-radius:8px;padding:1rem 1.25rem}.verdict-heading{margin-top:0}.verdict-line{letter-spacing:.03em;align-items:center;gap:.6rem;margin:.25rem 0 .75rem;font-size:1.6rem;font-weight:800;display:flex}.verdict-verified .verdict-line{color:var(--verified-text)}.verdict-verified{background:var(--verified-bg);border-color:var(--verified-text)}.verdict-contradicted .verdict-line{color:var(--contradicted-text)}.verdict-contradicted{background:var(--contradicted-bg);border-color:var(--contradicted-text)}.verdict-inconclusive .verdict-line{color:var(--inconclusive-text)}.verdict-inconclusive{background:var(--inconclusive-bg);border-color:var(--inconclusive-text)}.verdict-icon{flex:none}.pending-review{background:var(--pending-bg);color:var(--pending-text);border:2px dashed var(--pending-text);border-radius:4px;padding:.5rem .75rem}.explainer{border-top:1px solid var(--border);margin-top:1rem}.explainer h3{font-size:1rem}.facts{grid-template-columns:max-content 1fr;gap:.25rem 1rem;margin:.5rem 0;display:grid}.facts dt{font-weight:600}.facts dd{overflow-wrap:anywhere;margin:0}@media (width<=40rem){.facts{grid-template-columns:1fr}.facts dd{margin-bottom:.5rem}}.progress{padding:0;list-style:none}.progress li{padding:.15rem 0}.progress-current{font-weight:700}.progress-todo{color:var(--muted)}.trace{padding-left:0;list-style:none}.trace-step{border-left:3px solid var(--border);margin-bottom:.75rem;padding:.25rem 0 .5rem 1rem}.overlay-video{background:#000;width:100%;max-height:70vh}.timeline{border-bottom:2px solid var(--border);height:2.75rem;margin:.5rem 0;position:relative}.marker{border-radius:50%;width:1.75rem;height:1.75rem;min-height:1.75rem;margin:0;padding:0;font-weight:800;position:absolute;top:0;transform:translate(-50%)}.marker-edit{background:var(--contradicted-text);border-color:var(--contradicted-text);color:var(--bg)}.marker-info{background:var(--bg);border-color:var(--link);color:var(--link)}.event-list{padding-left:1.25rem}.plots{grid-template-columns:repeat(auto-fill,minmax(min(100%,20rem),1fr));gap:1rem;display:grid}.plot{margin:0}.plot img{border:1px solid var(--border);background:#fff;width:100%;height:auto}.table-wrap{overflow-x:auto}table{border-collapse:collapse;width:100%}th,td{text-align:left;border-bottom:1px solid var(--border);vertical-align:top;padding:.5rem}.row-selected{background:var(--surface)}.tile-attention{border-width:2px;border-color:var(--link)}.request form{margin-bottom:.25rem}@media (prefers-reduced-motion:reduce){*{scroll-behavior:auto!important;transition:none!important}}