/* Safety-centric avionics widget. Theme colors only; ruled rows, no cards. */

.w-demo {
  margin: 10px 0 8px;
  padding: 4px 0 8px;
  border-bottom: 1px solid var(--light-gray);
}
.w-demo:not(.w-ready)::before { content: "This demo needs JavaScript."; color: var(--gray); font-size: 0.9rem; }

.w-note { margin: 8px 0; font-size: 0.88rem; color: var(--dark-gray); max-width: 72ch; }
.w-mono { font-family: var(--code); font-size: 0.78rem; color: var(--gray); }

.seg { display: inline-flex; flex-wrap: wrap; border: 1px solid var(--light-gray); }
.seg-option {
  appearance: none; padding: 6px 10px; border: 0; border-right: 1px solid var(--light-gray);
  background: transparent; color: var(--text); font: inherit; font-family: var(--code); font-size: 0.78rem;
  cursor: pointer; border-radius: 0; min-height: 34px;
}
.seg-option:last-child { border-right: 0; }
.seg-option[aria-checked="true"] { background: var(--light-gray); color: var(--accent); }
.seg-option:focus-visible, .av-block:focus-visible, .av-arch:focus-visible { outline: 2px solid var(--accent); outline-offset: 2px; }

.av-ctl { display: flex; flex-wrap: wrap; align-items: center; gap: 4px 8px; margin: 8px 0; }
.av-ctl-label { font-family: var(--code); font-size: 0.75rem; color: var(--gray); min-width: 6.5rem; }
.w-range { display: grid; grid-template-columns: 9rem minmax(0, 1fr) 4.5rem; align-items: center; gap: 4px 10px; margin: 6px 0; max-width: 560px; font-family: var(--code); font-size: 0.78rem; color: var(--gray); }
.w-range input[type="range"] { width: 100%; accent-color: var(--primary); }
.w-range output { text-align: right; color: var(--text); }
.av-select { font: inherit; font-family: var(--code); font-size: 0.8rem; padding: 5px 6px; min-height: 34px; background: var(--background); color: var(--text); border: 1px solid var(--light-gray); border-radius: 0; }

/* charts */
.av-chart, .av-tree, .av-diagram, .av-family { display: block; width: 100%; max-width: 760px; height: auto; margin: 8px 0; overflow: visible; }
.c-grid { stroke: var(--light-gray); stroke-width: 1; }
.c-tick { fill: var(--gray); font-family: var(--code); font-size: 11px; }
.c-label { fill: var(--dark-gray); font-family: var(--code); font-size: 11px; }
.av-cmd { fill: none; stroke: var(--gray); stroke-width: 1.2; stroke-dasharray: 4 3; }
.av-ref { fill: none; stroke: var(--text); stroke-width: 1.2; opacity: 0.35; }
.av-act { fill: none; stroke: var(--primary); stroke-width: 1.8; }
.av-bug { stroke: var(--accent); stroke-width: 1.2; stroke-dasharray: 3 3; }
.av-alarm { stroke: var(--accent); stroke-width: 2; }
.av-bug-label, .av-alarm-label { fill: var(--accent); }

.av-key { display: flex; flex-wrap: wrap; gap: 2px 12px; font-family: var(--code); font-size: 0.75rem; margin: 2px 0 6px; }
.av-key-item { white-space: nowrap; }
.av-k { display: inline-block; width: 14px; height: 0; vertical-align: 3px; margin: 0 4px 0 6px; border-top: 2px solid var(--primary); }
.av-k.cmd { border-top: 2px dashed var(--gray); }
.av-k.ref { border-top-color: var(--text); opacity: 0.4; }
.av-k.bug { border-top: 2px dashed var(--accent); }
.av-k.alarm { border-top: 3px solid var(--accent); }

.av-readout { margin: 6px 0; font-size: 0.95rem; max-width: 72ch; }
.av-readout strong { color: var(--accent); }
.av-readout .w-mono { display: block; margin-top: 4px; }

/* monitor hierarchy */
.av-mon { fill: transparent; stroke: var(--light-gray); stroke-dasharray: 3 3; }
.av-mon.on { fill: color-mix(in srgb, var(--primary) 16%, transparent); stroke: var(--primary); stroke-dasharray: none; }
.av-mon.fail { fill: color-mix(in srgb, var(--accent) 22%, transparent); stroke: var(--accent); stroke-width: 2; stroke-dasharray: none; }
.av-mon-text { fill: var(--text); font-family: var(--code); font-size: 11px; }
.av-mon-text.fail { fill: var(--accent); font-weight: 600; }

/* block diagram */
.av-wire { fill: none; stroke: var(--gray); stroke-width: 1.4; }
.av-arrowhead { fill: var(--gray); }
.av-module { fill: none; stroke: var(--light-gray); stroke-dasharray: 5 4; }
.av-block { cursor: pointer; }
.av-block rect { fill: var(--background-alt); stroke: var(--primary); stroke-width: 1.4; }
.av-block text { fill: var(--text); font-family: var(--code); font-size: 12px; font-weight: 600; }
.av-block.sel rect { fill: var(--primary); }
.av-block.sel text { fill: var(--background); }
.av-detail { margin: 6px 0; }
.paper-body .av-detail-title, .paper-body .av-sub { font-size: 1rem; margin: 10px 0 4px; text-transform: none; text-align: left; }
.av-detail-plain { margin: 4px 0; max-width: 72ch; }
.av-code { margin: 8px 0; padding: 8px 10px; border-left: 3px solid var(--primary); background: var(--background-alt); font-family: var(--code); font-size: 0.75rem; overflow-x: auto; max-width: 760px; white-space: pre; }

/* architecture family */
.av-edge { stroke: var(--gray); stroke-width: 1.2; }
.av-edge.compose { stroke-dasharray: 4 3; }
.av-arch { cursor: pointer; }
.av-arch rect { fill: var(--background); stroke: var(--light-gray); stroke-width: 1.2; }
.av-arch.holds rect { fill: color-mix(in srgb, var(--primary) 20%, transparent); stroke: var(--primary); }
.av-arch.sel rect { stroke: var(--accent); stroke-width: 2.4; }
.av-arch-name { fill: var(--text); font-family: var(--code); font-size: 12px; font-weight: 600; }
.av-arch-sub { fill: var(--gray); font-family: var(--code); font-size: 10px; }
.av-arch.holds .av-arch-sub { fill: var(--primary); }
.av-compose, .av-custom { margin-top: 8px; padding-top: 4px; border-top: 1px solid var(--light-gray); }

/* testing bars */
.av-bar { fill: var(--light-gray); }
.av-bar.sel { fill: var(--primary); }

/* tables */
.av-table-wrap, .av-scroll { overflow-x: auto; max-width: 760px; }
.paper-body .results-table { width: 100%; min-width: 520px; border-collapse: collapse; margin: 12px 0; overflow-wrap: normal; }
.paper-body .av-lemma, .paper-body .av-params { min-width: 300px; }
.paper-body .results-table th, .paper-body .results-table td { padding: 6px 8px; border-bottom: 1px solid var(--light-gray); text-align: left; vertical-align: middle; }
.paper-body .results-table caption { text-align: left; }
.paper-body .results-table th { font-family: var(--code); font-size: 0.75rem; color: var(--gray); font-weight: 500; }
.paper-body .results-table tr.on td { background: var(--background-alt); color: var(--accent); }
.av-num { font-family: var(--code); font-size: 0.82rem; }
.paper-body .av-sweep { min-width: 640px; }

.paper-body li { text-align: left; }