Color changes in the theme file (monokai)