Update monokai-theme.el