//
// Global
//

@global-color: #313E4F;
@global-emphasis-color: #19365d;
@global-muted-color: #8a94a8;
@global-link-hover-color: @global-primary-background;
@global-muted-background: #f4f6fb;
@global-primary-background: #607cb3;
@global-secondary-background: #2b3145;

//
// Button
//

@button-text-hover-color: #7890bf;