:root{font-family:Inter,ui-sans-serif,system-ui,sans-serif;color:#d8e1f0;background:#080e19;color-scheme:dark;--base:#0b1220;--panel:#111a2b;--line:#2a3549;--muted:#8290a6;--gold:#d9b56c;--math:#6fa8ff;--physics:#ff9f5a;--logic:#b58cff;--verified:#4fd18b;--rejected:#ff5c6c}*{box-sizing:border-box}body{margin:0;min-width:320px;background:radial-gradient(circle at 70% -20%,#17243c 0,#080e19 45%);min-height:100vh}button,select,textarea,input{font:inherit;color:inherit}button,select,textarea{background:#0d1626;border:1px solid var(--line);border-radius:7px}button{cursor:pointer}button:hover{border-color:var(--gold)}button:disabled{opacity:.55;cursor:not-allowed}header{height:68px;padding:0 24px;border-bottom:1px solid var(--line);display:flex;align-items:center;justify-content:space-between;background:#0b1220}.brand{display:flex;align-items:center;gap:11px}.brand .mark{display:grid;place-items:center;width:38px;height:38px;border:1px solid var(--gold);color:var(--gold);font-weight:800;clip-path:polygon(25% 0,75% 0,100% 25%,100% 75%,75% 100%,25% 100%,0 75%,0 25%)}.brand small,.brand strong{display:block}.brand small{color:var(--muted);font-size:11px;letter-spacing:.05em}.status{font-size:11px;color:var(--verified);border:1px solid #245b48;padding:5px 9px;border-radius:99px}.status.working{color:var(--gold);animation:pulse 1.1s infinite}@keyframes pulse{50%{opacity:.45}}.workspace{display:grid;grid-template-columns:220px minmax(0,1fr);min-height:calc(100vh - 68px)}.history{border-right:1px solid var(--line);padding:18px 12px;background:#0a111e}.history h2,.panel h2{font-size:12px;text-transform:uppercase;letter-spacing:.13em;color:#9caac0}.history button{width:100%;text-align:left;padding:10px;margin-bottom:7px}.history button span,.history button small{display:block;overflow:hidden;text-overflow:ellipsis;white-space:nowrap}.history button small{color:var(--muted);margin-top:5px;font-size:10px}main{min-width:0;padding:0 22px 36px}.tabs{display:flex;overflow-x:auto;border-bottom:1px solid var(--line);margin-bottom:18px}.tabs button{flex:0 0 auto;border:0;border-radius:0;background:transparent;padding:16px 14px;color:var(--muted)}.tabs button.active{color:var(--gold);box-shadow:inset 0 -2px var(--gold)}.panel{background:#111a2b;border:1px solid var(--line);border-radius:10px;padding:16px;box-shadow:0 10px 28px #03060c55}.solver label{font-size:12px;color:var(--muted)}textarea{resize:vertical;width:100%;min-height:90px;padding:13px;margin:7px 0 10px;line-height:1.5}.controls{display:flex;flex-wrap:wrap;gap:8px;align-items:center}.controls select,.controls button{padding:9px 12px}.check{display:flex;align-items:center;gap:6px;padding:7px}.solve{background:#d9b56c;color:#151108;border-color:#d9b56c;font-weight:800;letter-spacing:.08em}.error{color:var(--rejected)}.empty{text-align:center;padding:75px 20px;margin-top:18px}.empty>span{font-size:56px;color:var(--gold)}.empty h1{font-size:25px}.empty p,.muted{color:var(--muted)}.dashboard{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:14px;margin:14px 0}.domain-row{margin:15px 0}.domain-row>div:first-child{display:flex;justify-content:space-between;font-size:12px}.bar{height:7px;background:#1b273a;border-radius:8px;margin-top:6px;overflow:hidden}.bar i{display:block;height:100%;background:var(--math)}.physics .bar i{background:var(--physics)}.logic .bar i{background:var(--logic)}.constellation>div{display:grid;grid-template-columns:repeat(5,1fr);gap:7px}.brain{text-align:center;background:#0d1626;border:1px solid var(--line);border-radius:7px;padding:7px 3px}.brain span{display:block;color:#59657a}.brain.active span,.brain.solving span,.brain.challenging span{color:var(--verified);text-shadow:0 0 10px var(--verified)}.brain.challenging span{color:var(--rejected)}.brain strong,.brain small,.brain em{display:block}.brain small{height:28px;font-size:9px;color:var(--muted);overflow:hidden}.brain em{font-size:8px;color:#9caac0;font-style:normal}.ticker p{display:grid;grid-template-columns:80px 1fr 1.5fr;gap:8px;border-top:1px solid var(--line);padding:8px 0;margin:0;font-size:11px}.ticker b{color:var(--gold)}.ticker small{color:var(--muted)}svg text{fill:#d8e1f0;font-size:11px}.preview{width:100%;height:145px}.node{fill:#16243a;stroke:var(--line);stroke-width:2}.node.math{stroke:var(--math)}.node.physics{stroke:var(--physics)}.node.logic{stroke:var(--logic)}.svg-label{fill:#9caac0;font-size:9px}.answer{margin-top:14px}.answer-head{display:flex;justify-content:space-between;gap:14px}.answer-head h1{font-size:32px;margin:5px 0}.answer-head h1 span{color:var(--muted);font-size:18px}.answer-head small{text-transform:uppercase;color:var(--gold);letter-spacing:.12em}.badges{display:flex;flex-wrap:wrap;align-items:start;justify-content:end;gap:6px}.badge{display:inline-block;padding:4px 7px;border-radius:4px;border:1px solid #46536a;color:#bdc8d9;font-size:9px;font-weight:700;letter-spacing:.05em;margin-right:6px}.badge.certified,.badge.verified,.badge.pass,.badge.accept{border-color:#277156;color:var(--verified)}.badge.reject,.badge.rejected,.badge.fail,.badge.remodel{border-color:#7e2f3a;color:var(--rejected)}.badge.assumed,.badge.approximated,.badge.flag{border-color:#7d6d2a;color:#e6c34a}.verification{display:flex;gap:8px;align-items:start;border-block:1px solid var(--line);padding:13px 0}.verification>strong{font-size:18px;border:1px solid var(--verified);color:var(--verified);padding:7px;border-radius:5px}.verification>div{flex:1}.verification p{margin:0 0 5px;font-size:12px}.verification b{color:var(--gold);margin-right:5px}.explanation{white-space:pre-wrap;line-height:1.55}.explanation h3,.answer h3{font-size:12px;text-transform:capitalize;color:var(--gold);margin-bottom:4px}.explanation p{margin:4px 0}.metrics{display:grid;grid-template-columns:repeat(6,1fr);gap:8px;margin-top:18px}.metrics div{background:#0d1626;padding:10px;text-align:center;border:1px solid var(--line);border-radius:6px}.metrics b,.metrics small{display:block}.metrics small{font-size:9px;color:var(--muted);margin-top:4px}.view-grid{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:14px}.view-grid .wide{grid-column:1/-1}.view-grid p{line-height:1.5}.formula{display:block;width:100%;text-align:left;padding:9px;margin:6px 0}.formula small{float:right;color:var(--gold)}.fbd{width:100%;max-height:230px;background:#0d1626;border-radius:8px}.fbd rect{fill:#17243a;stroke:#d9b56c}.fbd line{stroke:#ff9f5a;stroke-width:2}.fbd marker path{fill:#ff9f5a}.unit-step{display:flex;gap:10px}.unit-step span{color:var(--gold)}pre,code{font-family:Cascadia Code,Consolas,monospace;background:#0a111e;color:#c8d5e8}pre{padding:14px;white-space:pre-wrap;overflow-wrap:anywhere;border:1px solid var(--line);border-radius:7px}code{padding:2px 4px}.table-wrap{overflow-x:auto}table{width:100%;border-collapse:collapse}th,td{border:1px solid var(--line);padding:9px;text-align:left}th{color:var(--gold);background:#0d1626}.graph-layout{position:relative;padding:0;overflow:hidden}.graph-toolbar{height:55px;display:flex;align-items:center;gap:8px;padding:0 14px;border-bottom:1px solid var(--line)}.graph-toolbar h2{margin-right:auto}.graph-toolbar button{padding:6px 9px}.graph-canvas{height:620px;touch-action:none;cursor:grab;overflow:hidden}.graph-canvas svg{width:100%;height:100%}.edge{stroke:#526177;stroke-width:1.5}.graph-node{cursor:pointer}.graph-node rect{fill:#142036;stroke-width:2;stroke:#617089}.graph-node rect.math{stroke:var(--math)}.graph-node rect.physics{stroke:var(--physics)}.graph-node rect.logic{stroke:var(--logic)}.graph-node rect.assumed{stroke-dasharray:5 3}.graph-node rect.rejected{stroke:var(--rejected)}.node-detail{position:absolute;right:0;top:55px;width:300px;height:620px;overflow:auto;background:#0d1626;border-left:1px solid var(--line);padding:18px}.node-detail>button{float:right;border:0;font-size:22px}.node-detail p{font-size:12px}.formula-card{border-top:1px solid var(--line);margin-top:14px}.judge-grid{display:grid;grid-template-columns:repeat(4,minmax(0,1fr));gap:8px}.judge-grid article{padding:10px;background:#0d1626;border:1px solid var(--line);border-radius:6px;min-height:95px}.judge-grid strong{display:block;margin-bottom:7px;color:var(--gold)}.judge-grid p{font-size:10px;color:var(--muted)}.judges{display:grid;gap:14px}.certificate>div:first-child{display:flex;justify-content:space-between;align-items:center}.certificate pre{min-height:500px;line-height:1.55}@media (max-width:850px){.workspace{display:block}.history{display:none}.dashboard,.view-grid{grid-template-columns:1fr}.view-grid .wide{grid-column:auto}.judge-grid{grid-template-columns:repeat(2,1fr)}.metrics{grid-template-columns:repeat(3,1fr)}main{padding-inline:14px}.certificate>div:first-child{display:block}}@media (max-width:480px){header{padding:0 12px}.brand small{display:none}main{padding-inline:8px}.tabs button{padding:13px 10px}.panel{padding:12px}.controls>*{flex:1 1 45%}.dashboard{gap:8px}.constellation>div{grid-template-columns:repeat(2,1fr)}.ticker p{grid-template-columns:70px 1fr}.ticker small{grid-column:2}.answer-head{display:block}.badges{justify-content:start}.answer-head h1{font-size:27px}.verification{flex-wrap:wrap}.verification>div{flex-basis:100%}.metrics{grid-template-columns:repeat(2,1fr)}.judge-grid{grid-template-columns:1fr}.node-detail{width:86%}.graph-canvas{height:500px}}.graph-toolbar{height:auto;min-height:55px;flex-wrap:wrap;padding-block:8px}.graph-toolbar label,.graph-count{font-size:10px;color:var(--muted)}.graph-toolbar select{padding:6px 9px}.graph-more{position:absolute;left:50%;bottom:12px;transform:translate(-50%);padding:7px 13px}.graph-cap{position:absolute;left:12px;bottom:0;color:var(--muted);font-size:10px}:root,body{background:#000}.iqs-logo{width:38px;height:38px;object-fit:contain}.product-footer{height:auto;min-height:58px;padding:18px 24px;display:flex;justify-content:space-between;gap:20px;border-top:1px solid #202b40;background:linear-gradient(90deg,#02050a,#071225,#02050a);color:#94a1b6;font-size:12px}.live-fallback{padding:12px 24px;border-bottom:1px solid #704d18;background:#211706;color:#ffd58a}.live-fallback a{color:#fff;font-weight:700}@media (max-width:600px){.product-footer{align-items:flex-start;flex-direction:column;gap:7px;padding-inline:14px}}.live-fallback.waking{border-color:#22d3ee73;background:#22d3ee14}.live-fallback.waking:before{content:"";display:inline-block;width:10px;height:10px;margin-right:10px;border-radius:50%;border:2px solid #22d3ee;border-right-color:transparent;animation:spin .9s linear infinite;vertical-align:-1px}@keyframes spin{to{transform:rotate(360deg)}}