move to a slightly darker xemacs theme, plus a few minor odds and ends