/* Foras Labs station simulator. Loaded after lab.css (paper, ink, mono labels come from there).
   The board is a signal-box mimic panel: grey-green enamel, track sections as lamp strips
   (dim = free, white = route set through the points, red = occupied), signal lamps red/green. */
body.fl {
  --enamel: #3d4743; --enamel-edge: #2c3431; --strip: #75807b; --lamp: #f3efe0; --lamp-rgb: 243, 239, 224;
  --occ: #e5462f; --go: #4fd685;
  --blue: #0a55f5; --orange: #ff6a00; --green: #10b950; --silver: #cdd3da; --track: #19c3f5; --mustard: #e3a812;
  --you: var(--ink); --claude: #b05a3c; --foras: #1f8a70;
}
/* the simulator's light theme (the button next to 2D | 3D): a pale enamel panel, the route set in ink instead of a
   white lamp; occupied, signal and train colours stay as they are */
.fl-board[data-sim-theme="light"] {
  --enamel: #e6e9e5; --enamel-edge: #c8cec9; --strip: #a3aba6; --lamp: #14161a; --lamp-rgb: 20, 22, 26;
}
.fl-board[data-sim-theme="light"] .fl-board-top, .fl-board[data-sim-theme="light"] .fl-board-bottom { border-color: rgba(0, 0, 0, .1); }
.fl-wrap { max-width: 1200px; margin: 0 auto; padding: 0 24px 80px; }

.fl-hero { padding: 24px 0 28px; }
.fl-eyebrow { font: 12px var(--mono); text-transform: uppercase; letter-spacing: .12em; color: var(--muted); margin: 0 0 10px; }
.fl-eyebrow span { margin: 0 8px; opacity: .6; }
.fl-hero h1 { font-size: clamp(34px, 5.4vw, 58px); line-height: 1.02; letter-spacing: -.035em; margin: 0 0 14px; font-weight: 700; }
.fl-lede { max-width: 760px; color: var(--muted); font-size: 18px; margin: 0 0 22px; }
.fl-steps { list-style: none; counter-reset: s; display: flex; flex-wrap: wrap; gap: 8px 22px; padding: 0; margin: 0; font: 13px var(--mono); color: var(--muted); }
.fl-steps li { counter-increment: s; }
.fl-steps li::before { content: counter(s); display: inline-grid; place-items: center; width: 20px; height: 20px; margin-right: 8px;
  border-radius: 50%; border: 1px solid var(--line); font-size: 11px; color: var(--ink); }
.fl-steps b { color: var(--ink); font-weight: 600; }

/* the mimic panel */
.fl-board { background: var(--enamel); border: 1px solid var(--enamel-edge); border-radius: 14px; color: var(--lamp);
  box-shadow: inset 0 1px 0 rgba(255, 255, 255, .06), 0 18px 40px -24px rgba(0, 0, 0, .5); overflow: hidden; }
.fl-board-top, .fl-board-bottom { display: flex; align-items: center; justify-content: space-between; gap: 12px 16px; padding: 12px 18px; flex-wrap: wrap; }
.fl-board-top { border-bottom: 1px solid rgba(0, 0, 0, .25); }
.fl-board-bottom { border-top: 1px solid rgba(0, 0, 0, .25); flex-wrap: wrap; }
.fl-board-name { font: 12px var(--mono); text-transform: uppercase; letter-spacing: .12em; opacity: .75; }
.fl-board-name b { font-weight: 700; }
.fl-lamp { font: 12px var(--mono); text-transform: uppercase; letter-spacing: .1em; display: inline-flex; align-items: center; gap: 8px; }
.fl-lamp::before { content: ""; width: 9px; height: 9px; border-radius: 50%; background: var(--strip); }
.fl-lamp.crash::before { background: var(--occ); box-shadow: 0 0 10px var(--occ); }
.fl-lamp.safe::before { background: var(--go); box-shadow: 0 0 10px var(--go); }
.fl-board-left { display: flex; align-items: center; gap: 12px; min-width: 0; }
.fl-sys { font: 12px var(--mono); text-transform: uppercase; letter-spacing: .1em; color: var(--lamp); cursor: pointer;
  background: rgba(var(--lamp-rgb), .08); border: 1px solid rgba(var(--lamp-rgb), .28); border-radius: 8px; padding: 5px 26px 5px 10px;
  appearance: none; -webkit-appearance: none; max-width: 52vw;
  background-image: linear-gradient(45deg, transparent 50%, currentColor 50%), linear-gradient(135deg, currentColor 50%, transparent 50%);
  background-position: calc(100% - 13px) 50%, calc(100% - 9px) 50%; background-size: 4px 4px; background-repeat: no-repeat; }
.fl-sys:hover { background-color: rgba(var(--lamp-rgb), .16); }
.fl-sys:focus-visible { outline: 2px solid var(--lamp); outline-offset: 2px; }
.fl-sys option { color: #14161a; background: #fff; text-transform: none; }
.fl-panels[hidden], .fl-ctl[hidden], .fl-net[hidden] { display: none; }
/* a network layout on the mimic panel: lines as lamp strips in their own colours, stations as lamps */
.fl-net svg { display: block; width: 100%; height: min(640px, 92vw); }
.fl-net .nl { fill: none; stroke-width: 9; stroke-linecap: round; stroke-linejoin: round; }
.fl-net .cap-o { stroke: var(--lamp); stroke-width: 19; stroke-linecap: round; }
.fl-net .cap-i { stroke: var(--enamel); stroke-width: 12; stroke-linecap: round; }
.fl-net .nlbl { font: 13px var(--mono); fill: var(--lamp); letter-spacing: .02em; }
.fl-net .nlbl .pr { opacity: .6; font-size: 11px; }
.fl-net .nb text { font: 700 14px var(--mono); fill: #fff; }
.fl-net .ns:hover .cap-i { stroke: var(--lamp); }
.fl-board-right { display: flex; align-items: center; gap: 14px; }
.fl-view { display: inline-flex; border: 1px solid rgba(var(--lamp-rgb), .28); border-radius: 8px; overflow: hidden; }
.fl-view button { font: 12px var(--mono); letter-spacing: .08em; padding: 5px 10px; border: 0; cursor: pointer;
  background: transparent; color: var(--lamp); opacity: .7; }
.fl-view button + button { border-left: 1px solid rgba(var(--lamp-rgb), .28); }
.fl-view button[aria-pressed="true"] { background: var(--lamp); color: var(--enamel); opacity: 1; }
.fl-view button:disabled { opacity: .35; cursor: not-allowed; }
.fl-board-right .fl-theme { padding: 5px 7px; border: 1px solid rgba(var(--lamp-rgb), .28); border-radius: 8px; background: transparent; }
.fl-board-right .fl-theme:hover { background: rgba(var(--lamp-rgb), .16); }
.fl-board-right .fl-theme { display: inline-flex; cursor: pointer; color: var(--lamp); }
.fl-board-right .fl-theme svg { width: 14px; height: 14px; }
.fl-theme .sun { display: none; color: #facc15; }  /* the board's own theme, not the site's: data-sim-theme */
.fl-board[data-sim-theme="dark"] .fl-theme .sun { display: block; }
.fl-board[data-sim-theme="dark"] .fl-theme .moon { display: none; }
.fl-board-right .fl-theme:focus-visible { outline: 2px solid var(--lamp); outline-offset: 2px; }
.fl-view button:focus-visible { outline: 2px solid var(--lamp); outline-offset: -2px; }
.fl-3d { position: relative; height: clamp(400px, 52vw, 560px); background: #eef0ee; }
.fl-3d[hidden] { display: none; }
.fl-3d canvas { display: block; touch-action: none; }
.fl-3d .fl-3d-msg { position: absolute; inset: 0; display: grid; place-items: center; font: 12px var(--mono);
  text-transform: uppercase; letter-spacing: .12em; color: #6a6f78; }
/* the 3D view (labs-3d/): camera buttons, badge, and the labels drei's <Html> puts over the canvas */
.fl-3d .l3-tools { position: absolute; top: 12px; right: 12px; display: flex; flex-direction: column; gap: 2px; padding: 4px;
  background: rgba(255, 255, 255, .86); border: 1px solid #e4e5e8; border-radius: 10px; box-shadow: 0 6px 20px -10px rgba(0, 0, 0, .3); }
.fl-3d .l3-tools button { width: 30px; height: 30px; display: grid; place-items: center; border: 0; border-radius: 7px; background: transparent; cursor: pointer; color: #14161a; }
.fl-3d .l3-tools button:hover { background: #f0f1ee; }
.fl-3d .l3-tools button:focus-visible { outline: 2px solid #14161a; outline-offset: -2px; }
.fl-3d .l3-tools svg { width: 16px; height: 16px; fill: none; stroke: currentColor; stroke-width: 1.5; stroke-linecap: round; stroke-linejoin: round; }
.fl-3d .l3-badge { position: absolute; left: 12px; bottom: 10px; margin: 0; font: 11px var(--mono); letter-spacing: .06em; color: #6a6f78;
  background: rgba(255, 255, 255, .8); padding: 3px 8px; border-radius: 6px; pointer-events: none; }
.fl-3d .l3-label, .fl-3d .l3-train, .fl-3d .l3-pin { pointer-events: none; user-select: none; white-space: nowrap; font: 10px var(--mono);
  text-transform: uppercase; letter-spacing: .1em; }
.fl-3d .l3-label { color: #14161a; background: rgba(255, 255, 255, .85); padding: 2px 6px; border-radius: 5px; }
.fl-3d .l3-label.dim { color: #6a6f78; background: none; }
.fl-3d .l3-label.stn { font-size: 9px; letter-spacing: .06em; text-transform: none; background: rgba(255, 255, 255, .7); padding: 1px 5px; }
.fl-3d .l3-line { pointer-events: none; font: 700 10px var(--mono); color: #fff; padding: 1px 6px; border-radius: 999px; }
.fl-3d .l3-train { font-weight: 600; color: #1b1f1d; padding: 2px 7px; border-radius: 999px; border: 1px solid rgba(0, 0, 0, .25); }
.fl-3d .l3-train.blue { background: var(--blue); color: #fff; } .fl-3d .l3-train.orange { background: var(--green); color: #fff; } .fl-3d .l3-train.silver { background: var(--silver); }
.fl-3d .l3-train.hit { outline: 2px solid var(--occ); }
.fl-3d .l3-pin { font: 600 12px var(--mono); color: #fff; background: var(--occ); padding: 4px 10px; border-radius: 6px; position: relative; }
.fl-3d .l3-pin::after { content: ""; position: absolute; left: 50%; bottom: -6px; margin-left: -6px; border: 6px solid transparent; border-bottom: 0; border-top-color: var(--occ); }
.fl-3d .l3-mark { pointer-events: none; display: grid; justify-items: center; }
.fl-3d .l3-mark span { font: 600 10px var(--mono); text-transform: uppercase; letter-spacing: .1em; color: #000; background: #f3be18;
  padding: 3px 8px; border-radius: 999px; position: relative; animation: l3-drop .35s ease-out; }
.fl-3d .l3-mark span::after { content: ""; position: absolute; left: 50%; bottom: -5px; margin-left: -5px; border: 5px solid transparent; border-bottom: 0; border-top-color: #f3be18; }
@keyframes l3-drop { from { transform: translateY(-8px); opacity: 0; } }
.fl-3d .l3-card { pointer-events: none; width: 220px; transform: translate(-50%, calc(-100% - 10px)); font: 13px/1.4 var(--sans, system-ui);
  color: #14161a; background: rgba(255, 255, 255, .95); border: 1px solid #e4e5e8; border-radius: 10px; padding: 9px 11px; box-shadow: 0 8px 24px -12px rgba(0, 0, 0, .35); }
.fl-3d .l3-card b { display: block; font: 600 11px var(--mono); text-transform: uppercase; letter-spacing: .08em; margin-bottom: 3px; }
/* dusk: the 3D scene when the site is in dark mode */
.fl-3d.dusk { background: #151a1f; }
.fl-3d.dusk .l3-tools, .fl-3d.dusk .l3-badge, .fl-3d.dusk .l3-card { background: rgba(23, 26, 32, .9); border-color: #262a31; color: #e9eaee; }
.fl-3d.dusk .l3-tools button { color: #e9eaee; } .fl-3d.dusk .l3-tools button:hover { background: #262a31; }
.fl-3d.dusk .l3-badge { color: #9a9fa9; }
.fl-3d.dusk .l3-label { color: #e9eaee; background: rgba(23, 26, 32, .85); } .fl-3d.dusk .l3-label.dim { color: #9a9fa9; background: none; }
@media (prefers-reduced-motion: reduce) { .fl-3d .l3-mark span { animation: none; } }
@media (max-width: 640px) {
  #sys-meta { display: none; }
  .fl-3d .l3-card { width: 180px; font-size: 12px; }
  .fl-3d .l3-badge span, .fl-3d .l3-label.dim { display: none; }
  .fl-3d .l3-tools { top: 8px; right: 8px; } .fl-3d .l3-tools button { width: 28px; height: 28px; }
}
#panel { display: block; width: 100%; height: auto; }
/* drawn like the network map: track as a transit line (Groningen's line 4 cyan), stops and points as white rings,
   labels in the map's type; occupied red and the set points leg in ink/white stay the signalling */
#panel .trk, #panel .leg { fill: none; stroke: var(--track); stroke-width: 9; stroke-linecap: round; stroke-linejoin: round; transition: stroke .25s; }
#panel .trk.dim { opacity: .5; stroke-width: 7; stroke-dasharray: 0.1 14; }
#panel .leg { opacity: .45; }
#panel .leg.set { stroke: var(--lamp); opacity: 1; }
#panel .trk.occ { stroke: var(--mustard); }
#panel .cap-o { stroke: var(--lamp); stroke-width: 19; stroke-linecap: round; }
#panel .cap-i { stroke: var(--enamel); stroke-width: 12; stroke-linecap: round; }
#panel .eng { font: 13px var(--mono); fill: var(--lamp); letter-spacing: .02em; }
#panel .pts-set { opacity: .6; font-size: 11px; }
#panel .sig line { stroke: var(--lamp); stroke-width: 2.5; }
#panel .sig circle { fill: var(--mustard); stroke: var(--lamp); stroke-width: 2.5; transition: fill .2s; }
#panel .sig.grn circle { fill: var(--go); }
#panel .train { transition: transform .55s cubic-bezier(.5, 0, .3, 1), opacity .4s; }
#panel .train rect { stroke: var(--enamel); stroke-width: 2.5; }
#panel .train text { font: 700 12px var(--mono); fill: #1b1f1d; letter-spacing: .02em; }
#panel .train[data-train="blue"] rect { fill: var(--blue); }
#panel .train[data-train="orange"] rect { fill: var(--green); }
#panel .train[data-train="silver"] rect { fill: var(--silver); }
#panel .train[data-train="blue"] text, #panel .train[data-train="orange"] text { fill: #fff; }
#panel .train.gone { opacity: 0; }
#panel .train.hit rect { stroke: var(--occ); stroke-width: 3; }
#panel .crash-label { font: 600 14px var(--mono); fill: var(--occ); letter-spacing: .14em; text-transform: uppercase; }
.fl-cap { margin: 0; font-size: 15px; min-height: 1.5em; flex: 1 1 360px; }
/* Play | Step | Reset: one segmented group, the same look as the 2D | 3D toggle (.fl-view), without a selected state */
.fl-ctl { display: flex; gap: 0; }
.fl-ctl .fl-step { margin-right: 10px; }
.fl-ctl button { font: 12px var(--mono); letter-spacing: .08em; padding: 5px 10px; cursor: pointer; border-radius: 0;
  background: transparent; color: var(--lamp); opacity: .7; border: 1px solid rgba(var(--lamp-rgb), .28); }
.fl-ctl button + button { border-left: 0; }
.fl-ctl #btn-play { border-radius: 8px 0 0 8px; }
.fl-ctl #btn-reset { border-radius: 0 8px 8px 0; }
.fl-ctl button:hover:not(:disabled) { opacity: 1; background: rgba(var(--lamp-rgb), .1); }
.fl-ctl button:disabled { opacity: .35; cursor: default; }
.fl-ctl button:focus-visible, .fl-rules input:focus-visible { outline: 2px solid var(--go); outline-offset: 2px; }

/* the three panels below the board */
.fl-panels { display: grid; grid-template-columns: minmax(0, 1fr) minmax(0, 1.1fr) minmax(0, 1fr); gap: 18px; margin-top: 18px; }
.fl-panel { border: 1px solid var(--line); border-radius: 12px; padding: 16px 18px; min-width: 0; }
.fl-panel h2 { font-size: 17px; margin: 0 0 4px; display: flex; align-items: center; gap: 10px; }
.who { font: 11px var(--mono); text-transform: uppercase; letter-spacing: .1em; padding: 2px 8px; border-radius: 999px; border: 1px solid currentColor; }
.who.you { color: var(--you); } .who.claude { color: var(--claude); } .who.foras { color: var(--foras); }
.fl-note { font-size: 13px; color: var(--muted); margin: 0 0 12px; }
/* the rules as cards with a switch, after _interactive_3d/look/btns/toggle_btns.png: a white card (dark in dark mode)
   with a hairline border, the rule's number as a pill, the switch on the right (on: the green of _interactive_3d/look/btns/colors034.jpg, #c5f6c7) */
body.fl { --rule-card: #ffffff; --rule-edge: #e9e9e6; --rule-pill: #f1f1ee; --sw-off: #e8e9e3; --sw-on: #c5f6c7; --sw-knob: #ffffff; }
@media (prefers-color-scheme: dark) { html:not([data-theme="light"]) body.fl { --rule-card: #171a20; --rule-edge: #2b3038; --rule-pill: #232830; --sw-off: #2f343d; --sw-on: #c5f6c7; --sw-knob: #e9eaee; } }
html[data-theme="dark"] body.fl { --rule-card: #171a20; --rule-edge: #2b3038; --rule-pill: #232830; --sw-off: #2f343d; --sw-on: #c5f6c7; --sw-knob: #e9eaee; }
.fl-rules { list-style: none; margin: 0; padding: 0; display: grid; gap: 10px; }
.fl-rules label { display: grid; grid-template-columns: minmax(0, 1fr) auto; gap: 14px; align-items: start; padding: 14px 16px;
  background: var(--rule-card); border: 1px solid var(--rule-edge); border-radius: 16px; cursor: pointer; font-size: 15px; line-height: 1.4;
  transition: border-color .15s; }
.fl-rules label:hover { border-color: color-mix(in srgb, var(--ink) 25%, var(--rule-edge)); }
.fl-rules label > span { grid-column: 1; grid-row: 1; }
.fl-rules b { display: inline-block; font: 500 12px/1 var(--mono); color: var(--ink); background: var(--rule-pill); padding: 4px 8px;
  border-radius: 999px; margin-right: 8px; vertical-align: 1px; }
/* the checkbox drawn as a switch */
.fl-rules input { grid-column: 2; grid-row: 1; appearance: none; -webkit-appearance: none; position: relative; width: 40px; height: 24px; margin: 0;
  border-radius: 999px; background: var(--sw-off); cursor: pointer; transition: background .2s; flex: none; }
.fl-rules input::before { content: ""; position: absolute; top: 3px; left: 3px; width: 18px; height: 18px; border-radius: 50%; background: var(--sw-knob);
  box-shadow: 0 1px 2px rgba(0, 0, 0, .25); transition: transform .2s; }
.fl-rules input:checked { background: var(--sw-on); }
.fl-rules input:checked::before { transform: translateX(16px); }
/* a rule that is on: its number's pill takes the switch's green (black number, readable in both themes) */
.fl-rules input:checked + span b { background: var(--sw-on); color: #000; }
.fl-rules b { transition: background .2s, color .2s; }
@media (prefers-reduced-motion: reduce) { .fl-rules input, .fl-rules input::before, .fl-rules label { transition: none; } }
/* code blocks in the Dracula theme (draculatheme.com; a scoped exception in _graphic_identity/colors.md), the tokens from highlight.js */
.fl-code { margin: 0; padding: 12px 14px; border-radius: 10px; background: #282a36; color: #f8f8f2; font: 12.5px/1.6 var(--mono);
  white-space: pre-wrap; word-break: break-word; min-height: 220px; max-height: 460px; overflow: auto; }
.fl-code .hl-com { color: #6272a4; } .fl-code .hl-reading { font-style: italic; }
.fl-code .hl-kw, .fl-code .hl-op { color: #ff79c6; }
.fl-code .hl-type { color: #8be9fd; font-style: italic; }
.fl-code .hl-fn { color: #50fa7b; }
.fl-code .hl-var { color: #ffb86c; }
.fl-code .hl-const, .fl-code .hl-num { color: #bd93f9; }
.fl-code .hl-str { color: #f1fa8c; }
.fl-code .hl-punct { color: #f8f8f2; }
.fl-code::selection, .fl-code *::selection { background: #44475a; }
.fl-verdict { border-radius: 10px; padding: 12px 14px; margin-bottom: 12px; border: 1px solid var(--line); }
.fl-verdict h3 { margin: 0 0 4px; font-size: 19px; letter-spacing: -.01em; }
.fl-verdict p { margin: 0; font-size: 14px; color: var(--muted); }
.fl-verdict .stats { font: 12px var(--mono); margin-top: 8px; }
.fl-verdict .live { font: 12px var(--mono); margin-top: 4px; color: var(--muted); }
.fl-verdict .live.ok { color: var(--foras); }
.fl-verdict .live.bad { color: var(--occ); }
.fl-verdict.crash { border-color: color-mix(in srgb, var(--occ) 55%, transparent); }
.fl-verdict.crash h3 { color: var(--occ); }
.fl-verdict.safe { border-color: color-mix(in srgb, var(--foras) 55%, transparent); }
.fl-verdict.safe h3 { color: var(--foras); }
.fl-story { margin: 0; padding: 0 0 0 22px; font-size: 14px; line-height: 1.45; }
.fl-story li { padding: 3px 0; color: var(--muted); transition: color .2s; }
.fl-story li.now { color: var(--ink); font-weight: 600; }
.fl-story li.done { color: var(--ink); }
.fl-story li.bad { color: var(--occ); font-weight: 600; }
.fl-story .mv { display: block; font: 11px var(--mono); text-transform: uppercase; letter-spacing: .06em; color: var(--muted); font-weight: 400; }
.fl-story li.now .mv, .fl-story li.done .mv { color: var(--muted); }
.fl-why { margin-top: 14px; display: grid; gap: 10px; font-size: 14px; line-height: 1.5; }
.fl-why p { margin: 0; }
.fl-why .who { margin-right: 8px; }
.fl-why .stop { padding: 10px 12px; border-radius: 10px; background: var(--wash); }
.fl-why .stop span { display: block; font: 11px var(--mono); text-transform: uppercase; letter-spacing: .08em; color: var(--muted); margin-bottom: 2px; }
.fl-why .stop b { font-weight: 600; }
.fl-why .stop em { font-style: normal; font: 11px var(--mono); color: var(--foras); margin-left: 6px; }
.fl-engine { font: 11px var(--mono); color: var(--muted); margin: 14px 0 0; }
.fl-panel[hidden] { display: none; }

/* a network board: the Station's rules run by the simulation (grey: measured, not proved) */
.who.sim { color: var(--muted); }
.fl-net-rules { margin: 0; padding: 0 0 0 22px; font-size: 14px; line-height: 1.45; display: grid; gap: 6px; }
.fl-net-rules li { color: var(--muted); }
.fl-net-rules li.on { color: var(--ink); }
.fl-net-rules li.on::marker { font-weight: 700; }
/* one row per figure; neither the label nor the value breaks: a value that doesn't fit beside its label goes under it, right-aligned */
.fl-score { display: grid; gap: 4px; margin: 0; font-size: 14px; }
.fl-score > div { display: flex; flex-wrap: wrap; align-items: baseline; column-gap: 12px; }
.fl-score dt { color: var(--muted); white-space: nowrap; }
.fl-score dd { margin: 0 0 0 auto; font: 600 13px var(--mono); text-align: right; white-space: nowrap; }
.fl-score dd.bad { color: var(--occ); }
.fl-verdict.sim { border-color: var(--line); }
.fl-net-rules .cost { font: 11px var(--mono); color: var(--muted); white-space: nowrap; }
.fl-every { display: flex; align-items: center; gap: 10px; font: 12px var(--mono); text-transform: uppercase; letter-spacing: .08em; color: var(--muted); margin: 0 0 12px; }
.fl-every select { font: 13px var(--mono); padding: 5px 8px; border: 1px solid var(--line); border-radius: 8px; background: var(--paper); color: var(--ink); text-transform: none; letter-spacing: 0; }
.fl-verdict .fl-points { font: 700 44px/1 var(--mono); letter-spacing: -.03em; margin: 0 0 6px; color: var(--ink); }
.fl-verdict .fl-points small { font: 12px var(--mono); letter-spacing: .08em; text-transform: uppercase; color: var(--muted); margin-left: 8px; }
.fl-verdict.crash .fl-points { font-size: 28px; color: var(--occ); }
.fl-points .rec { font: 600 11px var(--mono); letter-spacing: .08em; text-transform: uppercase; vertical-align: middle; margin-left: 10px;
  padding: 3px 8px; border-radius: 999px; background: var(--lime, #dff140); color: #000; }
.fl-proved-h { font-size: 15px; margin: 16px 0 6px; display: flex; align-items: center; gap: 10px; }
.fl-proved { list-style: none; margin: 0 0 8px; padding: 0; display: grid; gap: 4px; font-size: 13.5px; line-height: 1.4; }
.fl-proved li { color: var(--muted); padding-left: 18px; position: relative; }
.fl-proved li::before { content: ""; position: absolute; left: 2px; top: .45em; width: 8px; height: 8px; border-radius: 50%; background: var(--strip); }
.fl-proved li.ok::before { background: var(--foras); } .fl-proved li.bad::before { background: var(--occ); }
.fl-proved li b { color: var(--ink); font-weight: 600; margin-right: 4px; }
.fl-net .ntr circle { stroke: var(--enamel); stroke-width: 2.5; }
.fl-net .ntr circle.wrong { stroke: var(--occ); stroke-dasharray: 3 2; }
.fl-net .ncrash circle { fill: none; stroke: var(--occ); stroke-width: 4; }
.fl-net .ncrash text { font: 600 14px var(--mono); fill: var(--occ); letter-spacing: .1em; text-transform: uppercase; }
.fl-net .nclock { font: 600 16px var(--mono); fill: var(--lamp); letter-spacing: .06em; }

@media (max-width: 980px) { .fl-panels { grid-template-columns: 1fr; } }
@media (max-width: 640px) { .fl-wrap { padding: 0 16px 60px; } .fl-board-top { flex-wrap: wrap; } }
/* narrow screens: keep the board legible and let it scroll sideways */
.fl-svg { overflow-x: auto; position: relative; }
.fl-svg:focus-visible { outline: 2px solid var(--go); outline-offset: -2px; }
@media (max-width: 760px) {
  #panel { width: 760px; max-width: none; }
  /* first-visit hint, gone once the board has been scrolled (sim.js adds .seen) */
  .fl-svg::after { content: "swipe the board ↔"; position: sticky; left: 50%; display: inline-block; transform: translateX(-50%);
    margin: -30px 0 8px; padding: 3px 10px; border-radius: 999px; font: 11px var(--mono); letter-spacing: .06em;
    background: rgba(0, 0, 0, .45); color: var(--lamp); pointer-events: none; transition: opacity .4s; }
  .fl-svg.seen::after { opacity: 0; }
}
@media (prefers-reduced-motion: reduce) { #panel .train, #panel .trk, #panel .sig circle { transition: none; } }

/* labs landing page */
.lab-main { display: grid; grid-template-columns: minmax(0, 1.1fr) minmax(0, 1fr); gap: 24px; align-items: center; text-decoration: none; color: var(--lamp);
  background: var(--enamel); border: 1px solid var(--enamel-edge); border-radius: 14px; padding: 26px 28px; }
.lab-main h2 { font-size: 28px; letter-spacing: -.02em; margin: 4px 0 8px; color: var(--lamp); }
.lab-main p { margin: 0 0 14px; opacity: .85; font-size: 16px; }
.lab-main .lab-kind { opacity: .7; }
.lab-main .lab-go { font: 13px var(--mono); border: 1px solid rgba(243, 239, 224, .35); border-radius: 8px; padding: 7px 12px; display: inline-block; }
.lab-main:hover .lab-go { background: rgba(243, 239, 224, .12); }
.lab-main:focus-visible { outline: 2px solid var(--go); outline-offset: 3px; }
.lab-main svg { width: 100%; height: auto; }
.lab-main svg .t { fill: none; stroke: var(--strip); stroke-width: 6; stroke-linecap: round; stroke-linejoin: round; }
.lab-main svg .t.occ { stroke: var(--occ); }
.lab-main svg .tr { stroke: rgba(0, 0, 0, .45); } .lab-main svg .tr.b { fill: var(--blue); } .lab-main svg .tr.o { fill: var(--orange); }
.lab-main svg .sg { fill: var(--occ); } .lab-main svg .sg.g { fill: var(--go); }
.lab-kind { font: 11px var(--mono); text-transform: uppercase; letter-spacing: .1em; color: var(--muted); margin: 0; }
.lab-h2 { font-size: 22px; margin: 40px 0 4px; }
.lab-note { color: var(--muted); margin: 0 0 16px; font-size: 15px; }
.lab-apps { list-style: none; padding: 0; margin: 0; display: grid; grid-template-columns: repeat(2, minmax(0, 1fr)); gap: 16px; }
.lab-apps li { border: 1px solid var(--line); border-radius: 12px; padding: 16px 18px; }
.lab-apps h3 { font-size: 18px; margin: 4px 0 6px; }
.lab-apps p { margin: 0; font-size: 15px; color: var(--muted); line-height: 1.5; }
.lab-apps .lab-kind { color: var(--claude); }
.lab-foot { font-size: 13px; color: var(--muted); margin: 40px 0 0; }
@media (max-width: 800px) { .lab-main, .lab-apps { grid-template-columns: 1fr; } }

/* the interlocking workflow (INTERLOCKING_PLAN.md): the industry's words, the route table and the safety properties */
.fl-ga { max-width: 760px; font-size: 14px; color: var(--muted); margin: 14px 0 0; }
.fl-ga b { color: var(--ink); font-weight: 600; }
.fl-ilock { grid-template-columns: minmax(0, 1fr); }
.fl-tablewrap { overflow-x: auto; }
.fl-table { width: 100%; border-collapse: collapse; font-size: 13px; }
.fl-table th, .fl-table td { text-align: left; vertical-align: top; padding: 8px 10px; border-bottom: 1px solid var(--line); }
.fl-table thead th { font: 11px var(--mono); text-transform: uppercase; letter-spacing: .08em; color: var(--muted); font-weight: 400; }
.fl-table tbody th { font: 600 13px var(--mono); white-space: nowrap; }
.fl-table td span { display: block; color: var(--muted); font-size: 12.5px; margin-top: 2px; }
.fl-table td .btns { margin-top: 6px; }
.fl-table .res { font: 600 12px var(--mono); text-transform: uppercase; letter-spacing: .06em; }
/* results use the identity's fixed meanings (_graphic_identity/colors.md): violet = holds, pink = breaks */
body.fl { --holds: #8d40a7; --breaks-text: #e40f6f; }
@media (prefers-color-scheme: dark) { html:not([data-theme="light"]) body.fl { --holds: #8969cf; --breaks-text: #f4539c; } }
html[data-theme="dark"] body.fl { --holds: #8969cf; --breaks-text: #f4539c; }
.fl-table tr.ok .res { color: var(--holds); } .fl-table tr.bad .res { color: var(--breaks-text); }
.fl-actions { margin: 14px 0 0; display: flex; gap: 8px; flex-wrap: wrap; }
.fl-btn { font: 12px var(--mono); padding: 7px 14px; border-radius: 8px; border: 1px solid var(--line); background: none; color: var(--ink);
  cursor: pointer; text-decoration: none; display: inline-block; }
.fl-btn:hover { border-color: var(--ink); }
.fl-btn.primary { background: var(--ink); color: var(--paper); border-color: var(--ink); }
.fl-btn.small { padding: 3px 9px; font-size: 11px; }
.fl-btn:focus-visible { outline: 2px solid var(--go); outline-offset: 2px; }
.fl-tabs { display: flex; gap: 6px; margin: 0 0 10px; flex-wrap: wrap; }
.fl-tabs button { font: 12px var(--mono); padding: 5px 11px; border-radius: 999px; border: 1px solid var(--line); background: none; color: var(--muted); cursor: pointer; }
.fl-tabs button[aria-selected="true"] { background: var(--ink); color: var(--paper); border-color: var(--ink); }
.fl-tabs button:focus-visible { outline: 2px solid var(--go); outline-offset: 2px; }
.fl-gen { max-height: 460px; overflow: auto; white-space: pre; }
/* the generated code as a tabbed code window: one tab per language, the selected tab joins the code below it
   (Dracula's darker background #21222c for the tab strip; _graphic_identity/colors.md) */
.fl-codewin { border-radius: 10px; overflow: hidden; background: #21222c; }
.fl-codewin .fl-tabs { margin: 0; gap: 0; flex-wrap: nowrap; overflow-x: auto; }
.fl-codewin .fl-tabs button { border: 0; border-right: 1px solid #191a21; border-radius: 0; padding: 9px 16px; background: none; color: #6272a4; }
.fl-codewin .fl-tabs button:hover { color: #f8f8f2; }
.fl-codewin .fl-tabs button[aria-selected="true"] { background: #282a36; color: #f8f8f2; }
.fl-codewin .fl-tabs button:focus-visible { outline-offset: -2px; }
.fl-codewin .fl-code { border-radius: 0; }

/* Verification: the rules, the logic and the verdict as one table, columns divided by rules */
.fl-verif { border: 1px solid var(--line); border-radius: 12px; margin-top: 18px; overflow: hidden; }
.fl-verif .fl-panels { margin-top: 0; gap: 0; }
.fl-verif .fl-panel { border: 0; border-radius: 0; padding: 16px 18px; }
.fl-verif .fl-panel:not(:first-child) { border-left: 1px solid var(--line); }
@media (max-width: 980px) { .fl-verif .fl-panel:not(:first-child) { border-left: 0; border-top: 1px solid var(--line); } }

/* the Verification table's steps: 1 the rules, 2 the logic, 3 the verdict, as numbers in rings (ink: black or white) */
.fl-step { display: inline-grid; place-items: center; width: 24px; height: 24px; border-radius: 50%; border: 1.5px solid var(--ink);
  font: 600 12px var(--mono); color: var(--ink); flex: none; }

/* foldable sections: a shaded header like the Verification table's, with the fold triangle on the left and a one-line
   summary on the right that stays visible when folded */
.fl-fold { padding: 0; overflow: hidden; }
.fl-fold > summary { list-style: none; cursor: pointer; display: flex; align-items: center; gap: 12px; flex-wrap: wrap;
  background: var(--wash); padding: 12px 18px; }
.fl-fold > summary::-webkit-details-marker { display: none; }
.fl-fold > summary::before { content: ""; width: 0; height: 0; border-left: 7px solid var(--ink); border-top: 5px solid transparent;
  border-bottom: 5px solid transparent; transition: transform .2s; }
.fl-fold[open] > summary::before { transform: rotate(90deg); }
.fl-fold > summary h2 { margin: 0; }
.fl-fold > summary:focus-visible { outline: 2px solid var(--go); outline-offset: -2px; }
.fl-fold[open] > summary { border-bottom: 1px solid var(--line); margin-bottom: 14px; }
.fl-fold[open] { padding-bottom: 16px; }
.fl-fold > :not(summary) { margin-left: 18px; margin-right: 18px; }
.fl-sum { font: 12px var(--mono); color: var(--muted); margin-left: auto; }
/* the note beside the Verification heading (sans, muted; the bar is a separator) */
.fl-remind { font: 400 14px/1.4 var(--sans, system-ui); color: var(--muted); }
.fl-remind > span { margin-right: 4px; opacity: .6; }
@media (max-width: 640px) { .fl-remind > span { display: none; } }   /* wrapped under the heading, the bar has nothing to separate */
@media (prefers-reduced-motion: reduce) { .fl-fold > summary::before { transition: none; } }

/* Verification as a fold (open by default): its table sits flush under the header */
.fl-fold > summary h2 { font-size: 17px; }
.fl-verif.fl-fold { padding-bottom: 0; }
.fl-verif.fl-fold > .fl-panels { margin: 0; }
.fl-verif.fl-fold[open] > summary { margin-bottom: 0; }
.fl-ilock-note { margin: 0; }
/* step 4 beside Play: the ring takes the board's own ink */
.fl-ctl { align-items: center; }
.fl-ctl .fl-step { border-color: var(--lamp); color: var(--lamp); }
/* the rule table page (layouts/railcheck/rules.html) */
.fl-rtable td { font-size: 13.5px; }
.fl-rtable td > b { font-weight: 600; display: block; }
.fl-rtable td span { display: block; color: var(--muted); font-size: 12.5px; margin-top: 4px; max-width: 420px; }
.fl-rtable { table-layout: fixed; min-width: 980px; }
.fl-rtable th:nth-child(1) { width: 54px; } .fl-rtable th:nth-child(2) { width: 30%; } .fl-rtable th:nth-child(3) { width: 30%; }
.fl-rtable th:nth-child(4) { width: 11%; } .fl-rtable th:nth-child(5) { width: 9%; }
.fl-rtable .fl-code { font-size: 11px; padding: 8px 10px; white-space: pre-wrap; overflow-wrap: anywhere; margin: 0; height: auto; min-height: 0; max-height: none; }
.fl-rtable td.mono { font: 600 12px var(--mono); white-space: nowrap; }
.fl-rtable td.ok .res { color: var(--holds); } .fl-rtable td.bad .res { color: var(--breaks-text); }
.fl-rtable .res { font: 600 11px var(--mono); text-transform: uppercase; letter-spacing: .06em; }

/* the lead sentence of a foldable section: the same text style as the verification report's prose (report.css .rp-sec p) */
.fl-lead { font-size: 15px; line-height: 1.55; font-weight: 400; color: var(--ink); margin: 0 0 12px; }

/* The three action buttons under Route table, Safety properties and Interlocking code: the yellow of
   _interactive_3d/look/btns/yellow_download_and_share copy.png (#f5c944, black text) in the shape of download_button_02.jpg
   (rounded rectangle, radius about 16% of the height, an icon then sentence-case sans). Icons are CSS masks, so the
   markup stays as it is: a download arrow for the two downloads, a page for the report. */
#routes-csv, #report-link, #gen-download, #rp-csv {
  display: inline-flex; align-items: center; gap: 10px; font: 500 15px/1 var(--sans, system-ui); letter-spacing: 0;
  padding: 11px 20px 11px 16px; border-radius: 10px; border: 0; background: #f5c944; color: #000; text-decoration: none; cursor: pointer;
}
#routes-csv:hover, #report-link:hover, #gen-download:hover, #rp-csv:hover { background: #f0bd2a; }
#routes-csv:focus-visible, #report-link:focus-visible, #gen-download:focus-visible, #rp-csv:focus-visible { outline: 2px solid var(--ink); outline-offset: 2px; }
#routes-csv::before, #report-link::before, #gen-download::before, #rp-csv::before {
  content: ""; width: 18px; height: 18px; flex: none; background: currentColor;
  -webkit-mask: var(--btn-icon) center / contain no-repeat; mask: var(--btn-icon) center / contain no-repeat;
}
#routes-csv, #gen-download, #rp-csv {
  --btn-icon: url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' viewBox='0 0 24 24' fill='none' stroke='black' stroke-width='2' stroke-linecap='round' stroke-linejoin='round'%3E%3Cpath d='M12 3v12M7 10l5 5 5-5M4 20h16'/%3E%3C/svg%3E");
}
#report-link {
  --btn-icon: url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' viewBox='0 0 24 24' fill='none' stroke='black' stroke-width='2' stroke-linecap='round' stroke-linejoin='round'%3E%3Cpath d='M14 3H6v18h12V7z'/%3E%3Cpath d='M14 3v4h4M9 12h6M9 16h6'/%3E%3C/svg%3E");
}

/* the report's two print buttons keep their look (black, outlined) with a PDF icon in front: a page with a folded corner and "PDF" */
.fl-btn.pdf { display: inline-flex; align-items: center; gap: 8px; }
.fl-btn.pdf::before {
  content: ""; width: 20px; height: 20px; flex: none; background: currentColor;
  --btn-icon: url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' viewBox='0 0 24 24'%3E%3Cdefs%3E%3Cmask id='m'%3E%3Crect width='24' height='24' fill='white'/%3E%3Ctext x='10' y='17.6' text-anchor='middle' font-family='Arial,Helvetica,sans-serif' font-weight='700' font-size='7.2' fill='black'%3EPDF%3C/text%3E%3C/mask%3E%3C/defs%3E%3Cpath d='M7 2h8.5L20 6.5V22H7z' fill='none' stroke='black' stroke-width='1.7' stroke-linejoin='round'/%3E%3Cpath d='M15 2v5h5' fill='none' stroke='black' stroke-width='1.7' stroke-linejoin='round'/%3E%3Crect x='1.5' y='11' width='17' height='8.6' rx='1.6' fill='black' mask='url(%23m)'/%3E%3C/svg%3E");
  -webkit-mask: var(--btn-icon) center / contain no-repeat; mask: var(--btn-icon) center / contain no-repeat;
}
.rp-cover .fl-actions > * { display: inline-flex; align-items: center; }

/* the tour above the board (sim.js): three clicks, each marked with the identity's fixed meaning and a symbol
   (_graphic_identity/colors.md): pink ✕ = breaks (a crash), violet ✓ = holds (safe), amber ! = attention (the gap) */
body.fl { --breaks: #f4539c; --mark: #f3be18; }
.fl-tour { display: flex; flex-wrap: wrap; align-items: center; gap: 8px; margin: 22px 0 0; }
.fl-tour[hidden] { display: none; }
.fl-tour-h { font: 12px var(--mono); text-transform: uppercase; letter-spacing: .12em; color: var(--muted); margin-right: 6px; }
.fl-tour button { display: inline-flex; align-items: center; gap: 9px; font: 500 14px var(--sans, system-ui, sans-serif); padding: 7px 14px 7px 8px;
  border: 1px solid var(--line); border-radius: 10px; background: none; color: var(--ink); cursor: pointer; }
.fl-tour button:hover { border-color: var(--ink); }
.fl-tour button:focus-visible { outline: 2px solid var(--ink); outline-offset: 2px; }
.fl-tour i { display: inline-grid; place-items: center; width: 22px; height: 22px; border-radius: 6px; font: 700 12px var(--mono); font-style: normal; }
.fl-tour i.breaks { background: var(--breaks); color: #fff; }
.fl-tour i.holds { background: var(--holds); color: #fff; }
.fl-tour i.mark { background: var(--mark); color: #000; }
.fl-tour button[aria-pressed="true"] { border-color: var(--ink); box-shadow: inset 0 0 0 1px var(--ink); }
.fl-tour-say { flex-basis: 100%; margin: 6px 0 0; font-size: 15px; line-height: 1.5; color: var(--muted); max-width: 820px; min-height: 3em; }
.fl-tour-say b { color: var(--ink); font-weight: 600; }
@media (max-width: 640px) { .fl-tour-h { flex-basis: 100%; } .fl-tour button { font-size: 13px; } }

/* Verification at most 800 px tall on wide screens (three columns): the header plus the panels. The row takes the
   tallest panel up to that limit; The Logic's code window grows to the panel's bottom, and a panel with more than fits
   (The Verdict, a network's scorecard) scrolls inside. Stacked on narrow screens, the panels keep their natural height. */
@media (min-width: 981px) {
  .fl-verif { --verif-max: 800px; max-height: var(--verif-max); }
  .fl-verif > .fl-panels { grid-template-rows: minmax(0, 1fr); max-height: calc(var(--verif-max) - var(--verif-head, 51px)); }
  .fl-verif .fl-panel { overflow-y: auto; padding-top: 0; }
  /* the heading row stays put at the top of its panel and the content scrolls up under its line */
  .fl-verif .fl-panel-head { position: sticky; top: 0; z-index: 3; flex: none; padding-top: 16px; background: var(--paper); }
  .fl-verif .fl-panel[aria-labelledby="h-logic"]:not([hidden]) { display: flex; flex-direction: column; }
  /* The Logic's code window: at least the rest of the panel, as tall as its code, scrolled with the panel */
  .fl-verif #logic { flex: 1 0 auto; min-height: 0; max-height: none; overflow: visible; }
}

/* a panel's explanation as a tooltip: a grey round "?" at the right of the heading; the text shows on hover and on
   keyboard focus (Escape hides it, sim.js), under the heading and inside the panel so a scrolling panel doesn't clip it */
/* the heading row: a thin line under it from the panel's left edge to its right (the row reaches over the panel's padding) */
.fl-panel-head { position: relative; display: flex; align-items: center; gap: 10px; min-height: 26px;
  margin: 0 -18px 14px; padding: 0 18px 12px; border-bottom: 1px solid var(--line); }
.fl-panel-head h2 { margin: 0; }
.fl-help { margin-left: auto; }
.fl-help button { display: grid; place-items: center; width: 22px; height: 22px; padding: 0; border-radius: 50%; cursor: help;
  border: 1.5px solid var(--muted); background: none; color: var(--muted); font: 600 13px/1 var(--sans); }
.fl-help button:hover, .fl-help button:focus-visible { border-color: var(--ink); color: var(--ink); }
.fl-help button:focus-visible { outline: 2px solid var(--ink); outline-offset: 2px; }
.fl-tip { position: absolute; z-index: 5; top: calc(100% + 8px); left: 18px; right: 18px; padding: 10px 12px; border-radius: 10px;
  background: var(--ink); color: var(--paper); font: 400 13px/1.45 var(--sans); box-shadow: 0 8px 24px -10px rgba(0, 0, 0, .4);
  opacity: 0; visibility: hidden; transform: translateY(-4px); transition: opacity .15s, transform .15s, visibility .15s; pointer-events: none; }
.fl-help:hover .fl-tip, .fl-help:focus-within .fl-tip { opacity: 1; visibility: visible; transform: none; }
.fl-help.closed .fl-tip { opacity: 0; visibility: hidden; }
@media (prefers-reduced-motion: reduce) { .fl-tip { transition: none; } }

/* The Logic's code window in light mode: GitHub Light (primer/github-vscode-theme, "GitHub Light Default"), the same
   highlight.js tokens as the Dracula blocks; dark mode keeps Dracula (_graphic_identity/colors.md) */
@media not (prefers-color-scheme: dark) {
  html:not([data-theme="dark"]) #logic.fl-code { background: #f6f8fa; color: #1f2328; border: 1px solid #d0d7de; }
  html:not([data-theme="dark"]) #logic .hl-com { color: #59636e; }
  html:not([data-theme="dark"]) #logic .hl-kw, html:not([data-theme="dark"]) #logic .hl-op { color: #cf222e; }
  html:not([data-theme="dark"]) #logic .hl-type { color: #953800; }
  html:not([data-theme="dark"]) #logic .hl-fn { color: #8250df; }
  html:not([data-theme="dark"]) #logic .hl-var { color: #953800; }
  html:not([data-theme="dark"]) #logic .hl-const, html:not([data-theme="dark"]) #logic .hl-num { color: #0550ae; }
  html:not([data-theme="dark"]) #logic .hl-str { color: #0a3069; }
  html:not([data-theme="dark"]) #logic .hl-punct { color: #1f2328; }
  html:not([data-theme="dark"]) #logic::selection, html:not([data-theme="dark"]) #logic *::selection { background: #b6e3ff; }
}
html[data-theme="light"] #logic.fl-code { background: #f6f8fa; color: #1f2328; border: 1px solid #d0d7de; }
html[data-theme="light"] #logic .hl-com { color: #59636e; }
html[data-theme="light"] #logic .hl-kw, html[data-theme="light"] #logic .hl-op { color: #cf222e; }
html[data-theme="light"] #logic .hl-type { color: #953800; }
html[data-theme="light"] #logic .hl-fn { color: #8250df; }
html[data-theme="light"] #logic .hl-var { color: #953800; }
html[data-theme="light"] #logic .hl-const, html[data-theme="light"] #logic .hl-num { color: #0550ae; }
html[data-theme="light"] #logic .hl-str { color: #0a3069; }
html[data-theme="light"] #logic .hl-punct { color: #1f2328; }
html[data-theme="light"] #logic::selection, html[data-theme="light"] #logic *::selection { background: #b6e3ff; }

/* The Verdict's box in the colours of _interactive_3d/look/btns/colors034.jpg, each with its symbol, in both themes:
   red = a collision, green = no collision, yellow = no collision but wrong routes or gridlock, blue = no verdict
   (Foras stopped before finishing). Dark text on all four. */
.fl-verdict.crash, .fl-verdict.safe, .fl-verdict.warn, .fl-verdict.info {
  --vd-ink: #14161a; --vd-muted: #3b3f46; border-color: transparent; color: var(--vd-ink); }
.fl-verdict.crash { background: #f7bab9; } .fl-verdict.safe { background: #c5f6c7; }
.fl-verdict.warn { background: #f8e7cb; } .fl-verdict.info { background: #bee5f4; }
.fl-verdict.crash h3, .fl-verdict.safe h3, .fl-verdict.warn h3, .fl-verdict.info h3 { color: var(--vd-ink); display: flex; align-items: center; gap: 8px; }
.fl-verdict.crash p, .fl-verdict.safe p, .fl-verdict.warn p, .fl-verdict.info p,
.fl-verdict.crash .live.ok, .fl-verdict.crash .live.bad, .fl-verdict.safe .live.ok, .fl-verdict.safe .live.bad { color: var(--vd-muted); }
.fl-verdict.crash .fl-points, .fl-verdict.safe .fl-points, .fl-verdict.warn .fl-points, .fl-verdict.info .fl-points { color: var(--vd-ink); }
.fl-verdict.crash .fl-points small, .fl-verdict.safe .fl-points small, .fl-verdict.warn .fl-points small { color: var(--vd-muted); }
.fl-verdict.crash h3::before, .fl-verdict.safe h3::before, .fl-verdict.warn h3::before, .fl-verdict.info h3::before {
  content: ""; width: 20px; height: 20px; flex: none; background: currentColor;
  -webkit-mask: var(--vd-icon) center / contain no-repeat; mask: var(--vd-icon) center / contain no-repeat; }
.fl-verdict.crash { --vd-icon: url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' viewBox='0 0 24 24' fill='none' stroke='black' stroke-width='2' stroke-linecap='round'%3E%3Ccircle cx='12' cy='12' r='9'/%3E%3Cpath d='M9 9l6 6M15 9l-6 6'/%3E%3C/svg%3E"); }
.fl-verdict.safe { --vd-icon: url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' viewBox='0 0 24 24' fill='none' stroke='black' stroke-width='2' stroke-linecap='round' stroke-linejoin='round'%3E%3Ccircle cx='12' cy='12' r='9'/%3E%3Cpath d='M8 12.5l2.7 2.7L16 9.8'/%3E%3C/svg%3E"); }
.fl-verdict.warn { --vd-icon: url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' viewBox='0 0 24 24' fill='none' stroke='black' stroke-width='2' stroke-linecap='round'%3E%3Ccircle cx='12' cy='12' r='9'/%3E%3Cpath d='M12 7v6M12 16.5v.5'/%3E%3C/svg%3E"); }
.fl-verdict.info { --vd-icon: url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' viewBox='0 0 24 24' fill='none' stroke='black' stroke-width='2' stroke-linecap='round'%3E%3Ccircle cx='12' cy='12' r='9'/%3E%3Cpath d='M12 11v6M12 7.5v.5'/%3E%3C/svg%3E"); }

/* table rows line up on the first line's baseline, so a mono cell (P1, R1, S1) sits level with the sans text beside it */
.fl-table tbody th, .fl-table tbody td { vertical-align: baseline; }
/* the rule table's cells hold code blocks, so they stay top-aligned; its mono cells get the sans cells' line box instead */
.fl-rtable tbody th, .fl-rtable tbody td { vertical-align: top; }
.fl-rtable tbody th, .fl-rtable td.mono { line-height: calc(14px * 1.45); }

/* a train in the route table: a dot in its line colour (Groningen blue and green; the freight in the report's silver,
   darker than the board's so it shows on white) with a white centre, like a stop on a transit map */
.fl-train { display: inline-block; width: 16px; height: 16px; border-radius: 50%; position: relative; vertical-align: -3px; background: var(--train); }
.fl-train::after { content: ""; position: absolute; inset: 5px; border-radius: 50%; background: #fff; }
.fl-train.blue { --train: #0a55f5; } .fl-train.orange { --train: #10b950; } .fl-train.silver { --train: #8e949b; }
/* the dot is a span in a table cell: keep it out of the cell-note rule (.fl-table td span: block, margin, small text) */
.fl-table td .fl-train { display: inline-block; margin: 0; }