/* Brand tokens shared by the hub chrome (hub.css) and the public
   reservation pages (reserve_base.html). One source of truth — these
   were previously duplicated inline in both base templates, with a
   comment pleading to keep them in lockstep. */
:root {
  --rop-blue: #1394ce; --ink: #464648; --paper: #eef5fa; --card: #ffffff;
  --hairline: rgba(70,70,72,.18); --muted: #8a8a8e; --bad: #c0392b; --good: #1e8e3e;
}
* { box-sizing: border-box; }
/* The traffic-light amber. .pill.avail-yellow's #b8860b is a border/text
   colour and reads muddy as an 11px filled disc, so the dot gets its own. */
:root { --warn: #d4a017; }