:root{color-scheme:dark;--bg:#0b1214;--panel:#121e20;--line:#294044;--text:#edf5ef;--muted:#a8baba;--green:#b6ed9f;--red:#ffb6a5;--tail:#397b77}*{box-sizing:border-box}body{margin:0;background:var(--bg);color:var(--text);font:15px/1.55 system-ui,sans-serif}a{color:var(--green);text-decoration:none}a:hover{text-decoration:underline}header{max-width:1440px;margin:auto;display:flex;align-items:center;gap:28px;padding:22px 36px;border-bottom:1px solid var(--line)}.brand{font-weight:750;font-size:22px;color:var(--text);white-space:nowrap}.mark{background:var(--green);color:var(--bg);padding:4px 8px;border-radius:4px;margin-right:10px}nav{display:flex;gap:20px;font-size:13px}.runtime{margin-left:auto;font-size:11px;letter-spacing:.02em;color:var(--muted)}main{max-width:1440px;margin:auto;padding:32px 36px}.hero{display:grid;grid-template-columns:1.8fr 1fr;align-items:center;gap:50px;margin-bottom:30px}.eyebrow{font-size:11px;letter-spacing:.17em;color:var(--green);margin:0 0 12px}h1{font-size:clamp(28px,3.5vw,46px);line-height:1.12;letter-spacing:-.035em;margin:0 0 16px;font-weight:730}h1 em{font-style:normal;color:var(--green)}.lead{color:var(--muted);max-width:660px;margin:0;font-size:15px}.hero aside{border-left:2px solid var(--green);padding:4px 0 4px 24px}.hero aside p{margin:7px 0;color:var(--muted);font-size:13px}.workspace{display:grid;grid-template-columns:minmax(300px,440px) minmax(0,1fr);gap:22px;align-items:start}.panel{background:var(--panel);border:1px solid var(--line);border-radius:14px;padding:22px;min-width:0}.output{display:grid;gap:18px;min-width:0}.sectiontop{display:flex;align-items:center;justify-content:space-between;gap:12px;flex-wrap:wrap;margin-bottom:9px}h2{font-size:11px;letter-spacing:.1em;text-transform:uppercase;margin:0;color:var(--muted)}label{display:block;font-size:12px;font-weight:650;margin:15px 0 5px}label span{display:block;font-size:10px;font-weight:400;color:var(--muted)}input,textarea,select{width:100%;font:13px/1.5 ui-monospace,monospace;background:#0c1618;color:var(--text);border:1px solid #3e5559;border-radius:7px;padding:9px 10px;max-width:100%;min-width:0}textarea{resize:vertical}input:focus,textarea:focus,select:focus,button:focus-visible,a:focus-visible{outline:2px solid var(--green);outline-offset:2px}.sectiontop select{width:auto;max-width:200px;font:11px system-ui}.small{font-size:11px;color:var(--muted);margin:9px 0}.twocol{display:grid;grid-template-columns:1fr 1fr;gap:12px}.threecol{display:grid;grid-template-columns:1fr 1fr 1fr;gap:10px}.assumption{font-size:10px;color:var(--muted);line-height:1.5;margin:15px 0}.actions{display:flex;gap:8px;margin-top:16px}button,.file{font:650 12px/1.4 system-ui;border-radius:7px;border:1px solid #40575a;background:#1b3033;color:var(--text);padding:10px 12px;cursor:pointer;max-width:100%}button:hover{border-color:var(--green)}button:disabled{opacity:.38;cursor:not-allowed}.primary{background:var(--green);color:#112016;border:0;flex:1}.fileactions{display:flex;gap:10px;margin-top:13px;align-items:stretch}.file{display:block;margin:0}.file input{width:0;height:0;opacity:0;position:absolute}#recheck{width:100%;font-size:10px;margin-top:10px}#error{color:var(--red);font-size:12px;white-space:pre-wrap;border:1px solid #8b4e42;padding:10px;border-radius:6px;overflow-wrap:anywhere}.badge{font-size:9px;font-weight:700;letter-spacing:.06em;color:var(--green);border:1px solid #537a54;border-radius:20px;padding:4px 9px}.metrics{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:14px;margin:24px 0 16px}.metrics b{display:block;font-size:clamp(23px,2.5vw,37px);line-height:1.2;font-weight:650;font-variant-numeric:tabular-nums;white-space:nowrap;letter-spacing:-.035em}.metrics>div:first-child b{color:var(--green)}.metrics span{display:block;color:var(--muted);font-size:10px;margin-top:6px}.warning{color:var(--red);padding:10px;background:#352721;border-radius:6px;font-size:11px}.legend{display:flex;gap:15px;flex-wrap:wrap;font-size:10px;color:var(--muted);margin-bottom:22px}.legend span:before{display:inline-block;content:'';height:8px;width:8px;border-radius:2px;background:var(--green);margin-right:5px}.legend .losskey:before{background:var(--red)}.legend .tailkey:before{background:var(--tail)}.cutrow{margin:18px 0 22px}.barhead{display:flex;align-items:center;justify-content:space-between;font-size:12px;gap:10px;overflow-wrap:anywhere}.barhead span{color:var(--muted);font-size:10px}.bartrack{display:flex;height:35px;background:#263b3b;border-radius:5px;overflow:hidden;margin:8px 0 6px}.segment{height:100%;min-width:0;background:var(--green);color:#193221;border-right:2px solid var(--panel);font:700 10px/35px ui-monospace,monospace;text-align:center;white-space:nowrap;overflow:hidden}.segment.loss{background:var(--red);border:0}.segment.tail{background:var(--tail);color:var(--text);border:0}.segment.short{background:#655348;color:var(--text);border:0}.cutdetails{font-size:10px;color:var(--muted);overflow-wrap:anywhere}.empty{color:var(--muted);font-size:15px;min-height:140px;display:flex;flex-direction:column;justify-content:center;text-align:center}.ledgergrid{display:grid;grid-template-columns:repeat(3,1fr);gap:14px;margin:20px 0}.ledgergrid b{display:block;font-size:17px;color:var(--text)}.ledgergrid span{color:var(--muted);font-size:10px}.balance{border-top:1px solid var(--line);padding-top:14px;font-size:12px;color:var(--green)}footer{font-size:10px;color:var(--muted);border-top:1px solid var(--line);padding:18px 0;margin-top:30px}#message{overflow-wrap:anywhere}[hidden]{display:none!important}@media(max-width:850px){header{padding:16px 20px;flex-wrap:wrap;gap:14px}.runtime{margin-left:0}.hero{grid-template-columns:1fr;gap:22px}main{padding:26px 20px}.workspace{grid-template-columns:1fr}.panel{padding:18px}.hero aside{max-width:600px}.metrics b{font-size:30px}}@media(max-width:400px){nav{gap:10px}.metrics{gap:8px}.metrics b{font-size:25px}.metrics span{font-size:9px}.twocol{grid-template-columns:1fr}.ledgergrid{grid-template-columns:1fr 1fr}main{padding:22px 14px}}

/* Batch proof state is separate from feasibility and the environmental comparison. */
.searchoptions{display:grid;grid-template-columns:1fr 1fr;gap:12px;margin-top:18px}.searchoptions select{width:100%;min-width:0}.searchproof{margin-top:14px;padding:14px 16px;border:1px solid #637969;border-radius:12px;line-height:1.55;font-size:13px}.searchproof[data-state="feasible"],.searchproof[data-state="unknown"]{border-color:#cc9b4f;background:#392f1c;color:#f8dda4}.searchproof strong{display:block;font-size:15px;margin-bottom:5px}.searchproof[hidden]{display:none}@media(max-width:560px){.searchoptions{grid-template-columns:1fr}}