modified:   monokai-emacs/monokai-theme.el