Update molokai-theme.el