/* Design tokens: the ONLY place colours, fonts and sizes are defined. Brand colours are locked. */
:root {
  --navy: #0E2547;
  --navy-deep: #0A1B36;
  --navy-line: #34507F;
  --orange: #E97A1F;
  --orange-soft: #F5A55C;
  --steel: #5874A6;
  --white: #FFFFFF;
  --mist: #F4F6FA;
  --line: #E3E7EE;
  --dash: #9AA9C4;
  --ink-soft: #3B4C6B;
  --on-navy-soft: #C9D3E6;
  --on-navy-label: #9DB3D9;
  --demo-green: #5A9A2A;
  --demo-green-ink: #0E4A3A;
  --demo-red: #9B1C1C;
  --demo-red-soft: #FDECEC;
  --demo-frame: #16233B;
  --shadow-float: 0 14px 34px rgba(3, 10, 24, 0.45);

  --font-body: "Plus Jakarta Sans", "Helvetica Neue", Helvetica, Arial, sans-serif;
  --font-brand: "Helvetica Neue", Helvetica, Arial, sans-serif;

  --container: 1160px;
  --gutter: clamp(20px, 5vw, 48px);
  --section-y: clamp(56px, 8vw, 96px);
  --radius: 12px;
  --radius-lg: 16px;
  --radius-btn: 8px;
  --header-h: 88px;
}