/*
  Do not edit directly
  Generated on Wed, 22 Jul 2020 14:57:47 GMT
*/

$tokens: (
  'token-color-brand-primary-background': #084364,
  'token-color-brand-primary': #0077ba
);