Monokai as default colorscheme