/* these ones are calculated, not set directly by the theme file */
gint win_font_height;
gint menu_title_font_height;
/* these ones are calculated, not set directly by the theme file */
gint win_font_height;
gint menu_title_font_height;
RrColor *titlebut_focused_unpressed_color;
RrColor *titlebut_unfocused_unpressed_color;
RrColor *menu_title_color;
RrColor *titlebut_focused_unpressed_color;
RrColor *titlebut_unfocused_unpressed_color;
RrColor *menu_title_color;