added monokai to possible themes