:root{color-scheme:dark;font-family:system-ui,-apple-system,BlinkMacSystemFont,"Segoe UI",sans-serif;color:#e8edf7;background:#0b1120;font-synthesis:none}*{box-sizing:border-box}body{margin:0;background:radial-gradient(ellipse at 15% 0%,#182b42 0,transparent 50%)}button,select{font:inherit}button,select,a{-webkit-tap-highlight-color:transparent}button{cursor:pointer}button:focus-visible,select:focus-visible,a:focus-visible{outline:3px solid #a9d7ff;outline-offset:4px}header{min-height:88px;border-bottom:1px solid #273248;display:flex;align-items:center;justify-content:space-between;padding:18px max(5vw,20px);gap:14px;background:#0c1422d9}.brand{display:flex;align-items:center;gap:12px;font-weight:800;letter-spacing:2px;color:inherit;text-decoration:none}.brand small{font-size:10px;color:#9babbe;letter-spacing:1px;border-left:1px solid #40516a;padding-left:12px}.logo{background:#b9f76b;color:#13220b;border-radius:12px;padding:7px 11px;font-size:24px}.status{display:flex;align-items:center;gap:14px;font-size:13px;font-weight:650}.lamp{width:22px;height:22px;flex-shrink:0;border-radius:50%;border:4px solid #ffffff20}.lamp.red{background:#ff637a;box-shadow:0 0 20px #ff637a70}.lamp.green{background:#b9f76b;box-shadow:0 0 24px #b9f76980}main{max-width:1200px;margin:auto;padding:48px 24px 20px}.eyebrow{font-size:10px;letter-spacing:2px;font-weight:750;color:#b9f76b}h1{font-size:clamp(32px,5vw,54px);letter-spacing:-2px;margin:12px 0}p{line-height:1.65}.intro p{color:#a6b4c9;margin-top:0}.toolbar{display:flex;justify-content:space-between;align-items:center;gap:16px;margin:32px 0 20px}.toolbar label{font-size:12px;color:#a6b4c9;display:flex;align-items:center;gap:12px}select{background:#172235;color:#e8edf7;border:1px solid #39465e;padding:12px;border-radius:10px}.primary{background:#b9f76b;border:0;border-radius:10px;color:#19290e;padding:14px 20px;font-weight:750}.primary:hover{background:#d1ff99}.workspace{display:grid;grid-template-columns:1.3fr 1fr;gap:22px;align-items:start}.panel{border:1px solid #2d3a50;border-radius:20px;padding:26px;background:#141e2fdc;box-shadow:0 12px 40px #0002}.panel-heading{display:flex;align-items:center;justify-content:space-between;gap:10px}h2{font-size:21px;letter-spacing:-.5px;margin:8px 0}.badge{font-size:10px;color:#b4c1d4;border:1px solid #394860;border-radius:30px;padding:7px 10px;white-space:nowrap}.muted,.hint{font-size:13px;color:#a6b4c9}.muted{margin:12px 0 24px}.clause{display:flex;align-items:center;gap:12px;border:1px solid #623448;background:#332131;border-radius:10px;padding:12px 14px}.clause.true{background:#1e302b;border-color:#365346}.clause-number{font:11px ui-monospace,monospace;color:#a0acc0}.expression{font:600 clamp(16px,2vw,22px) ui-monospace,monospace;flex:1;white-space:nowrap}.literal{color:#ff9aaa}.literal.on{color:#b9f76b}.or{color:#a4b4c8}.clause-result{font:700 12px ui-monospace,monospace;color:#ff9aaa}.true .clause-result{color:#b9f76b}.and{color:#8797b1;font-size:15px;margin:2px 0 2px 46px}.variable{display:flex;align-items:center;justify-content:space-between;gap:15px;padding:12px 0;border-bottom:1px solid #2c384a}.variable-name{font:700 24px ui-monospace,monospace}.segmented{display:flex;background:#0d1523;border:1px solid #35435a;border-radius:10px;padding:4px;gap:4px}.segmented button{background:transparent;color:#a6b4c9;border:0;border-radius:7px;padding:10px 16px;font-weight:750;min-width:90px}.segmented button small{font-size:11px;font-weight:400;margin-left:4px}.segmented button[aria-pressed=true]{background:#cfdef4;color:#12223a}.segmented button[data-value=true][aria-pressed=true]{background:#b9f76b;color:#19290e}.secondary{width:100%;margin-top:24px;padding:12px;border:1px solid #40506b;background:transparent;border-radius:10px;color:#ced8e8}.secondary:hover{background:#25324a}.hint{margin-bottom:0}.progress{height:5px;background:#303b4e;border-radius:5px;overflow:hidden;margin-top:24px}#progressBar{height:100%;background:#b9f76b;transition:width .2s}#score{font-size:12px;color:#c8d4e7;margin-bottom:0}.legend{margin-top:30px;border-top:1px solid #2c384a;padding-top:22px}.legend h2{font-size:16px}.legend>div{display:grid;grid-template-columns:repeat(3,1fr);gap:24px}.legend p{font-size:12px;color:#a6b4c9}.legend b{display:block;color:#edf2fa;font-size:22px;margin-bottom:5px}.legend b span{font-size:11px;letter-spacing:1px;vertical-align:middle;margin-left:8px}.footnote{border-top:1px solid #253044;padding-top:18px}footer{text-align:center;font-size:11px;color:#8899b1;padding:26px 0 10px}@media(max-width:720px){header{padding:14px 18px}.brand{font-size:13px;gap:8px}.brand small{display:none}.status{font-size:11px;gap:8px}main{padding:30px 16px}.workspace{grid-template-columns:1fr}.toolbar{align-items:stretch}.toolbar label{display:block}.toolbar select{display:block;margin-top:6px;max-width:100%;font-size:12px}.primary{font-size:12px;padding:10px 14px}.panel{padding:20px}.badge{font-size:9px}.legend>div{gap:12px}.legend p{font-size:11px}}