$navigator-font-family:                           var(--navigator-font-family, var(--c8y-navigator-font-family));
$navigator-font-size:                             var(--c8y-navigator-font-size);
$navigator-app-name-size:                         var(--c8y-navigator-app-name-size);
$navigator-app-logo-size:                         var(--navigator-app-icon-size, var(--c8y-navigator-app-icon-size));

$navigator-active-border-width:                   var(--c8y-navigator-active-border-width);

$open-menu-time-type:                             .4s ease-in-out;