/* ==========================================================================
   FSM Studio - /tools/fsm-studio/
   Uses the site tokens from style.css (colours, spacing, radii).
   ========================================================================== */

.fs-page {
  max-width: 1360px;
  margin: 0 auto;
  padding: 108px 20px 72px;
  color: var(--text-secondary);
  font-family: 'DM Sans', sans-serif;
}

.fs-visually-hidden {
  position: absolute !important;
  width: 1px; height: 1px;
  margin: -1px; padding: 0;
  overflow: hidden; clip: rect(0 0 0 0);
  white-space: nowrap; border: 0;
}

/* ------------------------------------------------------------------ header */

.fs-hero { text-align: center; margin: 0 auto 28px; max-width: 820px; }

.fs-badge {
  display: inline-flex;
  align-items: center;
  gap: 8px;
  padding: 6px 14px;
  margin-bottom: 16px;
  border-radius: var(--r-full);
  background: rgba(0, 212, 245, 0.08);
  border: 1px solid rgba(0, 212, 245, 0.25);
  color: var(--cyan-400);
  font: 600 12.5px 'JetBrains Mono', monospace;
}

.fs-hero h1 {
  margin: 0 0 12px;
  font-family: 'Orbitron', sans-serif;
  font-size: clamp(30px, 4.2vw, 46px);
  line-height: 1.15;
  color: #fff;
}

.fs-hero h1 span {
  background: linear-gradient(135deg, var(--cyan-400), var(--gold-400));
  -webkit-background-clip: text;
  background-clip: text;
  -webkit-text-fill-color: transparent;
}

.fs-sub { margin: 0 auto 10px; font-size: 16.5px; line-height: 1.6; color: var(--neutral-800); }
.fs-learn { margin: 0; font-size: 14.5px; }
.fs-learn a, .fs-info a, .fs-checks a, .fs-cov a, .fs-example-note a { color: var(--cyan-300); }

.fs-noscript {
  padding: 16px;
  border: 1px solid rgba(245, 166, 35, 0.4);
  border-radius: var(--r-md);
  color: var(--gold-300);
  text-align: center;
}

/* ------------------------------------------------------------------ toolbar */

.fs-toolbar {
  display: flex;
  flex-wrap: wrap;
  align-items: center;
  gap: 10px;
  margin-bottom: 16px;
}

.fs-toolbar .fs-field { display: inline-flex; align-items: center; gap: 8px; }
.fs-status { font-size: 13.5px; color: var(--emerald, #00E676); min-height: 1.2em; }
.fs-example-note { width: 100%; margin: -4px 0 0; font-size: 13px; color: var(--text-tertiary); }
.fs-example-note:empty { display: none; }

/* ------------------------------------------------------------------ controls */

.fs-btn {
  display: inline-flex;
  align-items: center;
  justify-content: center;
  gap: 7px;
  padding: 7px 13px;
  border-radius: 8px;
  border: 1px solid var(--border-soft);
  background: var(--bg-surface);
  color: var(--neutral-800);
  font: 600 13px 'Exo 2', sans-serif;
  line-height: 1.2;
  cursor: pointer;
  transition: border-color var(--dur-fast) ease, color var(--dur-fast) ease, background-color var(--dur-fast) ease;
}

.fs-btn:hover:not(:disabled) { border-color: rgba(0, 212, 245, 0.55); color: var(--cyan-300); }
.fs-btn:disabled { opacity: 0.45; cursor: default; }
.fs-btn-sm { padding: 4px 10px; font-size: 12.5px; }

.fs-btn-primary {
  background: var(--cyan-400);
  border-color: var(--cyan-400);
  color: var(--neutral-0);
}

.fs-btn-primary:hover:not(:disabled) { background: var(--cyan-300); color: var(--neutral-0); }

.fs-page :focus-visible { outline: 2px solid var(--cyan-300); outline-offset: 2px; }

.fs-text, .fs-select, .fs-next {
  background: var(--bg-base);
  color: var(--neutral-900);
  border: 1px solid var(--border-soft);
  border-radius: 7px;
  padding: 6px 9px;
  font: 500 13px 'JetBrains Mono', monospace;
}

.fs-text:focus, .fs-select:focus, .fs-next:focus { border-color: var(--cyan-400); outline: none; }
.fs-text.is-bad { border-color: var(--red-300); }
.fs-select { font-family: 'DM Sans', sans-serif; font-size: 13.5px; }

.fs-field {
  font: 600 12px 'Exo 2', sans-serif;
  letter-spacing: 0.04em;
  text-transform: uppercase;
  color: var(--text-tertiary);
}

.fs-msg { flex-basis: 100%; font-size: 12.5px; color: var(--red-200); }
.fs-msg:empty { display: none; }
.fs-hint { margin: 6px 0 12px; font-size: 13px; color: var(--text-tertiary); }

.fs-seg {
  display: inline-flex;
  padding: 3px;
  border-radius: 9px;
  background: var(--bg-base);
  border: 1px solid var(--border-soft);
}

.fs-seg-btn {
  padding: 5px 14px;
  border: 0;
  border-radius: 7px;
  background: transparent;
  color: var(--neutral-700);
  font: 600 13px 'Exo 2', sans-serif;
  cursor: pointer;
}

.fs-seg-btn[aria-checked="true"] { background: rgba(0, 212, 245, 0.16); color: var(--cyan-300); }

/* ------------------------------------------------------------------ layout */

.fs-grid {
  display: grid;
  grid-template-columns: minmax(0, 1fr) minmax(0, 1fr);
  gap: 18px;
  align-items: start;
  margin-bottom: 18px;
}

.fs-card {
  min-width: 0;
  padding: 18px;
  background: rgba(16, 24, 40, 0.72);
  border: 1px solid rgba(255, 255, 255, 0.08);
  border-radius: 16px;
}

.fs-card > h2 {
  display: flex;
  align-items: center;
  gap: 10px;
  margin: 0 0 14px;
  font: 700 17px 'Exo 2', sans-serif;
  color: #fff;
}

.fs-num {
  display: inline-grid;
  place-items: center;
  width: 26px; height: 26px;
  flex: none;
  border-radius: 50%;
  background: rgba(0, 212, 245, 0.14);
  border: 1px solid rgba(0, 212, 245, 0.4);
  color: var(--cyan-300);
  font: 700 13px 'JetBrains Mono', monospace;
}

.fs-row { display: flex; flex-wrap: wrap; align-items: center; gap: 10px; margin-bottom: 6px; }

/* ------------------------------------------------------------------ editor */

.fs-sigs { display: flex; flex-wrap: wrap; align-items: center; gap: 8px; margin: 8px 0; }
.fs-sigs > .fs-field { min-width: 64px; }

.fs-chip {
  display: inline-flex;
  align-items: center;
  border: 1px solid var(--border-soft);
  border-radius: 8px;
  background: var(--bg-base);
}

.fs-chip .fs-text { border: 0; background: transparent; padding: 5px 4px 5px 9px; }

.fs-chip-x {
  border: 0;
  background: transparent;
  color: var(--neutral-600);
  font-size: 16px;
  line-height: 1;
  padding: 4px 8px 5px 4px;
  cursor: pointer;
}

.fs-chip-x:hover { color: var(--red-200); }

.fs-table-wrap {
  margin: 12px 0 10px;
  overflow-x: auto;
  border: 1px solid var(--border-subtle);
  border-radius: 10px;
}

.fs-table { width: 100%; border-collapse: collapse; font-size: 13px; }

.fs-table th, .fs-table td {
  padding: 6px 7px;
  border-bottom: 1px solid rgba(255, 255, 255, 0.06);
  text-align: center;
  white-space: nowrap;
  vertical-align: middle;
}

.fs-table thead th {
  background: rgba(255, 255, 255, 0.03);
  font: 600 12px 'Exo 2', sans-serif;
  color: var(--neutral-700);
}

.fs-th-group { color: var(--cyan-300) !important; }
.fs-th-sub, .fs-combo { font-family: 'JetBrains Mono', monospace !important; color: var(--neutral-800) !important; }
.fs-table tbody th { text-align: left; }
.fs-table tbody tr:last-child > * { border-bottom: 0; }
.fs-table tr.is-start { background: rgba(0, 212, 245, 0.04); }
.fs-state-name { width: 9.5em; }
.fs-td-reset input { accent-color: var(--cyan-400); width: 16px; height: 16px; cursor: pointer; }
.fs-next { padding: 4px 6px; max-width: 9.5em; }
.fs-slash { margin: 0 4px; color: var(--neutral-600); }
.fs-bits { display: inline-flex; gap: 3px; }

.fs-bit {
  min-width: 24px;
  height: 26px;
  padding: 0 5px;
  border-radius: 6px;
  border: 1px solid var(--border-soft);
  background: var(--bg-base);
  color: var(--neutral-700);
  font: 600 12.5px 'JetBrains Mono', monospace;
  cursor: pointer;
}

.fs-bit.on { border-color: var(--gold-400); background: rgba(245, 166, 35, 0.16); color: var(--gold-300); }

.fs-del {
  width: 26px; height: 26px;
  border: 1px solid transparent;
  border-radius: 6px;
  background: transparent;
  color: var(--neutral-600);
  font-size: 17px;
  line-height: 1;
  cursor: pointer;
}

.fs-del:hover { color: var(--red-200); border-color: rgba(236, 94, 86, 0.4); }

/* ------------------------------------------------------------------ views */

.fs-tabs {
  display: flex;
  flex-wrap: wrap;
  gap: 4px;
  margin: -4px 0 14px;
  border-bottom: 1px solid var(--border-soft);
}

.fs-tab {
  display: inline-flex;
  align-items: center;
  gap: 7px;
  padding: 9px 14px;
  margin-bottom: -1px;
  border: 0;
  border-bottom: 2px solid transparent;
  background: transparent;
  color: var(--neutral-700);
  font: 600 14px 'Exo 2', sans-serif;
  cursor: pointer;
}

.fs-tab[aria-selected="true"] { color: var(--cyan-300); border-bottom-color: var(--cyan-400); }
.fs-tab:hover { color: #fff; }

.fs-pill {
  min-width: 18px;
  padding: 1px 6px;
  border-radius: var(--r-full);
  background: rgba(245, 166, 35, 0.2);
  color: var(--gold-300);
  font: 700 11px 'JetBrains Mono', monospace;
}

.fs-opts { display: flex; flex-wrap: wrap; align-items: center; gap: 10px 14px; margin-bottom: 12px; }
.fs-opts label { display: inline-flex; align-items: center; gap: 7px; }
.fs-opts label.is-off { opacity: 0.45; }
.fs-opts .fs-grow { flex: 1; }
.fs-opts.fs-after { margin: 10px 0 0; }
.fs-opts .fs-legend { margin: 0; }
.fs-note { margin: 0 0 10px; font-size: 13px; color: var(--text-tertiary); }

.fs-diagram {
  border: 1px solid var(--border-subtle);
  border-radius: 12px;
  background: radial-gradient(circle at 50% 40%, rgba(0, 212, 245, 0.05), transparent 70%), var(--bg-base);
}

.fs-diagram { overflow: auto; max-height: 640px; }
#fs-svg { display: block; width: 100%; height: auto; margin: 0 auto; touch-action: none; user-select: none; }

.fs-edge { fill: none; stroke: #8FA3BF; stroke-width: 1.6; }
.fs-edge.is-hot { stroke: #F5A623; stroke-width: 2.4; }
.fs-edge.is-dim { stroke: #4A6180; stroke-dasharray: 5 4; }
.fs-reset-arrow { stroke: #8FA3BF; }
.fs-reset-text { fill: #6E8AAA; font: 600 10.5px 'JetBrains Mono', monospace; }
.fs-label rect { fill: #0A0E1A; stroke: rgba(255, 255, 255, 0.1); }
.fs-label text { fill: #E8EEF8; font: 500 11.5px 'JetBrains Mono', monospace; }
.fs-label.is-hot rect { stroke: #F5A623; }
.fs-label.is-hot text { fill: #F8C43E; }
.fs-label.is-dim text { fill: #6E8AAA; }

.fs-node { cursor: grab; }
.fs-node:active { cursor: grabbing; }
.fs-node circle { fill: #141E30; stroke: #00D4F5; stroke-width: 1.8; }
.fs-node.is-active circle { stroke: #F5A623; }
.fs-node.is-unvisited circle { stroke-dasharray: 4 3; }
.fs-node.is-unreachable circle { stroke: #EC5E56; stroke-dasharray: 3 3; }
.fs-node.is-now circle { fill: rgba(0, 212, 245, 0.2); stroke-width: 3.2; filter: drop-shadow(0 0 7px rgba(0, 212, 245, 0.65)); }
.fs-node-name { fill: #fff; font-family: 'Exo 2', sans-serif; font-weight: 700; }
.fs-node-out { fill: #F8C43E; font: 500 10.5px 'JetBrains Mono', monospace; }

.fs-legend { margin: 10px 2px 0; font-size: 12.5px; color: var(--text-tertiary); }

.fs-code {
  margin: 0;
  max-height: 560px;
  overflow: auto;
  padding: 14px 16px;
  border: 1px solid var(--border-subtle);
  border-radius: 12px;
  background: #080D1A;
  color: #E8EEF8;
  font: 12.5px/1.6 'JetBrains Mono', monospace;
  tab-size: 2;
  white-space: pre;
}

.tk-kw { color: #BBA8F2; }
.tk-num { color: #F8C43E; }
.tk-str { color: #7EEEF9; }
.tk-sys { color: #67A1EC; }
.tk-com { color: #6E8AAA; font-style: italic; }

.fs-checks { list-style: none; margin: 0; padding: 0; display: grid; gap: 10px; }

.fs-check {
  display: grid;
  grid-template-columns: 20px minmax(0, 1fr);
  gap: 10px;
  padding: 12px 14px;
  border-radius: 10px;
  border: 1px solid var(--border-subtle);
  background: rgba(255, 255, 255, 0.02);
  font-size: 14px;
  line-height: 1.55;
}

.fs-check > i { margin-top: 3px; }
.fs-check.is-ok > i { color: #00E676; }
.fs-check.is-warn { border-color: rgba(245, 166, 35, 0.3); }
.fs-check.is-warn > i { color: var(--gold-400); }
.fs-check.is-info > i { color: var(--cyan-400); }
.fs-check .fs-btn { margin-top: 8px; }

/* ------------------------------------------------------------------ run */

.fs-now {
  display: flex;
  flex-wrap: wrap;
  gap: 12px 28px;
  align-items: center;
  padding: 12px 14px;
  border-radius: 12px;
  border: 1px solid var(--border-subtle);
  background: var(--bg-base);
}

.fs-now-item { display: inline-flex; align-items: center; gap: 9px; flex-wrap: wrap; }
.fs-now-label { font: 600 11.5px 'Exo 2', sans-serif; text-transform: uppercase; letter-spacing: 0.05em; color: var(--text-tertiary); }
.fs-now-item b { font: 700 16px 'JetBrains Mono', monospace; color: #fff; }
.fs-now-state { color: var(--cyan-300) !important; }

.fs-in {
  padding: 6px 11px;
  border-radius: 8px;
  border: 1px solid var(--border-soft);
  background: var(--bg-surface);
  color: var(--neutral-800);
  font: 600 13px 'JetBrains Mono', monospace;
  cursor: pointer;
}

.fs-in.on { border-color: var(--cyan-400); background: rgba(0, 212, 245, 0.16); color: var(--cyan-300); }
.fs-outs { display: inline-flex; flex-wrap: wrap; gap: 6px; }

.fs-out {
  padding: 5px 10px;
  border-radius: 8px;
  border: 1px solid var(--border-subtle);
  color: var(--neutral-700);
  font: 600 13px 'JetBrains Mono', monospace;
}

.fs-out.on { border-color: var(--gold-400); background: rgba(245, 166, 35, 0.14); color: var(--gold-300); }
.fs-next-line { margin: 10px 2px; font-size: 14px; }
.fs-next-line b { color: #fff; font-family: 'JetBrains Mono', monospace; }
.fs-controls { display: flex; flex-wrap: wrap; align-items: center; gap: 8px; margin: 4px 0 12px; }
.fs-sep { width: 1px; height: 24px; margin: 0 4px; background: var(--border-soft); }
.fs-seq { flex: 1 1 180px; min-width: 150px; }

.fs-cov {
  display: flex;
  flex-wrap: wrap;
  align-items: center;
  gap: 8px 18px;
  margin-bottom: 12px;
  font-size: 13.5px;
}

.fs-cov b { color: #fff; }
.fs-bar { width: 140px; height: 7px; border-radius: 4px; background: rgba(255, 255, 255, 0.08); overflow: hidden; }
.fs-bar > span { display: block; height: 100%; background: linear-gradient(90deg, var(--cyan-400), #00E676); }
.fs-check-label { display: inline-flex; align-items: center; gap: 6px; cursor: pointer; }
.fs-check-label input { accent-color: var(--cyan-400); }

.fs-wave-wrap {
  overflow-x: auto;
  border: 1px solid var(--border-subtle);
  border-radius: 12px;
  background: #080D1A;
}

.fs-wave { display: block; }
.fs-wave-now { fill: rgba(0, 212, 245, 0.07); }
.fs-wave-grid { stroke: rgba(255, 255, 255, 0.07); stroke-dasharray: 2 4; }
.fs-wave-num { fill: #4A6180; font: 500 10px 'JetBrains Mono', monospace; }
.fs-wave-name { fill: #B8CBDF; font: 600 12px 'JetBrains Mono', monospace; }
.fs-wave-sig { fill: none; stroke-width: 1.7; }
.fs-wave-sig.is-clk { stroke: #6E8AAA; }
.fs-wave-sig.is-in { stroke: #3DDFF2; }
.fs-wave-sig.is-out { stroke: #F5A623; }
.fs-wave-bus { fill: rgba(155, 127, 232, 0.14); stroke: #9B7FE8; stroke-width: 1.3; }
.fs-wave-bustext { fill: #E8EEF8; font: 600 11px 'JetBrains Mono', monospace; }

/* ------------------------------------------------------------------ info */

.fs-info {
  display: grid;
  grid-template-columns: repeat(auto-fit, minmax(min(300px, 100%), 1fr));
  gap: 18px;
  margin-top: 36px;
}

.fs-info section {
  padding: 22px;
  border-radius: 16px;
  border: 1px solid rgba(255, 255, 255, 0.08);
  background: rgba(16, 24, 40, 0.5);
  font-size: 14.5px;
  line-height: 1.65;
}

.fs-info h2 { margin: 0 0 10px; font: 700 18px 'Exo 2', sans-serif; color: #fff; }
.fs-info ol, .fs-info ul { margin: 0; padding-left: 20px; }
.fs-info li { margin-bottom: 6px; }
.fs-info details { margin-bottom: 10px; }
.fs-info summary { cursor: pointer; font-weight: 600; color: var(--neutral-900); }
.fs-info details p { margin: 6px 0 0; }

/* ------------------------------------------------------------------ small screens */

@media (max-width: 1080px) {
  .fs-grid { grid-template-columns: minmax(0, 1fr); }
}

@media (max-width: 640px) {
  .fs-page { padding: 92px 14px 56px; }
  .fs-card { padding: 14px; }
  .fs-sep { display: none; }
  .fs-state-name { width: 7.5em; }
}