/* this is for alternative titlebars and panels */

@define-color gtk_titlebar_bg_backdrop_color @gtk_titlebar_bg_color;
@define-color gtk_titlebar_fg_color @gtk_fg_color;
@define-color gtk_titlebar_button_color @gtk_button_color;