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

$token-color-brand-primary-background: #084364;
$token-color-brand-primary: #0077ba;