.verite-workbench { color: #111; background: #fff; font: 16px/1.4 "Times New Roman", Times, serif; min-width: 0; container-type: inline-size; }
.verite-workbench *, .verite-workbench *::before, .verite-workbench *::after { box-sizing: border-box; }
.verite-workbench [hidden] { display: none !important; }
.verite-workbench h2, .verite-workbench h3 { font-family: Arial, Helvetica, sans-serif; color: #000080; line-height: 1.2; }
.verite-workbench h2 { margin: 0 0 12px; padding-bottom: 5px; border-bottom: 1px solid #888; font-size: 21px; }
.verite-workbench h3 { margin: 18px 0 9px; font-size: 17px; }
.verite-workbench button, .verite-workbench input, .verite-workbench select, .verite-workbench textarea { font-family: "Times New Roman", Times, serif; font-size: 16px; border-radius: 0; box-shadow: none; }
.verite-workbench button { border: 1px solid #000080; color: #000080; background: #fff; padding: 4px 9px; cursor: pointer; }
.verite-workbench button[data-action=assemble], .verite-workbench button[data-action=assemble-top], .verite-workbench button[data-action=play-cycles], .verite-workbench button[data-action=flow-start] { color: #fff; background: #000080; }
.verite-workbench button[data-action=assemble]:hover, .verite-workbench button[data-action=assemble-top]:hover, .verite-workbench button[data-action=play-cycles]:hover, .verite-workbench button[data-action=flow-start]:hover { background: #242499; }
.verite-workbench button:hover { background: #ffffdc; }
.verite-workbench button:disabled { cursor: default; color: #666; background: #eee; border-color: #aaa; }
.verite-workbench input, .verite-workbench select, .verite-workbench textarea { border: 1px solid #888; padding: 4px 6px; color: #111; background: #fff; min-width: 0; }
.verite-workbench input[type=number] { width: 90px; }
.verite-workbench input[type=checkbox] { width: auto; margin: 0 4px 0 0; }
.verite-workbench input[type=file] { max-width: 100%; }
.verite-workbench button:focus-visible, .verite-workbench input:focus-visible, .verite-workbench select:focus-visible, .verite-workbench textarea:focus-visible, .verite-workbench [tabindex]:focus-visible { outline: 2px solid #000080; outline-offset: 2px; }
.verite-workbench .wb-status { margin: 0 0 12px; padding: 8px 10px; border-left: 3px solid #c41d24; background: #f2f2f2; }
.verite-workbench .wb-errors { color: #9b151b; margin: 0 0 14px; padding-left: 24px; }
.verite-workbench .wb-model-notes, .verite-workbench .wb-help { color: #444; font-size: 14px; }
.verite-workbench .wb-model-notes { margin-bottom: 16px; padding: 7px 10px; border: 1px solid #888; }
.verite-workbench .wb-model-notes summary { margin: 0; color: #000080; cursor: pointer; font-weight: bold; }
.verite-workbench .wb-model-notes p { margin: 10px 0; }
.verite-workbench .wb-controls { display: flex; flex-wrap: wrap; align-items: flex-end; gap: 7px 10px; margin: 0 0 12px; }
.verite-workbench .wb-controls label { display: flex; flex-direction: column; gap: 3px; margin: 0; font-size: 14px; }
.verite-workbench .wb-controls label:has(input[type=checkbox]) { display: block; }
.verite-workbench .wb-counters { margin: 10px 0; }
.verite-workbench .wb-counters output { font: 14px "Courier New", Courier, monospace; margin: 0 4px; }
.verite-workbench .wb-breakpoints { margin: 0 0 20px; }
.verite-workbench .wb-breakpoints label { display: block; }
.verite-workbench .wb-breakpoints input { width: 330px; max-width: 100%; margin-left: 6px; font: 14px "Courier New", Courier, monospace; }
.verite-workbench .wb-breakpoints .wb-help { display: block; margin-top: 4px; }
.verite-workbench .wb-columns { display: grid; grid-template-columns: minmax(0,1fr) minmax(0,1fr); gap: 24px; }
.verite-workbench .wb-section { min-width: 0; margin: 0 0 24px; }
.verite-workbench .wb-address { width: 130px; font: 14px/1.4 "Courier New", Courier, monospace; }
.verite-workbench .wb-editor-label { display: block; font-size: 14px; margin: 8px 0 4px; }
.verite-workbench .wb-source { width: 100%; resize: vertical; min-height: 320px; padding: 9px; font: 14px/1.5 "Courier New", Courier, monospace; tab-size: 4; margin: 0 0 9px; }
.verite-workbench .wb-file-controls { border: 1px solid #888; padding: 8px 10px; margin: 12px 0; }
.verite-workbench .wb-file-controls summary { color: #000080; cursor: pointer; font-weight: bold; margin: 0; }
.verite-workbench .wb-file-controls label { display: block; margin: 8px 0; }
.verite-workbench .wb-file-controls input { margin-left: 6px; }
.verite-workbench .wb-source-context { margin: 0; padding: 7px 0; background: #f2f2f2; border: 1px solid #888; overflow: auto; max-height: 210px; font: 14px/1.5 "Courier New", Courier, monospace; box-shadow: none; }
.verite-workbench .wb-source-line { display: block; padding: 1px 8px; white-space: pre; border-left: 3px solid transparent; }
.verite-workbench .wb-source-line.wb-current { border-left-color: #c41d24; background: #ffffdc; }
.verite-workbench .wb-mono, .verite-workbench code { font: 14px/1.45 "Courier New", Courier, monospace; color: #111; overflow-wrap: normal; }
.verite-workbench table { border-collapse: separate; border-spacing: 0; border: 1px solid #888; font-size: 16px; max-width: none; margin: 0; width: 100%; }
.verite-workbench th, .verite-workbench td { border: 0; border-right: 1px solid #888; border-bottom: 1px solid #888; padding: 5px 7px; text-align: left; vertical-align: top; }
.verite-workbench tr > :last-child { border-right: 0; }
.verite-workbench tbody tr:last-child > * { border-bottom: 0; }
.verite-workbench th { color: #fff; background: #000080; font-weight: bold; }
.verite-workbench thead th { position: sticky; top: 0; z-index: 2; }
.verite-workbench tr:nth-child(even) td { background: #f2f2f2; }
.verite-workbench tr:hover td { background: #ffffdc; }
.verite-workbench .wb-table-scroll { max-width: 100%; overflow: auto; margin-bottom: 10px; scrollbar-color: #888 #eee; }
.verite-workbench .wb-scroll-note { margin: 4px 0; color: #444; font-size: 14px; }
.verite-workbench .wb-bounded { max-height: 380px; overscroll-behavior: contain; }
.verite-workbench .wb-pipeline { min-width: 580px; table-layout: fixed; }
.verite-workbench .wb-pipeline td { font: 14px/1.4 "Courier New", Courier, monospace; height: 86px; }
.verite-workbench .wb-pipeline td span { display: block; margin-bottom: 4px; }
.verite-workbench .wb-pipeline td.wb-stage-empty { color: #666; }
.verite-workbench .wb-disassembly { min-width: 510px; }
.verite-workbench .wb-disassembly td, .verite-workbench .wb-trace td { font: 14px/1.45 "Courier New", Courier, monospace; }
.verite-workbench .wb-disassembly td:nth-child(1), .verite-workbench .wb-disassembly td:nth-child(2) { white-space: nowrap; }
.verite-workbench .wb-current td { background: #ffffdc !important; }
.verite-workbench .wb-current td:first-child { border-left: 3px solid #c41d24; }
.verite-workbench .wb-word-button { font: 14px/1.45 "Courier New", Courier, monospace; background: transparent; border: 0; padding: 0; color: #0000a0; text-decoration: underline; }
.verite-workbench .wb-bit-grid { min-width: 840px; table-layout: fixed; font: 14px/1.4 "Courier New", Courier, monospace; }
.verite-workbench .wb-bit-grid th, .verite-workbench .wb-bit-grid td { text-align: center; padding: 4px 0; }
.verite-workbench .wb-bit-field { color: #111; background: #dbe6f2; overflow: hidden; }
.verite-workbench .wb-bit-field[data-kind=opcode] { background: #bed0e5; }
.verite-workbench .wb-bit-field[data-kind=register] { background: #d7e8dc; }
.verite-workbench .wb-bit-field[data-kind=immediate] { background: #ecdcc1; }
.verite-workbench .wb-decode { width: auto; min-width: 290px; margin-top: 8px; }
.verite-workbench .wb-decode td { font: 14px/1.4 "Courier New", Courier, monospace; }
.verite-workbench .wb-registers { min-width: 450px; }
.verite-workbench .wb-registers td { font: 14px/1.45 "Courier New", Courier, monospace; }
.verite-workbench .wb-registers input { width: 94px; padding: 2px 4px; font: 14px/1.4 "Courier New", Courier, monospace; }
.verite-workbench .wb-registers td:first-child { white-space: nowrap; }
.verite-workbench .wb-registers input[readonly] { color: #555; background: #f2f2f2; }
.verite-workbench .wb-changed, .verite-workbench input.wb-changed { color: #111; background: #ffffdc !important; }
.verite-workbench .wb-memory { min-width: 765px; font: 14px/1.4 "Courier New", Courier, monospace; }
.verite-workbench .wb-memory th, .verite-workbench .wb-memory td { padding: 3px; white-space: nowrap; }
.verite-workbench .wb-memory input { width: 29px; padding: 1px; text-align: center; font: 14px/1.4 "Courier New", Courier, monospace; }
.verite-workbench .wb-memory .wb-ascii { min-width: 145px; }
.verite-workbench .wb-trace { min-width: 740px; }
.verite-workbench .wb-framebuffer-scroll { max-width: 100%; overflow: auto; border: 1px solid #888; background: #eee; }
.verite-workbench canvas { display: block; image-rendering: pixelated; max-width: none; background: #000; }
.verite-workbench .wb-framebuffer-scroll { max-height: 420px; min-height: 32px; }
.verite-workbench .wb-framebuffer-panel { margin: 0 0 10px; border: 1px solid #888; padding: 7px 10px; }
.verite-workbench .wb-framebuffer-panel > summary { color: #000080; font-weight: bold; cursor: pointer; }
.verite-workbench .wb-output-settings, .verite-workbench .wb-breakpoints, .verite-workbench .wb-latch-details { border: 1px solid #888; padding: 7px 10px; margin: 10px 0 18px; }
.verite-workbench .wb-output-settings summary, .verite-workbench .wb-breakpoints summary, .verite-workbench .wb-latch-details summary { color: #000080; font-weight: bold; cursor: pointer; }
.verite-workbench details[open] > summary { margin-bottom: 10px; }
.verite-workbench .wb-runbar { background: #fff; border-bottom: 1px solid #888; padding: 6px 0; margin-bottom: 12px; z-index: 8; }
.verite-workbench .wb-runbar .wb-controls { margin-bottom: 7px; }
.verite-workbench .wb-runbar .wb-counters { margin: 6px 0; }
.verite-workbench .wb-cycle-controls { display: grid; grid-template-columns: max-content minmax(0,1fr); align-items: center; gap: 7px 12px; margin: 8px 0; }
.verite-workbench .wb-playback-settings { grid-column: 1 / -1; width: 100%; margin: 0; }
.verite-workbench .wb-playback-settings summary { color: #000080; cursor: pointer; font-size: 14px; margin: 0; }
.verite-workbench .wb-playback-settings[open] { border: 1px solid #000080; padding: 8px 10px; background: #edf2f8; }
.verite-workbench .wb-playback-settings[open] > .wb-controls { margin: 9px 0 0; align-items: flex-end; gap: 10px 20px; }
.verite-workbench .wb-playback-settings .wb-controls label:has(input[type=checkbox]) { display: flex; flex-direction: row; align-items: center; margin: 0; }
.verite-workbench .wb-flow-empty-controls { display: flex; flex-wrap: wrap; align-items: center; gap: 10px 14px; padding: 8px 0; }
.verite-workbench .wb-flow-scroll { max-width: 100%; overflow: auto; border: 1px solid #888; margin-bottom: 14px; scrollbar-color: #888 #eee; }
.verite-workbench .wb-flow { width: 100%; min-width: 1100px; min-height: 230px; padding: 0 10px 10px; }
.verite-workbench .wb-flow-rail { display: block; width: calc(100% + 20px); height: var(--wb-rail-height, 50px); margin-left: -10px; font: bold 14px "Courier New", monospace; }
.verite-workbench .wb-flow-arrow { fill: none; stroke: #555; stroke-width: 1.5; }
.verite-workbench .wb-flow-bypass { fill: none; stroke-width: 2; }
.verite-workbench .wb-flow-bypass-label { fill: #111; font: 13px "Courier New", monospace; paint-order: stroke; stroke: #fff; stroke-width: 4px; }
.verite-workbench .wb-flow-stages { display: grid; grid-template-columns: repeat(5, minmax(0, 1fr)); gap: 18px; }
.verite-workbench .wb-flow-stage { border: 1px solid #888; border-top: 4px solid #888; background: #fff; padding: 0 9px 8px; min-width: 0; max-height: 460px; overflow: auto; }
.verite-workbench .wb-flow-stage h3 { color: #fff; background: #000080; padding: 5px 8px; margin: 0 -9px 7px; font-size: 16px; }
.verite-workbench .wb-flow-stage[data-stage=F] { background: #e9f0f7; }
.verite-workbench .wb-flow-stage[data-stage=D] { background: #f0eaf5; }
.verite-workbench .wb-flow-stage[data-stage=X1] { background: #e8f3ed; }
.verite-workbench .wb-flow-stage[data-stage=X2] { background: #f7f0e2; }
.verite-workbench .wb-flow-stage[data-stage=W] { background: #f8eaea; }
.verite-workbench .wb-flow-stage-empty { min-height: 130px; }
.verite-workbench .wb-flow-stage-empty .wb-flow-empty { font-style: italic; color: #444; }
.verite-workbench .wb-flow-stage p { margin: 5px 0; }
.verite-workbench .wb-flow-issue { font: bold 14px "Courier New", monospace; }
.verite-workbench .wb-flow-empty { color: #666; }
.verite-workbench .wb-flow-instruction { white-space: normal; overflow-wrap: normal; }
.verite-workbench .wb-flow-source, .verite-workbench .wb-register-link, .verite-workbench .wb-cycle-link { color: #0000a0; font: 14px/1.5 "Courier New", monospace; background: transparent; padding: 0; border: 0; text-decoration: underline; }
.verite-workbench .wb-flow-source:disabled { color: #666; background: transparent; text-decoration: none; }
.verite-workbench .wb-flow-value { font: 14px/1.5 "Courier New", monospace; overflow-wrap: anywhere; }
.verite-workbench .wb-flow-value small { display: block; font: 13px/1.4 "Times New Roman", Times, serif; color: #444; margin-left: 21px; overflow-wrap: normal; }
.verite-workbench .wb-flow-stall { border-left: 3px solid #9b151b; padding-left: 6px; color: #9b151b; font-weight: bold; }
.verite-workbench .wb-flow-commit { border-top: 1px solid #888; margin-top: 8px; padding-top: 3px; }
.verite-workbench .wb-flow-transitions { margin: 8px 0 0; font: 14px/1.4 "Courier New", monospace; }
.verite-workbench .wb-flow-summary { margin: 6px 0 9px; }
.verite-workbench .wb-flow-capture-error { color: #9b151b; border-left: 3px solid #9b151b; padding-left: 8px; }
.verite-workbench .wb-flow-legend { margin: 8px 0; }
.verite-workbench .wb-access-badge { display: inline-block; border: 1px solid currentColor; padding: 0 3px; font: bold 12px/1.4 "Courier New", monospace; min-width: 17px; text-align: center; vertical-align: baseline; }
.verite-workbench .wb-access-read { color: #00615c; }
.verite-workbench .wb-access-write { color: #9b151b; }
.verite-workbench .wb-access-pending { color: #805018; }
.verite-workbench .wb-access-wait { color: #555; }
.verite-workbench .wb-access-discarded { color: #555; }
.verite-workbench .wb-access-list { display: grid; grid-template-columns: repeat(auto-fit,minmax(260px,1fr)); gap: 8px 12px; list-style: none; padding: 0; margin: 0; }
.verite-workbench .wb-access-list li { border: 1px solid #888; border-left-width: 4px; padding: 7px 9px; min-width: 0; }
.verite-workbench .wb-access-list p { margin: 4px 0; }
.verite-workbench .wb-access-issue { font: bold 14px "Courier New", monospace; }
.verite-workbench .wb-issue-0 { border-color: #000080; }
.verite-workbench .wb-issue-1 { border-color: #9b151b; }
.verite-workbench .wb-issue-2 { border-color: #00615c; }
.verite-workbench .wb-issue-3 { border-color: #633b83; }
.verite-workbench .wb-issue-4 { border-color: #805018; }
.verite-workbench .wb-issue-5 { border-color: #245b83; }
.verite-workbench .wb-flow-transitions .wb-issue-0 { color: #000080; }
.verite-workbench .wb-flow-transitions .wb-issue-1 { color: #9b151b; }
.verite-workbench .wb-flow-transitions .wb-issue-2 { color: #00615c; }
.verite-workbench .wb-flow-transitions .wb-issue-3 { color: #633b83; }
.verite-workbench .wb-flow-transitions .wb-issue-4 { color: #805018; }
.verite-workbench .wb-flow-transitions .wb-issue-5 { color: #245b83; }
.verite-workbench .wb-register-read td:first-child { box-shadow: inset 3px 0 #00615c; }
.verite-workbench .wb-register-write td:first-child { box-shadow: inset 3px 0 #9b151b; }
.verite-workbench .wb-registers .wb-register-read td { background: #e8f3ed; }
.verite-workbench .wb-registers .wb-register-write td { background: #f8eaea; }
.verite-workbench .wb-registers .wb-register-read.wb-register-write td { background: #fff4d7; }
.verite-workbench .wb-register-read.wb-register-write td:first-child { box-shadow: inset 3px 0 #00615c,inset 6px 0 #9b151b; }
.verite-workbench .wb-registers td:first-child .wb-access-badge { margin-left: 3px; }
.verite-workbench .wb-register-output { margin: 10px 0 0; }
.verite-workbench .wb-register-output h3 { margin: 10px 0 6px; font-size: 16px; }
.verite-workbench .wb-output-values { display: flex; flex-wrap: wrap; gap: 5px 20px; margin: 0; padding: 0; list-style: none; font-size: 14px; }
@media (min-width: 900px) and (min-height: 750px) {
  .verite-workbench .wb-runbar { position: sticky; top: 0; }
  .verite-workbench .wb-runbar:has(.wb-playback-settings[open]) { position: static; }
  .verite-workbench input, .verite-workbench button, .verite-workbench select, .verite-workbench textarea, .verite-workbench [tabindex] { scroll-margin-top: 180px; }
}
@media (prefers-reduced-motion: reduce) { .verite-workbench .wb-flow-rail * { animation: none !important; transition: none !important; } }
@media (max-width: 1200px) { .verite-workbench .wb-columns { grid-template-columns: minmax(0,1fr); gap: 0; } }
@container (max-width: 1100px) { .verite-workbench .wb-columns { grid-template-columns: minmax(0,1fr); gap: 0; } }
@media (max-width: 700px) {
  .verite-workbench .wb-controls { align-items: flex-start; gap: 7px; }
  .verite-workbench .wb-breakpoints input { display: block; width: 100%; margin: 4px 0 0; }
  .verite-workbench .wb-source { min-height: 280px; }
  .verite-workbench .wb-file-controls input[type=file] { display: block; margin: 4px 0; width: 100%; }
  .verite-workbench .wb-bounded { max-height: 320px; }
}