/* Secure state encoding 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); }
.w-big { margin: 8px 0; font-family: var(--heading); font-size: 1.05rem; }
.w-big strong { color: var(--accent); font-size: 1.35rem; }

.w-actions { display: flex; flex-wrap: wrap; align-items: center; gap: 8px 10px; margin: 10px 0; }
.w-btn {
  appearance: none; min-height: 38px; padding: 7px 14px;
  border: 1px solid var(--primary); background: var(--primary); color: var(--background);
  font: inherit; font-family: var(--heading); font-size: 0.88rem; font-weight: var(--semi-bold);
  cursor: pointer; border-radius: 0;
}
.w-btn:hover { background: transparent; color: var(--primary); }
.w-btn-quiet { background: transparent; color: var(--primary); }
.w-btn-quiet:hover { background: var(--primary); color: var(--background); }
.w-btn.running { background: transparent; color: var(--accent); border-color: var(--accent); }
.w-btn[disabled] { cursor: progress; }
.w-btn.fp-small { min-height: 30px; padding: 3px 10px; font-size: 0.78rem; }
.w-btn:focus-visible, .seg-option:focus-visible, .fp-col:focus-visible { outline: 2px solid var(--accent); outline-offset: 2px; }

.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); }

.w-range { display: grid; grid-template-columns: auto minmax(0, 1fr) 4.2rem; align-items: center; gap: 4px 10px; margin: 6px 0; max-width: 520px; 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); }

/* state chips (demo 1) */
.fp-chips { display: grid; grid-template-columns: repeat(5, minmax(0, 1fr)); border-top: 1px solid var(--light-gray); margin: 8px 0; max-width: 760px; }
.fp-chip { display: grid; gap: 1px; padding: 6px 4px; border-bottom: 1px solid var(--light-gray); border-left: 3px solid transparent; transition: background var(--transition); }
.fp-chip.on { border-left-color: var(--accent); background: var(--background-alt); }
.fp-chip-name { font-family: var(--heading); font-weight: var(--semi-bold); font-size: 0.9rem; }
.fp-chip.on .fp-chip-name { color: var(--accent); }
.fp-chip-code { font-family: var(--code); font-size: 0.8rem; letter-spacing: 0.04em; }
.fp-chip-hw { font-family: var(--code); font-size: 0.7rem; color: var(--gray); }
@media (max-width: 480px) { .fp-chips { grid-template-columns: repeat(3, minmax(0, 1fr)); } }

/* charts */
.fp-trace-chart, .fp-graph, .fp-trade-chart { display: block; width: 100%; max-width: 760px; height: auto; margin: 8px 0; overflow: visible; }
.c-grid { stroke: var(--light-gray); stroke-width: 1; }
.c-ref { stroke: var(--gray); stroke-width: 1; stroke-dasharray: 4 4; }
.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; }
.c-paper { stroke: var(--text); stroke-width: 2; stroke-dasharray: 2 3; }
.fp-bar-hw { fill: var(--primary); }
.fp-bar-hd { fill: var(--accent); }
.fp-bar { fill: var(--primary); opacity: 0.55; }
.fp-bar.on { fill: var(--accent); opacity: 1; }
.fp-col { fill: transparent; cursor: pointer; }
.fp-col.on { fill: var(--background-alt); }
.fp-readout { min-height: 3.2rem; }

/* graph (demo 2) */
.fp-edge { fill: none; stroke: var(--gray); opacity: 0.6; }
.fp-node { stroke-width: 2; }
.fp-start { fill: none; stroke: var(--text); stroke-width: 1.2; stroke-dasharray: 3 2; }
.fp-node-set { font-family: var(--code); font-size: 12px; font-weight: 600; }

/* set colors: four theme colors, solid then hollow */
.fp-set .fp-node { fill: var(--c); stroke: var(--c); }
.fp-set .fp-node-set { fill: var(--background); }
.fp-set-0 { --c: var(--primary); }
.fp-set-1 { --c: var(--accent); }
.fp-set-2 { --c: var(--text); }
.fp-set-3 { --c: var(--gray); }
.fp-set-4, .fp-set-5, .fp-set-6, .fp-set-7 { --c: var(--primary); }
.fp-set-5 { --c: var(--accent); }
.fp-set-6 { --c: var(--text); }
.fp-set-7 { --c: var(--gray); }
.fp-set-4 .fp-node, .fp-set-5 .fp-node, .fp-set-6 .fp-node, .fp-set-7 .fp-node { fill: var(--background); }
.fp-set-4 .fp-node-set, .fp-set-5 .fp-node-set, .fp-set-6 .fp-node-set, .fp-set-7 .fp-node-set { fill: var(--c); }

.fp-swatch { display: inline-grid; place-items: center; width: 1.5rem; height: 1.5rem; border: 2px solid var(--c); background: var(--c); color: var(--background); font-family: var(--code); font-size: 0.75rem; font-weight: 600; }
.fp-swatch.fp-set-4, .fp-swatch.fp-set-5, .fp-swatch.fp-set-6, .fp-swatch.fp-set-7 { background: var(--background); color: var(--c); }

.paper-body .fp-setlist { list-style: none; margin: 8px 0; padding: 0; border-top: 1px solid var(--light-gray); width: 100%; max-width: 760px; }
.paper-body .fp-setrow { display: grid; grid-template-columns: 2rem minmax(0, 1fr) auto; gap: 4px 12px; align-items: center; margin: 0; padding: 6px 0; border-bottom: 1px solid var(--light-gray); }
@media (max-width: 560px) { .paper-body .fp-setrow { grid-template-columns: 2rem minmax(0, 1fr); } .fp-setrow .w-mono { grid-column: 2; } }

/* tables */
.fp-table-wrap { overflow-x: auto; }
.paper-body .results-table { width: 100%; min-width: 520px; border-collapse: collapse; margin: 12px 0; overflow-wrap: normal; }
.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 th { font-family: var(--code); font-size: 0.75rem; color: var(--gray); font-weight: 500; }
.fp-code { color: var(--text); letter-spacing: 0.05em; }
.fp-power-table td:nth-child(n+2):nth-child(-n+6) { font-family: var(--code); font-size: 0.82rem; }
.fp-match .w-mono { color: var(--primary); }
.fp-differ .w-mono { color: var(--accent); }

.paper-body .fp-facts { display: grid; grid-template-columns: minmax(10rem, 16rem) minmax(0, 1fr); margin: 10px 0; border-top: 1px solid var(--light-gray); max-width: 760px; }
.fp-facts dt, .fp-facts dd { margin: 0; padding: 6px 8px 6px 0; border-bottom: 1px solid var(--light-gray); }
.fp-facts dt { font-family: var(--code); font-size: 0.75rem; color: var(--gray); }
.fp-facts dd { font-size: 0.9rem; }
@media (max-width: 560px) { .paper-body .fp-facts { grid-template-columns: minmax(0, 1fr); } .fp-facts dt { border-bottom: 0; padding-bottom: 0; } }

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