//Export default colours
@import 'colors-public';

//Override some exported colours
@define-color theme_base_color #{"" + $base_color};
@define-color theme_fg_dark_color #{"" + $fg_dark_color};
@define-color theme_bg_dark_color #{"" + $bg_dark_color};
@define-color wm_title #{"" + $fg_dark_color};
@define-color wm_unfocused_title #{"" + $fg_dark_color};
@define-color wm_highlight shade(#{"" + $bg_dark_color}, 1.03);
@define-color wm_borders_edge #{"" + $bg_dark_color};

@define-color wm_bg_a shade(#{$bg_dark_color}, 1.2);
@define-color wm_bg_b #{$bg_dark_color};

@define-color wm_button_hover_color_a shade(#{$bg_dark_color}, 1.3);
@define-color wm_button_hover_color_b #{$bg_dark_color};
@define-color wm_button_active_color_a shade(#{$bg_dark_color}, 0.85);
@define-color wm_button_active_color_b shade(#{$bg_dark_color}, 0.89);
@define-color wm_button_active_color_c shade(#{$bg_dark_color}, 0.9);

@define-color wm_button_border #{$header_button_border};

@define-color button_emphasis_a #{lighten($header_button_raised_gradient_color_a, 10%)};
@define-color button_emphasis_b #{lighten(mix($header_button_raised_gradient_color_a, $bg_dark_color, 50%), 10%)};
@define-color button_emphasis_c #{lighten($bg_dark_color, 10%)};