/* A spreadsheet comparison: every displayed formula has matched reference evidence. */
.sr-only{position:absolute;width:1px;height:1px;padding:0;margin:-1px;overflow:hidden;clip:rect(0,0,0,0);white-space:nowrap;border:0}
.comparison-workbook{border:1px solid #cbd7e9;border-radius:8px;overflow:hidden;box-shadow:0 15px 45px #102d6010;scroll-margin-top:35px}
.workbook-toolbar{display:flex;justify-content:space-between;align-items:center;background:#0c1a35;padding:0 22px;min-height:63px;gap:20px}
.workbook-tabs{display:flex;align-self:stretch;gap:4px}
.workbook-tabs button{border:0;border-bottom:3px solid transparent;background:transparent;color:#8da6cd;padding:18px 23px;font:13px var(--mono);cursor:pointer}
.workbook-tabs button[aria-pressed=true]{color:#fff;border-color:#73a6ff;background:#172b4b}
.grid-run{background:#1c3358;color:#d8e7ff;border:1px solid #39567f;border-radius:4px;padding:9px 13px;font-size:12px;cursor:pointer;white-space:nowrap}.grid-run span{margin-left:15px}.grid-run:disabled{opacity:.5;cursor:wait}
.workbook-formula{display:flex;align-items:center;gap:18px;background:#f7f9fd;min-height:54px;border-bottom:1px solid #d8e1ed;color:#345078}
.workbook-formula>span:first-child{align-self:stretch;display:flex;align-items:center;justify-content:center;min-width:70px;border-right:1px solid #d8e1ed;font:12px var(--mono);background:#eef3fa}
.workbook-formula>span:nth-child(2){color:#7c95b9;font:italic 21px Georgia,serif}.workbook-formula code{font:13px var(--mono);overflow-wrap:anywhere;padding:12px 15px 12px 0}
.engine-grid{width:100%;table-layout:fixed;border-collapse:collapse;margin:0;color:#1d355c}
.engine-grid .source-column{width:40%}.engine-grid col:not(.source-column){width:20%}
.engine-grid th,.engine-grid td{border-right:1px solid #dce4ef;border-bottom:1px solid #dce4ef;padding:17px 22px}
.engine-grid th:last-child,.engine-grid td:last-child{border-right:0}
.engine-grid thead th{background:#f5f7fb;text-align:center;font-size:17px;font-weight:500;letter-spacing:-.3px;padding-top:23px;padding-bottom:21px;color:#233c61}
.engine-grid thead th:first-child{text-align:left;color:#7588a4;font:11px var(--mono);text-transform:uppercase;letter-spacing:.6px}
.engine-grid small{display:block;font-size:10px;font-weight:400;letter-spacing:0;color:#7d8eaa;margin-top:7px;line-height:1.5}
.engine-grid tbody th{text-align:left;font-weight:400;background:#fff}
.engine-grid tbody th code{font:13px var(--mono);overflow-wrap:anywhere;color:#304d75}
.grid-cell-address{display:inline-block;width:40px;color:#8293ae;font:11px var(--mono)}
.engine-grid tbody th small{margin-left:40px;margin-top:5px}
.engine-grid td{text-align:center;font:19px var(--mono);background:#fff}
.engine-grid .evaltra-column{background:#eff5ff;color:#245ec4}
.engine-grid thead .evaltra-column{background:#e5eeff;color:#1b55b5}
.engine-grid .grid-cycle{color:#b84a58;background:#fff8f9;font-size:16px}
.engine-grid .result-row th{background:#f0f4fb}.engine-grid .result-row td{font-size:28px;padding-top:24px;padding-bottom:24px;background:#f7f9fd}
.engine-grid .result-row td.evaltra-column{background:#e2edff;color:#1b59c7;box-shadow:inset 0 -3px #2a6bed}
.engine-grid .result-row td.grid-cycle{background:#fff0f2;font-size:22px;color:#b84a58}
.engine-grid .result-row th small{color:#44658e;font-weight:600}
.workbook-status{display:flex;justify-content:space-between;gap:18px;padding:16px 22px;background:#f9fbfe;font-size:12px;color:#45628b}
#proof-status{font:9px var(--mono);letter-spacing:.7px;color:#7186a6}.grid-error{padding:16px 22px;color:#b63e51;font-size:13px;background:#fff1f3}
.comparison-explanation{font-size:15px;color:#536b8c;line-height:1.8;max-width:820px;margin:24px 0 9px}
.comparison-footnote{font-size:11px;color:#8594ab;line-height:1.8;margin:0}
.comparison-evidence{margin-top:17px;border:0;background:transparent;padding:0;color:#7285a2;font-size:12px}
.comparison-evidence summary{display:flex;align-items:center;gap:20px;cursor:pointer;list-style:none;font-size:12px;padding:0}
.comparison-evidence p{font-size:12px;line-height:1.8}.comparison-evidence a{color:#396cad}
.comparison-evidence pre{max-height:300px;overflow:auto;background:#f3f6fb;border:1px solid #dce4ef;padding:18px;white-space:pre;font-size:10px;color:#526b91}
@media(max-width:700px){
  .workbook-toolbar{padding:0 12px;min-height:54px}.workbook-tabs button{padding:15px 14px;font-size:11px}.grid-run{font-size:10px;padding:8px 10px}.grid-run span{margin-left:8px}
  .workbook-formula{gap:12px;min-height:49px}.workbook-formula>span:first-child{min-width:45px;font-size:10px}.workbook-formula code{font-size:10px}
  .engine-grid th,.engine-grid td{padding:13px 7px}.engine-grid thead th{font-size:12px;line-height:1.4;padding:15px 6px;letter-spacing:0}.engine-grid thead th:first-child{font-size:9px;letter-spacing:0}
  .engine-grid small{font-size:8px;line-height:1.45}.engine-grid tbody th code{font-size:10px;display:block;line-height:1.7}.grid-cell-address{display:block;width:auto;margin-bottom:4px;font-size:9px}
  .engine-grid tbody th small{margin-left:0;font-size:8px}.engine-grid td{font-size:16px}.engine-grid .grid-cycle{font-size:10px}
  .engine-grid .result-row td{font-size:24px;padding:18px 4px}.engine-grid .result-row td.grid-cycle{font-size:11px}
  .workbook-status{padding:14px 10px;gap:10px;font-size:10px;flex-wrap:wrap}#proof-status{font-size:8px;letter-spacing:.2px}
  .comparison-explanation{font-size:13px;margin-top:20px}.comparison-footnote{font-size:10px}.comparison-evidence{font-size:11px}
}
/* The proof belongs to the product story, with a compact spreadsheet presentation. */
.comparison-workbook{box-shadow:none;border-radius:4px;border-color:#dce4ee}
.workbook-toolbar{min-height:49px;background:#f5f7fb;padding:0 13px;border-bottom:1px solid #e0e7f0}
.workbook-tabs button{font-size:10px;padding:15px 17px;color:#7c8da5;border-bottom-width:2px}
.workbook-tabs button[aria-pressed=true]{background:#eaf0fa;color:#355c93;border-color:#5f89cb}
.grid-run{font-size:9px;background:#fff;border-color:#d6dfec;color:#58769f;padding:7px 10px}.grid-run span{margin-left:10px}
.workbook-formula{min-height:41px;gap:13px;background:#fff}.workbook-formula>span:first-child{min-width:49px;font-size:9px;background:#f7f9fc}.workbook-formula>span:nth-child(2){font-size:17px}.workbook-formula code{font-size:10px;padding-top:10px;padding-bottom:10px}
.engine-grid th,.engine-grid td{padding:11px 13px}.engine-grid thead th{font-size:12px;padding:17px 10px;background:#fafbfd}.engine-grid thead th:first-child{font-size:8px}.engine-grid small{font-size:8px;margin-top:5px}.engine-grid tbody th code{font-size:10px}.grid-cell-address{width:28px;font-size:8px}.engine-grid tbody th small{font-size:8px;margin-left:28px;margin-top:3px}.engine-grid td{font-size:14px}.engine-grid .grid-cycle{font-size:12px}.engine-grid .result-row td{font-size:22px;padding:16px 10px}.engine-grid .result-row td.grid-cycle{font-size:15px}.engine-grid .evaltra-column{background:#f0f5fd}.engine-grid thead .evaltra-column{background:#eaf1fb}.engine-grid .result-row td.evaltra-column{background:#e9f1fd;box-shadow:inset 0 -2px #6792d7}.engine-grid .result-row th{background:#f7f9fc}
.workbook-status{padding:12px 14px;font-size:9px;background:#fff;gap:15px}#proof-status{font-size:7px;letter-spacing:.3px}.comparison-explanation{font-size:11px;line-height:1.8;margin-top:17px;margin-bottom:8px}.comparison-footnote{font-size:9px;line-height:1.7;color:#91a0b5}.comparison-evidence summary{font-size:10px;color:#7b8fab}.comparison-evidence{margin-top:12px}.comparison-evidence p{font-size:11px}
@media(max-width:500px){.engine-grid th,.engine-grid td{padding:11px 6px}.engine-grid thead th{font-size:10px;padding:13px 4px}.engine-grid thead th:first-child{font-size:7px}.engine-grid thead small{font-size:7px}.engine-grid tbody th code{font-size:9px}.engine-grid tbody th small{margin-left:0;font-size:7px}.grid-cell-address{font-size:8px;margin-bottom:3px;width:auto}.engine-grid td{font-size:14px}.engine-grid .grid-cycle{font-size:9px}.engine-grid .result-row td{font-size:21px;padding:15px 4px}.engine-grid .result-row td.grid-cycle{font-size:10px}.workbook-status{font-size:8px;padding:12px 9px;gap:8px}#proof-status{font-size:6px}.comparison-explanation{font-size:10px}.comparison-footnote{font-size:8px}.workbook-formula code{font-size:9px}.comparison-evidence summary{font-size:9px}.workbook-tabs button{font-size:9px;padding:14px 14px}}
/* Maintain legibility for supporting copy and product status labels. */
.workflow-stop small,.preview-heading,.preview-footer,.preview-footer>span:first-child,.hero-bottom small,.runtime-kind,.runtime-kind b,.comparison-footnote,.comparison-evidence summary,.code-caption{color:#687d9a}
.engine-stop .model-file small,.code-caption{color:#98afcf}
.section-heading p,.runtime-options p,.proof-intro p,.integration-intro>p,.reference-details p{color:#64758f}
.engine-grid .grid-cycle,.engine-grid .result-row td.grid-cycle{color:#a73d51}
@media(max-width:500px){.use-case-grid p{font-size:13px}.runtime-options p,.proof-intro p{font-size:13px}.reference-details p{font-size:12px}.workflow-stop strong{font-size:11px}.workflow-stop small{font-size:10px}.preview-heading .small-label{font-size:8px}.preview-footer,.preview-footer>span:first-child{font-size:7px}.hero-bottom small{font-size:8px}}