Adding (and switching to) a tweaked version of the Spolsky theme for Emacs