now using Monokai colors