:root{color:#18212f;background:#f6f7f9;font-family:Inter,ui-sans-serif,system-ui,-apple-system,BlinkMacSystemFont,Segoe UI,sans-serif;font-synthesis:none;text-rendering:optimizeLegibility;-webkit-font-smoothing:antialiased}*{box-sizing:border-box}body{margin:0;min-width:320px;min-height:100vh}button,input,select{font:inherit}.app-shell{min-height:100vh;padding:28px}.workspace{margin:0 auto;max-width:1080px}.topbar{align-items:center;display:flex;justify-content:space-between;gap:20px;margin-bottom:22px}.topbar h1{font-size:30px;line-height:1.1;margin:0 0 4px}.topbar p{color:#5b6472;margin:0}.api-status{align-items:center;background:#e8f4ee;border:1px solid #b9dcc8;border-radius:999px;color:#22633c;display:inline-flex;font-size:14px;gap:8px;padding:8px 12px}.api-status span{background:#2aa85f;border-radius:999px;display:inline-block;height:8px;width:8px}.layout{align-items:start;display:grid;gap:18px;grid-template-columns:minmax(0,1fr)}.panel{background:#fff;border:1px solid #dfe4ea;border-radius:8px;box-shadow:0 10px 30px #1a23320f}.controls{display:grid;gap:16px;padding:20px}.source-switch{background:#eef2f5;border-radius:8px;display:grid;gap:6px;grid-template-columns:1fr 1fr;padding:6px}.source-switch button{background:transparent;color:#344054}.source-switch button.active{background:#fff;box-shadow:0 1px 3px #1a23321f;color:#1d2939}.field{display:grid;gap:7px}.field label,.toggle{color:#344054;font-size:14px;font-weight:650}.field input,.field select{background:#fbfcfd;border:1px solid #cfd6df;border-radius:7px;color:#18212f;min-height:42px;outline:none;padding:0 12px;width:100%}.field input:focus,.field select:focus{border-color:#3a7ca5;box-shadow:0 0 0 3px #3a7ca524}.field input:disabled{color:#8a94a3;cursor:not-allowed}.field small{color:#667085;font-size:12px;line-height:1.35}#file{display:none}.upload-box{align-items:center;background:#f4f8fb;border:1px dashed #8fb3ca;border-radius:8px;color:#244861;cursor:pointer;display:flex;gap:10px;min-height:66px;padding:16px}.upload-box span{overflow-wrap:anywhere}.grid-two{display:grid;gap:12px;grid-template-columns:1fr 1fr}.grid-one{display:grid;gap:12px;grid-template-columns:minmax(0,1fr)}.toggle{align-items:center;display:flex;gap:10px}.toggle input{accent-color:#2f6f95;height:18px;width:18px}.actions{display:flex;gap:10px}button{align-items:center;border:0;border-radius:7px;cursor:pointer;display:inline-flex;font-weight:700;gap:8px;justify-content:center;min-height:42px;padding:0 14px}button:disabled{cursor:not-allowed;opacity:.55}.primary{background:#2f6f95;color:#fff;flex:1}.secondary,.icon-button{background:#eef2f5;color:#263445}.icon-button{min-width:42px;padding:0}.spin{animation:spin .9s linear infinite}@keyframes spin{to{transform:rotate(360deg)}}.results{min-height:520px;padding:20px}.empty-state{align-items:center;color:#667085;display:grid;gap:12px;justify-items:center;min-height:450px;text-align:center}.alert{align-items:center;border-radius:7px;display:flex;gap:10px;padding:12px}.alert.error{background:#fff0ee;border:1px solid #ffc9c0;color:#9b2c1f}.result-header{align-items:start;display:flex;gap:16px;justify-content:space-between;margin-bottom:18px}.result-header h2{font-size:20px;margin:0 0 4px;overflow-wrap:anywhere}.result-header p{color:#667085;margin:0}.metrics{display:grid;gap:10px;grid-template-columns:repeat(4,minmax(0,1fr));margin-bottom:18px}.metrics div{background:#f5f7f9;border:1px solid #e2e7ed;border-radius:7px;display:grid;gap:4px;min-width:0;padding:12px}.metrics span{color:#667085;font-size:12px;font-weight:700;text-transform:uppercase}.metrics strong{font-size:15px;overflow-wrap:anywhere}.trace-list{align-content:start;background:#17202c;border-radius:8px;display:grid;gap:8px;max-height:400px;overflow:auto;padding:14px}.trace-list code{background:#223044;border:1px solid #344760;border-radius:6px;color:#e9f1fb;display:block;font-family:SFMono-Regular,Consolas,Liberation Mono,monospace;font-size:14px;overflow-wrap:anywhere;padding:8px 10px}.interface-step{border-top:1px solid #e2e7ed;display:grid;gap:14px;margin-top:20px;padding-top:18px}.section-heading{align-items:center;display:flex;gap:10px}.section-heading svg{color:#2f6f95;flex:0 0 auto}.section-heading h3{font-size:18px;line-height:1.2;margin:0 0 3px}.section-heading p{color:#667085;margin:0}.alphabet-row{display:flex;flex-wrap:wrap;gap:7px}.alphabet-row span{background:#edf5f8;border:1px solid #c9dfe9;border-radius:999px;color:#244861;font-size:13px;font-weight:700;max-width:100%;overflow-wrap:anywhere;padding:5px 9px}.validate-button{justify-self:start}.interface-result{background:#eef8f2;border:1px solid #bde1ca;border-radius:7px;color:#225b39;display:grid;gap:6px;padding:12px}.interface-result span{font-size:13px;font-weight:800;text-transform:uppercase}.interface-result code{color:#143822;overflow-wrap:anywhere}.domain-step{border-top:1px solid #e2e7ed;display:grid;gap:14px;margin-top:4px;padding-top:18px}.build-domain-button{justify-self:start;min-width:190px}.hasse-panel{display:grid;gap:12px}.domain-summary{display:flex;flex-wrap:wrap;gap:8px}.domain-summary span{background:#f5f7f9;border:1px solid #e2e7ed;border-radius:999px;color:#344054;font-size:13px;font-weight:700;padding:6px 10px}.hasse-scroll{background:#fbfcfd;border:1px solid #dfe4ea;border-radius:8px;overflow:auto;padding:12px}.hasse-svg{display:block;min-width:640px;width:100%}.hasse-edge{stroke:#90a4b5;stroke-width:1.8}.hasse-node{fill:#fff;stroke:#8fa5b7;stroke-width:1.4}.hasse-node.minimal{fill:#eef8f2;stroke:#55a06f}.hasse-node.top{fill:#edf5f8;stroke:#2f6f95;stroke-width:2}.hasse-label{fill:#18212f;font-size:10px;font-weight:700;pointer-events:none}.bipartite-step{border-top:1px solid #e2e7ed;display:grid;gap:14px;margin-top:4px;padding-top:18px}.bipartite-results{display:grid;gap:12px}.bipartite-logs-details{border:1px solid #dfe4ea;border-radius:8px;overflow:hidden}.bipartite-logs-details>summary{background:#f5f7f9;cursor:pointer;font-weight:900;padding:11px 12px}.bipartite-logs-details[open]>summary{border-bottom:1px solid #e2e7ed}.bipartite-list{display:grid;gap:12px;padding:12px}.bipartite-card{border:1px solid #dfe4ea;border-radius:8px;overflow:hidden}.bipartite-card-header{align-items:center;background:#f5f7f9;border-bottom:1px solid #e2e7ed;display:flex;gap:12px;justify-content:space-between;padding:11px 12px}.bipartite-card-header strong{color:#18212f;overflow-wrap:anywhere}.bipartite-card-header span{color:#667085;flex:0 0 auto;font-size:13px;font-weight:800}.log-block{display:grid;gap:8px;padding:12px}.log-block>span{color:#344054;font-size:12px;font-weight:800}.log-block sub,.projection-details sub{font-size:.72em;line-height:0}.log-block.projected{padding:10px 0 0}.chip-list{display:flex;flex-wrap:wrap;gap:6px}.chip-list code{background:#17202c;border-radius:6px;color:#e9f1fb;font-size:12px;max-width:100%;overflow-wrap:anywhere;padding:5px 7px}.muted{color:#667085;font-size:13px;font-weight:700}.projection-details{border-top:1px solid #e7ebf0;color:#344054;font-size:13px;padding:10px 12px 12px}.projection-details summary{background:#eef2f5;border-radius:6px;cursor:pointer;font-weight:800;list-style-position:inside;padding:7px 9px}.projection-details[open]{display:grid;gap:8px}.evidence-step{border-top:1px solid #e2e7ed;display:grid;gap:14px;margin-top:4px;padding-top:18px}.statements-step{border-top:1px solid #e2e7ed;display:grid;gap:14px;margin-top:6px;padding-top:18px}.evidence-controls{align-items:end;display:flex;flex-wrap:wrap;gap:12px}.field.compact{max-width:90px}.evidence-panel{display:grid;gap:12px}.evidence-table{border:1px solid #dfe4ea;border-radius:8px;overflow:hidden;width:100%}.evidence-row{align-items:center;border-top:1px solid #e7ebf0;cursor:pointer;display:grid;column-gap:0;grid-template-columns:minmax(100px,.9fr) minmax(86px,.95fr) minmax(108px,1.08fr) minmax(108px,1.08fr) minmax(100px,1fr) minmax(100px,1fr) minmax(112px,1.1fr) minmax(112px,1.1fr);padding:7px 8px;width:100%}.evidence-row:first-child{border-top:0}.evidence-row:not(.header):hover{background:#f7fbfd}.evidence-row:not(.header):focus-visible{outline:2px solid #2f6f95;outline-offset:-2px}.evidence-row.selected{background:#e9f4ee;box-shadow:inset 4px 0 #2f8f5b}.evidence-row.header{background:#f5f7f9;color:#344054;cursor:default;font-size:13px;font-weight:900;min-height:54px}.table-header-sort{background:transparent;color:inherit;font-size:inherit;font-weight:inherit;justify-content:flex-start;min-height:0;padding:0;text-align:left}.table-header-sort:hover{color:#275d7e}.evidence-row.header .math-label{color:#111827;font-family:Times New Roman,Times,serif;font-size:clamp(13.5px,1.035vw,16.2px);font-style:italic;font-weight:500;letter-spacing:.02em;line-height:1.15;white-space:nowrap}.evidence-row.header .math-label sub{font-size:.76em;line-height:0}.math-roman{font-style:normal}.math-overline{border-top:1.5px solid currentColor;display:inline-block;line-height:.9;padding:0 .04em}.math-tilde{display:inline-block;line-height:1;position:relative}.math-tilde:before{content:"~";font-size:.9em;left:0;line-height:1;position:absolute;right:0;text-align:center;top:-.72em}.evidence-row strong,.evidence-row span{overflow-wrap:anywhere}.evidence-row span{font-size:12px;line-height:1.25}.evidence-row strong{font-size:13px;line-height:1.25}.statements-panel{display:grid;gap:12px}.statements-list{display:grid;gap:10px}.statement-card{background:#fff;border:1px solid #dfe4ea;border-radius:8px;overflow:hidden}.statement-card header{background:#f5f7f9;border-bottom:1px solid #e2e7ed;color:#1f2937;font-weight:900;padding:9px 12px}.statement-card ol{display:grid;gap:7px;margin:0;padding:12px 18px 12px 34px}.statement-card li{color:#263445;font-size:14px;line-height:1.45;padding-left:2px}@media(max-width:860px){.app-shell{padding:18px}.topbar,.layout{display:grid}.layout{grid-template-columns:1fr}.metrics{grid-template-columns:repeat(2,minmax(0,1fr))}.evidence-table{overflow:auto}.evidence-row{min-width:680px}}@media(max-width:520px){.grid-two,.metrics{grid-template-columns:1fr}.actions{display:grid}}