* monokai: change colors