.run-dock { min-width: 0; color: #18263d; background: #f7f9fc; border-top: 1px solid #d6dce4; font: 12px/1.45 system-ui, sans-serif; flex: none; }
.run-dock [hidden] { display: none !important; }
.run-dock-bar { display: flex; align-items: center; gap: 8px; height: 30px; padding: 0 8px; min-width: 0; }
.run-dock button { font: inherit; cursor: pointer; border: 1px solid #d6dce4; background: white; color: #18263d; border-radius: 3px; padding: 3px 7px; white-space: nowrap; }
.run-dock button:focus-visible { outline: 2px solid #1749d1; outline-offset: 1px; }
.run-dock-tabs { display: flex; align-self: stretch; gap: 3px; }
.run-dock-tabs button { border: 0; border-bottom: 2px solid transparent; border-radius: 0; background: transparent; }
.run-dock-tabs [aria-selected=true] { border-bottom-color: #1749d1; color: #1749d1; }
.run-phase { flex: 1; white-space: nowrap; overflow: hidden; text-overflow: ellipsis; color: #4a5366; }
.run-elapsed { font-variant-numeric: tabular-nums; white-space: nowrap; }
.run-dock progress { width: 48px; height: 6px; accent-color: #1749d1; }
.run-dock-pane { height: 175px; max-height: 35dvh; overflow: auto; padding: 7px 12px; border-top: 1px solid #e5e9ef; }
.run-dock-pane pre { font: 11px/1.5 ui-monospace, monospace; white-space: pre-wrap; overflow-wrap: anywhere; margin: 5px 0; }
.run-dock-pane p { margin: 4px 0 7px; max-width: 125ch; }
.run-actions { display: flex; flex-wrap: wrap; gap: 7px; }
.storage-note { color: #626d80; font-size: 11px; }
.saved-run-list { margin: 5px 0; padding-left: 18px; font-size: 11px; }
/* Problems: one line per diagnostic and per failing or not-evaluated check. */
.problem-list { list-style: none; margin: 4px 0; padding: 0; font-size: 11px; }
.problem-list li { margin: 2px 0; padding-left: 8px; border-left: 3px solid #d6dce4; }
.problem-list .problem-error { border-left-color: #c0392f; }
.problem-list .problem-warning { border-left-color: #c98a00; }
.problem-list .problem-info { border-left-color: #1749d1; }
.run-dock .problem-list button { border: 0; background: transparent; padding: 2px 0; text-align: left; white-space: normal; overflow-wrap: anywhere; color: #18263d; }
.run-dock .problem-list button:hover { color: #1749d1; text-decoration: underline; }
/* The Checks panel: above the analog results and above the digital waveform. */
.checks-view { margin: 0 0 14px; font-size: 12.5px; line-height: 1.45; }
.checks-head { display: flex; flex-wrap: wrap; align-items: baseline; gap: 4px 14px; margin-bottom: 4px; }
.checks-head h3 { margin: 0; font-size: 14px; }
.checks-status { font-weight: 650; }
.execution-completed, .assessment-pass { color: #1b7f4b; }
.execution-cancelled, .execution-timeout, .execution-queued, .execution-running, .assessment-not-evaluated { color: #946c26; }
.execution-error, .assessment-fail { color: #c0392f; }
.assessment-not-applicable { color: #626d80; }
.checks-counts, .checks-note, .checks-provenance { margin: 2px 0; max-width: none; color: #626d80; font-size: 12px; }
.checks-table { width: 100%; border-collapse: collapse; margin-top: 6px; font-size: 12px; }
.checks-table th, .checks-table td { padding: 4px 8px; border-bottom: 1px solid #e5e9ef; text-align: left; vertical-align: top; }
.checks-table th { font-weight: 600; color: #4a5366; background: #f7f9fc; }
.checks-table .checks-num { font-variant-numeric: tabular-nums; white-space: nowrap; }
.checks-table .checks-id { display: block; color: #626d80; font: 11px/1.4 ui-monospace, monospace; }
.checks-table tr.fail td { background: #fdeeec; }
.checks-table tr.fail .checks-verdict { color: #c0392f; font-weight: 700; }
.checks-table tr.not-evaluated .checks-verdict { color: #946c26; font-weight: 650; }
.checks-table tr.pass .checks-verdict { color: #1b7f4b; }
.checks-table tr.not-applicable td { color: #626d80; }
.checks-selected { outline: 2px solid #1749d1; outline-offset: 2px; }
.app > .run-dock { grid-column: 1 / -1; grid-row: 3; }
.diagramwide .run-dock { position: relative; z-index: 43; }
.diagramwide .doc { bottom: calc(var(--status-h) + 30px); }
.diagramwide:has(.run-dock.expanded) .doc { bottom: calc(var(--status-h) + 30px + min(175px, 35dvh)); }
body .app { grid-template-rows: var(--menubar-h) minmax(0, 1fr) auto var(--status-h); grid-template-areas: "menu menu menu" "lib doc setup" "dock dock dock" "status status status"; }
@media (min-width: 900px) and (max-width: 1279px) { body .app { grid-template-areas: "menu menu" "doc setup" "dock dock" "status status"; } }
@media (max-width: 899px) {
  body .app { grid-template-rows: var(--menubar-h) auto auto auto auto; grid-template-areas: "menu" "doc" "setup" "dock" "status"; }
  .app > .run-dock { grid-row: 4; }
  body.domainemptyview .app { grid-template-rows: var(--menubar-h) minmax(0, 1fr) auto auto; grid-template-areas: "menu" "doc" "dock" "status"; }
  .domainemptyview .app > .run-dock { grid-row: 3; }
  .run-dock-bar { gap: 4px; padding: 0 4px; }
  .run-dock-tabs button { padding-inline: 4px; }
  .run-dock progress { width: 24px; }
  .run-dock { position: sticky; bottom: 0; z-index: 43; }
  .app > .run-dock { bottom: calc(48px + env(safe-area-inset-bottom)); }
  .checks-table { display: block; overflow-x: auto; }
}