:root{font-family:system-ui,Avenir,Helvetica,Arial,sans-serif;font-size:14px;line-height:1.5;font-weight:400;color-scheme:light;color:#213547;background-color:#fff;font-synthesis:none;text-rendering:optimizeLegibility;-webkit-font-smoothing:antialiased;-moz-osx-font-smoothing:grayscale}a{font-weight:500;color:#646cff;text-decoration:inherit}a:hover{color:#535bf2}body{margin:0;min-width:320px;min-height:100vh}.submissions-layout>*{min-width:0}.boolean-expressions{display:grid;gap:22px;max-width:920px;overflow-anchor:none;padding:clamp(20px,4vw,36px);border:1px solid #d9e2ef;border-radius:16px;background:#fff;box-shadow:0 12px 30px #0f172a0d}.boolean-expressions__header{display:flex;justify-content:space-between;gap:20px;align-items:flex-start}.boolean-expressions__eyebrow,.boolean-expressions__step{margin:0 0 4px;color:#0369a1;font-size:.76rem;font-weight:800;letter-spacing:.08em;text-transform:uppercase}.boolean-expressions h2{margin:0;color:#172554;font-size:1.55rem;line-height:1.2}.boolean-expressions__header p:not(.boolean-expressions__eyebrow){margin:6px 0 0;color:#52627a}.boolean-expressions__header code{color:#075985;font-weight:700}.boolean-expressions__progress{min-width:96px;padding:10px 12px;border-radius:10px;background:#e0f2fe;color:#075985;text-align:center}.boolean-expressions__progress strong{font-size:.82rem;line-height:1.3}.boolean-expressions__progress.is-complete{background:#dcfce7;color:#166534}.boolean-expressions__complete{position:sticky;top:8px;z-index:4;display:flex;align-items:center;gap:10px;margin:2px 0;padding:10px 13px;border:1px solid #86efac;border-radius:10px;background:#f0fdf4;box-shadow:0 2px 8px #1665341f;color:#166534}.boolean-expressions__complete>span{display:inline-grid;place-items:center;width:24px;height:24px;border-radius:50%;background:#16a34a;color:#fff;font-weight:900}.boolean-expressions__complete strong,.boolean-expressions__complete small{display:block}.boolean-expressions__complete small{margin-top:1px;color:#3f7a50}.boolean-expressions__challenges{display:grid;grid-template-columns:repeat(4,minmax(0,1fr));gap:7px;padding:4px;border-radius:12px;background:#f6f8fc}.boolean-expressions__challenges button{width:100%;padding:7px 10px;border:1px solid transparent;border-radius:8px;background:transparent;color:#52627a;font-size:.83rem}.boolean-expressions__challenges button:hover{border-color:#bae6fd;color:#075985}.boolean-expressions__challenges button.is-current{background:#fff;border-color:#bae6fd;box-shadow:0 1px 3px #0f172a14;color:#075985}.boolean-expressions__challenges button>span:first-child{color:#059669;font-weight:800}.boolean-expressions__workspace{display:grid;grid-template-columns:minmax(0,1fr) minmax(230px,.65fr);gap:24px;align-items:start}.boolean-expressions h3{margin:0;color:#172554;font-size:1.2rem}.boolean-expressions__situation{margin:8px 0 0;color:#334155;line-height:1.65;white-space:pre-wrap}.boolean-expressions__variables{padding:15px 16px;border:1px solid #dbe5f3;border-radius:12px;background:#f8fbff}.boolean-expressions__variables>p{margin:0 0 10px;color:#334155;font-size:.78rem;font-weight:800;text-transform:uppercase;letter-spacing:.06em}.boolean-expressions__variables dl{display:grid;gap:10px;margin:0}.boolean-expressions__variables dl>div{display:grid;gap:2px}.boolean-expressions__variables dt{color:#172554;font-family:ui-monospace,SFMono-Regular,Menlo,monospace;font-weight:800}.boolean-expressions__variables dd{margin:0;color:#52627a;font-size:.85rem}.boolean-expressions__expected-results{max-width:680px;border:1px solid #dbe5f3;border-radius:10px;background:#fbfdff}.boolean-expressions__expected-results summary{display:flex;align-items:baseline;justify-content:space-between;gap:12px;padding:10px 13px;color:#075985;cursor:pointer;font-weight:800;list-style:none}.boolean-expressions__expected-results summary::-webkit-details-marker{display:none}.boolean-expressions__expected-results summary:after{content:"⌄";margin-left:4px}.boolean-expressions__expected-results:not([open]) summary:after{transform:rotate(-90deg)}.boolean-expressions__expected-results summary small{margin-left:auto;color:#64748b;font-weight:400}.boolean-expressions__expected-results>div{overflow-x:auto;border-top:1px solid #e5edf5}.boolean-expressions__expected-results table{width:100%;border-collapse:collapse}.boolean-expressions__expected-results th,.boolean-expressions__expected-results td{padding:7px 12px;border-bottom:1px solid #e5edf5;text-align:left;white-space:nowrap}.boolean-expressions__expected-results th{color:#52627a;font-size:.75rem}.boolean-expressions__expected-results th:last-child,.boolean-expressions__expected-results td:last-child{text-align:center}.boolean-expressions__expected-results tbody tr:last-child td{border-bottom:0}.boolean-expressions__expected-results td{color:#334155;font-family:ui-monospace,SFMono-Regular,Menlo,monospace}.boolean-expressions__expected-results td.is-true{color:#15803d;font-weight:800}.boolean-expressions__expected-results td.is-false{color:#b45309;font-weight:800}.boolean-expressions__expected-results tr.is-pass{background:#f0fdf4}.boolean-expressions__expected-results tr.is-fail{background:#fff1f2}.boolean-expressions__expected-results tr.is-pass td:last-child{color:#15803d;font-family:inherit;font-weight:800}.boolean-expressions__expected-results tr.is-fail td:last-child{color:#be123c;font-family:inherit;font-weight:800}.boolean-expressions__answer{display:grid;gap:8px;max-width:680px}.boolean-expressions__answer label{display:flex;align-items:baseline;justify-content:space-between;gap:12px;color:#172554;font-weight:750}.boolean-expressions__answer label span{color:#64748b;font-size:.8rem;font-weight:400}.boolean-expressions__answer input{box-sizing:border-box;width:100%;padding:11px 13px;border:1px solid #94a3b8;border-radius:8px;background:#fff;color:#172554;font-family:ui-monospace,SFMono-Regular,Menlo,monospace;font-size:1rem}.boolean-expressions__answer input:focus{border-color:#0284c7;outline:3px solid rgb(14 165 233 / 16%)}.boolean-expressions__answer small{color:#64748b;line-height:1.45}.boolean-expressions__answer small code{color:#334155}.boolean-expressions__answer button{justify-self:start;padding:9px 16px;border-color:#0369a1;background:#0369a1;color:#fff}.boolean-expressions__answer button:hover{border-color:#075985;background:#075985}.boolean-expressions__error{color:#b91c1c;font-weight:600}.boolean-expressions__result-summary{display:block;padding:9px 12px;color:#166534;font-size:.85rem}.boolean-expressions__expected-results:has(tr.is-fail) .boolean-expressions__result-summary{color:#be123c}.boolean-expressions__hint-backdrop{position:fixed;inset:0;z-index:1000;display:grid;place-items:center;padding:20px;background:#0f172a73}.boolean-expressions__hint{width:min(440px,100%);padding:24px;border:1px solid #bae6fd;border-radius:14px;background:#fff;box-shadow:0 18px 44px #0f172a40}.boolean-expressions__hint h3{margin:0;color:#172554}.boolean-expressions__hint p{color:#334155;line-height:1.55}.boolean-expressions__hint code{color:#075985;font-weight:700}.boolean-expressions__hint button{float:right;border-color:#0369a1;background:#0369a1;color:#fff}.boolean-expressions__hint:after{content:"";display:block;clear:both}@media(max-width:640px){.boolean-expressions__header,.boolean-expressions__answer label{display:grid}.boolean-expressions__progress{justify-self:start}.boolean-expressions__challenges{grid-template-columns:repeat(2,minmax(0,1fr))}.boolean-expressions__workspace{grid-template-columns:1fr;gap:16px}.boolean-expressions__answer label span{margin-top:2px}}@media(max-width:800px){.submissions-page{padding:12px!important}.submissions-layout{grid-template-columns:minmax(0,1fr)!important}}h1{font-size:3.2em;line-height:1.1}button{border-radius:8px;border:1px solid transparent;padding:.6em 1.2em;font-size:1em;font-weight:500;font-family:inherit;background-color:#f9f9f9;cursor:pointer;transition:border-color .25s}button:hover{border-color:#646cff}button:focus,button:focus-visible{outline:4px auto -webkit-focus-ring-color}a:hover{color:#747bff}