/* The author rules below set display on some elements that also carry the hidden attribute (.fx-action-row is a flex row),
   and an author display beats the hidden of the browser. This keeps hidden meaning hidden. */
[hidden] { display: none !important; }

/* Executable flow controls. Kept separate from the reference flow renderer so the
   static map remains readable and the live runner can evolve independently. */
.fx-products, .fx-runner { margin-top: 28px; padding: 22px; border: 1px solid var(--v-border); border-radius: var(--v-radius-lg, 16px); background: var(--v-surface); box-shadow: 0 10px 30px rgba(31, 45, 84, .06); }
.fx-section-kicker, .fx-card-label { margin-bottom: 7px; font-family: var(--v-font-mono); font-size: .68rem; font-weight: 700; letter-spacing: .1em; text-transform: uppercase; color: var(--v-primary); }
.fx-products h2, .fx-runner h2 { margin: 0; }
.fx-sub { color: var(--v-text-soft, var(--v-muted)); }
.fx-product-grid { display: grid; grid-template-columns: repeat(4, minmax(0, 1fr)); gap: 12px; margin-top: 18px; }
.fx-product-card { display: flex; flex-direction: column; gap: 11px; min-height: 205px; padding: 15px; border: 1px solid var(--v-border-strong); border-radius: var(--v-radius); background: var(--v-bg3, var(--v-bg)); }
.fx-product-card h3 { font-size: 1rem; }
.fx-product-card p { flex: 1; margin: 0; font-size: .86rem; color: var(--v-text-soft, var(--v-muted)); }
.fx-product-card .fx-mode-badge { align-self: flex-start; padding: 3px 8px; border-radius: 999px; background: var(--v-primary-tint, rgba(51, 73, 179, .1)); color: var(--v-primary); font-family: var(--v-font-mono); font-size: .68rem; }
.fx-runner { border-color: var(--v-primary); }
.fx-runner-head { display: flex; justify-content: space-between; gap: 18px; align-items: flex-start; }
.fx-runner-status { flex: none; padding: 6px 10px; border: 1px solid var(--v-border-strong); border-radius: 999px; color: var(--v-muted); font-family: var(--v-font-mono); font-size: .72rem; }
.fx-runner-status.is-running { border-color: var(--v-primary); color: var(--v-primary); }
.fx-runner-status.is-error { border-color: var(--fx-warn-line); color: var(--fx-warn-ink); }
.fx-runner-grid { display: grid; grid-template-columns: 1fr 1fr; gap: 12px; margin-top: 18px; }
.fx-runner-card { padding: 16px; border: 1px solid var(--v-border-strong); border-radius: var(--v-radius); background: var(--v-bg3, var(--v-bg)); }
.fx-runner-card-soft { background: var(--v-primary-tint, rgba(51, 73, 179, .04)); }
.fx-runner-card label { display: block; margin-bottom: 7px; font-family: var(--v-font-mono); font-size: .72rem; letter-spacing: .06em; text-transform: uppercase; color: var(--v-muted); }
.fx-runner-card select { width: 100%; min-height: 42px; padding: 8px 10px; border: 1px solid var(--v-border-strong); border-radius: 9px; background: var(--v-surface); color: var(--v-text); }
.fx-field-note, .fx-wallet-state { margin: 10px 0 0; font-size: .82rem; color: var(--v-muted); }
.fx-wallet-state[data-kind="warn"] { color: var(--fx-warn-ink); }
.fx-action-row { display: flex; flex-wrap: wrap; gap: 9px; margin-top: 14px; }
.fx-run-btn { min-height: 40px; padding: 9px 13px; border: 1px solid var(--v-border-strong); border-radius: 9px; background: var(--v-surface); color: var(--v-text); cursor: pointer; font-weight: 650; }
.fx-run-btn:hover:not(:disabled) { border-color: var(--v-primary); color: var(--v-primary); }
.fx-run-btn:disabled { cursor: not-allowed; opacity: .5; }
.fx-run-primary { border-color: var(--v-primary); background: var(--v-primary); color: #fff; }
.fx-run-primary:hover:not(:disabled) { color: #fff; filter: brightness(1.06); }
.fx-run-secondary { margin-top: 12px; border-color: var(--v-primary); color: var(--v-primary); }
.fx-selection { display: flex; flex-wrap: wrap; gap: 7px; min-height: 32px; }
.fx-selection span { padding: 5px 9px; border: 1px solid var(--v-border-strong); border-radius: 999px; font-size: .8rem; }
.fx-selection .is-invalid { border-color: var(--fx-warn-line); color: var(--fx-warn-ink); }
.fx-execution { margin-top: 18px; padding-top: 18px; border-top: 1px solid var(--v-border); }
.fx-execution-head { display: flex; align-items: baseline; justify-content: space-between; gap: 12px; }
.fx-execution-head h3 { margin: 0; }
.fx-mono { font-family: var(--v-font-mono); font-size: .72rem; color: var(--v-muted); }
.fx-live-now { margin: 12px 0 0; padding: 11px 13px; border: 1px solid var(--v-border-strong); border-left: 4px solid var(--v-primary); border-radius: var(--v-radius); background: var(--v-bg3, var(--v-bg)); font-size: .92rem; }
.fx-live-meter { display: flex; flex-wrap: wrap; align-items: center; gap: 6px 12px; margin-top: 10px; }
.fx-live-meter progress { flex: 1 1 140px; min-width: 0; height: 8px; accent-color: var(--v-primary); }
/* The diagram lit by the live run. Each state also carries a text badge, so colour is never the only signal. */
.fx-row[data-live] .fx-card { transition: opacity .2s ease, box-shadow .2s ease; }
.fx-row[data-live="done"] .fx-card { border-color: var(--v-primary); }
.fx-row[data-live="active"] .fx-card { border-color: var(--v-primary); box-shadow: 0 0 0 3px var(--v-primary-tint-2, rgba(51, 73, 179, .18)), var(--v-elev-raised-sm); }
.fx-row[data-live="pending"] .fx-card { opacity: .62; }
.fx-row[data-live="skipped"] .fx-card { opacity: .5; border-style: dashed; }
.fx-row[data-live="failed"] .fx-card { border-color: var(--fx-warn-ink); box-shadow: 0 0 0 3px var(--fx-warn-line); }
.fx-live-badge { margin-left: auto; padding: 2px 8px; border: 1px solid var(--v-border-strong); border-radius: 999px; font-family: var(--v-font-mono); font-size: .68rem; text-transform: uppercase; color: var(--v-muted); white-space: nowrap; }
.fx-live-badge.is-done { border-color: var(--v-primary); color: var(--v-primary); }
.fx-live-badge.is-active { border-color: var(--v-primary); background: var(--v-primary); color: #fff; }
[data-v-theme="midnight"] .fx-live-badge.is-active { color: #07111f; }
.fx-live-badge.is-failed { border-color: var(--fx-warn-line); background: var(--fx-warn-bg); color: var(--fx-warn-ink); }
@media (prefers-reduced-motion: reduce) { .fx-row[data-live] .fx-card { transition: none; } }
.fx-result { margin-top: 14px; padding: 14px; border: 1px solid var(--v-border-strong); border-radius: var(--v-radius); background: var(--v-bg3, var(--v-bg)); }
.fx-result h4 { margin: 0 0 8px; font-size: 1rem; }
.fx-result-grid { display: grid; grid-template-columns: repeat(auto-fit, minmax(260px, 1fr)); gap: 8px; }
.fx-result-item { padding: 9px; border: 1px solid var(--v-border); border-radius: 8px; font-size: .8rem; }
.fx-result-item strong { display: block; margin-bottom: 4px; font-family: var(--v-font-mono); font-size: .65rem; letter-spacing: .05em; text-transform: uppercase; color: var(--v-muted); }
.fx-result-note { margin: 10px 0 0; font-size: .82rem; color: var(--v-muted); }
.fx-result-sub { margin: 14px 0 6px; font-family: var(--v-font-mono); font-size: .68rem; letter-spacing: .05em; text-transform: uppercase; color: var(--v-muted); }
.fx-parts { display: grid; gap: 6px; margin: 0; padding: 0; list-style: none; }
.fx-parts li { display: flex; flex-wrap: wrap; gap: 4px 10px; align-items: baseline; padding: 8px 10px; border: 1px solid var(--v-border); border-radius: 8px; font-size: .84rem; }
.fx-part-label { padding: 1px 7px; border: 1px solid var(--v-border-strong); border-radius: 999px; font-family: var(--v-font-mono); font-size: .68rem; color: var(--v-muted); }
.fx-refs { margin-top: 12px; font-size: .82rem; }
.fx-refs summary { cursor: pointer; font-weight: 650; }
.fx-ref-group h5 { margin: 10px 0 4px; font-size: .8rem; }
.fx-ref-group ul { display: grid; gap: 3px; margin: 0; padding: 0; list-style: none; }
.fx-ref-group li { display: flex; justify-content: space-between; gap: 10px; padding: 3px 0; border-bottom: 1px solid var(--v-border); }
.fx-ref-group code { font-family: var(--v-font-mono); font-size: .72rem; color: var(--v-muted); overflow-wrap: anywhere; }
.fx-action-out { display: grid; gap: 10px; margin-top: 12px; }
.fx-action-card { padding: 12px 14px; border: 1px solid var(--v-border-strong); border-radius: var(--v-radius); background: var(--v-bg3, var(--v-bg)); font-size: .86rem; }
.fx-action-card h5 { margin: 0 0 6px; font-size: .9rem; }
.fx-action-card p { margin: 0 0 6px; }
.fx-action-card dl { display: grid; grid-template-columns: max-content 1fr; gap: 3px 12px; margin: 0; }
.fx-action-card dt { color: var(--v-muted); }
.fx-action-card dd { margin: 0; overflow-wrap: anywhere; }
.fx-action-card code { font-family: var(--v-font-mono); font-size: .74rem; }
.fx-action-busy { margin: 0; font-size: .86rem; color: var(--v-muted); }
.fx-order-note { margin: 12px 0 0; padding: 10px 13px; border: 1px solid var(--v-border-strong); border-left: 4px solid var(--v-primary); border-radius: var(--v-radius); background: var(--v-bg3, var(--v-bg)); font-size: .88rem; }
.fx-back { display: inline-block; margin-bottom: 12px; color: var(--v-primary); font-size: .9rem; font-weight: 600; }
.fx-error { border-color: var(--fx-warn-line); color: var(--fx-warn-ink); }
@media (max-width: 900px) { .fx-product-grid { grid-template-columns: repeat(2, minmax(0, 1fr)); } }
@media (max-width: 650px) { .fx-products, .fx-runner { padding: 15px; } .fx-product-grid, .fx-runner-grid { grid-template-columns: 1fr; } .fx-runner-head { display: block; } .fx-runner-status { display: inline-block; margin-top: 12px; } .fx-result-grid { grid-template-columns: 1fr; } }

/* ZK lane card: read only check of a pre-computed proof on the Zenith testnet. */
.fx-zk h2 { margin: 0 0 6px; }
.fx-zk .fx-runner-card { margin-top: 14px; max-width: 560px; }
.fx-zk-result { margin-top: 14px; min-height: 1.4em; font-size: .88rem; color: var(--v-muted); }
.fx-zk-verdict { margin: 0 0 8px; padding: 9px 11px; border: 1px solid var(--v-border-strong); border-radius: 9px; background: var(--v-surface); color: var(--v-text); font-weight: 650; }
.fx-zk-result[data-kind="ok"] .fx-zk-verdict { border-color: var(--v-primary); color: var(--v-primary); }
.fx-zk-result[data-kind="bad"] .fx-zk-verdict, .fx-zk-result[data-kind="warn"] .fx-zk-verdict { border-color: var(--fx-warn-line); background: var(--fx-warn-bg); color: var(--fx-warn-ink); }
.fx-zk-facts { display: grid; grid-template-columns: max-content 1fr; gap: 4px 14px; margin: 0; }
.fx-zk-facts dt { font-family: var(--v-font-mono); font-size: .72rem; letter-spacing: .06em; text-transform: uppercase; color: var(--v-muted); }
.fx-zk-facts dd { margin: 0; color: var(--v-text); }