smart mode line theme moved to Emacs theme