static ThemeElements () { string theme_var; theme_var = Environment.GetEnvironmentVariable ("MONO_THEME"); if (theme_var == null) theme_var = "win32"; else theme_var = theme_var.ToLower (); theme = LoadTheme (theme_var); }