Emacs theme tweaks