modified:   monokai-emacs-theme/monokai-theme.el