g_theme_tooltip_header_color = '#222222';
g_theme_tooltip_body_color = '#444444';
g_theme_tooltip_header_bgcolor = '#fff06e';
g_theme_tooltip_body_bgcolor = '#fff5a1';
g_theme_highlightfade_color = '#fff5a1';
