.sat-app{min-width:0;overflow:auto}.sat-app .native-toolbar{flex-wrap:wrap;flex-shrink:0}.sat-app .tool-note,.sat-app details p{font-size:11px;line-height:1.6;color:var(--muted);margin:6px 10px;overflow-wrap:anywhere}
#sat-source{padding:9px 12px;background:var(--sidebar);border-bottom:1px solid var(--line);white-space:pre-wrap;font:11px/1.6 Hack,monospace;overflow-wrap:anywhere;flex-shrink:0}
.sat-input-panel,.sat-model-panel{padding:8px 12px;border-bottom:1px solid var(--line);flex-shrink:0}.sat-app summary{font-size:12px;cursor:pointer}.sat-app details p{margin-inline:0}.sat-app textarea{display:block;box-sizing:border-box;width:100%;min-height:105px;max-height:260px;resize:vertical;margin-block:8px;font:12px/1.6 Hack,monospace}
.sat-actions label{font-size:12px}#sat-assumptions{flex:1;min-width:140px;font:12px Hack,monospace}.sat-verdict{padding:12px;background:var(--sidebar);border-bottom:1px solid var(--line);flex-shrink:0}.sat-verdict strong{font-size:19px;letter-spacing:.02em}#sat-verdict[data-state=SAT]{color:var(--accent)}#sat-verdict[data-state=UNSAT]{color:#9e6809}#sat-verdict[data-state=INVALID_MODEL]{color:var(--error,#bb4242)}.sat-verdict p{font-size:12px;line-height:1.7;color:var(--muted);margin:5px 0 0}
#sat-filter{width:135px;min-width:85px}#sat-page{font-size:11px;color:var(--muted)}.sat-table-wrap{overflow:auto;min-width:0;min-height:150px;max-height:350px;flex:1;scrollbar-gutter:stable}.sat-table-wrap:focus-visible{outline:2px solid var(--accent);outline-offset:-2px}.sat-table-wrap table{width:100%;font:11px/1.55 Hack,monospace}.sat-table-wrap th{white-space:nowrap}.sat-table-wrap td{padding:5px 9px;white-space:pre-wrap;vertical-align:top}.sat-table-wrap tr{cursor:default}.sat-table-wrap tr.selected{background:color-mix(in srgb,var(--accent) 15%,transparent)}.sat-table-wrap td:last-child{overflow-wrap:anywhere}
/* Preserve room below the final fractional-height row. Integer scrollTop
   rounding must not leave a keyboard-selected row clipped at the scroll edge. */
.sat-table-wrap{padding-block-end:2px;scroll-padding-block:2px}
#sat-selection{margin:0;padding:9px 12px;border-top:1px solid var(--line);background:var(--sidebar);font:11px/1.7 Hack,monospace;white-space:pre-wrap;overflow-wrap:anywhere;max-height:160px;overflow:auto;flex-shrink:0}.sat-app .statusbar{flex-shrink:0}
@media(max-width:680px){.sat-app .native-toolbar{gap:5px}.sat-verdict strong{font-size:17px}.sat-actions #sat-assumptions{flex-basis:calc(100% - 60px)}.sat-table-wrap{min-height:140px;max-height:290px}#sat-filter{width:105px}#sat-selection{max-height:130px}}
@media(prefers-reduced-motion:reduce){.sat-app *{scroll-behavior:auto}}