some minor changes to emacs theme