:root{font-family:Inter,Arial,sans-serif;color:#172033;background:#f4f7fb;--blue:#0e4aa8;--green:#167c3b;--red:#b42318;--border:#cbd5e1}
*{box-sizing:border-box}body{margin:0}.hero{background:linear-gradient(135deg,#0e4aa8,#253ea7);color:#fff;padding:34px 24px}.hero>div{max-width:1100px;margin:auto}.eyebrow{font-size:.85rem;font-weight:700;letter-spacing:.08em;text-transform:uppercase;opacity:.85}h1{margin:.35rem 0 .4rem;font-size:2rem}h2{color:var(--blue);font-size:1.08rem;margin-top:0}main{max-width:1100px;margin:auto;padding:24px}.panel{background:#fff;border:1px solid var(--border);border-radius:16px;padding:20px;margin:0 0 18px;box-shadow:0 5px 18px #00000010}.controls{display:flex;gap:10px;align-items:center;flex-wrap:wrap}.controls label{font-weight:700}.grid{display:grid;grid-template-columns:1fr 1fr;gap:18px}.logic-box{display:grid;grid-template-columns:100px 1fr;gap:10px;padding:12px;background:#f8fafc;border-radius:10px;margin-bottom:10px}.logic-box span{font-weight:800;color:var(--blue)}code{white-space:pre-wrap}.verdict{padding:12px;border-radius:10px;font-weight:800;margin-top:12px}.neutral{background:#eef2f7;color:#4a5568}.success{background:#e9f7ef;color:var(--green)}.failure{background:#fdecec;color:var(--red)}button,select{font:inherit;border-radius:10px;padding:10px 14px;border:1px solid var(--blue)}button{background:var(--blue);color:#fff;font-weight:700;cursor:pointer}.secondary{background:#fff;color:var(--blue)}.table-wrap{overflow:auto}table{border-collapse:collapse;width:100%;min-width:620px}th,td{padding:10px 12px;border-bottom:1px solid #e3e8ef;text-align:center}th{background:#eef5ff;color:var(--blue)}tr.model{background:#f0fbf4}tr.counter{background:#fff0f0}.legend{display:flex;gap:16px;flex-wrap:wrap}.dot{display:inline-block;width:12px;height:12px;border-radius:50%;margin-right:6px}.dot.model{background:#2a9d55}.dot.counter{background:#d64545}@media(max-width:760px){.grid{grid-template-columns:1fr}.hero{padding:26px 20px}main{padding:18px}}