7
7
@define-color selected_fg_color #f5f5f5;
8
8
@define-color tooltip_bg_color #000000;
9
9
@define-color tooltip_fg_color #ffffff;
11
13
/* colormap actually used by the theme, to be overridden in other css files */
12
14
@define-color theme_bg_color @bg_color;